ZDDをboolの配列で評価するの?orz