学部3年生の必修科目である 主専攻実験 のリポジトリ． テーマとして 数理最適化：基礎と応用 を選択し，実験をおこなった．
この課題では，パズル問題を1つ選択し，その定式化およびソルバーを用いた解の導出を行う．ここでは，ボンバーパズル（≒ マインスイーパ ）を選択した．
この課題では，0-1最適化ソルバーの実装，及び計算機実験を行った．実装にあたっては分枝限定法を用いた．
この課題では数理最適化に関するトピックを調べ、理論の詳細、計算機実験などをを行った。トピックとしてページランクを取り上げ、実験を行った。