アルトコロニーの定理 radwimps