数理情報環境論コース(数理情報環境論教育研究分野)の修士論文/博士論文(2015年度)

  • カントール集合の位相的性質と距離的性質
  • Frama-Cを用いたプログラム検証 -RIBファイル生成Cプログラムの検証-
  • 二次元Orientation Problemに対する精度保証付き数値計算による判定手法の改善
  • 有限集合の位相とホモトピー
  • FDR基準による多重検定の適用範囲の考察と改善
  • 直交不変推定量を用いた線形判別分析とその誤判別確率の漸近展開