個体変項 (Individual Variable)

個体変項は、議論領域の要素を表す変数である。xのような記号がどの対象を指すかは、量化子や付値、変数の束縛によって決まる。

仕組みと確認

自由変項と束縛変項を区別し、量化子のスコープを構文木で確認する。クエリやテンプレートでも、識別子のスコープと値のバインディングを明示する。

限界と注意点

同じ名前の変数でもスコープが異なれば別物である。名前の変更では捕獲が起きないことを確認し、文字列置換だけで変換しない。