人間環境学専攻数理情報環境論コース修士論文発表会 [2015年度]

開催について

時間帯	内容
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	カントール集合の位相的性質と距離的性質