m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 「デュアルプログラミングとエクソシストゲーム」において、自分で「俺のターン」とかのセリフを書いておきながら、duel（デュエル）のオチに気付かなかった僕、t_tradさんに突っこまれてしまったよ。相当にクヤシイ。それはそうと、なんで悪魔が登場するのかっていうと、悪魔は超越的な能力を持っているので、理想的な状態の説明に使えるからです。悪魔のごとき行為は、人間には無理だし計算機にもできないでしょう。悪魔は理論上の存在です。人間の実装者は、悪魔のように完璧ではないですし、悪魔のように意地悪でもないので、戦いというよりは対話と妥協が行われるのでしょうが、少しでも正確さを増すために呪文（形式的記述と検証… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20060408%2F1144479281" title="デュアル（or デュエル）プログラミング、もう少し - 檜山正幸のキマイラ飼育記 (はてなBlog)" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2006-04-08 15:54:41 rich https://m-hiyama.hatenablog.com/entry/20060408/1144479281 1.0 100%