25/10/20 07:00:49.39 HnCCumvq.net
今度ほど総合講演を聴きたくないと
思ったことはなかった
240:１３２人目の素数さん
25/12/07 11:11:49.84 rkPuxCLi.net
URLﾘﾝｸ(twitter.com)
>打開策として、望月氏が示しているのが、定理証明支援ソフト「Lean（リーン）」の活用だ。
やだぁ、新展開？ 興味あるぅ
(deleted an unsolicited ad)
241:１３２人目の素数さん
25/12/12 08:34:06.72 wY0hz9Oy.net
>>240
zmc（zen数学センター）では計算機数学も中核にしてるらしいからそこでやるのかしら
242:１３２人目の素数さん
25/12/12 08:46:41.91 1CmfsJhS.net
定理証明支援ソフト「Lean（リーン）
は数学基礎論に基づき数学が対象です。
望月加藤文元が明言しているがIUTは
数学でなく全く新しい理論で未完成。
つまりトンデモで対象外です。
zen大学設立認可の宣伝にIUTの名を使いましたが、IUTはトンデモでIUT研究所は
潰れました
243:１３２人目の素数さん
26/01/03 00:40:35.84 9IPfs2nZ.net
今年こそ新展開を期待
244:poem
26/01/08 17:22:27.51 e1ym77IK.net
定量的と定測的。編み目拡大ｽｶｽｶ量、編み目不変ﾐﾂﾐﾂ測
URLﾘﾝｸ(itest.5ch.net)
245:１３２人目の素数さん
26/01/08 20:46:32.99 i6/G0TJ+.net
>>243
リーンにご期待下さい！！
246:１３２人目の素数さん
26/01/09 15:02:59.12 h/87HJ8R.net
いかにも薄っぺらい名前だぜ
247:１３２人目の素数さん
26/02/22 00:49:37.19 4WbBz9hc.net
>>242
>望月加藤文元が明言しているがIUTは
>数学でなく全く新しい理論で未完成。
>つまりトンデモで対象外です。
F1はどうなんですかね？
黒川さんが提唱する絶対数学は
248:１３２人目の素数さん
26/02/22 08:49:54.57 ahwlnICN.net
F1だろうがモチーフだろうが
個人が理想的あるいは仮想的な存在を念頭に置いて
数学研究を進める分には何の問題もない
如何なる意義があるかはいずれ歴史が判断すればよいこと
ただし数学になっていない部分まで成立していると
主張しだしたりした場合は別
249:１３２人目の素数さん
26/02/22 11:30:53.76 4WbBz9hc.net
少なくとも筋は悪そう
250:１３２人目の素数さん
26/02/22 21:11:08.67 ahwlnICN.net
最終的に失敗でした
で終わるのが研究の大半だからこそ
夢物語に価値があるのよ
だがウソはいかん
251:１３２人目の素数さん
26/02/23 00:21:53.83 yxc7LHf/.net
それは甘い
夢物語だけ語って成果が無いのは害悪
それを許していると
いずれ数学は夢物語を語っていれば良いことになりかねない
252:１３２人目の素数さん
26/02/23 00:25:58.86 yxc7LHf/.net
頭の中に置くことに問題は無いし
本当に成り立ちそうな予想を表明するのも構わないが
定義すらままならない
概念ですら無いものを
延々語るのはいかがなものかな
253:１３２人目の素数さん
26/02/23 01:08:51.26 DfQYgsd+.net
様相論理学と宣言型言語。
254:１３２人目の素数さん
26/02/23 01:09:42.41 DfQYgsd+.net
>>253
宣言型プログラミング言語とバイブコーディング。
255:１３２人目の素数さん
26/03/23 15:09:02.59 9AXgq3T+.net
対象となる例を1つたりとも示すこと無く、
その対象の持つ性質だけから演繹的に証明を
して対象が満たす別の性質を導く。
それではその性質を持たす対象が実際に
存在するかには関係なく議論が整然と進
められるのであれば、そのような性質を
満たす対象の存在は仮定しなくても良い
ことになる。存在していなくても、命題
は真であるから。
そうして、まだ未発見の素粒子のように、
いずれ将来このような性質を満たす数学的
対象物が発見されるかもしれないから、我
々はその発見を期待して待てば良いと言い
残せる。
256:１３２人目の素数さん
26/04/01 06:08:48.01 RnUhmUj/.net
15歳少女に現金渡しわいせつ 容疑でZEN大学教授を逮捕 「ニコニコ学会βの創設者」
2026/2/25 20:50
URLﾘﾝｸ(www.sankei.com)
257:１３２人目の素数さん
26/04/01 08:59:22.26 O4h0CXmH.net
>>256
>ZEN大学教授
ZEN大学の教授って……ニコニコ関係者？ひろゆきももしや教授？
258:１３２人目の素数さん
26/04/01 20:57:21.71 O4h0CXmH.net
人工知能学会理事だったらしいな
URLﾘﾝｸ(www.ai-gakkai.or.jp)
259:１３２人目の素数さん
26/04/21 01:15:51.10 d9t4g6Ds.net
>>258
あんなのが？
kなんのコネ