【悲報】ZEN大学、新たな"研究所"を設立

IUT一派は一体なにをしたいのやら……

https://zen.ac.jp/zmc

bear eloquent testimony

>コンピューター言語を用いた現代数学の形式化
だってよ

>>4 でも形式化やってる人の名前ないね　羊頭狗肉じゃね？

一日一善

禅とは心の別名です。
ひとつの相にこだわらない無相。一処にとどまらない無住。ひとつの思いにかたよらない無念の心境を禅定と呼び、ほとけの心のことです。

「禅心」とは煩悩や邪心のはいる隙間がなくお釈迦様の教えのように澄み切った分別のない心境を言います。 つまり、澄み切った美しい満月の光は、暗い世界を優しく照らす。 その照らされた月の光は道に迷った人には道しるべの灯りとなり、心の悩みを癒すものにもなり得ます

邪念を捨て仏に帰依しましょう

禅は善に通じるか

全然

来年第1期3500人か
年間38万円の学費で
たしかに地方大学へ通うよりよいのかも？
けど結局は大学は卒業生の評価が基本
どんななるんかね

宇宙論文の評価は、まだ確定してないの？

全然

ZENZEN確定してないのに研究センターを作ったり、なかなか大胆不敵で男前。

>>12
zen大学は中身が放送大学に遥かに及ばない、はったりのFランク。
年間38万円はボロ儲けでしょ。

週間金曜日

「ＺＥＮ大学」めぐる名誉毀損訴訟で
判決、川上量生氏の請求棄却、控訴
https://www.kinyobi.co.jp/kinyobinews/2025/02/17/antena-1590/

>>17
三宅某氏が疑問を呈するのはわからんでもないが、「拡散希望」とか書いちゃってるところに胡散臭さを感じるのは俺だけ？

例の論文をガチで読もうとしている一流数学者はいないのか？
もしいないのなら、永遠に決着つかないじゃないか。

このままなにもブレイクスルーが起きなければ、否定されないまでも、そのまま忘れ去られて実質終わりになるような気がする

あの理論の上でブレイクスルーが起きても、誰も理解できないからな。
一部の周辺の人たちが言っても、あまり信用されてない(？)みたいだし。
あの理論を鬼分かりやすく説明する、という方向でブレイクスルーが起こる必要があるのではないか。

>>18

裁判所が下記に事実を認定したが、
その前に阿部文科大臣がzen大学を認可した。認可後ただちにIUT関連研究所は
廃止された

-
週間金曜日｜2024年1月19日
完全オンライン「zen大学」、
天下り批判等めぐり名誉毀損訴訟

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

「IUT関連研究所は廃止された」は、
正確にはIUTを遠アーベル幾何学
と書き替えた

放送大学の歴代の授業は全部無料公開でいいじゃん。
なぜそうしないのかわからん。

商売だからだろ、ばかなのかな？

商売は学位認定や学生に近いサポートですればいいだろ
映像は公共の利益になるから垂れ流しにしろ
勿体無いわ

斎藤正彦の授業とか見たい。
公開せえや、ボケ。

>>22
ZEN大学って上手く行ってんの？
5000人×4年で収入は相当ありそうだから
上手く行ってるってことだろうな

>>12
>年間38万円の学費で
え？そんな安いの？

完全オンライン「ZEN大学」、
天下り批判等めぐり名誉毀損訴訟
岩本太郎・編集部
2024年1月19日

>ＺＥＮ大学は２０２５年４月の開学を目指して準備中とされる。
前記「準備会」代表理事（理事長）の山中氏が17年、文部科学省による組織的再就職あっせん（つまり天下り）問題の責任を取る形で当時務めていた駐ブルガリア大使を辞めた件は当時広く報じられた。その同氏が同年末にはドワンゴに顧問として迎え入れられ、翌年からは通信制高校の「Ｎ高校」などを運営する学校法人「角川ドワンゴ学園」の理事長に就任している。
同大学は準備会でも理事を務める川上氏の下で進められてきた教育事業の延長線上にあると言える。

>ただ、昨年６月の発表会段階で同大学は文科省の大学設置・学校法人審議会への申請前だった。にもかかわらず講師陣などの詳細な内容がその場で公表されたことも含めて気になった三宅氏はそこから独自に調査。その結果、前記のような運営者の顔触れに加え、文科省の大学設置基準がその前年の22年12月に、あたかも「ＺＥＮ大学を創設するために行われた改正であるかのよう」（北海道大学大学院教育学研究院教授・光本滋氏の作成資料より）に変えられていたことを知ったという。


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

