[表示 : 全て 最新50 1-99 101- 201- 2ch.scのread.cgiへ]
Update time : 12/19 06:23 / Filesize : 90 KB / Number-of Response : 228
[このスレッドの書き込みを削除する]
[＋板 最近立ったスレ＆熱いスレ一覧 : ＋板 最近立ったスレ／記者別一覧] [類似スレッド一覧]

↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました

マセマはなぜ批判されるのか

69 名前：１３２人目の素数さん mailto:sage [2025/04/16(水) 19:50:20.25 ID:sgEksmoX.net]
>>67
証明をプログラムに変換する場合、計算に関わることとそうでないことの二つの内容があることに気づく
これは実際にプログラム抽出を一回でもマジメにやった人ならだれでも知ってるが
カリーハワードという言葉だけ齧って一回もプログラム抽出したことない人はまず知らない

マセマは計算に関係ないことはズバズバ省略する
数学原論は計算に関係あろうがなかろうが理屈は通す




[ 続きを読む ] / [ 携帯版 ]
全部読む 次100 最新50 ▲ [ このスレをブックマーク！ 携帯に送る ] 2chのread.cgiへ
[＋板 最近立ったスレ＆熱いスレ一覧 : ＋板 最近立ったスレ／記者別一覧]（*・∀・）＜90KB

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef