時間帯 | 内容 |
---|---|
13:00-13:30 | FDR基準による多重検定の適用範囲の考察と改善 |
13:30-14:00 | 直交不変推定量を用いた線形判別分析とその誤判別確率の漸近展開 |
14:00-14:30 | 二次元Orientation Problemに対する精度保証付き数値計算による判定手法の改善 |
14:30-14:40 | 休憩 |
14:40-15:10 | Frama-Cを用いたプログラム検証 -RIBファイル生成Cプログラムの検証- |
15:10-15:40 | 定理証明支援系Coqによる多項式の基本的定理の形式証明 |
15:40-16:10 | 積分の収束定理 |
16:10-16:20 | 休憩 |
16:20-16:50 | 有限空間の位相とホモトピー |
16:00-17:20 | カントール集合の位相的性質と距離的性質 |
リンク
[1] http://www.h.kobe-u.ac.jp/ja/1503
[2] http://www.h.kobe-u.ac.jp/ja/division/b-mi