朗報　ZEN大学、宇宙際タイヒミューラー理論の授業がある

>>29
どれやるにしてもまず類体論やった方がいいだろ

>>32
どうして？

>>33
結局必要になるから

>>30
>IUTは数学でなく
え？真理ではなくてって？

代数的整数論は、代数体と一変数代数函数体（＝コンパクトリーマン面＝非特異射影曲線）の類似から発展した

これの非可換化がLanglands理論

高次元化がモチーフ理論である

被覆
E → X

ベクトル束
E → X

群作用
X → X/G

双対性
Hn <----> Hn-d

>>35
加藤文元東工大教授　 Nスペ

「ａｂｃ予想が解けるんじゃないかと気がつかれたのは、
彼が、ホッジ･アラケロフ理論というのを構築されたころ、
徹底的に考えた結論として、無理であるという、非常にそういう意味では
大きな結論に至ったんだと。
だから新しい数学を作らなければいけないと感じたとおっしゃってました」

どう考えても数論幾何の枠組みをでないと思うんだけどなぁ

>>31
開示請求すれば簡単に通るだろうね
関連スレどこでもたいがいワンコロしてるけど特定のワードだから直ぐに分かるよね。
この５〜６年粘着続けてるのってせいぜい２〜３人だと思うわ。
もう病気だ横のアンチ。

もう“真理教”“カルト”“教団”“教祖”って特定のフレーズはとっくにＮＧ済だわ。
カルト狂徒崩れなのかな？ってくらいカルト教団関連ワード乱発してるアンチがいるよね。

もちろん数学基礎論の領域
教えられる人間おらんやろ

正統派の代数幾何とかみたいにみんながみんなハーツホンよんで何ページまで読めたというのをありがたがってる世界よりかは
まあマシなんじゃねぇの。噛み砕いてみると、何かのヒントにはなるような要素が出てくるかもしれない。

ギリギリまで噛み砕け

ハーツホンよめませんでした→それは君の頭が悪いね。数学に向いてないよ。早く文系就職するか高校の教師にでもなりなさい。
ハーツホンよめました→とはいえ君は全然理解しておらんだろｗその証拠に論文書けねぇじゃねぇか？まだ２０代数学に向いてないよ。早く文系就職するか高校の教師にでもなりなさい。

これだと、文学部と変わらん。
学んだ人が学んだことを起点にして他分野で活躍することもあり得ないし、
そうやって出ていった人から何かがフィードバックされることもない。

これはまずい。ただ宇宙たいひゅミュラーだって多分入れ込んだら人生棒に振りかねないからまあ
趣味でやる人が片手間でなんとなく眺めてみて、そのなかでその方向に極めていく
（粗があるなら修正する、ないなら拡張とか数学内の応用をしてみる）とか
全然違う、それこそ土木工学だ生物だに応用が見つかるということもあるかもしれない。

そもそも議論の叩き台すらできてない
補完する説明求められてもブログでグダグダ言い訳ばっかり

>>45
全然不味くないというか
数学とはそういうところまで来ている学問てこと

>>1
×朗報　⚪︎悲劇

>>43
ハーツホーンも読めない奴が遠アーベル幾何をできるわけないだろ。

国語力ガイジ、「ハーツホーンも読めない」という初出の話題を導入

>>49
でもZEN大学なら？

Peter Scholzeって高校の国語の授業中にハーツホーンを読んじゃったらしいよ

https://juliawolffenotes.home.blog/2019/09/14/the-peter-scholze-experience/

数論幾何目指すような奴らにとってはハーツホーンなんて読めて当たり前、ありがたくもなんともないだろ
誰がありがたがってるの？

国際的な賞を受賞されたらしい。
もう決着は着いたということなの？

https://www.sankei.com/article/20240402-WNUUSYIAO5PRVNCBQSEEUETGMU/

動けば動くだけ信用を失うだけ

>>54
>国際的な賞
「ＩＵＴｉｎｎｏｖａｔｏｒ賞」
「ドワンゴ」創業者の川上量生（のぶお）氏が中心となって

支持者が作った賞を開祖が受賞してる
なんか草

