宣伝: 『The JRF Tarot for 易双六』を発売しました。シンプルなオリジナル絵柄のゲーム用タロット。初期ロット30セットのうち15セットだけ一般向けに限定販売です！

« 前のひとこと | トップページ | 次のひとこと »

aboutme:102160

でも、それってどういうことだ？なんか、私は計算可能論の三つのシステムの等価性「チャーチ＝チューリングのテーゼ」をイメージしてしまう。計算量と鍵無限が、帰納関数論とチューリングマシン、super な介入がラムダ計算みたいな連想をしてしまう。

JRF 2009年6月 1日 (月)

« 前のひとこと | トップページ | 次のひとこと »

トラックバック


トラックバックのポリシー

他サイトなどからこの記事に自薦された関連記事（トラックバック）はまだありません。