教員紹介
専任教員
氏名[職名] | 専門分野 | 詳細情報 |
---|---|---|
海谷 治彦 [教授] |
ソフトウェア開発論 | 研究者情報 海谷のホームページ 神大の先生 神大の研究室 主要論文など |
木下 佳樹 [教授] |
プログラミング科学 算譜意味論(プログラム意味論) 算譜検証論(プログラム検証論) 妥当性確認論(theory of validation) |
研究者情報 ホームページ 神大の先生 神大の研究室 |
桑原 恒夫 [教授] |
人間情報科学 | 研究者情報 ホームページ 神大の先生 神大の研究室 |
後藤 智範 [教授] |
情報検索 知能システム |
研究者情報 ホームページ 神大の先生 神大の研究室 |
斉藤 和巳 [教授] |
知能情報学 ネットワーク科学 発見科学 |
研究者情報 神大の先生 神大の研究室 |
田中 賢 [教授] |
ネットワークセキュリティ 計算の複雑さ ニューラルネット 言語獲得 |
研究者情報 ホームページ 神大の先生 神大の研究室 |
張 善俊 [教授] |
画像情報処理 視覚情報処理 CG ニューロサイエンス |
研究者情報 ホームページ 神大の先生 神大の研究室 |
永松 礼夫 [教授] |
分散処理システム 動的最適化 システム評価 スクリプト言語 |
研究者情報 ホームページ 神大の先生 神大の研究室 |
松尾 和人 [教授] |
暗号と情報セキュリティ | 研究者情報 ホームページ 神大の先生 神大の研究室 |
武山 誠 [特任教授] |
型理論 ディペンダビリティ |
研究者情報 神大の先生 |
馬谷 誠二 [准教授] |
プログラミング言語 言語処理系 |
研究者情報 神大の研究室 |
ボサール アントワーヌ [准教授] |
グラフ理論 アルゴリズム |
研究者情報 ホームページ 神大の先生 神大の研究室 |
木元 宏次 [助手] |
コンピュータグラフィックス | 研究者情報 |
南雲 夏彦 [助手] |
ゲーム理論 最適化問題 |
研究者情報 神大の先生 |
森本 貴之 [助手] |
知能情報学 | 研究者情報 神大の先生 |