「数学」をプログラミングするには

[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

881(1): 01/20(月)01:24 ID:8nHIoBfi(1) AAS
型＝命題
項＝証明

この対応は、通常のプログラミングでも同様
そう思えないってことは、型の使い方が大雑把すぎるってこと

882: 01/20(月)06:41 ID:qtJTpWnY(1) AAS
>>881
お前のソースコード見せてくれよ
どんだけ立派なのか拝ませてくれ