静的解析の定義についてはよそでやってください