23/07/10 03:31:09.55 1m6jdjQ0.net
>>719
弱い意味でのK群が複式簿記という経済活動の基本言語に思えてならない。
739:１３２人目の素数さん
23/11/19 06:59:37.93 1bf6PfHC.net
「集合と位相」が「圏論」に統一される日は近いか
740:１３２人目の素数さん
23/11/19 08:21:47.79 2uB+XuiD.net
ないない。大きな圏なんて誰が使うよ。
741:１３２人目の素数さん
23/11/19 08:52:45.54 1bf6PfHC.net
triangulated categoryが
学部の必須科目になる日が来るかもしれない
742:１３２人目の素数さん
23/11/19 11:19:55.78 TGbMZthL.net
圏論の歩き方買ったぜー
743:１３２人目の素数さん
23/11/19 14:44:22.63 4F6BNddK.net
>>724
ないない
何妄想よ
744:１３２人目の素数さん
23/11/19 19:54:03.10 lDLa/ZyX.net
50年前
スキームはいずれ高校の教科書に載るだろうと言われていた。
たしかにまだだが
学部の授業では教えられるようになったそうだ。
745:１３２人目の素数さん
23/11/19 20:35:13.79 S7/EQSok.net
>>727
なってないなってない
学部レベルならそれより教えるべきことは別にある
紹介ぐらいならするかも知らんが
746:１３２人目の素数さん
23/11/19 20:41:38.07 S7/EQSok.net
>>703
射の射の射の射の・・・・・・と無限にあるやつ
747:１３２人目の素数さん
23/11/19 20:44:44.79 TGbMZthL.net
yet another new math
748:１３２人目の素数さん
23/11/19 21:06:59.67 MwkSc5x7.net
>>724
東京大学工学教程の「微分幾何学とトポロジー」にはウィッテン流のモース理論の“証明”が載ってる。
弱い意味でのK群でもあり導来圏でもある指数定理の指数ぐらいなら学部でインスタントんにやっちゃってるのに近い。
749:１３２人目の素数さん
23/11/19 21:14:49.38 TGbMZthL.net
秀才用
750:１３２人目の素数さん
23/11/19 21:17:19.36 lDLa/ZyX.net
ミルナー本は何用？
751:１３２人目の素数さん
23/11/19 22:42:39.00 TGbMZthL.net
証明が載っていない、使えればいい工学部の教科書
752:１３２人目の素数さん
23/11/20 01:08:51.91 NoovPcls.net
>>734
スキームは使わんが計算にグレブナー基底は使うんで載せる
楕円暗号もネット認証という或る種の“証明”に使うんで載せる
753:１３２人目の素数さん
23/11/20 09:13:28.68 C060gkK4.net
安心を得たいのか
754:１３２人目の素数さん
23/11/20 11:30:12.14 C060gkK4.net
必要なのは計算に使う公式だろ
755:１３２人目の素数さん
23/11/20 14:07:46.50 NoovPcls.net
>>736
本来なら形式的アルゴリズム的にプログラム安全性を保障したいところだが
それは無理なので
756:１３２人目の素数さん
23/11/20 14:08:35.23 NoovPcls.net
保証じゃなく証明か
757:１３２人目の素数さん
23/11/20 14:19:40.00 C060gkK4.net
意味不明
758:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています