数学ボーイZ / SUGAKU BOY Z

11:41

奇数の和が平方数になることをLeanで証明してみた

15:56

【#8-6 Lean by Example】Heyting代数のはなし！！

1:03:20

【#8-5 Lean by Example】Heyting代数のはなし！！

5:56

【aesop/Lean4】数学の自動証明タクティクを紹介！

1:01:11

【#8-4 Lean by Example】Heyting代数のはなし！！

59:35

【#8-3 Lean by Example】Heyting代数のはなし！！

1:05:45

【#8-2 Lean by Example】Heyting代数のはなし！！

1:00:05

【#8 Lean by Example】Heyting代数のはなし！！

15:48

【intro】Lean4で定理証明を実装するための便利なタクティクを具体例で紹介！

37:21

【#7-2 Lean by Example 演習単射なら左逆写像があることを示す！

59:20

【#7 Lean by Example 演習】全射なら右逆写像があることを示す！

32:40

【#6-3 集合の濃度】Lean By Exampleの演習問題を解く！

1:23:26

東大数学チャレンジ！ChatGPTが出題、恩田が挑戦

1:04:35

【#6-2 集合の濃度】Lean By Exampleの演習問題を解く！

1:28:36

webエンジニア素人がホームページを自作する！part1

1:00:56

【#6 集合の濃度】Lean By Exampleの演習問題を解く！

1:09:35

【#5 カントールの定理】Lean By Exampleの演習問題を解く！

1:12:25

【雑談】中学・高校数学の質問とか近況とか何でも来い！

58:50

【#4】Lean By Exampleの演習問題を解く！

58:41

【#3】Lean By Exampleの演習問題を解く！

1:13:05

【#2】Leanの含意の正当性を示す！

51:44

数学科を積極採用する謎のスタートアップ！Proxima Technology CEOの深津卓弥さんって何者？

27:25

【#1】Leanで床屋のパラドクスに挑む!!

26:46

【優勝〇〇万円】大学数学のコンテストだと!? インタビューしてみた

1:36

【#10】Leanの入門教材！Mathematics in Leanを1から解いていくぞ！

59:25

【#9】Leanの入門教材！Mathematics in Leanを1から解いていくぞ！

1:00:36

【#8】Leanの入門教材！Mathematics in Leanを1から解いていくぞ！

1:00:11

【#7】Leanの入門教材！Mathematics in Leanを1から解いていくぞ！

1:00:56

【#6】Leanの入門教材！Mathematics in Leanを1から解いていくぞ！

1:07:35

【#5】Leanの入門教材！Mathematics in Leanを1から解いていくぞ！

11:50

【rw】Leanで証明を"実装"！等式変形を行うrwタクティクって？

1:00:56

【#4】Leanの入門教材！Mathematics in Leanを1から解いていくぞ！

26:49

【ド・モルガンの法則】1つだけ直観主義論理では示せません...

1:01:18

【#3 】Leanの入門教材！Mathematics in Leanを1から解いていくぞ！

59:50

【#2】Leanの入門教材！Mathematics in Leanを1から解いていくぞ！

18:39

どうして1+1=2なの？ペアノの公理に従ってLeanで説明しよう

59:41

【#1】Leanの入門教材！Mathematics in Leanを1から解いていくぞ！

7:05

Leanの入門教材に入門しよう！Mathematics in Lean4の環境構築方法

31:57

定理を証明するプログラミング言語Leanって？環境構築、入門教材の紹介も！supported by Proxima Technology

4:31

数学の人工知能作りに夢中で、無職に転生した⭐️

2:56:07

【知り合いの処女作フリーゲームを実況プレイ】ラビリンス・ノア　【ノアの方舟 探索ファンタジー】(前編)

1:55

41 is one of Euler’s Lucky numbers.

0:52

1冊分のずれができるように本を積むには何冊必要なの？ #shorts

0:57

ギリシアの3大作図問題【定規とコンパス】#shorts

1:00

√2が無理数であることの図形的証明 #shorts

8:31

偽物のふくらPが素因数分解に挑戦！【QuizKnock監修アプリwallprime】

19:13

数学者を目指し、あきらめた話。そして...

7:15

東大数学科院生がはんじょうさんによるケーキの3等分を解説します

46:07

今年こそ修士卒業できるの？【Z RADIO #30】

9:05

【徹底討論】「自販機で買うなら？ 水vsお茶」の巻【Z RADIO #29】

14:43

「今年はやらないの？ あの企画(反語)」の巻。【Z RADIO #28】

8:52

