2007-04-10 マラソンゴール問題 プログラム意味論 雑感 時間的に一連の事象(信号)が発生している状況で、それらの終わりはどうやって判断するのだろうか。これは非常に難しい問題だ。例えとして、マラソンのゴール係になったとしよう。ランナーが次々とゴールするのだが、いったいいつゴールを片づけてもいいのだろうか? 出場者の数がわかっていても、脱落・棄権があるからゴールした人数を確認してもわからない。出場ランナーの完全なリストを持っていても、問題は解決できない。解決策は: タイムアウト。例えば午後5時でゴールを片づける。 終端指示子。常にランナーの後から走るスタッフを付けて、そのスタッフのゴールをもって終了とする。 これでも完全な解決ではない。