Group of
Logic, Statistics & Informatics
工学研究科情報知能学専攻
数理論理学・数理統計学・数理情報学グループ
神戸大学
[English] [Japanese]
News
-
2010年4月より，当グループの所属がシステム情報学研究科情報科学専攻になります．
システム情報学研究科の博士前期・後期課程の入学試験が2010年2月に実施されます．
詳しくはここをご覧下さい．(2010.1.7)
- 研究集会「計算による数理科学の展開 2010」が2010年1月8日〜9日に神戸大学理学部にて開催されます．
東北大学の田中一之教授の講演その他が予定されています．(2009.12.25)
研究・教育領域
- 数理論理学および哲学的論理学
- 数理論理学の応用
- 数理統計学
- ロバストおよびノンパラメトリックな手法
- グラフィカルモデリング
- 理論計算機科学
- 制約プログラミング
- 論理プログラミング
- 計算機代数
構成員
- 教員
- 番原陸則, 准教授
- Brendle, Joerg, 准教授
- 渕野昌, 教授
- 垣内逸郎, 准教授
- 菊池誠, 准教授
- 桔梗宏孝, 教授
- 酒井拓史, 助手
- 鈴木晃, 助教
- 田村直之, 教授
- 研究員
- 事務
- 博士課程院生
- 修士課程院生
- 学部学生
研究活動
- 数理論理学関係（詳細は本グループの英語版のページを御覧ください．）
- 理論計算機科学関係はこちらを御覧ください．
教育活動
- 数理論理学および数理統計学関係（CS32情報数理グループ）
- 理論計算機科学関係（CS18プログラミング言語グループ）はこちらを御覧ください．
所在地
- 〒657-8501神戸市灘区六甲台町1-1神戸大学大学院工学研究科
- 自然科学総合研究棟３号館４階東側 (地図１, 地図２),
その他
Last modified: Thu Jan 7 16:27:00 +0900 2009
