数理情報環境論コース 修士論文発表会 [2012年度]

開催について

日時
2013年2月14日 (木) 10:10 - 17:20
会場
神戸大学発達科学部 B212 (B棟2階)
主催
神戸大学大学院人間発達環境学研究科 人間環境学専攻 数理情報環境論コース

プログラム

時間帯 内容
10:10 - 10:50 常微分方程式の分岐理論とその応用 (桑村ゼミ)
10:50 - 11:30 Finite-to-one mapping theorem for Assouad-Nagata dimension (宮田ゼミ)
11:30 - 11:40 休憩
11:40 - 12:20 多重比較法におけるサンプルサイズが異なる場合の修正Williams法について (稲葉ゼミ)
12:20 - 13:00 多重比較における多重帰無仮説に関する誘導関係を考慮した自然なアルゴリズムの構築 (稲葉ゼミ)
13:00 - 13:40 昼休憩
13:40 - 14:20 カルマンフィルタと平滑化における初期化問題 (阪本ゼミ)
14:20 - 14:30 休憩
14:30 - 15:10 数学的主張の証明不可能性の証明 (高橋譲嗣ゼミ)
15:10 - 15:50 有向集合上のマルチンゲール (高橋譲嗣ゼミ)
15:50 - 16:00 休憩
16:00 - 16:40 ビジュアルプログラミング環境を用いたシステム検証の教育について (高橋真ゼミ)
16:40 - 17:20 Performance analysis of approximate GCD algorithms for univariate polynomials (長坂ゼミ)