研究分野別一覧(情報学基礎理論)

名前所属職名研究分野 - キーワード
ARANHA CLAUS DE CASTRO(アランニャ クラウス デ カステロ) システム情報系 助教 情報学基礎理論, 知能情報学, ソフトコンピューティング, エンタテインメント・ゲーム情報学, ソフトウェア - 最適化, 人工生命, 進化計算, 手続き型生成 , シミュレーション
海野 広志(ウンノ ヒロシ) システム情報系 准教授 ソフトウェア, 情報学基礎理論 - モデル検査, 型システム, 自動推論, 制約解消, 人工知能, プログラム検証, 形式手法, 自動定理証明, プログラム合成, プログラミング言語
遠藤 靖典(エンドウ ヤスノリ) システム情報系 教授 知能情報学, 制御・システム工学, 情報学基礎理論 - ソフトコンピューティング, ファジィ, クラスタリング, リスク解析, システムモデル, 関数解析
國廣 昇(クニヒロ ノボル) システム情報系 教授 情報学基礎理論, 情報セキュリティ - 暗号の安全性評価, 公開鍵暗号, 暗号理論, 情報セキュリティ, 量子アルゴリズム
古賀 弘樹(コガ ヒロキ) システム情報系 教授 情報学基礎理論 - 情報理論, 情報セキュリティ, データ圧縮
讃岐 勝(サヌキ マサル) 医学医療系 助教 教育工学, 数学基礎・応用数学, 情報学基礎理論 - 数値計算, 数式処理, 教育工学, 医療情報学, 数値数式融合計算(近似代数), 遠隔医療教育(e-learning+双方向遠隔教育), 医学教育
照井 章(テルイ アキラ) 数理物質系 准教授 情報学基礎理論, ソフトウェア - 数値・数式融合計算, ロボット工学, 計算機代数, 数値計算, 逆運動学, グレブナー基底, 限量記号消去, 近似最大公約子
長谷部 浩二(ハセベ コウジ) システム情報系 准教授 ソフトウェア, 情報学基礎理論 - 数理論理学, 形式手法, 分散システム, マルチエージェントシステム, ゲーム理論, 情報セキュリティ
森継 修一(モリツグ シユウイチ) 図書館情報メディア系 教授 情報学基礎理論 - 数式処理