完全オンライン「ZEN大学」、
天下り批判等めぐり名誉毀損訴訟
岩本太郎・編集部
2024年1月19日

>ＺＥＮ大学は２０２５年４月の開学を目指して準備中とされる。
前記「準備会」代表理事（理事長）の山中氏が17年、文部科学省による組織的再就職あっせん（つまり天下り）問題の責任を取る形で当時務めていた駐ブルガリア大使を辞めた件は当時広く報じられた。その同氏が同年末にはドワンゴに顧問として迎え入れられ、翌年からは通信制高校の「Ｎ高校」などを運営する学校法人「角川ドワンゴ学園」の理事長に就任している。
同大学は準備会でも理事を務める川上氏の下で進められてきた教育事業の延長線上にあると言える。

>ただ、昨年６月の発表会段階で同大学は文科省の大学設置・学校法人審議会への申請前だった。にもかかわらず講師陣などの詳細な内容がその場で公表されたことも含めて気になった三宅氏はそこから独自に調査。その結果、前記のような運営者の顔触れに加え、文科省の大学設置基準がその前年の22年12月に、あたかも「ＺＥＮ大学を創設するために行われた改正であるかのよう」（北海道大学大学院教育学研究院教授・光本滋氏の作成資料より）に変えられていたことを知ったという。


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

「ＺＥＮ大学」めぐる名誉毀損訴訟で
判決　川上量生氏の請求棄却、控訴
岩本太郎・編集部｜
2025年2月17日

判決を受けて三宅氏は、「クリスマスのお知らせ」と題して翌26日早朝にFedibirdで「私の側の完全勝利です」と報告。

https://www.kinyobi.co.jp/kinyobinews/2025/02/17/antena-1590/

>>19
意味不明と思う人が多いんじゃ無いの？？
遠アーベル幾何と非可換幾何って違うの？

>>32
この訴訟はどうなったんだろ？
ZEN大学は順調に発進して居るみたいだけど
どんな大学になってるのかな
興味津津

通信大学で授業料年間38万円は高すぎ
IUTの研究所も認可されたら
突然消滅したいかがわしさ。

>>36
>IUTの研究所も認可されたら
>突然消滅したいかがわしさ。
それは「遠アーベル幾何学研究所」になったってことでしょ？
より広い研究領域（それでも狭小）の名前を冠することにしたのは
特にいかがわしくは無いかな

>>37
遠アーベル幾何学は数学、

IUTは全く新しい理論で数学ではない

IUTについて

望月教授は、言うなれば、だれも
話したことがない、新しい言語を
用いて理論を組み立てました。
by 加藤文元所長

今のところはだれもわからない

加藤文元さんが所長のZMC（zen数学センター）は
IUT Innovator Prizeを続ける？
それと
論文誌は出版してる？

>>13
望月加藤文元がIUTは数学外と明言してる

加藤文元さんはzen大学へ移りましたが
東京科学大学が国際卓越大学に選定されましたね

加藤文元さんはzen大学へ移りましたから、
東京科学大学が国際卓越大学に選定されましたね

ということ？

>>44
なんで？

>>42
>望月加藤文元がIUTは数学外と明言してる
明言てのがどういう状況でのことか分からないし
数学外かどうかも分からないな

真、善、美
偽、悪、醜

ZMCとは
ZMC（ZEN Mathematics Center; ZEN数学センター）は、
数論幾何学を中心とした現代数学や、
コンピューター言語を用いた現代数学の形式化
（formalization）の推進と発展を目指して設立された国際研究所です。

https://zen.ac.jp/zmc

