非決定性について少し - Altechの日記（仮）

昨日のCTMCP 4章：宣言的並行性について整理しきれてないところがあったので補足。 非決定性と明示的状態 明示的状態を持つ、ということと非決定性である、というのが別々の概念なんだけど関連していて少しややこしいので整理。 非決定性、というのは現実の色々なところに存在している。突き詰めると物理学の世界になるんだと思うけれどプログラマ的にはそれは興味ないので置いておきたい。そこで、プログラムのコードから見て予測不可能なことがあることが、観測可能な非決定性が存在する、ということの定義だとする。 そうすると、例えば外から来る情報というのは非決定性だ。乱数なんかも非決定性だ。ただ、例え入力が非決定的だとしても、その要素をコンポーネントの入力（引数）と考えるのであれば、それぞれの引数の場合について、そのコンポーネントは決定性であるということは言える（観測に基づいて考える）。ここまでは直列モデルでも現れ