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

  • 直交不変推定量を用いた線形判別関数の斬近展開
  • 偏微分方程式の数値的解法について
  • 2つのパラメーターをもつ常微分方程式の解の分析について
  • 対話型証明系とゼロ知識証明 -NPに属する問題のゼロ知識証明について