ダウンロード

ラムダ項の β 正規形を結合子を用いて求め る方法