並列処理の総当り※最後に追記するようにこの記事には大きなミスが見つかった。以下は参考のために残しておく議論である。機構において、その依存を総当たり的に調べるプログラムを(Perlで)書いた。総当たり的なので、特に工夫があるといえるわけではなく、おそらく他の方が特に言及することなく為していることについて、たまたま私もプログラムする順番が回ってきたぐらいのことになると思う。「車輪の再発明」だが、調べるよりは自分で作ったほうが早い部類の話で、記号論理をやった人間にとって示唆に富む部分があるという印象を受けたので、ブログに書いておくことにした...といったところ。上でエミュレートするという話ではまったくない。プログラム自体は、シングルプロセスで終了する形をとる。シミュレーションができたと考える点にある。次の二つの「プログラム」を考える。二つのプログラムがそれぞれ別の「プロセス」で動くとする。間になければエラーを出すとすれば、排他制御としてはもっとも簡易な形が実現できているとできるだろう。どちらになるかは不明である。これを「すべての場合」について総当たり的に見てみたい。挟まれた部分だけであり、その間では他のプロセスはデータを変えない。ときにのみ他のプロセスがデータを変えたかどうか調べればよいとなる。されるときは当然、次のプロセスに影響を与えることがあるとすればいい。列で表すことができる。(特殊な場合として、空列は、まったく環境の置換が起きない場合と考える。specification)と呼ぼう。ついても同様のことがいえるということ。仕様と実行結果をすべて書き出すと、次のようになる。