数理情報環境論コース 卒業論文発表会 [2013年度]

開催について

日時
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ファイルを生成するプログラムの検証に向けて-