数学ボーイZ / SUGAKU BOY Z

BitStar ID: 277174
最終更新日: 2026/03/01

数学ボーイZ / SUGAKU BOY Z

チャンネル登録者数

先週比:-

8,640人

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

投稿数: 380

総視聴回数:2,954,463

平均視聴回数:7,775

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

に公開 2024/12/31

1,674 回視聴

2.97%

39

0

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

に公開 2024/12/17

75 回視聴

1.85%

1

0

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

に公開 2024/12/11

77 回視聴

3.57%

2

0

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

に公開 2024/12/08

679 回視聴

3.93%

22

0

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

に公開 2024/12/04

63 回視聴

10.0%

5

1

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

に公開 2024/11/27

57 回視聴

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

103 回視聴

4.48%

6

0

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

に公開 2024/11/09

568 回視聴

7.14%

17

0

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

に公開 2024/11/06

106 回視聴

1.61%

1

0

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

に公開 2024/10/30

79 回視聴

1.49%

1

0

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

に公開 2024/10/23

118 回視聴

2.78%

3

0

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

に公開 2024/10/19

474 回視聴

2.0%

6

1

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

に公開 2024/10/16

191 回視聴

1.09%

3

0

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

に公開 2024/10/12

184 回視聴

0.59%

1

0

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

に公開 2024/10/09

177 回視聴

1.69%

3

0

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

に公開 2024/09/26

145 回視聴

4.14%

6

0

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

に公開 2024/09/20

166 回視聴

5.42%

7

2

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

に公開 2024/09/18

125 回視聴

4.8%

6

0

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

に公開 2024/09/11

122 回視聴

4.1%

5

0

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