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

  • ピタゴラスの定理,証明法の分類
  • 自然数論とゲーデルの不完全性定理について
  • 平面幾何の公理的展開
  • 倒産企業の統計的分析
  • 数理モデルを用いた保険料の算定
  • 形式的仕様記述とその検証-RIBファイルを生成するプログラムの検証に向けて-
  • 微分方程式の解の存在定理について
  • 定理証明支援系Cogについて
  • 微分方程式の解の存在定理について
  • 微分方程式の解の存在定理について
  • Pocket Cubeの解法と手数
  • 2D Orientation Problemに対する数値計算による判定手法の考察
  • Homology of surfaces
  • Cellular complexes and homology
  • ゴルフ場の来場者データの解析~営業戦略のためのヒント~
  • 遺伝的アルゴリズムを用いたマルチエージェントシステムの構築
  • 広報システムの改善
  • The Van Kampen Theorem
  • 学力の地域間格差に関する統計的分析と考察