統計数理研究所共同研究リポート420「最適化：モデリングとアルゴリズム31」