19/03/??

Haskell におけるモナドとアローの同値性 (WIP)

17/10/26

Cohen トポスについて

17/12/24

Kripke–Joyal 意味論 (WIP)

19/06/25

プロモノイダル圏

16/09/21

型付きラムダ計算の諸性質

17/03/03

Scott のモデル

17/03/17

ラムダ計算と述語論理

17/02/10

正規化定理

17/02/21

閉じたラムダ項に関する外延性の反例

17/01/10

代数学 III 授業ノート

14/08/05

Hesse 行列と Jacobi 行列

14/03/22

積分の雑多な話題