わからんなぁ
動的にしか決まらない値を静的に判定が可能という仮定に対する矛盾ってこと？