開催について
- 日時
- 2015年2月13日(金) 14:00~16:00
- 会場
- 神戸大学発達科学部 B212(B棟2階)
- 主催
- 神戸大学大学院人間発達環境学研究科 人間環境学専攻 数理情報環境論コース
プログラム
時間帯 | 内容 |
---|---|
14:00 14:30 | 2つのパラメータをもつ常微分方程式の解の分岐について |
14:30 15:00 | 偏微分方程式の数値解 |
15:10 15:40 | 対話型証明系とゼロ知識証明 -NPに属する問題のゼロ知識証明について |
15:40 16:10 | 直交不変推定量を用いた線形判別関数の漸近展開 |