前回が4/25で眩暈しそう。半年以上前…（2回目）文脈（あんまりこの言い方好きじゃないけど…）について、最初から記号のリストを作るのは面倒だったので、都度記号を追加する方法をとった。その時に束縛変数と自由変数で分けて行ったが、自由変数のde Bruijn…