本ウェブサイトは2022年3月末をもって閉鎖いたしました。このページに掲載している内容は閉鎖時点のものです（2022年3月）。
人間環境学専攻 数理情報環境論コース 修士論文発表会 [2015年度]
開催について
- 日時
- 2016年2月10日（水） 13:00～17:20
- 会場
- 神戸大学発達科学部 A739（A棟7階）
- 主催
- 神戸大学発達科学部 人間環境学科 数理情報環境論コース
プログラム
| 時間帯 |
内容 |
| 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 |
カントール集合の位相的性質と距離的性質 |
