ラムダ計算の定義 【ラムダ計算と証明 番外編 / 数学 解説】
11:02
カリー＝ハワード同型対応を使った証明 【ラムダ計算と証明 3 / 数学解説】
5:59
【検証】酒を飲むと計算力は上がる？下がる？
21:08
素数の螺旋
7:29
【ゆっくり解説】p進数のすゝめ
6:30
プログラミングに数学は必要です
25:26
複素数を色々な方法で可視化 | 鑑賞して楽しむ虚数の幻想世界 | VISUALIUM
26:57
The most beautiful equation in math, explained visually [Euler’s Formula]
11:59