22/03/01 17:38:15.57 WD7pYBhA.net
どう見てもヨイショなのわかるでしょ
数学者が内容に期待するようなもんじゃない
1031:１３２人目の素数さん
22/03/01 18:44:11.20 ev5M7ky9.net
>>983
ショルツェ
1032:１３２人目の素数さん
22/03/01 19:20:47.18 V4XTkXDA.net
>>983
単に数学の証明が合ってるか合ってないかだけの話をどこまで膨らませるんだろう？
1033:１３２人目の素数さん
22/03/01 19:25:03.10 ev5M7ky9.net
3月6日に放送予定だったのが
ウクライナ情勢の影響で3月19日以降になったというが
変な話ではないか。
1034:１３２人目の素数さん
22/03/01 19:36:13.43 Eks3YeZC.net
この件の暗黙の主題は
30年前に教育研究用関数型プログラミングの文脈で
オブジェクト指向等包括し得るプログラミング・モデルの描像とされた「圏論的プログラミング」の概念を
モジュール的プログラミング手法として抽象し
プログラミングとは別の文脈すなわち数学における大規模な証明技巧として成立させる事ができるのかどうか、現状ではどのような問題がネックとなっていて、その解決の見通しはどこにあるのか
という話だと理解している。
仮に、モジュール的プログラミングの手法で問題分割と分割証明を形式化できれば、これまで少数の緊密な関係にある数学者だけでは手に負えなかった規模の問題をブルートフォースで解決できるようになるかもしれない
ただし問題全体を見通す能力のある人が�
1035:ｶ在しない問題領域に突入すると、ステップバイステップでは正しそうだけど全体としてはどこかおかしな証明というのがまかり通ってしまう可能性もあり、それを2010～2020年代現在の人類はどのように克服するのか？ が多くの人の興味であろう
1036:１３２人目の素数さん
22/03/01 19:45:21.76 Eks3YeZC.net
ここで肝心なのは
「圏論的プログラミング」「証明的プログラミング」等の概念は
あくまでプログラミング分野における数学的概念や論理学の応用に過ぎない点。
それと対称の位置にあるであろう
数学分野や論理学におけるプログラミング概念の応用はたとえば命題自動証明プログラムの形で50～60年前から研究が行われているものの
その成果は極めて限定的であり、現時点では実用的に相互変換可能な物とはなっていない。
それが判っていないと
希望的観測では出来て当たり前だからやらない奴が怠け者だ、といった類の専門外底辺准教の愚者の空理空論になってしまう
1037:１３２人目の素数さん
22/03/01 19:52:12.43 Eks3YeZC.net
IUT関連スレで毎日騒いでいる底辺准教はそれが判っていないように見える。
この底辺准教は、新規分野で測定さえすれば即座に形式的学位の出る「ラマン散乱測定」で二度学位を取っただけの実力のない人間なのでしょうがない
1038:１３２人目の素数さん
22/03/01 20:24:45.02 qG6wiXMB.net
>>990
ラマンなんてもう古いだろ
時代はランバダだろ
1039:１３２人目の素数さん
22/03/01 22:00:40.35 yBGPuhcf.net
>>987
2/27に急遽ウクライナ特集
2/27→3/5に延期
3/5→3/6に延期
3/6→東日本大震災関係やパラリンピックや土曜ドラマが決まってて、3/20頃に延期、という流れらしい
1040:１３２人目の素数さん
22/03/01 22:16:43.10 sCik9gT4.net
さっきウクライナ生まれのフランスの数学者から
募金への協力依頼が来た。
とりあえず100ユーロ寄付させてもらった。
1041:１３２人目の素数さん
22/03/02 00:10:24.74 kLgFupWu.net
100ユーロとか、舐めてんのか
1042:１３２人目の素数さん
22/03/02 01:15:32.37 kyRANJA9.net
100円寄付そたよ。楽天ポイントで。
1043:１３２人目の素数さん
22/03/02 08:48:14.83 gPM2e/sG.net
>>994
閉関中なので
1044:１３２人目の素数さん
22/03/02 13:30:54.51 bpdJx5mD.net
HigherGeometerは当人のtwitterによるとNスペに出演してるようだね
どういう意見を述べるのか
1045:１３２人目の素数さん
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)
1046:１３２人目の素数さん
22/03/02 17:28:43.04 kLgFupWu.net
Robertsさん、出るのか！！
こいつぁ、面白くなってきたぜ～
1047:１３２人目の素数さん
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
1048: 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
1049:1001
Over 1000 Thread.net
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 125日 21時間 43分 41秒
1050:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています