ハバードモデルに関する二つの定理 | Synapse