マセマはなぜ批判されるのか (227ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
36(1): 04/16(水)04:23:10.25 ID:PbLXV25U(1/12) AAS
院も数学なら少しギャップがある。ただマセマは数学検定と違ってεδをちゃんと
扱うし、数学科なら位相をじっくりやるんだから、もっと論理的に微積分を
やり直してもそんな時間かからないし損はしない
線形代数だって線形写像をちゃんとやればテンソル積なども時間はかからない
最悪でも情報理工くらいは行けるように微積分や複素関数を特急でやれるのはいい
数学科では微積分はさっさと大枠を捉えつつ代数と位相を徹底したほうがいいよ
69(1): 04/16(水)19:50:20.25 ID:sgEksmoX(16/21) AAS
>>67
証明をプログラムに変換する場合、計算に関わることとそうでないことの二つの内容があることに気づく
これは実際にプログラム抽出を一回でもマジメにやった人ならだれでも知ってるが
カリーハワードという言葉だけ齧って一回もプログラム抽出したことない人はまず知らない
マセマは計算に関係ないことはズバズバ省略する
数学原論は計算に関係あろうがなかろうが理屈は通す
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.017s