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

©2026 BitStar Inc. All Rights Reserved.

BitStar ID: 282635
最終更新日: 2026/06/15
thumbnail

梅崎直也

 チャンネル登録者数

先週比:-

2,520人

マイリストに追加 一言コメント生成
投稿数: 173
総視聴回数:166,406
平均視聴回数:962
  • 新学期なので雑談と講座の宣伝

    に公開 2025/04/07

    148 回視聴 

    6.08% 

    9

    0

  • 【LEAN実況】Koizumiさんによるエルデシュの問題解決論文を形式化する2

    に公開 2025/01/31

    218 回視聴 

    1.83% 

    4

    0

  • 【LEAN実況】Koizumiさんによるエルデシュの問題解決論文を形式化する

    に公開 2025/01/29

    377 回視聴 

    2.12% 

    8

    0

  • 雑談（複素解析を学ぼう#1）

    に公開 2024/09/06

    208 回視聴 

    1.92% 

    4

    0

  • 雑談（数理統計を学ぼう#1）

    に公開 2024/09/02

    314 回視聴 

    3.82% 

    12

    0

  • 雑談（線形代数を学ぼう#2）

    に公開 2024/08/29

    147 回視聴 

    4.08% 

    6

    0

  • 雑談（線形代数を学ぼう#1）

    に公開 2024/08/23

    249 回視聴 

    3.61% 

    9

    0

  • 雑談

    に公開 2024/08/13

    57 回視聴 

    3.51% 

    2

    0

  • LeanでGalois理論4:同値関係と商

    に公開 2024/07/21

    114 回視聴 

    2.63% 

    3

    0

  • 雑談

    に公開 2024/07/15

    56 回視聴 

    1.79% 

    1

    0

  • LeanでGalois理論3:群の作用と同値関係

    に公開 2024/07/13

    82 回視聴 

    0.0% 

    0

    0

  • LeanでGalois理論2:群を形式化しよう

    に公開 2024/07/07

    124 回視聴 

    2.42% 

    3

    0

  • LeanでGalois理論

    に公開 2024/06/30

    393 回視聴 

    4.58% 

    18

    0

  • Leanを学ぼう

    に公開 2024/06/14

    228 回視聴 

    1.75% 

    4

    0

  • 数学雑談

    に公開 2024/06/05

    130 回視聴 

    2.31% 

    3

    0

  • ミルズの定数が無理数であることの証明を形式化した

    に公開 2024/06/01

    414 回視聴 

    2.9% 

    10

    2

  • ミルズの定数が無理数であることの証明を形式化する

    に公開 2024/05/06

    363 回視聴 

    3.03% 

    11

    0

  • 微分積分に関する何か雑談

    に公開 2024/04/01

    264 回視聴 

    1.14% 

    3

    0

  • 来週から微分積分の演習講座をやります

    に公開 2024/03/31

    317 回視聴 

    2.52% 

    8

    0

  • 雑談

    に公開 2024/02/22

    160 回視聴 

    3.75% 

    6

    0