数学ボーイZ / SUGAKU BOY Z

数学ボーイZ / SUGAKU BOY Z

チャンネル登録者数

先週比:9

8,380人

マイリストに追加一言コメント生成

投稿数: 382

総視聴回数:2,788,441

平均視聴回数:7,300

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

に公開 2024/12/31

458 回視聴

2.88%

13

0

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

に公開 2024/12/17

55 回視聴

1.85%

1

0

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

に公開 2024/12/11

66 回視聴

3.57%

2

0

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

に公開 2024/12/08

285 回視聴

3.93%

11

0

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

に公開 2024/12/04

58 回視聴

10.0%

5

1

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

に公開 2024/11/27

51 回視聴

2.13%

2

0

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

に公開 2024/11/20

65 回視聴

1.61%

1

0

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

に公開 2024/11/13

74 回視聴

4.48%

4

0

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

に公開 2024/11/09

243 回視聴

7.14%

7

0

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

に公開 2024/11/06

96 回視聴

1.61%

1

0

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

に公開 2024/10/30

70 回視聴

1.49%

1

0

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

に公開 2024/10/23

113 回視聴

2.78%

4

0

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

に公開 2024/10/19

425 回視聴

2.0%

7

1

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

に公開 2024/10/16

187 回視聴

1.09%

3

0

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

に公開 2024/10/12

177 回視聴

0.59%

1

0

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

に公開 2024/10/09

141 回視聴

2.22%

3

0

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

に公開 2024/09/26

127 回視聴

4.88%

6

0

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

に公開 2024/09/20

159 回視聴

5.73%

7

2

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

に公開 2024/09/18

108 回視聴

5.71%

6

0

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

に公開 2024/09/11

112 回視聴

4.59%

5

0

コンテンツをCSVでダウンロード