cloverrose's blog

Python, Machine learning, Emacs, CI/CD, Webアプリなど

2013-04-27から1日間の記事一覧

プロセスのローカル変数Nx系に注意

SPINのNx系の変数をプロセスのローカル変数として定義するときは気をつけましょうという話 同時代入とNuSMVとSPINの違いについて 同時代入 x=0 y=0 x=1 y=1 書いた場合、xは1だけどyは0の状態が存在します。 一方、 x=0 y=0 x, y = (1, 1) と書けばxが1にな…