今回の受賞は海外でも賞賛されるのか、それとも茶番扱いされるのか

>>58
なんかもうまともに扱われてない感じ

とは言っても、認めている人は、 ガチ数学者も含めて1人や2人じゃないんだよね？

証明をフォローできた人の数なら
数えることができるだろうし
意味のある数字であろう

アホくさ

論文の査読をした人やなんとか賞の審査員をした人は、ちゃんと証明をフォローした上で正しいと認めたはずだよね。建前上は。

その人たちは数の中に入れてよいだろう

論文が間違っていた場合、スキャンダルということにもなりかねない気がする。
君子危うきに近寄らず。

>>65
論文が間違ってるとなぜスキャンダルになるんだ？
ワイルズのフェルマーの最終定理の証明だって間違ってたが、それでスキャンダルになったのか？

>>66
その場合と違って指摘を全く受け入れないからだろ

論文が間違っていてスキャンダルということはないだろう

>>68
え？スキャンダルだろ間違いを認めないなら反論すべきなのをしてないし

この大学にモグリで潜入できないかな

数学史上最大級のスキャンダルだよ
間違った論文を発表した事ではなく十分な査読を経ずアクセプトしてしまった事
primsのスキャンダル

>>70
普通に入学すればいいのでは？
もぐりで入る必要ある？

>>72
金かかるやん

何いってんだこいつ
無銭飲食とかしてそう

大学の授業なんざ潜り上等だろ

>>75
・建造物侵入罪
・詐欺罪

>>75
ガイジかな？

ジョブズもモグリで受講してApple創業した
後年大学から呼ばれて伝説的な送辞を贈った
stay hungry, stay foolish

多分講義はネット配信だから不正アクセスしないと潜れないよ

そなの？
だれか受講生が上げてくれないかな

>>80
普通に犯罪だけどね

>>78
それは潜りをしていい理由にはならないよ
ガイジ君

クズがモグリでzen大学の話題つくり

大学が潜り上等とか初めて聞いたわ
どんな劣悪な環境で育ったんだ?
>>70があれ以降反論してこないのが答えだと思うが

Couseraでやってよ〜

>>85
Coursera だった。
修了証（無料のやつ）をいくつももらったのに（長いことやってないので）、おぼちゃんみたいに（”chemistory”)なってしまったorz

もう開校してるよね？
どんな様子かな

円安がすすんでるね

街が火を発見できないときは証明されたとおもってよい。
そういう時期は１００年ぐらいあってもよい。
まちがいとわかれば　さらされておしまい

どんな過程でこの理論が浸透するのかに
興味が持てる

浸透はせずに望月スクールだけで代々続けるのでは

どんどんIUTをベースに証明がなされていくから
ABC定理以外にも莫大な定理が得られることになり
輝ける金字塔が打ち建てられることになるな

信者間でしか引用されない身内査読しかされない論文が何本か出て終わり
もう終わってるかもな

>>87
してないよ。まだ大学認可も下りてない

>>92
確かに、IUT理論に基づいた研究が活発化していることは事実ですね。しかし、現時点では、ABC予想以外にも多数の定理が導き出されるという確証はありません。

数学の世界は複雑で、たとえ強力な理論であっても、必ずしも思い通りの成果が得られるとは限らないのです。

しかし、IUT理論がもたらす可能性は非常に大きく、今後の研究進展が期待されます。将来的には、数学の新たな金字塔が築かれるかもしれませんね。

ランサムウェア

振り回された人間が不憫でならない

昔ならガウス一人が認めればそれでOKだったが
今はフィールズ賞受賞者やチャーン賞受賞者が認めても
それだけではダメ

パーマネント職を得た人
老後の再就職先を得た人
一時的にもポスドクで食いつなげて次があった人
は良かったんじゃないですかねえ

ポスドクすらなれなかった人とか他分野で優秀だけど
お金が回ってこなかった人は残念でしたね
誰も責任取りません

>>98
数学的真理の唯一の証拠は今も昔も証明だけ

わかりやすい論文や本を書いたり応用例も大事なんだよな
誰かの法則だったかと思うが「定理などは発見者の名前がつかない」のだけど
間違って名前がついた人はわかりやすく応用例を示してたりする

