開催について
- 日時
- 2014年2月13日 （木） 8:50 - 16:30
- 会場
- 神戸大学発達科学部 F256 （F棟2階）
- 主催
- 神戸大学発達科学部 人間環境学科 数理情報環境論コース
| 時間帯 | 内容 |
|---|---|
| 8:50 - 9:50 （桑村ゼミ） | 常微分方程式の初期値問題の解の存在と一意性について |
| 10:00 - 11:00 （宮田ゼミ） | Homology of surfaces Cellular Homology について The Van Kampen Theorem |
| 11:10 - 12:10 （長坂ゼミ） | 2D Orientation Problem に対する数値計算による判定手法の考察 広報システムの改善 Pocket Cubeの解法と手数 |
| 13:00 - 14:00 （高橋譲嗣ゼミ，稲葉ゼミ） | ピタゴラスの定理，証明法の分類 （高橋譲嗣ゼミ） 平面幾何の公理的展開 （高橋譲嗣ゼミ） 倒産企業と非倒産企業の統計的分析 （稲葉ゼミ） |
| 14:10 - 15:10 （阪本ゼミ） | 学力の地域間格差に関する統計的分析と考察 数理モデルを用いた保険料の算定 ゴルフ場の来場者データの解析～営業戦略のためのヒント～ |
| 15:30 - 16:30 （高橋真ゼミ） | 自動定理支援 Coq について 遺伝的アルゴリズムを用いたマルチエージェントシステムの構築 形式的仕様記述とその検証－RIBファイルを生成するプログラムの検証に向けて－ |