Pixel Pedals of Tomakomai

北海道苫小牧市出身の初老の日常

2011-05-01から1ヶ月間の記事一覧

今日はYokohama.pmの日です。

本日18:30から行われるYokohama.pm #7へ参加する予定です。

Rubyでわかる?チューリングマシンの停止性問題

論理と計算のしくみを読んでいてチューリングマシンの停止性問題(Halting problem)の証明がしっくり来なかったので、Rubyで書いてみました。こうして書いてみると、証明のアイデアとしては単純明快です。ちなみに、Lisper のためのチューリングマシンの停止…