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

  • 2人同時手番情報不完備展開形ゲームにおける解の考察
  • Complete metric spaces and the Urysohn metrization theorem
  • サッカーの攻撃手法に関する統計的分析
  • Completeness of metric spaces and topologies of function spaces
  • 統計学による野球の戦術の分析
  • ブートストラップ信頼区間の精度検証
  • バスケットボールの試合運びの特徴分析
  • 状態遷移システムに対するモデル検査について-CTLのモデル検査器の実装-
  • 複素ベキ級数について
  • ホーア論理を用いた完全政党制証明-Frame-CとCoqによるC言語プログラムの検証-
  • 広報システムの改善案-高い情報伝達率の実現-
  • Fundamental properties of function spaces and Ascoli's Theorem
  • 授業における“分かりやすさ”の統計的分析