Haskell におけるモナドとアローの同値性 (WIP)
Cohen トポスについて
Kripke–Joyal 意味論 (WIP)
プロモノイダル圏
型付きラムダ計算の諸性質
Scott のモデル
ラムダ計算と述語論理
正規化定理
閉じたラムダ項に関する外延性の反例
代数学 III 授業ノート
Hesse 行列と Jacobi 行列
積分の雑多な話題
等差数列の小数部分の分布