Pinned Tweet
【数学の文化祭『MATH EXPO 2026』】
AIが、人類の未解決問題を解き始めた。
その証明を、機械が検証する。
数学は今、歴史の転換点にあります。
この瞬間に立ち会える一日を、横浜・杉田劇場でお届けします。
数学の文化祭『MATH EXPO』を、2026年も開催させていただきます。
▼見どころ
①AIが未解決問題を解き、証明が機械検証される時代の数学の最前線
②一流の先生方による特別講演
③NHK「笑わない数学」ステージ版
④安全保障と数学という意外なテーマまで
数学好きも初心者も楽しめる特別企画が満載です。
■日時 2026年12月27日(日)
■会場 横浜市磯子区民文化センター 杉田劇場
■出演者(敬称略)
・若山正人(数学者/ZEN大学学長/九州大学名誉教授)
・村山斉(理論物理学者/東京大学カブリ数物連携宇宙研究機構特別教授・カリフォルニア大学バークレー校 MacAdams冠教授)
・加藤文元(数学者/ZEN大学教授/東京工業大学名誉教授)
・パンサー尾形(NHK「笑わない数学」MC)
・ハマちゃん(NHK「笑わない数学」アシスタント)
・山本晃平(技術安全保障専門家/工学博士&学術修士(国際政治分野)/国際社会経済研究所 特別研究主幹)
・洞龍弥(数学者/ZEN大学助教)
■パネルディスカッション「AIと数学」(予定)
未解決問題をAIが解き明かすなど、数学界にも大きな衝撃が広がっています。AIと数学の未来について、第一線の方々と議論を深めます。
■「笑わない数学」MATH EXPO スペシャルバージョン
テレビを飛び出した「笑わない数学」のリアルステージ!
知的でクール、そして奥深い世界観を、難解な数学テーマを真面目に、クールに、そして最高に面白くお届けします。「数学ってこんなにドラマチックだったんだ」と驚く体験を、劇場でご一緒しましょう。
■親子での参加も大歓迎!
2026年も親子でのお申込みが増えています。2025年も、熱心なお子さんが多数いらっしゃいました。
👧👦数学、AI、理論物理学の“本物の知”との直接の触れ合いは、お子さんの将来の財産になるはずです。
■チケット(おかげさまで好評販売中)
peatix.com/event/5233621
新たな数学の魅力に出会える特別な一日を、ぜひご一緒に!
#MATH_EXPO #笑わない数学 #数学 #AI #理論物理学
最先端テクノロジーと安全保障、その基盤にある数学の力。
実社会の重大な課題に数学がどう貢献しているのか、知的な発見に満ちたテーマをお届けします。他では味わえない濃密な企画をお楽しみに!
数学を堪能する一日をMATH EXPO 2026で。
12/27(日) 杉田劇場(横浜)
peatix.com/event/5233621
多くの方が、数学の学習に、AIを積極的に使うべきと考えているようです。
MATH EXPO 2026
12/27(日) 杉田劇場(横浜)
peatix.com/event/5233621
質問です。数学の学習で、AIを家庭教師にすることをどう思いますか?
MATH EXPO 2026
12/27(日) 杉田劇場(横浜)
peatix.com/event/5233621
81%積極的に使うべき(つまずきがすぐ解消する)
19%避けるべき(自力で苦しむ過程が理解を育てる)
21 votes • Final results【参加者の声|数学が好きな子どもたちより】
「笑わない数学、めちゃ面白かったです」
「このようなイベントで数学好きなお友達も作れたら嬉しいです」
※一部加工・抜粋しています
数学を楽しむ一日をMATH EXPO 2026で。
12/27(日) 杉田劇場(横浜)
詳細はこちら👇
peatix.com/event/5233621
【参加者の声|昨年に続いて、楽しみ】
「第1回、とても楽しかった。今回も楽しみ」
「昨年に続いて参加します。最新の数学に触れる機会を楽しみにしています」
※一部加工・抜粋しています
数学を楽しむ一日をMATH EXPO 2026で。
12/27(日) 杉田劇場(横浜)
詳細はこちら👇
peatix.com/event/5233621
正解は「ダークマター」です。
MATH EXPO 2026
12/27(日) 杉田劇場(横浜)
peatix.com/event/5233621
村山斉先生が解明に挑む、質量を持つのに観測できず、猛スピードで動く銀河をつなぎ留めていると考えられている物質は?
MATH EXPO 2026
12/27(日) 杉田劇場(横浜)
peatix.com/event/5233621
30%アンチマター
70%ダークマター
10 votes • Final results正解は「リーマン・ゼータ関数」です。
MATH EXPO 2026
12/27(日) 杉田劇場(横浜)
peatix.com/event/5233621
若山正人先生は、光と物質の相互作用の背後にある数論的な構造を研究しています。数論の出発点の一つは、不規則に見える素数の並び方の謎です。
では、その素数の分布と深く関係する関数はどちらでしょう?
MATH EXPO 2026
12/27(日) 杉田劇場(横浜)
peatix.com/event/5233621
96%リーマン・ゼータ関数
4%ガウス分布関数
25 votes • Final results加藤文元先生は、『ガロア 天才数学者の生涯』の著者です。
ではガロアが、方程式の解の入れ替えのうち、解どうしの関係を保つものに注目して考えた群は、何という名前で呼ばれている?
MATH EXPO 2026
12/27(日) 杉田劇場(横浜)
peatix.com/event/5233621
81%ガロア群
19%リー群
16 votes • 1 hoursLeanについては、皆さまのご意見が拮抗しました。
数学とAIを考える、MATH EXPO 2026。
12/27(日) 杉田劇場(横浜)
peatix.com/event/5233621
数学者はLeanを学ぶべきか?
AIが数学研究を変える時代、数学者はLeanなどの形式証明を学ぶべきでしょうか?
数学とAIを考える、MATH EXPO 2026。
12/27(日) 杉田劇場(横浜)
peatix.com/event/5233621
55%学ぶべき。研究の基盤になる。
45%必須ではない。専門家に任せればよい。
20 votes • Final results古代から議論があるようですが、皆さまの多数派は「発見」でした。
数学を楽しむ一日をMATH EXPO 2026で。
12/27(日) 杉田劇場(横浜)
peatix.com/event/5233621
質問です。数学は「発明」か「発見」か?
人間が作り出したのか、それとも人間がいなくても存在する真理を見つけたのか。あなたはどちらだと思いますか?
数学を楽しむ一日をMATH EXPO 2026で。
12/27(日) 杉田劇場(横浜)
peatix.com/event/5233621
38%人間が発明したもの
62%人間が発見したもの
66 votes • Final results math_expo retweeted
【数学の文化祭『MATH EXPO 2026』】
AIが、人類の未解決問題を解き始めた。
その証明を、機械が検証する。
数学は今、歴史の転換点にあります。
この瞬間に立ち会える一日を、横浜・杉田劇場でお届けします。
数学の文化祭『MATH EXPO』を、2026年も開催させていただきます。
▼見どころ
①AIが未解決問題を解き、証明が機械検証される時代の数学の最前線
②一流の先生方による特別講演
③NHK「笑わない数学」ステージ版
④安全保障と数学という意外なテーマまで
数学好きも初心者も楽しめる特別企画が満載です。
■日時 2026年12月27日(日)
■会場 横浜市磯子区民文化センター 杉田劇場
■出演者(敬称略)
・若山正人(数学者/ZEN大学学長/九州大学名誉教授)
・村山斉(理論物理学者/東京大学カブリ数物連携宇宙研究機構特別教授・カリフォルニア大学バークレー校 MacAdams冠教授)
・加藤文元(数学者/ZEN大学教授/東京工業大学名誉教授)
・パンサー尾形(NHK「笑わない数学」MC)
・ハマちゃん(NHK「笑わない数学」アシスタント)
・山本晃平(技術安全保障専門家/工学博士&学術修士(国際政治分野)/国際社会経済研究所 特別研究主幹)
・洞龍弥(数学者/ZEN大学助教)
■パネルディスカッション「AIと数学」(予定)
未解決問題をAIが解き明かすなど、数学界にも大きな衝撃が広がっています。AIと数学の未来について、第一線の方々と議論を深めます。
■「笑わない数学」MATH EXPO スペシャルバージョン
テレビを飛び出した「笑わない数学」のリアルステージ!
知的でクール、そして奥深い世界観を、難解な数学テーマを真面目に、クールに、そして最高に面白くお届けします。「数学ってこんなにドラマチックだったんだ」と驚く体験を、劇場でご一緒しましょう。
■親子での参加も大歓迎!
2026年も親子でのお申込みが増えています。2025年も、熱心なお子さんが多数いらっしゃいました。
👧👦数学、AI、理論物理学の“本物の知”との直接の触れ合いは、お子さんの将来の財産になるはずです。
■チケット(おかげさまで好評販売中)
peatix.com/event/5233621
新たな数学の魅力に出会える特別な一日を、ぜひご一緒に!
#MATH_EXPO #笑わない数学 #数学 #AI #理論物理学
質問です。数学の学習で、AIを家庭教師にすることをどう思いますか?
MATH EXPO 2026
12/27(日) 杉田劇場(横浜)
peatix.com/event/5233621
81%積極的に使うべき(つまずきがすぐ解消する)
19%避けるべき(自力で苦しむ過程が理解を育てる)
21 votes • Final results高木貞治先生の「解析概論」は、1938年(昭和13年)の初版刊行以来、数多くの数学者や学生に読み継がれ、日本の大学における微分積分学のテキストの原型となりました。
皆さんは、どの版をお持ちですか?
数学を楽しむ一日をMATH EXPO 2026で。
12/27(日) 杉田劇場(横浜)
peatix.com/event/5233621
高木貞治先生の名著「解析概論」
皆さんがお持ちの版はどれですか?
複数の版をお持ちの場合は最も読み込んだ版をお選びください。
MATH EXPO 2026
12/27(日) 杉田劇場(横浜)
peatix.com/event/5233621
0%初版(1938) or増訂版(1943)
40%改訂第3版(1961) or同版軽装版(1983)
20%定本(2010年)
40%持っていない
5 votes • Final results村山斉先生が解明に挑む、質量を持つのに観測できず、猛スピードで動く銀河をつなぎ留めていると考えられている物質は?
MATH EXPO 2026
12/27(日) 杉田劇場(横浜)
peatix.com/event/5233621
30%アンチマター
70%ダークマター
10 votes • Final results🧠古典力学の父|アイザック・ニュートン
運動の三法則と万有引力を示し、微積分や光学にも革新をもたらした天才。
参照元:Wikipedia
数学を楽しむ一日をMATH EXPO 2026で。
12/27(日) 杉田劇場(横浜)
peatix.com/event/5233621
数学者はLeanを学ぶべきか?
AIが数学研究を変える時代、数学者はLeanなどの形式証明を学ぶべきでしょうか?
数学とAIを考える、MATH EXPO 2026。
12/27(日) 杉田劇場(横浜)
peatix.com/event/5233621
55%学ぶべき。研究の基盤になる。
45%必須ではない。専門家に任せればよい。
20 votes • Final results math_expo retweeted
>AIが未解決問題を解き、(人間が自力で行なった)証明が機械検証される時代
もうAIってここまで来ているんだな…
【数学の文化祭『MATH EXPO 2026』】
AIが、人類の未解決問題を解き始めた。
その証明を、機械が検証する。
数学は今、歴史の転換点にあります。
この瞬間に立ち会える一日を、横浜・杉田劇場でお届けします。
数学の文化祭『MATH EXPO』を、2026年も開催させていただきます。
▼見どころ
①AIが未解決問題を解き、証明が機械検証される時代の数学の最前線
②一流の先生方による特別講演
③NHK「笑わない数学」ステージ版
④安全保障と数学という意外なテーマまで
数学好きも初心者も楽しめる特別企画が満載です。
■日時 2026年12月27日(日)
■会場 横浜市磯子区民文化センター 杉田劇場
■出演者(敬称略)
・若山正人(数学者/ZEN大学学長/九州大学名誉教授)
・村山斉(理論物理学者/東京大学カブリ数物連携宇宙研究機構特別教授・カリフォルニア大学バークレー校 MacAdams冠教授)
・加藤文元(数学者/ZEN大学教授/東京工業大学名誉教授)
・パンサー尾形(NHK「笑わない数学」MC)
・ハマちゃん(NHK「笑わない数学」アシスタント)
・山本晃平(技術安全保障専門家/工学博士&学術修士(国際政治分野)/国際社会経済研究所 特別研究主幹)
・洞龍弥(数学者/ZEN大学助教)
■パネルディスカッション「AIと数学」(予定)
未解決問題をAIが解き明かすなど、数学界にも大きな衝撃が広がっています。AIと数学の未来について、第一線の方々と議論を深めます。
■「笑わない数学」MATH EXPO スペシャルバージョン
テレビを飛び出した「笑わない数学」のリアルステージ!
知的でクール、そして奥深い世界観を、難解な数学テーマを真面目に、クールに、そして最高に面白くお届けします。「数学ってこんなにドラマチックだったんだ」と驚く体験を、劇場でご一緒しましょう。
■親子での参加も大歓迎!
2026年も親子でのお申込みが増えています。2025年も、熱心なお子さんが多数いらっしゃいました。
👧👦数学、AI、理論物理学の“本物の知”との直接の触れ合いは、お子さんの将来の財産になるはずです。
■チケット(おかげさまで好評販売中)
peatix.com/event/5233621
新たな数学の魅力に出会える特別な一日を、ぜひご一緒に!
#MATH_EXPO #笑わない数学 #数学 #AI #理論物理学
若山正人先生は、光と物質の相互作用の背後にある数論的な構造を研究しています。数論の出発点の一つは、不規則に見える素数の並び方の謎です。
では、その素数の分布と深く関係する関数はどちらでしょう?
MATH EXPO 2026
12/27(日) 杉田劇場(横浜)
peatix.com/event/5233621
96%リーマン・ゼータ関数
4%ガウス分布関数
25 votes • Final results📚行列の基本、掃き出し法、階数、固有値・固有ベクトル、対角化といった計算を習得した先には、
線形空間や線型写像による、より抽象的な線形代数学の世界が広がっています。
抽象化の力を楽しむ一日をMATH EXPO 2026で。
12/27(日) 杉田劇場(横浜)
peatix.com/event/5233621
📚微分は一次近似、積分は面積や体積を近似すること。微分積分学は「近似」の学問です。
そして、近似した先の真の値の集まり、すなわち、実数論が、微分積分学の基礎となります。
真理に近似する一日をMATH EXPO 2026で。
12/27(日) 杉田劇場(横浜)
peatix.com/event/5233621







