logicのスレで聞いたほうがいいかも