Department of Informatics, ISEE, Kyushu University
日本語 English
Department of Information ISEE, Kyushu University
Top >  > 基礎情報学講座
----
基礎情報学講座

基礎情報学講座

この講座では,各時代における情報科学の最重点課題について,実験・調査に基づいた基礎理論を展開しその本質を究明することが目的です.具体的には,自然言語やメディア情報等の大規模データおよび並列計算機等を対象にした基礎実験・調査に基づいた,情報論理学,情報表現論,計算量理論に重点を置き,情報科学の視点からの述語論理,非古典論理,計算可能推論,圏論,型理論,プログラム理論,各種のプログラミング・パラダイム,計算理論,計算量理論,並列計算,データ構造,確率的算法,情報防御理論等について研究し,様々な情報現象を科学的に究明していきます.

計算論理学,構成的論理,型理論,データ構造,抽象プログラム理論,計算量理論,並列アルゴリズムの理論と実装,確率的算法,情報防御理論,コンプレックスシステム,データ科学,情報検索とデータベース,自然言語理解システム等

スタッフ

教授  河原 康雄
教授  村上 和彰
教授  竹田 正幸
助教授 正代 隆義
助教授 井上 弘士
助教授 坂内 英夫
助手  馬場 謙介
助手  畑埜 晃平

元スタッフ

教授  廣川 佐千男
教授  Zeugmann, Thomas
教授  松尾 文碩
助教授 有村 博紀
助手  石野 明
助手  森 雅生