数学オリンピックの数学強者が活躍するような実質パズル数学の競技プログラミングに実用性があるわけがない