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