開催について
- 日時
- 2012年2月15日 （水） 13:10～17:50
- 会場
- 神戸大学発達科学部 B212 （B棟2階）
- 主催
- 神戸大学大学院人間発達環境学研究科 人間環境学専攻 数理情報環境論コース
プログラム
| 時間帯 | 内容 |
|---|---|
| 13:10～13:50 | 定常時系列における逐次的アルゴリズム |
| 13:50～14:30 | 共分散構造分析における推定問題とその応用 |
| 14:30～15:00 | ＊＊＊写真撮影＊＊＊ |
| 15:00～15:40 | 水素分子の量子力学的構造について |
| 15:40～16:20 | Radon-Nikodymの定理について |
| 16:30～17:10 | 時相論理モデル検査と状態遷移表モデル検査ツールの実装について |
| 17:10～17:50 | 曲線と曲面 |