5ちゃんねる ★スマホ版★ ■掲示板に戻る■ 全部 1- 最新50  

■ このスレッドは過去ログ倉庫に格納されています

ぶっとい沈湖が出ちゃって出ちゃって

1 :ゼッケン774さん@ラストコール:05/01/09 21:45:30
ぶっとい沈湖が出ちゃって出ちゃって いっつもこまるんだよね〜

2 :ゼッケン774さん@ラストコール:05/01/10 13:35:31
2ゲットしたから削除していいよ

3 :ゼッケン774さん@ラストコール:05/01/10 13:37:32
C様

4 :ゼッケン774さん@ラストコール:05/01/10 13:38:05
C様ゲト

5 :ゼッケン774さん@ラストコール:05/01/10 14:46:21
証明とプログラムの統一
佐藤雅彦(京都大学大学院情報学研究科)
1.はじめに
2.道具としてのコンピュータ
3.数学における証明の役割
4.行為としての証明と記述としての証明
5.形式的証明
6.数学的対象としての証明
7.BHK解釈
8.証明=プログラム
9.結語
参考文献

1 KB
■ このスレッドは過去ログ倉庫に格納されています

★スマホ版★ 掲示板に戻る 全部 前100 次100 最新50

read.cgi ver 05.04.00 2017/10/04 Walang Kapalit ★
FOX ★ DSO(Dynamic Shared Object)