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