ZEN数学センター（ZEN Mathematics Center; 略称 ZMC https://zen.ac.jp/zmc）では、以下の研究集会を企画しております。
︎タイトル：Arithmetic geometry, AI, and Lean
日程：2026年7月21日（火）〜23日（木）
開催地：東京都中央区銀座4-12-15 歌舞伎座タワー12F ドワンゴセミナールーム
オーガナイザー：
Johan Commelin（Utrecht）；星裕一郎（京都大学数理解析研究所）
加藤文元（ZMC）；Kiran Kedlaya（UCSD）；Adam Topaz（Alberta）
参加方法：要予約、無料
参加予約URL： https://docs.google.com/forms/d/1YLTuuU5u3l4QGgR-X0BokQFL6UUUeYEsIxIaxDuyAWg/viewform?edit_requested=true
注意：Registrationの締切は7月3日です。Registration を行うとすぐに詳しい参加日程と参加形態（対面かオンラインか）を問い合わせる2つ目のフォームのURLが送られてきます。そちらのフォーム（2つ目）は日程等の詳細が決まり次第お送りください（7月6日締め切り）。上のフォーム（1つ目）では、参加日程・形態については現時点で分かる範囲のおおまかな情報だけで結構です。
テーマ：近年、コンピュータによる数学の形式化に興味を持つ人が増えており、Lean4による数学の形式化と検証が、将来の数学研究のやり方を大きく変える可能性があると認識されつつあります。さらに、最近ではAIによる自動定理証明や、AIを用いた未解決問題の解決など、数学研究への人工知能の進出が多く見受けられるようになりました。今回のZMC研究集会では、数論幾何学や代数幾何学のコンピューター形式化を出発点として、数学者視点から、AIによる自動形式化や自動定理証明について取り上げたいと考えています。
本会議では、昨年と同様に、小グループに分かれて、実際にLean4を用いて数論幾何学に関連する数学の形式化に取り組む、3日間のグループワークも行います。
数論幾何学や代数幾何学以外のご専門の数学者の方々のご出席も歓迎いたします！

各セッションの内容：
・午前：数論幾何学のコンピューター形式化やAIによる自動形式・自動定理証明に関するセッションを行います。
Speakers:
Christian Merten (Utrecht)；Dagur Asgeirsson (Alberta）
Andrew Yang (Imperial College London）；園田翔（RIKEN AIP）；笠浦一海（Omron Sinic X）
Jiang Jiedong (Peking university)；Guoxiong Gao (Peking university)
...and more TBA
・午後：計算機による形式化に関するチュートリアルに引き続いて、小グループによる作業（Group work）を行います：参加者がいくつかの小グループに分かれて、実際に体験することでコンピューター形式化に入門し、数論幾何学の命題・補題などの実際の形式化に取り組みます。
皆様のご参加を歓迎致します。

テスト



https://www.mext.go.jp/component/b_menu/other/__icsFiles/afieldfile/2015/06/09/1358751_002.pdf

>>26
「出版社は大衆向けの娯楽本で商売すればいい、専門書は公共の利益になるから無料で出版しろ」

こうですか？わかりません

>>52
ハゲタカジャーナルだの受験産業だのは腐っとる。

Zenは急げだ。

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

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

>>55
うわぁ

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

>>57
へんなコネが効くんだろうな
その学会

Bも興味津々かな？
女子学生と不倫して再婚したんだよね確か

>>46

IUGCで加藤文元も明言したし
川上量生企画望月新一監修加藤文元著
宇宙と宇宙をつなぐ数学で明言した。

https://m.youtube.com/watch?v=8vLQIAgFapk&ra=m

まあ外面はいいんだろうけど
禿藁や望月のような強者にへつらって
弱者には嫌味な自慢ばかりしてる
スネ夫みたいな人だよね

>>60
今までの数学外ってことかもよ

>>61
朝鮮系の典型例w

>>59
多分違う

>>62

遠アーベル幾何学は数学.数学の発展だが、IUTはパラダイムシフトした
望月新一語のトンデモだ。

スネオヘアー

>>65
追記

zen大学の文元やフェセンコや梅崎氏の発言はIUTがハッタリとわかる。
加藤文元がIUTTと現数学は言語から違っている、と言いながら、
一方既にIUTTよりabc予想が解決した
と言ってる。

>>65
でもまだ数学なのかも知れないよ

>>67
つまり
既存の数学を拡張した新しいそれでも数学なのかもよ

>既存の数学を拡張した新しいそれでも数学なのかもよ

デマだね。
IUTはパラダイムシフトした全く新しい理論だ、と望月新一たちが宣言した。

3.11→3.12はself evident 自明
と回答した。
全く新しい理論IUTによれば、、

>>70
それでも数学かもよ

だいたい
数学だからこそLeanで検証しようって話になるわけでしょうに
全く新しいって枕詞に揚げ足取っても仕方ない

>数学だからこそLeanで検証しようって話

IUT語は自然言語ではないから
leanで検証できない

望月新一監修加藤文元著宇宙と
宇宙を繋ぐ「数学」