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