検索条件 : 理論計算機科学センター  (8 件中 1 - 8 件を表示)
8名が検索されました。氏名をクリックすると教員の詳細情報が表示されます。
No.氏名(フリガナ)学系領域職名研究キーワード
1 石原 哉
(イシハラ ハジメ)
情報科学系知能ロボティクス教授計算論, 数理論理学, 構成的数学, 直観主義論理, 逆数学, 構成的集合論
2 上原 隆平
(ウエハラ リュウヘイ)
情報科学系ゲーム・エンタテインメント教授計算量の理論とグラフアルゴリズム, Algorithm
3 緒方 和博
(オガタ カズヒロ)
情報科学系知能ロボティクス教授検証, 定理証明, 仕様記述, 書き換え, モデル検査
4 小川 瑞史
(オガワ ミズヒト)
情報科学系知能ロボティクス教授ソフトウェア検証, プログラム解析
5 東条 敏
(トウジョウ サトシ)
情報科学系知能ロボティクス教授,
理論計算機科学センター長
マルチエージェントによる協調問題解決, ソート階層と属性構造の論理, 自然言語の形式意味論
6 廣川 直
(ヒロカワ ナオ)
情報科学系知能ロボティクス准教授計算量解析, 合流性, 停止性, 項書き換え
7 横山 啓太
(ヨコヤマ ケイタ)
情報科学系知能ロボティクス講師証明論, 算術のモデル, 超準解析学, 逆数学, 2階算術
8 VIGLIETTA, Giovanni
(ヴィリエッタ ジョヴァンニ)
情報科学系ゲーム・エンタテインメント助教