数理情報環境論コースの卒業研究テーマ(2019年度卒業生)

  • 完備距離空間とBaire空間
  • 定数係数線形常微分方程式について
  • Sudokube -多様性と数学的構造の探求-
  • フーリエ解析
  • 留数定理について
  • 定理証明支援系Coqを用いた命題論理の完全性定理の証明について
  • SymPyによる計算機代数アルゴリズムの研究
  • 大学野球における最適打順と状況別最良作戦
  • 判別分析とニューラルネットワークによるクラス分類の比較評価
  • 日本版スコアリングテーブルの構築
  • 保険数理における信頼性理論の有効性について
  • 生存時間解析における打ち切りデータの影響について
  • 深層強化学習を用いたマンカーラにおける最善手の考察
  • 微分方程式の解の一意存在性について
  • レーティングの最適化及び将棋に関する統計的分析
  • 状態遷移システムに対するシステム検証
  • 距離空間の完備化とBaireカテゴリー定理