パシステント構造 領域を分割した構造。今自分がどの領域にいるかという問題（点位置決定問題）がお手軽に解ける。 何度も同様な質問が繰り返されるときに最適っぽい。 分割格子点がn個くらいあるとすると、すべての分割格子点で縦に分割した“スラブ”を2分探…

5.1 自然演繹による証明 を証明する。 こういうときは、勝手に選んだ値y=aを決める。 が成り立つことを示せば、任意のaについて、 を証明できる。この証明を木構造で表すと（めんどい） 証明木と推論規則 証明木を定義する Asmp(Π)：証明木Πの上の仮定 Concl…