神奈川大学 · その他 · 情報学
情報学部
Faculty of Informatics
教員
教員一覧
公式サイトで公開されている教授・准教授・講師などをできる限り掲載します。KAKEN / CiNii の記録がある場合は、抽出したキーワードや研究課題も表示します。募集状況と留学生の受入れは、最新の募集要項と教員本人に確認してください。
ボサール アントワーヌ
Bossard Antoine
教授
interconnection networksrouting problemsgraph theoryinformation representationtorus network上原 由衣
Yui Uehara
助教
音楽情報処理自然言語処理情報学・計算機科学仁木 哲
Satoru Niki
直観主義論理数理論理学非古典論理証明論今井 崇雅
TAKAMASA IMAI
教授
ネットワーク工学通信工学光ファイバ通信WDM伝送海底光ケーブルシステム佐々木 太良
SASAKI TAROH
助手
情報通信理論とその応用講演Javaによるwebアプリケーション開発の基礎VariableError内田 智史
UCHIDA SATOSHI
准教授
programming environmentsmicroprocessor controllerstraveling salesman problemneural networkslogistics analysis千代原 善俊
Shanjun Zhang
教授
コンピュータービジョン知能情報学VR/MR/AR医用画像処理コンピュータビジョン南雲 夏彦
Natsuhiko Nagumo
助手
情報学・計算機科学吉田 稔
Yoshida Minoru
教授
数理物理学関数解析確率論確率解析Measure奥野 祥二
Shoji Okuno
助教
Technology of Radiation Detector小島 瑞輝
Mizuki Kojima
特任助教
情報学・計算機科学非整数階微分藤田方程式非線形偏微分方程式山口 高平
Yamaguchi Takahira
教授
知識マネジメント、知識継承知識マネジメント知能ロボット知能ソフトウェア工学産業別AIシステム山崎 教昭
Noriaki YAMAZAKI
教授
自由境界問題free boundary problemsquasi-variational inequalities非线性发展方程相场模型山田 誠二
Seiji YAMADA
教授
human-AI collaborationexplainable AItrust in AIrobot behaviorautonomous driving張 洋
Yang Zhang
助手
artificial bee colony algorithmparticle swarm optimizationtheme park optimizationvehicle routing with time windowswhale optimization後藤 智範
Tomonori Gotoh
教授
自然言語解析知識習得・学習テキストマイニング成松 明廣
Akihiro Narimatsu
確率過程量子ウォークランダムウォーク斉藤 和巳
Saito Kazumi
教授
ネットワーク科学グラフ理論不確実なグラフ中心性指標モチーフ頻度新屋 良磨
Ryoma Sin'ya
准教授
木下 佳樹
Yoshiki Kinoshita
教授
プログラミング科学プログラム意味論(算譜意味論)代数形式情報学木元 宏次
Hirotsugu Kimoto
助手
コンピュータグラフィックス李 嘉誠
Li Jiacheng
助教
Multi-model Transport組合せ最適化進化計算離散アルゴリズム計算量理論松尾 和人
Kazuto Matsuo
教授
暗号理論情報セキュリティ数論アルゴリズム桑原 恒夫
KUWABARA TSUNEO
教授
オブジェクト指向WebUMLrecognitionObject-Orientation森本 貴之
Takayuki Morimoto
助手
Intelligent Informatics知能情報学森田 光
MORITA HIKARU
教授
暗号情報セキュリティ武山 誠
Makoto Takeyama
情報学部 非常勤講師
永松 礼夫
NAGAMATSU LEO
教授
runtime software reorganizationself-reproducing programscomputer science educationlogic circuit learningcampus networks河野 友亮
Tomoaki Kawano
助教
quantum logicorthologicsequent calculusstrict implicationKripke semantics海谷 治彦
Haruhiko Kaiya
教授
specification description要求分析Requirements analysis仕様記述セキュリティパターン田中 賢
Tanaka Ken
教授
パケット分類Computer ScienceLanguage AcquisitionPacket Filteringコンピュータサイエンス秋吉 政徳
Masanori Akiyoshi
教授
感性情報エージェント機械学習メタバース能登 正人
Masato Noto
教授
エージェント無線センサネットワーク進化計算アドホックネットワーク最適化手法藤岡 淳
Fujioka Atsushi
教授
cryptographic theorycomplexity theory認証鍵交換計算の複雑さ理論暗号理論西澤 弘毅
Nishizawa Koki
教授
代数構造システム検証verification of systemLogicalgebra structure鈴木 友之
SUZUKI TOMOYUKI
准教授
偏微分方程式馬谷 誠二
Seiji Umatani
准教授
work-stealing schedulerstask-parallel languagesMPI parallel runtimeJava bytecode manipulationClojure tooling
次にできること
さらに探す
大学ページに戻って他の学部・研究科を見たり、別の切り口で探したりしてみましょう — 研究分野から検索したり、修士出願のルートから次のステップを確認できます。
