15:37

モナド 【 圏論とモナド #3 / 数学 解説 】

9:31

型付きラムダ計算とは？ 【ラムダ計算と証明 2 / 数学 解説】

16:00

意外と難しくない！Pythonのlambda式を中学生でもわかるように解説！

6:55

「LAMBDA関数」

53:07

「型推論」特別講義 第１回 (プログラミング言語の基礎理論シリーズ）

25:26

【一度は見ておきたい！】複素数を色々な方法で可視化 / 鑑賞して楽しむ虚数の幻想世界

41:28

型なしラムダ計算（前半）

37:30

【宇宙を支配する６つの数】膨張宇宙（宇宙の密度）