「来年から18歳になるらしいね」の巻【Z RADIO#27】

8:25

「今年の漢字はなんじゃろな？」の巻【Z RADIO#26】

0:58

【2022整数問題】2022の2022乗の階乗の2022桁めの数字は？【2022づくし】

1:00

【2022整数問題】2022_(n)が平方数にならないことを示せ【n進法】

7:06

【整数問題】2022の指数方程式【年おくり整数シリーズ2022番外篇】

22:20

【整数問題】整数ガチ勢への挑戦状【年おくり整数シリーズ2021】

11:50

【整数問題】3つの平方数の和の自然数解【年おくり整数シリーズ2020】

7:25

【整数問題】格子点と楕円、そして自然数。【年おくり整数シリーズ2019】

5:59

【整数問題】フェルマーの小定理だけど、フェルマーの小定理じゃない。【年おくり整数シリーズ2018】

10:35

【整数問題】組み合わせの変形が命な有名問題【年おくり整数シリーズ2017】

7:53

【整数問題】完全数の性質と素数【年おくり整数シリーズ2016】

8:42

【整数問題】きみはmodを使いこなせているか【年おくり整数シリーズ2015】

12:26

【整数問題？】高次の多項式の割り算【年おくり整数シリーズ2014】

10:19

「名前がわからない」の巻【Z RADIO#25】

10:48

【整数問題】お待たせしました THE 整数問題【年おくり整数シリーズ2013】

7:56

【整数問題】小数の問題に見せかけて 実は整数の問題【年おくり整数シリーズ2012】

5:20

【整数問題？】三角関数の和を計算せよ【年おくり整数シリーズ2011】

8:11

【整数問題】2010!を2011で割ったあまりは？【年おくり整数シリーズ2010】

9:11

【整数問題2022】約数の総和が2022になる自然数をすべて求めよ。【年おくり整数シリーズ2022】

4:38

nのn乗根が有理数になる自然数nは？【今週の2πr/高校数学】

7:32

「森羅万象カレー説」の巻【Z RADIO #24】

0:57

数直線に針を落としたとき、有理数に刺さる確率は?【数学クイズ】#short

4:18

数直線上で「有理数ぜんぶ」の長さの合計は？

16:55

ホントに実数は有理数より多いの?!【全単射写像って何ですか?】

1:00

0以上1以下の実数と、すべての実数どっちが多いの？ #shorts

8:01

教科書で教わらない！√2の無理数性証明【今度こそ】

4:52

(1+√2)^nが無理数であることを示せ.【今週の2πr/高校数学】

13:26

「教職の授業も意外と楽しかった」の巻【Z RADIO #23】

6:45

「帯分数は必要ですか？」の巻【Z RADIO #22】

0:56

赤い部分の面積を求めよ【今週の2π/中学数学】#shorts

8:19

「SNS何やってる？」の巻【Z RADIO #21】

0:56

みんな大好き素数の問題【今週の2πr/高校数学】#shorts

14:49

「大学数学とハードボイルドの共通点？　男のロマンって奴だ」【Z RADIO #20】

0:45

見た目がきれいな円の問題【今週の2πr/中学数学】#shorts

11:55:01

【ギブアップ】24時間数学耐久配信！！

7:22

「自然数に0を含める？含めない？」の巻【Z RADIO #19】

1:00

直感に反する図形3撰【独断と偏見】#shorts

3:49

多項式環の極大イデアルの引き戻しは極大イデアルか？【今週の2πr/大学数学】

10:38

「タスキをかけるとセーターかカーディガンかわからない」の巻【Z RADIO #2】

10:34

「どの公式が1番好きですか？ ぜひコメント欄で教えてください！」の巻【Z RADIO#18】

8:20

単に係数比較していいのか？【恒等式の謎】

9:50

【p進数】実数と対をなす世界へのイントロダクション

10:33

【2乗して2になる実数√2】は本当に存在するの？

1:00

【数学クイズ】1枚の∞平方メートルの紙を、たった1Lのペンキで真っ赤にする方法とは⁈ #shorts

11:23

「でもそれ有理数じゃないってことを示しただけで、無理数であることを証明したわけじゃないですよね？」の巻【Z RADIO#17】

0:36

ダイジェスト　第1回数学食わず嫌い王！　#Shorts

59:01

偽物の定理を見破れ！第一回数学食わず嫌い王！vs　@tamaki_py

0:58

すなおな人ほど引っかかる妙問！【今週の2πr/中学数学】#shorts

1:30

【Twitterで80万再生】ひろゆきに影響された数学系YouTuber