Yamato "しっかり学ぶ数理最適化　モデ..." 2025年5月30日