22/02/21 19:35:23.59 Az4yKH7h.net
>>881
伊藤清を評価して金融工学を批判するのは矛盾していない
>>881の頭はお粗末
910:132人目の素数さん
22/02/21 23:03:22.33 BzBWVnJE.net
昨年末にID無し書き込みも誹謗中傷暴言犯罪者も
山形大学底辺准教天羽優子の自演だとバレたのに
まだ天羽優子は犯罪書き込みを続けているのか
911:132人目の素数さん
22/02/21 23:18:15.04 5K5QrRzN.net
>>884
ドブねずみ男が天の羽根を持つ白鳥に嫉妬する醜さ
912:132人目の素数さん
22/02/22 02:10:51.36 NVljPR++.net
オズボーン博士も知らないニワカが批評ごっこw
913:132人目の素数さん
22/02/22 07:41:05.94 +IWsXIBy.net
うまい例えだけど、すこし違うんだよね。
914:132人目の素数さん
22/02/22 14:55:30.82 zlS4GR/a.net
ABCの話題は消滅したようだ
915:132人目の素数さん
22/02/22 16:37:45.38 W4KE5KfK.net
基地外に荒らされちゃって消滅か...
916:132人目の素数さん
22/02/22 17:08:46.90 NVljPR++.net
どう落とし前付けるんだa_watcher?
917:132人目の素数さん
22/02/23 10:58:02.27 XH/CKbuA.net
ABCというかIUTが消滅したんじゃないの?
918:132人目の素数さん
22/02/23 13:08:13.13 YrhbhwXk.net
微積分や確率論、非ユークリッド幾何が誕生したときも、知識人や哲学者、さらには一部の数学者までもが、それらに拒否反応を示した。
もちろん今日では、それら全てが常識となっているわけだが。
今、IUTを巡る論争で同じことが起きようとしてるのかもね。
919:132人目の素数さん
22/02/23 14:46:22.73 L2zOELL/.net
勿論間違っていて受け入れられなかった新概念も山程ある
920:132人目の素数さん
22/02/23 14:46:57.12 9Ra4pPPb.net
>>892
拒否反応さえ起きていない
921:132人目の素数さん
22/02/23 14:58:34.21 YrhbhwXk.net
>>894
お手本のような拒否反応
922:132人目の素数さん
22/02/23 15:55:29.28 9Ra4pPPb.net
>>895
拒絶と拒否反応は微妙に違う
峻拒というのもあるが
923:132人目の素数さん
22/02/23 15:58:47.91 h0aa0dr1.net
結局のところそんな「こんな例があった」なんて話はどつちもある
そんなもん引き出してもなんの意味もない事が分からん能無し
924:132人目の素数さん
22/02/23 17:14:40.39 L2zOELL/.net
そう
>>892はインチキな人がよく言う無意味な言説
925:132人目の素数さん
22/02/23 17:17:13.59 9Ra4pPPb.net
その上に自分のインチキさ加減を見せびらかしたいときている
926:132人目の素数さん
22/02/23 19:23:52.60 YrhbhwXk.net
拒否反応のなかには、拒否の意図を明確にするもののほかに、対象がそのような明確な拒否にすら値しない、などといっていわば暗黙のうちに拒否するものもある。
後者のような暗黙的拒否がとられるのには、拒否反応を示す者が、実は対象の妥当性を内心では認めているものの、それを認めたくない、また信じたくないという感情的な理由で拒否反応を起こしている場合がある。
真正面から対立することで、そのような内的矛盾が暴かれてしまうことを恐れ、拒否の意図を明確にしないままでいるのである。
つまりは“逃げ”ているのである。
927:132人目の素数さん
22/02/23 19:28:20.48 X6CvZDTb.net
エービーシーディーイーエフジーかーにがチンポをはーさんだー、いーたいかーらはなせー
って歌があったな
928:132人目の素数さん
22/02/23 20:53:35.84 L2zOELL/.net
>>900
やっぱりこいつはインチキ人間だった
929:132人目の素数さん
22/02/23 21:59:55.49 UNxh6ASD.net
少なくとも他との親和性を希求するタイプではないね
930:132人目の素数さん
22/02/23 23:57:56.69 BP4T7qN9.net
★誇大妄想狂 天羽優子の妄想内容変遷★
 ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄
