数理情報環境論コースの卒業研究テーマ（2017年度卒業生）
- カックロの難易度評価に向けて
- 命題線形時相論理と分岐時相論理―NuSMVとSPINによるモデル検査―
- BTモデルを用いた団体戦における最適戦略
- 野球における，グリップの持ち方が与える影響について
- ルベーブ積分について
- 万能チューリング機械と関数の計算可能性
- フーリエ解析と波動方程式の初期値境界値問題
- プロ野球のデータを用いた活躍する投手の条件の分析
- セリフによる映画の分類
- タブレットを用いた楽譜の使いやすさの探究
- ０次元距離空間に対する普遍空間について
- 算術問題の深層学習による再考
- 高等学校数学における主体的な学びとアクティブラーニング
- 情報量基準による確立モデルの同定
Source URL: http://www.h.kobe-u.ac.jp/ja/node/5210