19/07/01 18:16:19.45 8PCGqVSn.net
>>897
科研費申請書によくある「大風呂敷を広げたができなかった」だなw
Goは若手で1回（2年で完了）・基盤Cは今回初めてで書き慣れてないな
今の論文実績で次あるのかねえ
科研費の申請は1/3はすでに持ってる未発表結果を書いて
1/3は本当に目標を書き1/3ではったりを書くものだw
980:１３２人目の素数さん
19/07/01 18:38:05.31 MGEAluK/.net
全部はったりじゃ具合悪かろう
981:１３２人目の素数さん
19/07/01 18:39:55.64 YT3DF9jp.net
そもそもあの業績で、肝心のサーベイもクソの役にも立たず、それであそこのパーマネだからな。本人も流石に居心地悪いし後悔してるんじゃね？
982:１３２人目の素数さん
19/07/01 18:59:32.25 JCTMUZTg.net
クソ偉そうに罵倒とプロパガンダを繰り返すのが仕事だと思ってる院生と相性いいんじゃないの
983:１３２人目の素数さん
19/07/01 19:05:08.38 Fri2mAfi.net
あの丸写しサーベイで科研費３百だか５百もらったんならBより時間単価高いよな
監修経費で高級焼肉に流用させたのか
984:１３２人目の素数さん
19/07/01 19:14:19.80 c1HN02P5.net
院生の本音
URLﾘﾝｸ(search.yahoo.co.jp)
985:１３２人目の素数さん
19/07/01 19:40:23.98 isDUtUwn.net
この時間帯って内部者らしき擁護厨の工作員いないのな
さては生活苦におわれてコンビニバイトとはごくろうなこったｗｗ
生活苦と引き換えに魂まで売り飛ばすとかＡＶ嬢かよ
986:１３２人目の素数さん
19/07/01 20:56:42.70 YZhdX5+W.net
>>883なんかそうだが、
フーリエ変換とかテータ関数や乗法理論はわかるけどメリン変換が全くわからないなんてあるか？
前者を代数幾何学的な設定で考えたら俺ならアイデア出せるよ
数学的視点から見てもよくわからないんだよな。何か書けるだろ
987:１３２人目の素数さん
19/07/02 07:13:16.29 8EzjP+CR.net
誰にでもすぐ右翼左翼のレッテルを貼って
まともな政策論争ができないネット民に
似ているね、すぐ擁護派だの反対派だの
いう奴。
988:１３２人目の素数さん
19/07/02 07:20:59.06 rXRTVteh.net
論点が明らかなのに明確な反論ができないからだろ
一部のフーリガンは証明された、されたの連呼だし
理性派？は反論できず新しい数学だとか可能性だとかで逸脱するし
なにが新しいのかキチンと訴求すれば
989:１３２人目の素数さん
19/07/02 12:05:32.00 m+NrFT6e.net
IUT周辺にはおもしろいネタがあるけど、
御本尊がIUTの (細かい)改良しか許さないの
だろう
990:１３２人目の素数さん
19/07/02 13:00:40.87 BOcgD3xc.net
山のようなパッチが当たった、動くかどうかわからないプログラム、みたいな？
991:１３２人目の素数さん
19/07/02 14:30:07.21 21EU+IlN.net
>>931
周辺は自分たちのやりたいように勝手にやればいいと思うがな
「御本尊が(細かい)改良しか許さない」数学なんてすぐ潰れる
992:１３２人目の素数さん
19/07/02 15:43:35.20 CaFoTM5d.net
>>931
まったく逆だと思う。むしろいじり倒して欲しいけど、周りが手をつけられないだけ。
993:１３２人目の素数さん
19/07/02 15:49:59.62 nzRoO8NL.net
＞御本尊がIUTの (細かい)改良しか許さないのだろう
何言ってんだこいつ(´･ω･`)
994:１３２人目の素数さん
19/07/02 16:44:15.45 2gT6mNci.net
>>932
証明のプログラムなら 裏付けに論理の完全性
定理も必要だし、
IUTによる証明はIUT形式を含むんだよね
995:１３２人目の素数さん
19/07/02 16:46:20.94 IBtJIl6U.net
うーん、メリン変換とスピンって言ったら一応ちゃんと一定の方向で模索はしてるのはわかるが
何か書いて出せよとw
特にIUTとモチーフとの関連は一本間違いなく書ける。でも、どうせアクセプトされないか
996:１３２人目の素数さん
19/07/02 16:50:22.66 IBtJIl6U.net
とはいえArxivにどんどんプレプリント出すべきだよね
あれだけの膨大な理論を理解して三年間一本も書けないとかありえないよ。全体的に無能としか思えないね
997:１３２人目の素数さん
19/07/02 20:02:10.27 EM+k0btj.net
このスレでバカみたいなイチャモンつけるやつが多過ぎる。なぜだろう？
998:１３２人目の素数さん
19/07/02 21:09:10.63 UDherhKq.net
研究室周辺が特異点なだけ
999:１３２人目の素数さん
19/07/02 21:40:40.78 pYbbnTiu.net
今回だってＢの非数学徒人気を利用して世論を扇動し、ゴリ押しで掲載させようとしたんだろうが世間はそんなに甘くない
脳内妄想全開だからＮスペもポシャるのさ
Ｂだって密約のポストがゲットできないと笛吹になるかもよ
あの理解度なら普通は厳しいだろうけど
1000:１３２人目の素数さん
19/07/02 23:54:03.15 0FhYomiN.net
IUTで所望の不等式を得て愛友亭で所望の地位を得る
東京の焼肉はうまくないのか
1001:１３２人目の素数さん
19/07/03 04:53:17.51 jzO7LrN9.net
韓国政府から金貰ってる民団が組織的にもっちーを誹謗中傷する書き込みをしているのか。
1002:１３２人目の素数さん
19/07/03 08:10:59.09 tlbTB8gt.net
>>941
そういう陰謀論的なことを平気で書いてると、まともな批判とは
受け取られないよ。逆効果だからやめとき。
1003:１３２人目の素数さん
19/07/03 14:45:30.86 0iHXX/7/.net
まともな批判と受け取ったことなんかあったっけ
1004:１３２人目の素数さん
19/07/03 14:55:30.44 g6rILCt+.net
M月と取り巻きは説明責任を果たしていない、で終わりの話。
いつまでダラダラやるつもりよ？
1005:１３２人目の素数さん
19/07/03 15:46:13.89 iFK4d7Zh.net
>>941
そうだよ。エディタ会議に物わかりのいい人が入ると大変なんだから。
コトによるけど退任責任の署名付きならいいんじゃないの。
事前に騒動の顛末は分かってるわけだし。
論文の掲載後に誤りが見つかることはよくあるといってもPRIMSの権威を左右する。
1006:１３２人目の素数さん
19/07/03 16:59:59.25 pPcD8P3K.net
伝家の宝刀サーベイを見ろが通用しなくなったからなあ
当時から応援してた奴は知ったかぶり
1007:１３２人目の素数さん
19/07/03 18:18:08.27 RzIG4v0m.net
>>946
俺もそう思うわ。
K藤さん一般向けの解説書まで出して勇み足だよ。
1008:１３２人目の素数さん
19/07/03 18:20:18.18 RzIG4v0m.net
圏論の連中は怪しいと言ってるけどね＞IUT
俺は解析屋だから詳細は追えないが。
1009:１３２人目の素数さん
19/07/03 19:25:56.85 dqLWAG/2.net
2600
ふうL@Fu_L12345654321
学コン1傑いただきました！
1010: とても嬉しいです！ https://pbs.twimg.com/media/D-IuUuqVUAALnAB.jpg https://twitter.com/Fu_L12345654321/status/1144528199654633477 (deleted an unsolicited ad)
1011:１３２人目の素数さん
19/07/03 22:36:21.98 gmfcCeF+.net
まあ有耶無耶に逃げ切るっていうのはもう無いからね
文元が出した啓蒙本のせいで、アクセプトか誤魔化しか、動きがあったら必ず日本のマスコミは反応する
今年度中には何か起こるだろう
1012:１３２人目の素数さん
19/07/03 23:13:33.63 cBOT5KQf.net
論文に対してのスタンスや総合的な情勢の解釈を間違えたから挽回はできないだろう
急先鋒のFでさえ大人しくなってるのに
1013:１３２人目の素数さん
19/07/03 23:17:11.42 tlbTB8gt.net
>>945
まともな批判と受け取られなくてもいいと開き直ってるのなら、
フェイクニュースだろうがなんだろうがお好きにどうぞ。
1014:１３２人目の素数さん
19/07/03 23:39:46.67 CFWFpfGx.net
言葉って便利だよな
批判と誤りを履き違えて平然としてるのもどうかと思うが
1015:１３２人目の素数さん
19/07/04 00:00:03.04 e0s7SjJC.net
>>953 そういや何やってんだろうなあいつ笑 存在を忘れてたわ
1016:１３２人目の素数さん
19/07/04 08:50:15.13 uq4SM7D9.net
>>950
> 圏論の連中は怪しいと言ってるけどね＞IUT
なるほどやはりそうですか
1017:１３２人目の素数さん
19/07/04 12:16:24.43 WVvlIGKU.net
論点はある程度明確なのだから少なくとも形式的に書き下せば認識のズレみたいな今の状況は進展するとは思うが形式的に書き下せないみたいな事を暗に望月さん言っちゃってるしなw
IUTを形式化するところがまず今後やるべき事なんでしょう
1018:１３２人目の素数さん
19/07/04 12:25:48.56 r9BoI4Q1.net
lepergeやDupuyも今年は足繁くMのもとに通ってるらしいし、今年後半にはノッティンガムから南出が戻ってくんだろ？特定助教でw
あとは共同研究してるフェセンコの院生が特定研究員かもなww
Mファミリーwwww
1019:１３２人目の素数さん
19/07/04 13:14:59.23 q50OUQFv.net
俺は数学できないけどIUTやってみた。
したがって、”教授のメンツとそれらから定まる予算の計算の仕組み”を保つものが存在すれば、所望の研究所が得られるはずだということです。
1020:１３２人目の素数さん
19/07/04 13:39:25.72 CsQjDDgF.net
STOP IUT はありま～す
1021:１３２人目の素数さん
19/07/04 13:44:36.47 uvSAa4Sp.net
身内評価永久機関の試み
1022:１３２人目の素数さん
19/07/04 14:14:34.42 pMW0ZGlk.net
>>958 要は本人も単なるまやかしだと認めているわけだ藁
1023:１３２人目の素数さん
19/07/04 14:40:29.79 6LGlUzx7.net
ことここに至ればもう何らかのハードランディングしか残ってなさげ
1024:１３２人目の素数さん
19/07/04 14:46:22.23 pMW0ZGlk.net
大理論、難解、真偽判定には時間がかかると銘打って
取り巻き連で結託すれば人事予算とやりたい放題になるという悪しき前例を作ってしまったよね、r*msは。
慎重に判断すべきと煙に巻くのに、この手の話に勇み足なのはなんでだろう
1025:１３２人目の素数さん
19/07/04 15:44:32.78 3ZhQIMPA.net
完成してないのがわかってるからアクセプト➡
予算獲得➡優秀な人材を多数確保➡拡張と
確定を狙ったんだろう
1026:１３２人目の素数さん
19/07/04 15:50:54.08 u7Swe+1+.net
姑息だよね～
>>959 特定助教や特定研究員とはいっても採用に際して現状の指摘事項に
対するレポートや多少の質疑応答は�
1027:K須だよねえ
1028:１３２人目の素数さん
19/07/04 16:43:07.71 FVoBAriS.net
>>966
それでご本尊や取り巻き連中がダンマリ戦法なのか
1029:１３２人目の素数さん
19/07/04 16:52:01.94 chXgx/+D.net
だったら何なんだよ、お前らは女性が化粧してたら怒り出すのか
1030:１３２人目の素数さん
19/07/04 16:59:29.02 x00U3Nsp.net
誰か意訳して
1031:１３２人目の素数さん
19/07/04 17:40:28.51 NlSu9whV.net
ここは鮮人が多過ぎる。
組織的な書き込みのよう。
1032:１３２人目の素数さん
19/07/04 18:06:50.80 PYOSW5iJ.net
もういい加減次スレ建てるのやめようぜ
オーバードクターの鬱憤晴らしの場になっているだけ
1033:１３２人目の素数さん
19/07/04 19:08:01.46 opHQDpJX.net
出鱈目な内容のIUTへ毅然とした姿勢で
対応し ノーと発信すべき。
このスレで大切なことは
記録に残す
1034:１３２人目の素数さん
19/07/04 19:20:04.64 24BqSlfM.net
もし誤りだったら前代未聞の稀有なハプニングなので、単なるストレス発散の叩きと片付けるのは無理がある
どうせ今年度が山なら適当に行っちゃっていいんじゃないか。落ちないし
1035:１３２人目の素数さん
19/07/04 22:06:13.01 pMW0ZGlk.net
朝日スッパ抜きといい、誰かが入れ知恵してるのはまず間違いないからな。
とうの昔に被害妄想や批判者へのレッテルばりで片付けられる問題じゃないわ。
1036:１３２人目の素数さん
19/07/05 08:53:27.78 0oh2mTfH.net
朝日すっぱ抜きのおかげで予算が付いて人員も増えるってウハウハだもんな
1037:１３２人目の素数さん
19/07/05 14:27:29.18 SMgdAclR.net
F藁先生はIUTをどう評価しているのか、ご存知の方はいますか？
面識のある方はちょっと尋ねてみてください。
1038:１３２人目の素数さん
19/07/05 14:55:44.95 L48BejiI.net
遺伝的アルゴリズムが近いってのに異論はないんだけど、もっと近い感じだと
「遺伝情報理論的遠アーベル幾何学」って感じだねw 凄くしっくり来る
たまたま情報理論めくっててそう思ったよ。宇宙際の理屈もそうだけど、雰囲気は情報科学っぽいね。雰囲気は
1039:１３２人目の素数さん
19/07/05 20:43:02.58 Q+m44D4z.net
>>977
さては知ってて、あえて訊いてるだろ
1040:１３２人目の素数さん
19/07/05 23:07:14.93 2LcLaaDX.net
次スレ
Inter-universal geometry と ABC予想 40
URLﾘﾝｸ(rio2016.2ch.sc)
1041:１３２人目の素数さん
19/07/05 23:21:24.35 K9VxBE6D.net
>>978
望月がループ式入れ子宇宙を作ろうと考えた時、“simulate ∈-loops”から最初は基礎の公理に違反すると考え、
恐らくですが、anti-foundation axiomsやNon-well-founded set theoryを考えたのだろうと思うのですよ
つまり、最初期の発想は計算機科学者のそれにかなり近い
これは、IUT構想初期の講演原稿から読み取れます。その時点でラベルの使用も考えています
しかし、さすがに基礎の公理に反するのはマズいと考えて、種と突然変異を持ち出したのでしょうね
で、そのような宇宙はどうやって成立するかと考えて出来たのが充満多重同型であり、それをどうやって構成するのかというのが
単遠アーベル的復元/構成です(実際は手続きであり復元可能性であるので、クンマー理論とくっつける必要がある)
さらに、充満多重同型のようなフラフラしたヌエ的な同型（もどき）にはラベルが「必要とされる」と
ロバーツがMOで意味深なことを書いていましたね。望月は圏論をやってないし、高次圏も使ってないとしたうえで、
URLﾘﾝｸ(mathoverflow.net)
＞Just because a computer scientist uses natural numbers, it doesn't mean they are doing number theory.
ロバーツもIUTの動機付けや理論構築過程をよく分かっているのでしょう
遠アーベルの専門家じゃないヤツに用はない、と邪険に扱われていましたが・・・
1042:１３２人目の素数さん
19/07/05 23:22:17.77 K9VxBE6D.net
>>980
スレ立て、乙です
1043:１３２人目の素数さん
19/07/05 23:37:16.33 K9VxBE6D.net
上でロバーツの一文についての補足なんですが、もちろん、
「望月が圏論の概念を（部分的に）使っているからと言って、彼が圏論をやっているわけではない」という意味です
リテラルに読めばそうなります。しかし、ここでなぜcomputer scientistを例に持ち出したのかということですね
まあ、私の深読みだと思うのですが・・・
1044:１３２人目の素数さん
19/07/06 00:58:55.79 yKHKprzS.net
>>979 kwsk
1045:１３２人目の素数さん
19/07/06 09:17:02.47 +Ho8rao1.net
専門を考えたら、単遠アーベル的復元/構成から、
先に考えてたのじゃないの？
1046:１３２人目の素数さん
19/07/06 15:51:42.23 SzxByl/K.net
結論ありきで辻褄合わせやってるうちにめちゃくちゃな議論でデタラメな結果になってしまうのはよくあること藁
1047:１３２人目の素数さん
19/07/06 16:01:31.87 5dvSg4jK.net
>>986
査読してても長大な技術的な論文で結果が間違っていると直感しても
間違いを指摘できないことはありますからね
やっと間違いを指摘したら今度はまた長い修正論文を送ってきたりするし
（事情があって）さっさとrejectできない場合は辛い
1048:１３２人目の素数さん
19/07/06 16:56:47.74 SzxByl/K.net
取り巻きとつるんで開き直って広告活動や政治工作打たれたりするとなおさらね。
もう痛みを伴う手荒な解決しか残されていないと自分はおもっています。
慎重に判断すべき、理解には時間がかかると煙に巻く癖に、予算や人事の権力闘争には勇み足、すべてこれが真実を物語っているのだと思います。
R*msがいつ引導を渡すのか、注目ですね。
2020に多額の税金をつぎ込んだ大規模プロジェクトがあるわけで、
当然その分の説明責任と成果に対する責任があるわけだから、そこが一つの転換期となるでしょう。
ここで詰め間違えたらR*msは数学界や日本国民からの信用を大きく失い失望させることになるでしょう。
1049:１３２人目の素数さん
19/07/06 17:02:07.79 JQlwrsWC.net
>>988
多額wwんな規模じゃねーよww
1050:１３２人目の素数さん
19/07/06 17:09:47.08 lQHJNu5p.net
方向やアイデアはある種自然で正しい(とも思える)
ただそれを今の数学の枠組みでやるには無理があるしギャップがうまれる
だから遠回りでも望月か周辺が基礎付けをやるしかない
1051:１３２人目の素数さん
19/07/06 17:47:23.95 vf7Keayn.net
IUT論文を取り下げ 書き直して再提出するべき、と言われてきたのにさ。
「修正」の上書きを繰り返しているうちに
外堀が埋まった感じがする。
圏論のこの点を指摘されたら更にどうなんだろ？と何となくわかるようになったw
1052:１３２人目の素数さん
19/07/06 18:04:16.97 5dvSg4jK.net
>>655
／/ 1 . {. . .ヽ. . ヽ. . ',. .ヽヽ
/ .:/ ﾊ: :!: :.:ﾄ､:.:. :＼:...l:.. :}: : |_⊥ 、
j . {: .:{ :l､:l､: :.ﾄ-ヽ､_:..｀ヽ､j__イ_つノ
l 1:ﾊ.::{ゝl=くヽ:.ヽ ﾄｨjr}Tｧ┬ァ:.:´|
|ハ :ヽlｧ{ﾄｨrj ＼i ｰ_'っ /:.ｲ-､:｡:|
ヽ｡ﾊ^rぅ' 丶 ｀ ノ', く } }:.olﾟ o
。 ｀ﾊ ｡ {ｧ´ヽ ,ｰ o':.へl お客様の中にIUTを修正できる方は
ﾟ ´ﾉi＼ ー' ィ:;:.ｨ/|/ﾟ 。 いらっしゃいませんか？？
。 o ｡ ﾟﾊﾍ;:＞ｰ--＜_rv〈､_
/￣ヽ ＼/ll }l}｀'^'ﾄ､
/ ::Y77l j l !_｀７
l, ---::､〉 jl l ハゝ-i
ヽ Vi } ,' ﾉ, ｰ_ヽ
} , -‐ｧl ノ / ﾚ´,.- j
j イ !l ／ / ﾊ -,.く!
1053:１３２人目の素数さん
19/07/06 18:49:16.01 EErN+KeY.net
この飛行機に
単遠アーベルを直せる客は、乗ってません orz
1054:１３２人目の素数さん
19/07/06 18:53:56.27 1Jk9ck24.net
無限ループにありがちな自己同型矛盾の問題と可能性は●●だか教えてやらん
1055:１３２人目の素数さん
19/07/06 18:59:08.79 Sde7L8On.net
ダメなの！
死にそうだから●●を教えて！ お・ね・が・い
1056:１３２人目の素数さん
19/07/06 21:00:30.51 mexKV3lm.net
結局偉そうに批判している連中もショルツ様が言うまで自分では何も言えなかったモブ
1057:１３２人目の素数さん
19/07/06 21:35:50.04 VjsFe2sY.net
>>981
実際には、宇宙際の関係は集合と要素という関係よりもラベルによる種の管理はHigherだから構わないと、
つまりZFCとは特に矛盾しないという言い方に落ち着きましたね。宇宙Uを各々「言語」と見なすと、
これは個人的には、存在論的には確かに面白い性質にはなっていると思います
ここで宇宙が言語であるといっても、一次言語は絶対遠アーベル幾何学的な共通語になっている
それを通じて任意の宇宙は別の宇宙を内部から解釈することができる
それについてラベルを導入するというのも含めて、要は計算機科学的というのはここでは構成的、
直観主義論理的な考えとして相性は良いのかもしれない。拝中律は直観主義では統制的な縛りではないが、
同じようにIUTでは圏論的な普遍性というのは階層性の見方次第で縛りではなくなるのかもしれない
ただ、スキーム論的な情報も実解析的な情報も下部構造である位相群の同型に依存しているはずなんですけどね
どちらかというと、狙い通りにするための強引な構成と、色々な要素をぶっこんで万能感を満たしたい欲求が
見て取れるような気はしますけどね、意地悪かもしれませんが
>>996
というか、それまで真剣に読んでた人がどれだけいたのかもよくわからんからね
ショルツはディオファントス幾何が専門ではないのにさすが勉強熱心だった
1058:１３２人目の素数さん
19/07/06 21:37:42.77 VjsFe2sY.net
↑ZFCと矛盾しないという言い方に落ち着いた、ではなく「という感じに落ち着いた」です
つまり単なる印象で具体的なエビデンスの話ではない
1059:１３２人目の素数さん
19/07/06 22:23:23.41 VjsFe2sY.net
SSがクンマー理論の自然同型云々と言っているのは、結局フロベニウス射とも密接な関係があるんだけども、
スキーム論的なデータを復元するための基本的な算法構造、一次言語が何なのかという事
おおざっぱに言えば結局「同じ素材」でできているものだが、そ�
1060:ｱで全域定義されているはずの写像が何故 精妙な非同型として区別された非自明な特異性を持ちうるのか？ フロベニウス射と遠アーベル幾何を無理やり使っても自明な全域写像しか成立しない かといって、IU形式主義というのも実は必ずしもラベル云々の議論を必然的には導かない 色々無理をして何とかABC予想の証明に結び付く例の不等式が構成されたわけだ
1061:１３２人目の素数さん
19/07/06 22:23:52.66 vd7YBARF.net
>IUTでは圏論的な普遍性というのは階層性
の見方次第で縛りではなくなるのかもしれない
トンデモかも？
1062:1001
Over 1000 Thread.net
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 38日 3時間 6分 0秒
1063:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています