tomohikoのブログ
ラベル
ラムダ計算
の投稿を表示しています。
すべての投稿を表示
ラベル
ラムダ計算
の投稿を表示しています。
すべての投稿を表示
2012年3月20日火曜日
チューリング 不動点演算子 証明
›
チューリングの不動演算子についての証明を画像に示す。 texでドキュメントをおこそうとしたけど、半年前からまったく触ってなかったので、ドキュメント作成が大変だった（まだできていない）。 現時点では、画像をアップロード。 問題 証明
›
ホーム
ウェブ バージョンを表示
