Cohen トポスについて Construction of canonical topologies 型付きラムダ計算の諸性質 Scott のモデル ラムダ計算と述語論理 正規化定理 閉じたラムダ項に関する外延性の反例 代数学 III 授業ノート Hesse 行列と Jacobi 行列 積分の雑多な話題 等差数列の小数部分の分布