Finite Scope Check
有限スコープ仮説
Small Scope Hypothesisと関連ある話か