本業は営業マンとか、会計士とか、数学教師とか、そういう世界大会だっけ