東工 大 数学 難問わかめ酒とはしばいぬにき