『2 ラムダ記法と (型のない) ラムダ計算』2023/9/27 23:46:00 http://www.cs.tsukuba.ac.jp/~kam/lecture/complogic2015/2.pdf