本ウェブサイトは2012年3月末をもって閉鎖いたしました。このページに掲載している内容は閉鎖時点のものです。[2012年3月]

人間環境学科 数理情報環境論コース 卒業論文発表会 / 人間環境学専攻 数理情報環境論コース 修士論文発表会

開催について

日時
2010年2月17日 (水) 9:00～18:15
会場
神戸大学発達科学部 大会議室 (A棟2階)
主催
神戸大学大学院人間発達環境学研究科 人間環境学専攻 数理情報環境論コース
連絡先
メール: kuwamura@main.h.【続けて「kobe-u.ac.jp」を入力してください】 (桑村 雅隆 (人間環境学専攻 数理情報環境論コース))

プログラム

卒業論文発表会 (学部 第1部)

時間帯内容
9:00～9:15文脈自由文法と構文解析
9:15～9:30正規言語と字句解析器の構成
9:30～9:45ユークリッド空間内の距離グラフ
9:45～10:00大学におけるPS3の活用研究
10:00～10:15Firefoxを使った広報システムの開発 ～学内デジタルサイネージ～
10:15～10:45「教科書仲介サイト」の機能とデザインの考察
10:45～11:00(休憩)
11:00～11:15モデル検査ツール (SPIN) を用いたシステム検証について ―状態遷移ダイアグラムの解析
11:15～11:30モデル検査ツール (SPIN) を用いたシステム検証について ―リアルタイムタスクの検証
11:30～11:45モデル検査ツール (SPIN) を用いたシステム検証について ―検証対象システムの抽象化
11:45～12:00Gentzenの基本定理と自然数論の無矛盾性
12:00～12:15スクイークを用いた数学・科学教育について ―変数の活用と教材作成―

4回生は12:20に発達科学部正門で記念撮影を行ないます。

修士論文発表会 (大学院前期課程)

時間帯内容
12:45～13:15MTシステムの概要と利用上の注意点
13:15～13:45線形システム制御のためのマトリクス理論について

卒業論文発表会 (学部 第2部)

時間帯内容
14:00～14:15微分方程式モデルによる社会事象の分析 ―成長曲線のアラベスク
14:15～14:30 微分方程式モデルによる社会事象の分析 ―最小２乗法について
14:30～14:45微分方程式モデルによる社会事象の分析 ―技術革新の波紋
14:45～15:00微分方程式モデルによる社会事象の分析 ―戦闘のモデル ～トラファルガルの海戦～
15:00～15:15実数の極限概念のネットを用いた記述
15:15～15:45ルベーグ積分の初歩
15:45～16:00(休憩)
16:00～16:15リッジ回帰の必要性
16:15～16:30縮小推定量の優位性
16:30～16:45大学進学率とその要因について
16:45～17:00保険数理における信頼性理論
17:00～17:15損害保険数理における破産確率の正確性
17:15～17:30サッカーワールドカップのPK戦に関する研究
17:30～17:45居酒屋におけるドリンク売上高の要因分析
17:45～18:00スポーツ施設における売り上げの変化について
18:00～18:15プロ野球データ解析

Updated: 2010/02/10 (Wed) 22:18