時間帯 | 内容 |
---|---|
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 (長坂ゼミ) |
リンク
[1] http://www.h.kobe-u.ac.jp/ja/1503
[2] http://www.h.kobe-u.ac.jp/division/m-mi