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

  • Firefox を使った広報システムの開発~学内デジタルサイネージ~
  • 「 教科書仲介サイト」の機能とデザインの考察
  • モデル検査ツール (SPIN) を用いたシステム検証について―状態遷移ダイアグラムの解析
  • モデル検査ツール (SPIN) を用いたシステム検証について―リアルタイムタスクの検証
  • モデル検査ツール (SPIN) を用いたシステム検証について―検証対象システムの抽象化
  • Gentzen の基本定理と自然数論の無矛盾性
  • スクイークを用いた数学・科学教育について―変数の活用と教材作成―
  • 微分方程式モデルによる社会事象の分析―成長曲線のアラベスク
  • 微分方程式モデルによる社会事象の分析 ―最小2乗法について
  • 微分方程式モデルによる社会事象の分析 ―技術革新の波紋
  • 微分方程式モデルによる社会事象の分析―戦闘のモデル ~トラファルガルの海戦~
  • 実数の極限概念のネットを用いた記述
  • ルベーグ積分の初歩
  • リッジ回帰の必要性
  • 縮小推定量の優位性
  • 大学進学率とその要因について
  • 保険数理における信頼性理論
  • 損害保険数理における破産確率の正確性
  • サッカーワールドカップのPK 戦に関する研究
  • 居酒屋におけるドリンク売上高の要因分析
  • スポーツ施設における売り上げの変化について
  • プロ野球データ解析
  • 文脈自由文法と構文解析
  • 正規言語と字句解析器の構成
  • ユークリッド空間内の距離グラフ
  • 大学におけるPS3 の活用研究