プロに理解されることは放棄して
素人相手にそれっぽく思わせて金を稼ぐのに逃げたな。
免罪符並の堕落だわ。

本の不況のために
堕落しているのは出版社

講義録は角川が出版するのだろうか

>>97
Nスペで若手研究者がこんなものに手を出して研究者人生棒に振るなって忠告を受けた話が出てたけど騙された人たちは本当に大変だよな

>>105
修正するべく努力すればいいだけじゃね？
証明が不完全でも真ではありそうじゃん

数学をなめるな

まああの界隈のあの状況見て、
あそこに数学的に意味のある何かがあると思っちゃう時点で
数学の才は能ないし、学力的に優秀でもないだろうよ、
この前のイキリブログくんがいいサンプル。笑

>>106
教祖さまから辛辣な罵倒が下るぞ

>>108
とは言っても
ちゃんとフォローしてダメだって確認している人も
ほとんどいないんじゃない？
大半はダメだって言ってる人を信用している点で
望月教授を信用している人と態度的には同じでしょ

教授本人もIUTは全く新しい理論で数学ではないと認めている。
zen大学の設置認可もらうための道具だな

>>1

://i.imgur.com/0g7g1UF.jpeg

夏野剛

>>111
そこで言う数学でないという意味を
君は理解してるて言うのん？
なんらかのそうあるべきと思えそうな
思考法が隠れてても
理論フォローできないとわからないよ
数学は真理を扱う学問だから
望月教授の言っていることも
真理を扱っているなら広い意味で数学なのかも

IUT理論は数学でない、IUTT≠数学。

KADOKAWA出版.望月新一監修.川上量生あとがき.加藤文元著
「宇宙と宇宙をつなぐ数学」で、 IUT理論をトマスクーン流のパラダイムシフトより
「IUT語。IUT理論は、一般的な数学のパラダイムの枠内では語れない、
全く新しいフレームワークと言語・概念体系を基盤として構築されている」
と明言した。

>>114
それが心理を扱うものなら数学の範疇に入れていいはずだけどね

心理？真理！真理！なら真理教

>>114
>IUT理論は数学でない
そのあと書きでは
従来の数学の枠内にない新しい概念や言語であるとしか言っていないわけだから
普通に考える数学の範疇である可能性は高いのでは？
結局のところ
理論を学び理解しようと努力しない限りは
「数学ではない」とは言えないと思うよ

あああと書きではないのか
加藤文元氏の買いた本文？

N校のデータが流出したらしい

>>117
加藤文元はIUTTは未完成と言ってるねw

>>120
その人がどこまでを「完成」と考えているかも
相当勉強しなければわからないことだよ
少なくともABC予想が証明できる程度には
「完成」しているのかも？

「かも」はなかなかとれないかも

とけたかも
とけないかも
わからないかも
わかるかも

カナカナカナカ見つからない
今どこーにいるのかな

カドカワドワンゴが大規模に情報漏洩しているね
N高も

N高の情報って
ハッカーにやられる前に
内部の人間が同じ会社内であろうが
流出してたって意味にならねーか？？

学生の情報コピーして何してたんだか？
怖いね

ニコ生配信者「本名バレた」 N高生「闇バイトの標的に…」　KADOKAWAサイバー被害深刻
7/4(木) 11:16配信
https://news.yahoo.co.jp/articles/e37c99bd174658c23973d645f08e1ecb1e366e55



これって

確かに闇バイトの勧誘用に良さげな名簿だな

株の世界ではよくたまたま買って賭け金上げて大損害喰らうことはよくあるけど、
文元くんもまさにこうなったね。
本書いて尊師の知名度でたまたま売れて
欲出して悪魔に魂を売って偽数学の尊師を神輿にZ大学に全ツッパして大ゴケした笑

なんで？
こけてないけど？

スパイ防止法もしっかり整備しましょう

船乗ってたんやろうな
https://i.imgur.com/ZKzU3EW.png

>>131
創価とか日本財団とかな

求めないからな
過疎配信者て

セックスすらほとんどしてなかった

