MATH EXPO事務局です。 <数学をポップカルチャーへ> 数学は研究にも経営にも子どもの未来にも、そしてAI時代の生き方にも力を与えます。研究者や学生には発想の飛躍を、経営者には抽象的思考力を、親子には本物の知との出会いを。 数学をポップカルチャーとして楽しめる一日がMATH EXPOです。

Minato-ku, Tokyo
Joined September 2025
【数学の文化祭『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 #理論物理学
6
2
19
17,089
最先端テクノロジーと安全保障、その基盤にある数学の力。 実社会の重大な課題に数学がどう貢献しているのか、知的な発見に満ちたテーマをお届けします。他では味わえない濃密な企画をお楽しみに! 数学を堪能する一日をMATH EXPO 2026で。 12/27(日) 杉田劇場(横浜) peatix.com/event/5233621
1
2
50
多くの方が、数学の学習に、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
1
2
292
【参加者の声|数学が好きな子どもたちより】 「笑わない数学、めちゃ面白かったです」 「このようなイベントで数学好きなお友達も作れたら嬉しいです」 ※一部加工・抜粋しています 数学を楽しむ一日をMATH EXPO 2026で。
12/27(日) 杉田劇場(横浜) 詳細はこちら👇
peatix.com/event/5233621
1
5
300
【参加者の声|昨年に続いて、楽しみ】 「第1回、とても楽しかった。今回も楽しみ」 「昨年に続いて参加します。最新の数学に触れる機会を楽しみにしています」 ※一部加工・抜粋しています 数学を楽しむ一日をMATH EXPO 2026で。
12/27(日) 杉田劇場(横浜) 詳細はこちら👇
peatix.com/event/5233621
2
4
483
正解は「ダークマター」です。 MATH EXPO 2026 12/27(日) 杉田劇場(横浜) peatix.com/event/5233621
村山斉先生が解明に挑む、質量を持つのに観測できず、猛スピードで動く銀河をつなぎ留めていると考えられている物質は? MATH EXPO 2026 12/27(日) 杉田劇場(横浜) peatix.com/event/5233621
30%アンチマター
70%ダークマター
10 votes • Final results
1
2
271
正解は「リーマン・ゼータ関数」です。 MATH EXPO 2026 12/27(日) 杉田劇場(横浜) peatix.com/event/5233621
若山正人先生は、光と物質の相互作用の背後にある数論的な構造を研究しています。数論の出発点の一つは、不規則に見える素数の並び方の謎です。 では、その素数の分布と深く関係する関数はどちらでしょう? MATH EXPO 2026 12/27(日) 杉田劇場(横浜) peatix.com/event/5233621
96%リーマン・ゼータ関数
4%ガウス分布関数
25 votes • Final results
1
3
366
加藤文元先生は、『ガロア 天才数学者の生涯』の著者です。 ではガロアが、方程式の解の入れ替えのうち、解どうしの関係を保つものに注目して考えた群は、何という名前で呼ばれている? MATH EXPO 2026
12/27(日) 杉田劇場(横浜)
peatix.com/event/5233621
81%ガロア群
19%リー群
16 votes • 1 hours
1
1
207
Leanについては、皆さまのご意見が拮抗しました。 数学と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
2
5
556
古代から議論があるようですが、皆さまの多数派は「発見」でした。 数学を楽しむ一日をMATH EXPO 2026で。
12/27(日) 杉田劇場(横浜)
peatix.com/event/5233621
質問です。数学は「発明」か「発見」か? 人間が作り出したのか、それとも人間がいなくても存在する真理を見つけたのか。あなたはどちらだと思いますか? 数学を楽しむ一日をMATH EXPO 2026で。
12/27(日) 杉田劇場(横浜)
peatix.com/event/5233621
38%人間が発明したもの
62%人間が発見したもの
66 votes • Final results
1
6
366
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 #理論物理学
6
2
19
17,089
質問です。数学の学習で、AIを家庭教師にすることをどう思いますか? MATH EXPO 2026 12/27(日) 杉田劇場(横浜) peatix.com/event/5233621
81%積極的に使うべき(つまずきがすぐ解消する)
19%避けるべき(自力で苦しむ過程が理解を育てる)
21 votes • Final results
2
1
2
590
高木貞治先生の「解析概論」は、1938年(昭和13年)の初版刊行以来、数多くの数学者や学生に読み継がれ、日本の大学における微分積分学のテキストの原型となりました。 皆さんは、どの版をお持ちですか? 数学を楽しむ一日をMATH EXPO 2026で。
12/27(日) 杉田劇場(横浜)
peatix.com/event/5233621
2
12
38
2,305
高木貞治先生の名著「解析概論」 皆さんがお持ちの版はどれですか? 複数の版をお持ちの場合は最も読み込んだ版をお選びください。 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
1
2
117
村山斉先生が解明に挑む、質量を持つのに観測できず、猛スピードで動く銀河をつなぎ留めていると考えられている物質は? MATH EXPO 2026 12/27(日) 杉田劇場(横浜) peatix.com/event/5233621
30%アンチマター
70%ダークマター
10 votes • Final results
1
1
5
532
🧠古典力学の父|アイザック・ニュートン
 運動の三法則と万有引力を示し、微積分や光学にも革新をもたらした天才。
 参照元:Wikipedia 数学を楽しむ一日をMATH EXPO 2026で。
12/27(日) 杉田劇場(横浜)
peatix.com/event/5233621
1
4
335
数学者はLeanを学ぶべきか? AIが数学研究を変える時代、数学者はLeanなどの形式証明を学ぶべきでしょうか? 数学とAIを考える、MATH EXPO 2026。 12/27(日) 杉田劇場(横浜)
peatix.com/event/5233621
55%学ぶべき。研究の基盤になる。
45%必須ではない。専門家に任せればよい。
20 votes • Final results
2
1
8
1,207
>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 #理論物理学
1
1
156
若山正人先生は、光と物質の相互作用の背後にある数論的な構造を研究しています。数論の出発点の一つは、不規則に見える素数の並び方の謎です。 では、その素数の分布と深く関係する関数はどちらでしょう? MATH EXPO 2026 12/27(日) 杉田劇場(横浜) peatix.com/event/5233621
96%リーマン・ゼータ関数
4%ガウス分布関数
25 votes • Final results
2
1
5
1,119
📚行列の基本、掃き出し法、階数、固有値・固有ベクトル、対角化といった計算を習得した先には、 線形空間や線型写像による、より抽象的な線形代数学の世界が広がっています。 抽象化の力を楽しむ一日をMATH EXPO 2026で。 12/27(日) 杉田劇場(横浜) peatix.com/event/5233621
2
8
576
📚微分は一次近似、積分は面積や体積を近似すること。微分積分学は「近似」の学問です。 そして、近似した先の真の値の集まり、すなわち、実数論が、微分積分学の基礎となります。 真理に近似する一日をMATH EXPO 2026で。 12/27(日) 杉田劇場(横浜) peatix.com/event/5233621
1
6
395