2008-01-31から1日間の記事一覧
A4用紙の整理にほとほと手を焼いています。印刷して用が済んだ紙は捨てようと思うのだけど、「裏紙をメモや計算に使おう」とか思っているうちに、必要/不要の区別がつかなくなってカオス!もう「とにかく捨てる!」にした。メモや計算の用紙が必要になった…
だいぶ前に書いた「プログラムの算術的計算法」と「プログラムの算術的計算法 (続き&完結)」において、非決定性の選択と非決定性の繰り返しについて述べました。これらを非決定性述語により実現してみましょう。コイン・トスとサイコロ博打で非決定性を実…