19/04/27 00:38:35.66 OL1X1Ifm.net
>>966
お久しぶりで
フレームワークは抽象的に見れば、哲学的（数学の中の哲学という意味で）には利用可能な部分も
あると思いますが、他方「明示化と区別された宇宙」という妙な論法を回避すべきではないか、というのは
直感的には普通に感じることかなと。で、望月軍団としては「やってみる」方に投企した
これは論理的にかなり怪しい記述。言いたいことはわかるけど、自然にはあまり見えない
結局この流れからすると、正しいのは前者の抽象的なフレームワークの可能性に注意しつつ、後者の
宇宙際幾何学的な論法を回避してスキーム論を一般化するべきである、ということになる
スキーム論を如何に一般化するか、という意識を持った数学者には一考に値する理論ではあっただろう
勿論南出氏らが頑張る可能性もあるだろうが、ひとまず自分としては今はそんな評価
1004:１３２人目の素数さん
19/04/27 00:45:01.52 OL1X1Ifm.net
理論を抽象化するとしばしば拠り所にしたい情報が失われる�
1005:ﾌである、というのは非常に重要な問題 それはストーン空間論も言っていることだけど。では、どうするか？ 一般化というのはグロタンディークはいとも簡単にやるが、難しい
1006:１３２人目の素数さん
19/04/27 03:02:27.98 BhKgYX+T.net
ENIACはやっぱノイマンというよりストーンのためのもの？
1007:１３２人目の素数さん
19/04/27 03:16:25.58 tVpkhhA1.net
ガラケは必要な者に使われる
1008:１３２人目の素数さん
19/04/27 04:58:21.81 NuPy8WKn.net
大和魂ってクォータじゃんか、って突っ込むアリ？
1009:１３２人目の素数さん
19/04/27 07:51:49.31 JYhZIaeQ.net
>>957
サンキューパヤオ
1010:１３２人目の素数さん
19/04/27 08:36:04.13 BhKgYX+T.net
的はずれかもしれんが、KF1からKF2までの開発がやたら早かったのは
その段階で三次元の絵書く技術出来てたから？
1011:１３２人目の素数さん
19/04/27 09:36:55.15 nonCKgyu.net
暫定的に出してシェア取ってからバージョンアップさせりゃいいだろ
企業的にはとりあえず稼がなきゃならんし
1012:１３２人目の素数さん
19/04/27 09:53:32.12 P7iyMG/0.net
と、いう研究室がありましたとさ
1013:１３２人目の素数さん
19/04/27 09:55:49.47 BhKgYX+T.net
やっぱか。KF2があまりにも名作だったからあれはなんだったのかと
3は最後の装備関連がイマイチ。2のクオリティは良かった
1014:１３２人目の素数さん
19/04/27 09:57:03.60 BhKgYX+T.net
音声合成とかもすごいわな
1015:１３２人目の素数さん
19/04/27 10:24:04.10 vtR75Pci.net
あと10年でIUTの理解者が50人くらいに増えるかな。
1016:１３２人目の素数さん
19/04/27 10:40:34.21 BhKgYX+T.net
ごめんこれ皮肉。やり過ぎ。マジで大丈夫？
ひろゆき氏のあれもヤバいことを感じ取った予防線じゃん。
1017:１３２人目の素数さん
19/04/27 10:42:14.10 BhKgYX+T.net
本当にフランスに逃げたんじゃない？
1018:１３２人目の素数さん
19/04/27 11:08:53.96 CUDv+aFp.net
現世のフィールズ賞受賞者の誰にも理解出来ない理論なんて、
M月が数学界の神であるか間違って居るかだ
B元は、自分はIUTを理解してないにも関わらず
何故間違ってるか解らないとかホザく
その時点で数学者としてアウトだ
B元のやってるのは只の信仰告白
1019:１３２人目の素数さん
19/04/27 12:15:35.15 vtR75Pci.net
ところでフェセンコ氏のIUT理解は確かなんかね。あとGo山下氏も。サイディ氏はハッタリかますような人には見えないが。
1020:１３２人目の素数さん
19/04/27 12:37:42.39 BhKgYX+T.net
理解してないというか読んでもいないけど、
そんなこと言ってる場合じゃないかと思って
迷惑ならやめる
1021:１３２人目の素数さん
19/04/27 12:53:09.22 JYhZIaeQ.net
よく考えたら間違ってたとかよくある話だから別にいいのになんでここまで引っ張ったんだろ
1022:１３２人目の素数さん
19/04/27 13:01:21.40 BhKgYX+T.net
学部生募集した時点でかなりおかしくなってたと思う。
1023:１３２人目の素数さん
19/04/27 13:13:52.51 BhKgYX+T.net
あとはなんだろ。アーマードコアツクールの上位版の
A&Vツクールにみんなほんとに引っ掛かって男も女も婚期のがしていったのが
結構シャレにならなくなったからムキになったのかな
1024:１３２人目の素数さん
19/04/27 13:17:43.59 BhKgYX+T.net
言うぞ。このタイミングしかない
1025:１３２人目の素数さん
19/04/27 13:21:48.62 BhKgYX+T.net
あとはあの変なおじいさん一家ツクール
1026:１３２人目の素数さん
19/04/27 14:06:35.36 BhKgYX+T.net
天皇家は宮内庁職員が仕事で演技しているわけでもなく
フルCG
1027:１３２人目の素数さん
19/04/27 15:48:01.34 M0lfP2pc.net
数学界の脆さが露呈した例だったな
理論が正しかったとしても理解させなければ秘教的になる
間違っているとしても正しいと言い続ければ研究費は出てしまう
証明済みと知っているだけで証明自体は知らないで使っている定理や補題なんて沢山ある
使っている数学の全てを一人でチェックなんて量が多すぎて不可能だし
やり遂げたとしても「見落としは絶対にない？」と聞かれたらどうしたらいい
数学はどこまで人に扱えるもんなんだろうね
コンピュータが動作を保証しているプログラムですら完全なバグ潰しなんて到底できないのに
1028:１３２人目の素数さん
19/04/27 15:55:03.10 KWIrnU+L.net
BさんはIUTがやばいってなった後で、講演したり本を書いたりって行動に
ではじめたのが、単純にどういうことなのか興味深い。
やばいってなった後で、俺は検証にかかわっていないし、昔ちょっと話を
聞いた程度だから、やっぱり間違っていたってこともあるかもねって態度で
シラを切り通せたのに（実際そういうスタンスの人はいる）。
1029:１３２人目の素数さん
19/04/27 15:57:56.71 Lpw6dS8y.net
今のところ朝鮮人でIUT理解者はゼロか。
1030:１３２人目の素数さん
19/04/27 16:01:11.40 Lpw6dS8y.net
韓国でIUT理解者が出るよりもベトナム、フィリピン、台湾、シンガポールのほうが先だろう。
1031:１３２人目の素数さん
19/04/27 16:02:05.17 RlCnnBcd.net
1000でリジェクト
1032:1001
Over 1000 Thread.net
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 48日 16時間 41分 44秒
1033:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています