プライバシーポリシー利用規約

©2026 BitStar Inc. All Rights Reserved.

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

数学ボーイZ / SUGAKU BOY Z

 チャンネル登録者数

先週比:-

8,640人

マイリストに追加 一言コメント生成
投稿数: 380
総視聴回数:2,954,463
平均視聴回数:7,775
  • 【#2】Leanの含意の正当性を示す！

    に公開 2024/08/28

    115 回視聴 

    3.48% 

    3

    1

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

    に公開 2024/08/23

    Proxima Technology / 株式会社Proxima Tec... / ファッション

    943 回視聴 

    2.97% 

    27

    1

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

    に公開 2024/08/21

    139 回視聴 

    2.88% 

    4

    0

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

    に公開 2024/08/09

    p四郎 / 株式会社Proxima Tec... / ファッション

    946 回視聴 

    3.81% 

    36

    0

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

    に公開 2024/08/06

    70 回視聴 

    0.0% 

    0

    0

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

    に公開 2024/07/31

    129 回視聴 

    3.1% 

    4

    0

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

    に公開 2024/07/24

    106 回視聴 

    4.72% 

    5

    0

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

    に公開 2024/07/17

    99 回視聴 

    3.03% 

    3

    0

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

    に公開 2024/07/10

    104 回視聴 

    2.88% 

    3

    0

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

    に公開 2024/07/03

    99 回視聴 

    3.03% 

    2

    1

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

    に公開 2024/06/30

    Lean / Proxima Technology / 教育・宗教

    587 回視聴 

    3.07% 

    17

    1

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

    に公開 2024/06/26

    不明 / 不明 / その他

    143 回視聴 

    4.2% 

    6

    0

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

    に公開 2024/06/20

    Proxima Technology / Proxima Technology / WEBサービス

    709 回視聴 

    2.96% 

    16

    5

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

    に公開 2024/06/19

    139 回視聴 

    3.6% 

    5

    0

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

    に公開 2024/06/12

    不明 / 不明 / その他

    208 回視聴 

    3.37% 

    7

    0

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

    に公開 2024/06/08

    Proxima Technology / Proxima Technology / WEBサービス

    733 回視聴 

    3.14% 

    19

    4

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

    に公開 2024/06/05

    389 回視聴 

    2.31% 

    8

    1

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

    に公開 2024/05/28

    Mathematics in ... / 株式会社Proxima Tec... / 教育・宗教

    888 回視聴 

    3.04% 

    25

    2

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

    に公開 2024/05/23

    Lean / Proxima Technology / 教育・宗教

    2,177 回視聴 

    5.19% 

    104

    9

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

    に公開 2023/11/01

    3,815 回視聴 

    2.49% 

    80

    15