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