ラムダ計算
高階の依存型付き多相ラムダ計算.