10月には総理大臣になりノーベル賞をとり学長になり衆院選で当選した(現在完了形)と言っていた人間が
2週間後には資産家と結婚し県議会議員になりたい
3ヶ月後には山形ケンモブリッジ共同作業所に左遷と
妄想設定が毎日変わる誇大妄想末期状態
■2021/10/07(木) 11:38:58.78 ID:a47+vyZ4
> いつの時代も総理大臣が批判されるようなもんだ
■2021/10/08(金) 19:53:26.26 ID:3GIXAUpq0
> 山形の大島優子は次の総選挙に立候補すれば
> あれよあれよと女性初の総理大臣になるだろう
■2021/10/24(日) 17:50:54.16 ID:tdeJTnjr
> 天才だと思う ノーベル賞も夢じゃないね
■2021/10/30(土) 18:29:54.51 ID:???
> 学長になるらしい
■2021/10/31(日) 23:37:25.95 ID:???
> ・ノーベル賞を受賞する→来年をお楽しみに
> ・総理大臣になる→5年後をお楽しみに
> ・衆院選に出馬する→国民民主から立候補している
> ・天羽が当選した→選挙速報見ろ
■2021/11/01(月) 11:33:08.67 ID:???
> 今回の衆議院選挙とは言っていない
> 次の衆議院選挙に立候補している
■2021/11/13(土) 23:04:52.53 ID:???
> 某女史は地元の資産家と結婚して
> 県議会議員になろうかとしている
■2021/11/18(木) 20:08:00.04 ID:???
> 旦那さんは代議士になったしあげまん
> だよなあ
■2021/11/20(土) 18:53:45.95 ID:???
> 立民の代表選に唯一女性候補として出たね
> 勝ったらこのコピペ主は社会から抹殺されるだろう
■2021/11/21(日) 21:25:18.84 ID:???
> 地元の有力者がパトロンだから笑いごとではなくなるぞ
■2021/12/14(火) 18:36:08.64 ID:???
> まあ歴史の教科書に載るくらいの功績は残すだろうね
■2021/12/26(日) 15:22:38.13 ID:???
> そもそも貴族の出だから生まれた時点で人の上に立っている 下々の方々は納得いかないだろけどね
■2022/01/16(日) 10:57:38.65 ID:XXqp6NSK
> その底辺准教さん(本当はエリート教授)は今週は4月から行く予定のケンブリッジ大学に事前視察に行ってるよ ← NEW!
931:132人目の素数さん
22/02/24 09:44:55.45 PpleXIhh.net
IUTよりシンプルな代数体の楕円曲線の理論があることはほとんど確実だから
どのみちそれに代替されるだろう
IUTは正しかったとしてもかつてのi-modeみたいなもんだよ
932:132人目の素数さん
22/02/24 09:48:26.93 PpleXIhh.net
>>881
M理論とラングランズの関連性のほとんどはリーマン面の無限次元リー代数や保型形式に由来する
ものに過ぎない
結局は人間が考える数学は似たようなものでしかないとも言えるだろう
933:132人目の素数さん
22/02/24 15:03:20.65 Ycz7xm8k.net
戦争が始まった。
背後には対話へ向けた努力の不足があった。
数学界でのIUTを取り巻く状況にも同じことがいえるのではないだろうか。
934:132人目の素数さん
22/02/24 15:12:44.26 h51brbXx.net
>>907
ICMは来年以降に延期だが
場所はパリでするのがよかろう
IUTの場合、MがPの立場であるとは思えない。
935:132人目の素数さん
22/02/25 13:25:09.94 eqZn9YWD.net
ハリコフ攻防戦が激しく行われているらしい
936:132人目の素数さん
22/02/25 18:57:54.29 /CkKKMDf.net
テレビを取材する人@マイナビニュース【公式】によると、abc予想のNスペは放送予定だったが延期みたいだな
本当かは知らんが
937:132人目の素数さん
22/02/26 08:30:55.37 AhxmtciN.net
NHKがabc予想を証明したとされる望月新一さんを追ったドキュメンタリー。論文発表から約10年、NHKは発表当初から約10年間、関係者への取材を続けてきました。
世界を巻き込んで賛否の議論を生んだ「日本発」の数学の難問の解決。
長期取材の果て、渾身のNHKスペシャルです。
放送まで、もうすぐ。
938:132人目の素数さん
22/02/26 08:31:59.23 AhxmtciN.net
NHKスペシャル
『数学者は宇宙をつなげるか?abc予想証明をめぐる奇妙な物語(仮)』
だと
939:132人目の素数さん
22/02/26 11:14:42.21 g16Oe0Ob.net
モッチーの映像が見られるのは貴重かも。
940:132人目の素数さん
22/02/26 11:32:36.03 AEbwobdl.net
長期だろうが渾身だろうがダメなものはダメ
数学に努力賞なんて無い
941:132人目の素数さん
22/02/26 12:11:57.83 phtSVANn.net
どんどん妄想ワールドが膨らんでいくなwwww
942:132人目の素数さん
22/02/26 13:33:46.53 kWWEyet7.net
いよいよ放送か。
モッチーの才能を妬んで、IUTを必死で否定してる豚共が爆死する光景を想像すると笑えてしまうなwww
943:132人目の素数さん
22/02/26 13:53:17.31 zpceNmY3.net
何度間違ったとしても、最終的に間違っていれば努力は報われないが
2週間や3週間でほぼ終了した未解決問題の証明は公式に承認されなければならない
944:132人目の素数さん
22/02/26 18:04:34.05 V4858pya.net
>>917
高木さんは数論幾何に興味がおありなんですか?
945:132人目の素数さん
22/02/26 20:17:51.89 DSQHYbzV.net
「ずばり天羽連呼の長野のおじさんってどうですか?」
「絶対童貞でしょ。気持ち悪い」(30代教師)
「年収低そう、ごめんなさい無理です」(20代販売員)
「はあ、成績F付けられて大学中退?そんなくずいるんだ」(女子高校生)
「聞いてもいないうんちくとか延々と聞かされそう、うざい」(30代接客業)
「生活保護受けてるくせにDTM板にやってくる。でも機材買う金がなさそう」(30代主婦)
「正直、社会のゴミだと思います」(20代外資系企業勤務)
「おちんちん小さそう」(20代風俗勤務)
「通り魔殺人とかやりそう」(40代心理学者)
「日本人?普通の日本人なら天羽さんの悪口なんか言わないよね」(40代流通業)
946:132人目の素数さん
22/02/26 20:52:00.37 zpceNmY3.net
>>918
現時点ではありません
947:132人目の素数さん
22/02/26 21:11:34.87 4Kk0gfoH.net
>>920
>>919のような当該人物への捏造ヘイト風味迸るブラックジョークはどう思われますか?
捏造風ヘイト調論評されている当該人物をどう感じますか?
948:918
22/02/26 21:13:34.35 4Kk0gfoH.net
ID替わりましたが>>918です
949:132人目の素数さん
22/02/26 23:20:11.20 +zGlENCt.net
3月にNスペならもう情報公開されてるだろ?
本当ガセばかりだな
950:132人目の素数さん
22/02/26 23:23:43.99 xIq1aAqB.net
web版ザテレビジョンで掲載されてるんですがそれは
951:132人目の素数さん
22/02/27 21:29:47.04 +mdA91k/.net
3月19日...!!!
ABC予想完全解決宣言がまもなく...ドキドキ...!!!
952:132人目の素数さん
22/02/27 21:32:44.72 fp9ruJ/F.net
長らく特別扱いされてると、どこかで気が触れて、
とんでもないことしでかすんだなぁ。
侵略戦争を見て、思ったこと。
953:132人目の素数さん
22/02/27 22:06:11.88 DpVXcWf4.net
ドイツのあの人のこと?
954:132人目の素数さん
22/02/27 22:13:50.76 8k+r7nFg.net
RIMSの…
955:132人目の素数さん
22/02/28 00:31:54.03 Y/wiyh6r.net
>>926
数学界最高の栄誉だとか、21世紀の数論幾何の若きリーダーだとか、持て囃されたら天狗にもなるよなぁ
956:132人目の素数さん
22/02/28 00:35:03.35 V3g8/3Pd.net
研究機関と歴史あるジャーナルを巻き込んだ暴挙、到底許せませんよね。
誰のこととは言わないけど
957:132人目の素数さん
22/02/28 03:58:26.80 GVKbOXwD.net
完全に正しい論文を否定する方が暴挙ですけど
958:132人目の素数さん
22/02/28 07:26:29.06 WHeJDTj4.net
>>931
完全ではないという人はいますが
論文の価値を
完全に否定している人はいないと思いますよ。
しかし、自分が完全に正しいと信じるのは無理はないとしても
PRIMSに無理やり掲載させたというのは
歴史的暴挙であると
フランス方面から後ろ指をさされたことは事実。
959:132人目の素数さん
22/02/28 07:53:49.30 GVKbOXwD.net
>>932
すいません>>931はIUTの論文のことではありません
960:132人目の素数さん
22/02/28 08:44:54.79 WHeJDTj4.net
>>933
失礼しましたが、それはさておき
IUTに関してはどう思われますか?
961:132人目の素数さん
22/02/28 12:18:02.65 4vEUXDEi.net
クリアな再証明に期待しよう
962:132人目の素数さん
22/02/28 12:42:56.74 V3g8/3Pd.net
>>931 めちゃくちゃな侵略戦争、
プーチンと取り巻きだけは正当性がある正義の聖戦だと思い込んでるだろうね。
963:132人目の素数さん
22/02/28 13:11:23.20 OIMftQ8B.net
NATOの暴挙に対抗するには
これ以外の道はなかったと言っているわけだ。
964:132人目の素数さん
22/02/28 13:13:29.92 V3g8/3Pd.net
一方的に大予想解決を宣言して
説明責任を果たさない誰かさんに通じるものがあるよね。
はては正当な批判者をSS扱い
965:132人目の素数さん
22/02/28 14:07:31.57 GVKbOXwD.net
>>936
私の論文に対して書いていますけど?
>>938
どう説明責任を果たせばよいのでしょうか?こちらは、正しい論文を論文誌に提出していますけど
966:132人目の素数さん
22/02/28 14:10:25.72 GVKbOXwD.net
論文誌が正しい論文を否定していることがあるという証拠として
vixraに正しい論文を公開していますけど
準完全数
Legendre予想
Firoozbakht予想
スレ違いなので、リンクは他のスレでも書いているので書かない
967:132人目の素数さん
22/02/28 15:09:45.75 ANUpoHyg.net
>>940
お前は「正しい論文」の意味がわかってない能無し
「正しい論文」とは数学の世界で認められた公理、定理を数学の世界で認められた推論則のみを用いてのみ行われている文章
その規則に則っている事を数学界に認められて、すなわち論文誌の編集者、査読者が確認できたものが「正しい論文」
お前には「正しい論文」を書く脳力がない
その単語を口に出す資格すら無いクズ
968:132人目の素数さん
22/02/28 15:18:49.83 GVKbOXwD.net
>>941
具体的に私が示した3本の論文を数学の言葉で否定してくれ、それができなければ
>>941が書いているのは全て戯言だ。
969:132人目の素数さん
22/02/28 15:51:44.04 ugAukdxO.net
>>942
否定を理解出来る能力身につけてからホザケ。
970:132人目の素数さん
22/02/28 16:24:05.82 k5p4pNZE.net
>>942
私にそんな義務がない事がわからないのがお前の無能さを表している
その年になって誰にどんな義務があるのかすらまだ理解できていない無能
論文を世に出したいなら正しい論文を世に出す義務を持つ数学雑誌の編集者に働きかけるしかないという事すらいつくになっても理解することができない能無しのクズ
971:132人目の素数さん
22/02/28 16:42:05.73 GVKbOXwD.net
>>943
反証できなければ書かなくて結構だ
>>944
私の論文が正しいのは現実で、いくら名無しが私の主張を否定しても何の根拠もないということだ
972:132人目の素数さん
22/02/28 17:21:13.58 cTfUB4qy.net
>>945
名無しであろうとなんであろうと>>942で書いた事が正しいかどうかなどまともな知性を持ってる人間ならわかる
お前はまともな人間が普通に持ち合わせてる当たり前の知能レベルにすら達していない出来損ないのクズ
973:132人目の素数さん
22/02/28 17:27:13.16 GVKbOXwD.net
>>946
そういうことを書いて私の学歴を聞き出そうとする工作ですか?
毎日家の中で、ヤクザにされていることで飽きました
974:132人目の素数さん
22/02/28 17:48:01.49 ugAukdxO.net
>>945
間違いの指摘なんか大量にされてるだろ。なんで直らないんだよ。クズ
975:132人目の素数さん
22/02/28 18:02:53.33 GVKbOXwD.net
>>948
私が正しいと主張し公開している3本の論文は何も反証されていない
976:132人目の素数さん
22/02/28 19:02:58.62 yYbZa/1+.net
>>947
早稲田卒のカスやろ
977:132人目の素数さん
22/02/28 19:05:18.07 yYbZa/1+.net
>>949
それがないと反論にならないと言ってるのがお前が数学Aレベルの論理がわかってない証拠
つまりお前は自分が数学Aわかってないという事実を自分の口で延々と語り続けてる
その事にすら全く気付くことのできない膿なしの無能
978:132人目の素数さん
22/02/28 19:16:11.84 GVKbOXwD.net
>>951
未解決問題の証明は難しい。そうであるから、背理法により証明ができたと考える場合には
間違いがある場合が多い。
ただそれだけであり、この種の問題は間違いを量産しがちで、世の中にある証明のほとんどが
正しくないことになる。
しかし私の書いた論文のうち一部は間違いではなく、完全に正しい。
ずっと計算を行っていくと、答えが用意されている受験の問題とは異なり、計算間違いなり論理の
間違いを書いてしまうのは仕方がない。
979:132人目の素数さん
22/02/28 19:20:31.05 yYbZa/1+.net
>>952
数学的な間違いどうこう以前に自分の理論認めてもらうためにどういう行動取らんといかんかその年になって又分からんのがカスだと言ってんだよ能無し
980:132人目の素数さん
22/02/28 19:28:26.07 GVKbOXwD.net
>>953
馬鹿にするのもいい加減にしろ
私は田舎に住んでいて、金を稼ぐ手段が全くない
981:132人目の素数さん
22/02/28 19:31:58.97 GVKbOXwD.net
>>953
それから、私が5chで自分の研究を宣伝するのが気に入らないのかどうかは
知らないが、私に不当名嫌がらせをしている変な連中に対する、社会的制裁は
行われなくていいのでしょうか?
逆に言えば、こういうふざけたことをしている連中の不埒を隠蔽するために
私の正しい数学研究を否定しているとも考えられるが?
982:132人目の素数さん
22/02/28 19:33:49.39 4vEUXDEi.net
何なんだよこの罵り合いはw
983:132人目の素数さん
22/02/28 19:58:02.92 yYbZa/1+.net
>>954
金なんぞなくてもどうとでもなるわ
お前に足りんのは頭
984:132人目の素数さん
22/02/28 20:23:02.30 GVKbOXwD.net
>>957
無職では移動するのも困難だ
985:132人目の素数さん
22/02/28 20:33:40.71 u9GYHS0C.net
鹿児島の狂人が来てるのか?
数学の前に仕事をしなさい
986:132人目の素数さん
22/02/28 20:36:57.13 GVKbOXwD.net
>>959
合う仕事を探すのも困難だということが分からないのでしょうか
987:132人目の素数さん
22/02/28 20:43:41.31 0b/34wxS.net
>>958
お前の論文が審査通らんのわお前が田舎に住んでて移動できんからか?
違うやろ?
そんな事も分からん能無しか?
頭ついとんのか?
考えられるか?
能無し
988:132人目の素数さん
22/02/28 22:03:47.55 GVKbOXwD.net
>>961
それは説明責任のことを書いている
989:132人目の素数さん
22/02/28 22:09:07.72 rNsPqoO0.net
>>962
論文について誰にも何も責任はない
責任あるのは論文を世に出す役割を担ってくれている論文誌の編集者のみ
そんなあったりまえの事がいつまで経っても何年経ってもわからない
何故か?
頭悪いからだよ
バーカ
990:132人目の素数さん
22/02/28 22:12:33.69 GVKbOXwD.net
>>963
正しい論文を否定し、数学の発展を阻害することは許されないことだ
991:132人目の素数さん
22/02/28 23:02:51.89 ugAukdxO.net
>>949
文章がでたらめ。まともな数学の書き方でなく意味が確定してない。
ほら、反証したぞ。
理解出来ないんだろ。
992:132人目の素数さん
22/03/01 01:37:42.92 levuXaYd.net
>>964
正しいかどうかを決めるのはお前ではない
論文誌のレフェリーが決める
その当たり前のルールが死ぬまで分からん能無し
993:132人目の素数さん
22/03/01 01:59:44.80 NkvdF4qZ.net
論文の責任はあくまで著者にあるだろ。
雑誌の編集者にあるのは、掲載してお墨付きを与えるという責任。
正しくない論文の責めは著者が負う。
雑誌や編集者は、妥当でない論文を載せてしまうと信用を失う。
高木氏は、正しいと言い張ることで、ほとんど全く信用を失っている。
正しいと思っている人がいないので、責任を追及される段階になっていない。
994:132人目の素数さん
22/03/01 08:05:44.04 7E3Vnd32.net
Nスペでショルツ出てくると思う?
995:132人目の素数さん
22/03/01 09:25:17.03 MdW6NFWn.net
>>965
>>965の文章がな
>>966
正しいと論文が掲載されることに相関はないと書いている人がいたが
>>967
何度も書いて馬鹿みたいだが、「ご名答。」、「天衣無縫だ。」、「perfectだ。」、「endorsementだ。」
と誰だかは分からないが言われていて、5chで「大数学者になるかも。」という趣旨のことを書かれている。
996:132人目の素数さん
22/03/01 09:
997:27:25.02 ID:zV2pgllD.net
998:132人目の素数さん
22/03/01 09:30:49.43 BXwegUSh.net
>>969
理解出来ないんだ。低脳すぎだろ。
間違いが確定したので消えろ
999:132人目の素数さん
22/03/01 09:31:59.51 BXwegUSh.net
>>969
偉そうなこと言う前に
965に反証wwしろよ
出来ないんだろ
1000:132人目の素数さん
22/03/01 09:32:58.68 MdW6NFWn.net
>>971
誰の間違いが?
1001:132人目の素数さん
22/03/01 09:35:17.30 BXwegUSh.net
>>973
3本の論文とやらの間違いが確定したってことだよ。
クズ
1002:132人目の素数さん
22/03/01 09:44:49.38 AYAqz2ae.net
>>969
ならその自分で勝手に正しいといえば正しくなる妄想世界で生きとけバーカ
人の世に出てくんな能無し
1003:132人目の素数さん
22/03/01 10:17:23.47 WD7pYBhA.net
アマチュアが整数論の難問を初等的な解法で解けたというのは、ほぼ100%疑われる案件
1004:132人目の素数さん
22/03/01 10:33:29.56 MdW6NFWn.net
>>976
何が疑われるのですか
1005:132人目の素数さん
22/03/01 10:53:23.58 ev5M7ky9.net
>>968
ショルツェ
1006:132人目の素数さん
22/03/01 11:08:39.36 NTejpbw+.net
>>968
大きく貢献してくれているし、個人でやっている科学系の記者のメールにも快く応えてくれていた記憶があるから、
逆に全く出ないと違和感を覚える
1007:132人目の素数さん
22/03/01 12:31:20.49 gD9IF3q5.net
Yitang Zhangとかいないこともないけど、まあ疑われるよね
1008:132人目の素数さん
22/03/01 13:05:01.90 Yym3y6T/.net
番組では、シェルツォの謝罪が見れるかな~ドキドキ...!!
1009:132人目の素数さん
22/03/01 13:34:00.85 lmgINu6O.net
今日も妄想全開wwwww
能無し〜wwwwwww
1010:132人目の素数さん
22/03/01 17:25:34.54 lC3OJjey.net
まあ、Nスペ、数奇な物語ってタイトルだし、ショルツ激オココメントいい放しの感じだろうなぁ
1011:132人目の素数さん
22/03/01 17:38:15.57 WD7pYBhA.net
どう見てもヨイショなのわかるでしょ
数学者が内容に期待するようなもんじゃない
1012:132人目の素数さん
22/03/01 18:44:11.20 ev5M7ky9.net
>>983
ショルツェ
1013:132人目の素数さん
22/03/01 19:20:47.18 V4XTkXDA.net
>>983
単に数学の証明が合ってるか合ってないかだけの話をどこまで膨らませるんだろう?
1014:132人目の素数さん
22/03/01 19:25:03.10 ev5M7ky9.net
3月6日に放送予定だったのが
ウクライナ情勢の影響で3月19日以降になったというが
変な話ではないか。
1015:132人目の素数さん
22/03/01 19:36:13.43 Eks3YeZC.net
この件の暗黙の主題は
30年前に教育研究用関数型プログラミングの文脈で
オブジェクト指向等包括し得るプログラミング・モデルの描像とされた「圏論的プログラミング」の概念を
モジュール的プログラミング手法として抽象し
プログラミングとは別の文脈すなわち数学における大規模な証明技巧として成立させる事ができるのかどうか、現状ではどのような問題がネックとなっていて、その解決の見通しはどこにあるのか
という話だと理解している。
仮に、モジュール的プログラミングの手法で問題分割と分割証明を形式化できれば、これまで少数の緊密な関係にある数学者だけでは手に負えなかった規模の問題をブルートフォースで解決できるようになるかもしれない
ただし問題全体を見通す能力のある人が存在しない問題領域に突入すると、ステップバイステップでは正しそうだけど全体としてはどこかおかしな証明というのがまかり通ってしまう可能性もあり、それを2010~2020年代現在の人類はどのように克服するのか?
が多くの人の興味であろう
1016:132人目の素数さん
22/03/01 19:45:21.76 Eks3YeZC.net
ここで肝心なのは
「圏論的プログラミング」「証明的プログラミング」等の概念は
あくまでプログラミング分野における数学的概念や論理学の応用に過ぎない点。
それと対称の位置にあるであろう
数学分野や論理学におけるプログラミング概念の応用はたとえば命題自動証明プログラムの形で50~60年前から研究が行われているものの
その成果は極めて限定的であり、現時点では実用的に相互変換可能な物とはなっていない。
それが判っていないと
希望的観測では出来て当たり前だからやらない奴が怠け者だ、といった類の専門外底辺准教の愚者の空理空論になってしまう
1017:132人目の素数さん
22/03/01 19:52:12.43 Eks3YeZC.net
IUT関連スレで毎日騒いでいる底辺准教はそれが判っていないように見える。
この底辺准教は、新規分野で測定さえすれば即座に形式的学位の出る「ラマン散乱測定」で二度学位を取っただけの実力のない人間なのでしょうがない
1018:132人目の素数さん
22/03/01 20:24:45.02 qG6wiXMB.net
>>990
ラマンなんてもう古いだろ
時代はランバダだろ
1019:132人目の素数さん
22/03/01 22:00:40.35 yBGPuhcf.net
>>987
2/27に急遽ウクライナ特集
2/27→3/5に延期
3/5→3/6に延期
3/6→東日本大震災関係やパラリンピックや土曜ドラマが決まってて、3/20頃に延期、という流れらしい
1020:132人目の素数さん
22/03/01 22:16:43.10 sCik9gT4.net
さっきウクライナ生まれのフランスの数学者から
募金への協力依頼が来た。
とりあえず100ユーロ寄付させてもらった。
1021:132人目の素数さん
22/03/02 00:10:24.74 kLgFupWu.net
100ユーロとか、舐めてんのか
1022:132人目の素数さん
22/03/02 01:15:32.37 kyRANJA9.net
100円寄付そたよ。楽天ポイントで。
1023:132人目の素数さん
22/03/02 08:48:14.83 gPM2e/sG.net
>>994
閉関中なので
1024:132人目の素数さん
22/03/02 13:30:54.51 bpdJx5mD.net
HigherGeometerは当人のtwitterによるとNスペに出演してるようだね
どういう意見を述べるのか
1025:132人目の素数さん
22/03/02 13:45:35.08 MAWTHbbJ.net
>>997
ウクライナで戦闘が続いている間は
Nスぺは放送しないと思うよ
You might wish to help … Here are two possibilities.
1. a) We with my wife Larissa are members of an association «Portail de l’Ukraine»
which since 2020 is helping with medecin and other things, helping refugies,
organizing transports (bying fuel for example) to Ukraine and so on. Here is a link for
Your donations
URLリンク(www.helloasso.com)
1026:132人目の素数さん
22/03/02 17:28:43.04 kLgFupWu.net
Robertsさん、出るのか!!
こいつぁ、面白くなってきたぜ~
1027:132人目の素数さん
22/03/02 17:37:56.80 gPM2e/sG.net
Here is the list of the Organizing Committee of ICM-2022 whom I had send
my letter
luigi.ambrosio@sns.it
piccione@ime.usp.br
ramadas@cmi.ac.in
gtian@math.pku.edu.cn
ziegler@math.fu-berlin.de
helge.holden@ntnu.no
nalini.joshi@sydney.edu.au
loyiso.nongxa@wits.ac.za
hoemberg@math.tu-berlin.de
mori@kurims.kyoto-u.ac.jp
%%%%%%%%%%%%%%%%%% MY LETTER %%%%%%%%%%%%%%%%
Dear Colleges,
I'm addressing You as the members of the Organizing Committee of ICM-2022.
Don't You think that it is the moment to cancel the ICM-2022 in Russia?
And transfer it to Paris? This was an alternative option. Remember this was the case with Congress in Warsaw 1982.
Sincerely Yours,
Sergey Ivashkovich,
Prof. Math.
University of Lille
France
1028:1001
Over 1000 Thread.net
このスレッドは1000を超えました。
新しいスレッドを立ててください。
life time: 125日 21時間 43分 41秒
1029:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています