北陸先端科学技術大学院大学 [JAIST] - 研究者総覧
現在ページ トップページ> 領域別一覧表
所属別一覧
先端科学技術研究科

14名が検索されました。 氏名をクリックすると、研究者の詳細情報が表示されます。

No. 氏名(フリガナ) 領域 職名 研究テーマのキーワード
1 石原 哉
(イシハラ ハジメ )
知能ロボティクス領域 情報科学系 教授 構成的数学,直観主義論理,逆数学,構成的集合論
2 緒方 和博
(オガタ カズヒロ )
知能ロボティクス領域 情報科学系 教授 モデル検査,書き換え,仕様記述,定理証明,検証
3 小川 瑞史
(オガワ ミズヒト )
知能ロボティクス領域 情報科学系 教授 検証、プログラム解析、定理証明、モデル検査、組み合わせ理論、書換系、形式言語.
4 丁 洛榮
(チョン ナクヨン )
知能ロボティクス領域 情報科学系 教授 知能ロボットシステム
5 東条 敏
(トウジョウ サトシ )
知能ロボティクス領域 情報科学系 教授
6 浅野 文彦
(アサノ フミヒコ )
知能ロボティクス領域 情報科学系 准教授 動的システム理論,機械力学,制御工学,受動性,脚式ロボット
7 岡田 将吾
(オカダ ショウゴ )
知能ロボティクス領域 情報科学系 准教授 社会的信号処理,マルチモーダルインタラクション,ヒューマンダイナミクス,機械学習, データマイニング
8 NGUYEN, Minh Le
(グェン ミン レ )
知能ロボティクス領域 情報科学系 准教授
9 廣川 直
(ヒロカワ ナオ )
知能ロボティクス領域 情報科学系 准教授 項書き換え・停止性・合流性・計算量解析
10 HO, Anh Van
(ホ アン ヴァン )
知能ロボティクス領域 マテリアルサイエンス系 准教授
11 横山 啓太
(ヨコヤマ ケイタ )
知能ロボティクス領域 情報科学系 講師 証明論、1階/2階算術、逆数学、超準解析
12 ELIBOL, Armagan
(エリボル アルマガン )
知能ロボティクス領域 情報科学系 助教
13 大森 仁
(オオモリ ヒトシ )
知能ロボティクス領域 情報科学系 助教
14 根元 多佳子
(ネモト タカコ )
知能ロボティクス領域 情報科学系 助教 逆数学、直観主義論理、構成的数学