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