前回: andとorと中置演算子 - kururu_goedel’s diary キャスト 自分で書いてないとわかりにくいけど、BoundedFormula α nのn、すなわち未束縛変数の数がなかなか面倒である。面倒なだけではなく本質的でない。しかも、下記のような問題が起きうる。 項を受け…