t_wの輪郭

ラムダ計算やさしい
『プログラミング世界に見る圏 — カリー化で繋がる。 プログラマ向け圏論入門 2 - YouTube...