領域展開と術式展開なんか混ざる;;