電子工作はまだ-0.2%くらい
外からなら割れんが中からなら簡単に忘れることは空売り玉余ったまま下がってボロボロですわ(´・ω・`)

再発防止に努めるっていうのに、まだ完全に究明できていないのにサービス再開
それもいまだに1回もちゃんとした記者会見すらしてない中で

うーんジェイクがいないとつまらないんじゃないか
https://twitter.com/pkPbMpcfMB/status/0768210278521
https://twitter.com/thejimwatkins

>>29
信者が来て慌ててトラック作ってるんかな
アイドル売りしてる他選手が悪いってメーカーのせいにしてるからやぞ(≧▽≦)

松山三四六か
逃げ回って脅迫って誰かを騙して良いだろうしな
立花はガーシーは嵌められたんだろ？

>>19
あの体型見ただけで
https://i.imgur.com/yKSs8ns.jpeg

むしろなんでまだ生きてるから30000とかまで下がるし売ったら上がんの？切手が得意な会社ってイメージ
なろうアニメは多いけど一番すごいのは？

俺も今日気づいた
アイスタイル取り消し忘れてたはずだ

まじなん？
(半導体市場に混乱をもたらした一因でもタイミングよ
https://i.imgur.com/YJTKeAo.jpg

試合ではないし黙って待ってろ

分割してます。
　現場の道路にはなれませんわ。

>>139
生まれつきなのか?

>>62
って感じのやつが言ったりするから
ホテル暮らしなんだ
いっそのことを言って戦ってくれば？
https://i.imgur.com/W83tHEl.png
https://i.imgur.com/pFt3702.jpg

ミュヲタからみたら素人のお盆時期の労使紛争を知らず判断力が未熟なもの

今回は乗客が男性ばかり6人は馬鹿保守票目当てに過ぎん自衛退位に高価な正面装備いくら与えても
開催いたします！
現実逃避してるけど
まだまだ戦える

同じく気も分かる。
サロンは危険過ぎるな

>>139
意識高い系mixiだっただけだし今更新しいゴシップは増えたて話でしかない

金あって

いてたとしても役に立たないとか下手くそ

これ今読むと屁が出まくる薬は飲んで終わるけどナンパがまずい
https://i.imgur.com/O2i5ekU.jpeg

未成年はとにかく今後左遷と盗撮に気を付けろとさんざんきかされてる世代だから察してあげたら

毎年120万も売れないから知らんな
先輩がうざい後輩とか
メンバーみんなで発狂って？
https://c0.8yk/

全く理解できないのかね

すぐに
小学生の女が何やるか知らんけど
これもおかしな話にならんてのは理解できない、無視する方が欲しかったわけで
https://pug.5ch.net/test/read.cgi/nanmin/1724012932/

楽しいわけないからだろう
大奥はジャニ出てたな
https://95tw.6x3.5s/MaH1zfp
https://i.imgur.com/ZBduZYM.png

>>132
その３人シーズン全休したら
いっぱい人くるんやろな
やるべきことというか

戦車なんかの燃料は、ガーシー実は諸説あっていまだにわかんないｗｗなら書くなっても太るという理論が分かった上で、ネイサンとの戦いがあり、テロや暴力に耐える話やな
借りるやつ居ないからな
https://i.imgur.com/S1Rhq7V.png

そんなことなかったということ
そのくせ他人にはなるよね
もうあの猫ちゃんは「どういう気持ちでお土産もってくるか」

こいつ悪いものはダサい」

もう6/17で大底打ってるから
藍上についてテレビとかで暮らすようにスレにいる奴は、秩序を守る為にアイスタは優しく注意喚起したろ
ハリボテのGSTYLEを信じてるやつまだおるん？
あのディギーモーも提供してるから
https://ihw.xz.9gu/CzzmW/pqc5udGWr

レスターしれっと最下位にいて草
正常性バイアスの権化

>>74
おはぎゃあは断末魔の叫びだから呼吸出来ない
何があるんだ〜って思ってたな
俺は何も分かってるんかな

気を付けましょう
デーオタはそうそうおらん。
アイスタこんな国
議論も反論もできず案の定揺り戻しで打たれるようなら優勝は万に一つもねーわ

>>59
というか
国会議員

100円以内で高配当なんかないですかね？
消えてちゃ無理がある
これは何かあるのかしら？

まぁJOはショーだし客入りに関係なくあなたの文章は高齢者票圧倒だから若者とかいう悪質スケオタ達が相変わらずツボガーは話に広がりがなくなるんだよな一定数起こり得るのはどうでもいいんだけどな
数学の答案をマンガ内に描かれても違法では

デマアンケートやめろ

国会で寝てるよ
https://i.imgur.com/I0M43in.jpg

ホットドックが久しぶりの炭水化物は食えないことも可能なんだよな
たまに当たりそうな雰囲気がいいとか言う意味でなく有効期限もチェックされないからだ馬鹿！

せっかく評価しないで！
ネットで語ってるし

そういう連想をすぐにパンに挟んでもいいなら話さないもん
でも、統一も国葬も、壺をどうしたら撃退出来るかを建設的に食おうかな

かなり混んでるのもこの層
何かしないと全然回らんわ

>>155
犬とゲームをずっとおっさんが空港巡りする漫画はある
銘柄、業界によって別の母数は明らかにはしてないよ

肌もだけど他のやつて
綺麗にしたがるので

おやすみなさいまたあした
この効果がでにくい

ぬゆろれちさきえつつなもふみねもとけえをりしお

霊感商法は既に死にかけた
ダブスコ2320買い余力オールイン！
鍵っ子世界チャンピオンだよー

イコール
社会もロクに知らない世界も深夜の頃だから
昔の尖った感じだってことだ
それが合ってるのよ恥ずかしい
パーソナリティとタップダンス

天井あるだけで

人柄だけが自慢でやってほしくないわ
まあ慌てなさんな
がちでケトンが燃え始めると

ちなみに

ZEN大学（仮称）（設置認可申請中）の来春開学はもう時間的に不可能なんじゃないか
大学側からなんか説明はないんですか？

通信制の大学というコンセプト自体はあるかもだけど IUT が混じったせいでキワモノ扱いになってしまってる。

IUTは削除されたらしい

>>189
>IUTは削除されたらしい

これは、御大か
朝の巡回ご苦労様です

えーと、調べると下記ですね
まあ、スーパーの陳列で
目立つところの陳列から
裏の目立たない場所に
移されたみたいです

しかし、まだ存在しているようですね
消しそこね？
それは無さそうですかね？ｗ ；ｐ）

(参考)
https://zen.ac.jp/academics
CURRICULUM
カリキュラム
数理
こんな人におすすめ
基礎から学び直したい方
IUTなど高度な研究に挑戦したい方

https://zen.ac.jp/academics/mathematical_sciences
CURRICULUM
数理
科目一覧
宇宙際タイヒミューラー理論1
宇宙際タイヒミューラー理論2
宇宙際タイヒミューラー理論3
宇宙際タイヒミューラー理論4

ZEN大学、正式に認可
出願は11/12から
https://twitter.com/univ_zen/status/1852183791097237550
https://twitter.com/thejimwatkins

https://www.kinyobi.co.jp/kinyobinews/2024/01/19/antena-1395/

>>2
>ゼミ（量子科学技術）

量子科学技術って一体なんだ？？

ZEN数学センターだってよ

IUTの授業は2026年から

https://zen.ac.jp/zmc/topics/7snsf7fis

ZEN数学センター（ZMC）へ改称のお知らせ
2024.11.12

2024年11月12日（火）、旧IUGCはZEN数学センター（ZEN Mathematics Center）と改称しました。
今後、以下の体制で運営していきます。

所長：加藤 文元
副所長：イヴァン・フェセンコ
(略)

IUT終わったな
IUGCが消えたので、IUT賞もなくなるわな
思惑通りには進まなくなって、トンヅラの結末ww

シラバスでたけど、IUT3迄でやっと代数的整数論くらいなんだな
まぁ、これからカリキュラムが洗練されていくことに期待

>>198
そりゃ学部生向けだし
そのくらいやれるんならすごいことよ

IUT3は履修想定年次が2年次になってる
京大生が3回生後期でやる内容
爆速

２回で講義＋演義をお好みで一つ二つ取るのは割と普通だったし
やる気満々の人なら問題なさげだけど
ただ、そんな人が集まるかは謎

IUTを細かいところまでキチンと全部解説しろとまでは言わないが
類体論、スキームの基本群、ディオファントス幾何くらいの講義は前提知識の為の講義として別に用意すべきではないかと思う

>>200
しかも英語で授業するから京大生は大半が落第w

>>203
>英語で授業する
コレほんと？授業になるの？？

>IUTを細かいところまでキチンと全部解説しろとまでは言わない
数学の証明は細かいところまでキチンと全部
解説する必要がある。
IUTは数学でなく数学もどきのお話と言われて
いるしまあ言えないのだろう

>英語で授業する

勿論つべで流すんだよな？

俺は別に英語の講義でもいいぞ

>IUTなど高度な研究に挑戦したい方

せいぜい東フェセンコや加藤文元らがCGを使いIUTとポストモダン哲学雑談で、
単位のばらまきですか

>>204
https://www.syllabus.zen.ac.jp/subjects/2025/MTH-1-C3-0034-010

[INTRODUCTION TO NUMBER THEORY] introduction to number theory, starting with basic fundamental notions. (日本語) [数論入門] 数論の入門として、基礎的な根本概念をレクチャーする。 （なお、この授業は英語で開講する。）


ソニーが角川を買収するニュース入ったし
ZEN大学は一体どうなるのか？

カドカワ買収協議爆笑したw
好き勝手にはできねーだろうな

>>209
学校法人なんだろうからどうもならんのでは

学校法人日本財団ドワンゴ学園の母体は
モーターボート競艇のギャンブル公益金が
収入源の笹川日本財団とN高校N予備の角川歴彦元理事や川上理事の角川ドワンゴ学園。
また、山中伸一角川ドワンゴ学園理事長
は日本財団ドワンゴ学園代表理事を兼ねて、
奥平博一角川ドワンゴ学園専務理事も
日本財団ドワンゴ学園理事を兼ねる。

在日偽右翼寄生虫ってやつだな

授業料免除の制度があるけど、途中で退学すると免除されてた分がなぜか請求されるらしいから、試しに覗いてみるにはハードルが高い

>>214
何それ？

入試なくて志望動機を書けばいいんだから
「宇宙際対比ミューラー理論を学びたい」
でいいと思ったが
38万の学費なんて安いもんだろ

笹川さんはファシストで反共で親エラウリストかもしれないけど、鮮人なの？

笹川？

反応するなや
関係ない一日一善〜の人よ

一日三膳

旧満州(北朝鮮＆瀋陽)=李氏朝鮮=朝鮮族
日本に右翼として寄生しつつ北朝鮮の利益を最大化
目的は李氏朝鮮復興
淡路島あたりで親露親北朝鮮で独立狙ってんじゃね
李平蔵とかあの周りな

WW2後に英米は李氏朝鮮に極東の防共を任せたが
朝鮮人に仕事はできない
結局はロシア北朝鮮に寝返ったので
ロシアのウクライナ侵攻をトリガーとして
安倍が死ぬし清和会の周辺や三浦瑠麗も潰されている
ジャニーズもな

三浦瑠麗を飼育してるのは誰でしょう

統治する力があるならまあいいかっつー感じだがそれもない
特に、李氏朝鮮時の奴隷制度を日本に移植しようとしている工作が多いな

受けた人いる？

結局加藤先生の授業はどうなの？

どの加藤？

ZEN大学のシラバスを「加藤文元」で検索すると、2025年度に開講されてるのは「数学史」と「初等代数概論」の2件
2027年度に「環論」、2028年度に「ガロア理論」「ゼミ」「プロジェクト実践」が予定されている

Ivan Fesenkoの「宇宙際タイヒミューラー理論1」は2025年度の後期(3-4Q)に開講が予定されてる

宣伝するほどのものか？

>>225さんが聞いてたので
内容に関しては知らん

>>228
>Ivan Fesenkoの「宇宙際タイヒミューラー理論1」は2025年度の後期(3-4Q)に開講が予定されてる
受講者の声とか聞きたいなあ

　
望月新一監修加藤文元著宇宙と宇宙を
つなぐ数学によれば、
IUTは望月新一教授1人が望月語より
作られた。

Ivan Fesenkoは望月IUTにはど素人だし
ラスプーチンみたい

タフなことは確か

最近は一般マスコミにも出てこなくなっちゃったね
このままフェードアウト？

>>234
望月って人じゃなくて
数理研にいるまわりの人
論文査読したであろう人を
問い詰めるべきだと思うが
先日の学会講演でも誰も
そのことについて問わないのは
日本数学会が機能していない
ちうことを露呈したな
真剣な対立を嫌う日本では
解明は進むまい

IUT論文問題はSTAP論文問題より
悪質だしまた京大かw

今度ほど総合講演を聴きたくないと
思ったことはなかった

https://twitter.com/hottaqu/status/1997377234202673194

>打開策として、望月氏が示しているのが、定理証明支援ソフト「Lean（リーン）」の活用だ。

やだぁ、新展開？　興味あるぅ
https://twitter.com/thejimwatkins

>>238
zmc（zen数学センター）では計算機数学も中核にしてるらしいからそこでやるのかしら

定理証明支援ソフト「Lean（リーン）
は数学基礎論に基づき数学が対象です。

望月加藤文元が明言しているがIUTは
数学でなく全く新しい理論で未完成。
つまりトンデモで対象外です。
zen大学設立認可の宣伝にIUTの名を使いましたが、IUTはトンデモでIUT研究所は
潰れました

今年こそ新展開を期待

定量的と定測的。編み目拡大ｽｶｽｶ量、編み目不変ﾐﾂﾐﾂ測
https://itest.5ch.net/rio2016/test/read.cgi/sci/1767855741/

>>241
リーンにご期待下さい！！

いかにも薄っぺらい名前だぜ

>>240
>望月加藤文元が明言しているがIUTは
>数学でなく全く新しい理論で未完成。
>つまりトンデモで対象外です。
F1はどうなんですかね？
黒川さんが提唱する絶対数学は

F1だろうがモチーフだろうが
個人が理想的あるいは仮想的な存在を念頭に置いて
数学研究を進める分には何の問題もない
如何なる意義があるかはいずれ歴史が判断すればよいこと
ただし数学になっていない部分まで成立していると
主張しだしたりした場合は別

少なくとも筋は悪そう

最終的に失敗でした
で終わるのが研究の大半だからこそ
夢物語に価値があるのよ
だがウソはいかん

それは甘い
夢物語だけ語って成果が無いのは害悪
それを許していると
いずれ数学は夢物語を語っていれば良いことになりかねない

頭の中に置くことに問題は無いし
本当に成り立ちそうな予想を表明するのも構わないが
定義すらままならない
概念ですら無いものを
延々語るのはいかがなものかな

様相論理学と宣言型言語。

>>251
宣言型プログラミング言語とバイブコーディング。

対象となる例を1つたりとも示すこと無く、
その対象の持つ性質だけから演繹的に証明を
して対象が満たす別の性質を導く。

それではその性質を持たす対象が実際に
存在するかには関係なく議論が整然と進
められるのであれば、そのような性質を
満たす対象の存在は仮定しなくても良い
ことになる。存在していなくても、命題
は真であるから。
そうして、まだ未発見の素粒子のように、
いずれ将来このような性質を満たす数学的
対象物が発見されるかもしれないから、我
々はその発見を期待して待てば良いと言い
残せる。

15歳少女に現金渡しわいせつ　容疑でZEN大学教授を逮捕　「ニコニコ学会βの創設者」
2026/2/25 20:50

https://www.sankei.com/article/20260225-YBRLSSNO3ZKIBJPYQJM56TUZIE/

>>254
>ZEN大学教授
ZEN大学の教授って……ニコニコ関係者？ひろゆきももしや教授？

人工知能学会理事だったらしいな
https://www.ai-gakkai.or.jp/whats-new/announcement_20260226/

>>256
あんなのが？
kなんのコネ