No.1
13: 【悲報】ZEN大学、新たな"研究所"を設立 (57)
レス数: 54
概要: IUT一派は一体なにをしたいのやら……
No.5
でも形式化やってる人の名前ないね 羊頭狗肉じゃね？
No.6
No.7
ひとつの相にこだわらない無相。一処にとどまらない無住。ひとつの思いにかたよらない無念の心境を禅定と呼び、ほとけの心のことです。
No.8
No.9
No.10
No.11
No.12
年間38万円の学費で
たしかに地方大学へ通うよりよいのかも？
けど結局は大学は卒業生の評価が基本
どんななるんかね
No.13
No.14
No.15
No.16
zen大学は中身が放送大学に遥かに及ばない、はったりのFランク。
年間38万円はボロ儲けでしょ。
No.17
「ＺＥＮ大学」めぐる名誉毀損訴訟で
判決、川上量生氏の請求棄却、控訴
https:
No.18
三宅某氏が疑問を呈するのはわからんでもないが、「拡散希望」とか書いちゃってるところに胡散臭さを感じるのは俺だけ？
No.19
もしいないのなら、永遠に決着つかないじゃないか。
No.20
No.21
一部の周辺の人たちが言っても、あまり信用されてない(？)みたいだし。
あの理論を鬼分かりやすく説明する、という方向でブレイクスルーが起こる必要があるのではないか。
No.22
裁判所が下記に事実を認定したが、
その前に阿部文科大臣がzen大学を認可した。認可後ただちにIUT関連研究所は
廃止された
-
週間金曜日｜2024年1月19日
完全オンライン「zen大学」、
天下り批判等めぐり名誉毀損訴訟
https:
No.23
正確にはIUTを遠アーベル幾何学
と書き替えた
No.24
なぜそうしないのかわからん。
No.25
No.26
映像は公共の利益になるから垂れ流しにしろ
勿体無いわ
No.27
公開せえや、ボケ。
No.28
/ / ヽ
,i / // / i i l ヽ
| // / l | | | | ﾄ､ |
| || i／ .⌒ ⌒ | |
（Ｓ|| | （●） （●） |
| || | .ﾉ ）| （ "''''''':::::.
| || |ヽ､＿ ▽ _／|ﾉ--'''''"""" ヽ ゛゛:ヽ.
|::::::::"""" . ＼::. 丿
|::::: ..........::::::::::::彡''ﾍ::::....ノ
/ ::::::::::;;;;;,,---"""￣ ＾｀｀
／ ＿＿ __ 、＼
/::::::: ／: ─┼ ヽ
|::: ／ : 止レ :: |
( ( ヽ:::::: ￣￣ :::.. ﾉ ) )
＼::::::: ／＼:::;;;;;;__ ノ
No.29
ZEN大学って上手く行ってんの？
5000人×4年で収入は相当ありそうだから
上手く行ってるってことだろうな
No.30
>年間38万円の学費で
え？そんな安いの？
No.31
天下り批判等めぐり名誉毀損訴訟
岩本太郎・編集部
2024年1月19日
>ＺＥＮ大学は２０２５年４月の開学を目指して準備中とされる。
前記「準備会」代表理事（理事長）の山中氏が17年、文部科学省による組織的再就職あっせん（つまり天下り）問題の責任を取る形で当時務めていた駐ブルガリア大使を辞めた件は当時広く報じられた。その同氏が同年末にはドワンゴに顧問として迎え入れられ、翌年からは通信制高校の「Ｎ高校」などを運営する学校法人「角川ドワンゴ学園」の理事長に就任している。
同大学は準備会でも理事を務める川上氏の下で進められてきた教育事業の延長線上にあると言える。
>ただ、昨年６月の発表会段階で同大学は文科省の大学設置・学校法人審議会への申請前だった。にもかかわらず講師陣などの詳細な内容がその場で公表されたことも含めて気になった三宅氏はそこから独自に調査。その結果、前記のような運営者の顔触れに加え、文科省の大学設置基準がその前年の22年12月に、あたかも「ＺＥＮ大学を創設するために行われた改正であるかのよう」（北海道大学大学院教育学研究院教授・光本滋氏の作成資料より）に変えられていたことを知ったという。
https:
No.32
天下り批判等めぐり名誉毀損訴訟
岩本太郎・編集部
2024年1月19日
>ＺＥＮ大学は２０２５年４月の開学を目指して準備中とされる。
前記「準備会」代表理事（理事長）の山中氏が17年、文部科学省による組織的再就職あっせん（つまり天下り）問題の責任を取る形で当時務めていた駐ブルガリア大使を辞めた件は当時広く報じられた。その同氏が同年末にはドワンゴに顧問として迎え入れられ、翌年からは通信制高校の「Ｎ高校」などを運営する学校法人「角川ドワンゴ学園」の理事長に就任している。
同大学は準備会でも理事を務める川上氏の下で進められてきた教育事業の延長線上にあると言える。
>ただ、昨年６月の発表会段階で同大学は文科省の大学設置・学校法人審議会への申請前だった。にもかかわらず講師陣などの詳細な内容がその場で公表されたことも含めて気になった三宅氏はそこから独自に調査。その結果、前記のような運営者の顔触れに加え、文科省の大学設置基準がその前年の22年12月に、あたかも「ＺＥＮ大学を創設するために行われた改正であるかのよう」（北海道大学大学院教育学研究院教授・光本滋氏の作成資料より）に変えられていたことを知ったという。
https:
No.33
判決 川上量生氏の請求棄却、控訴
岩本太郎・編集部｜
2025年2月17日
判決を受けて三宅氏は、「クリスマスのお知らせ」と題して翌26日早朝にFedibirdで「私の側の完全勝利です」と報告。
https:
No.34
意味不明と思う人が多いんじゃ無いの？？
遠アーベル幾何と非可換幾何って違うの？
No.35
この訴訟はどうなったんだろ？
ZEN大学は順調に発進して居るみたいだけど
どんな大学になってるのかな
興味津津
No.36
IUTの研究所も認可されたら
突然消滅したいかがわしさ。
No.37
>IUTの研究所も認可されたら
>突然消滅したいかがわしさ。
それは「遠アーベル幾何学研究所」になったってことでしょ？
より広い研究領域（それでも狭小）の名前を冠することにしたのは
特にいかがわしくは無いかな
No.38
遠アーベル幾何学は数学、
IUTは全く新しい理論で数学ではない
No.39
望月教授は、言うなれば、だれも
話したことがない、新しい言語を
用いて理論を組み立てました。
by 加藤文元所長
No.40
No.41
IUT Innovator Prizeを続ける？
それと
論文誌は出版してる？
No.42
望月加藤文元がIUTは数学外と明言してる
No.43
東京科学大学が国際卓越大学に選定されましたね
No.44
東京科学大学が国際卓越大学に選定されましたね
ということ？
No.45
なんで？
No.46
>望月加藤文元がIUTは数学外と明言してる
明言てのがどういう状況でのことか分からないし
数学外かどうかも分からないな
No.47
偽、悪、醜
No.48
ZMC（ZEN Mathematics Center; ZEN数学センター）は、
数論幾何学を中心とした現代数学や、
コンピューター言語を用いた現代数学の形式化
（formalization）の推進と発展を目指して設立された国際研究所です。
https:
No.49
https:
）では、以下の研究集会を企画しております。
︎タイトル：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:
注意：Registrationの締切は7月3日です。Registration を行うとすぐに詳しい参加日程と参加形態（対面かオンラインか）を問い合わせる2つ目のフォームのURLが送られてきます。そちらのフォーム（2つ目）は日程等の詳細が決まり次第お送りください（7月6日締め切り）。上のフォーム（1つ目）では、参加日程・形態については現時点で分かる範囲のおおまかな情報だけで結構です。
テーマ：近年、コンピュータによる数学の形式化に興味を持つ人が増えており、Lean4による数学の形式化と検証が、将来の数学研究のやり方を大きく変える可能性があると認識されつつあります。さらに、最近ではAIによる自動定理証明や、AIを用いた未解決問題の解決など、数学研究への人工知能の進出が多く見受けられるようになりました。今回のZMC研究集会では、数論幾何学や代数幾何学のコンピューター形式化を出発点として、数学者視点から、AIによる自動形式化や自動定理証明について取り上げたいと考えています。
本会議では、昨年と同様に、小グループに分かれて、実際にLean4を用いて数論幾何学に関連する数学の形式化に取り組む、3日間のグループワークも行います。
数論幾何学や代数幾何学以外のご専門の数学者の方々のご出席も歓迎いたします！
No.50
・午前：数論幾何学のコンピューター形式化や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）を行います：参加者がいくつかの小グループに分かれて、実際に体験することでコンピューター形式化に入門し、数論幾何学の命題・補題などの実際の形式化に取り組みます。
皆様のご参加を歓迎致します。
No.51
https:
No.52
「出版社は大衆向けの娯楽本で商売すればいい、専門書は公共の利益になるから無料で出版しろ」
こうですか？わかりません
No.53
ハゲタカジャーナルだの受験産業だのは腐っとる。
No.54
No.55
2026/2/25 20:50
https:
No.56
うわぁ
No.57
人工知能学会理事だったらしいな
https:
