情報理学専攻 - 研究概要

情報理学は，自然界におけるデータや現象をはじめとして，人間の知性や感性の源泉である情報を，基礎科学として理論的に探求する学問である．本専攻は，このような新しい基礎科学としての情報理学を体系的に教育研究し，同時に理系の科学だけでなく，文科系や工学系の科学を含めた諸科学を情報科学的にサポートすることによって広く情報社会に寄与できる高度の専門的知識と技能を備えた研究者と技術者を養成することを目的とする．

そのために，本専攻に２つの大講座， 基礎情報学講座， 発見科学講座 を置く．基礎情報学講座は，広く情報科学における諸問題を情報現象として捉えて，理論および実験を通して深く理解し，教育研究するもので，発見科学講座は，諸科学における科学的発見を情報科学的に支援することを目標にした新しい情報科学の基礎理論の展開と教育を行うものである．

これによって，情報科学の新しい視点と方法論が開拓され，情報科学の独創的な発展の基礎を築くことが可能になる （概念図） ．

• 発見科学講座
• 基礎情報学講座
• Technical Reports

発見科学講座

この講座は,諸科学における科学的発見のプロセスを情報科学的にサポートするための基本的な手法である機械発見の基礎を究明することを目的とする. 具体的には,機械発見の基礎理論である計算論的学習理論を中心にして, 知識表現と知識獲得,空間探索,知識科学,情報量解析,モデリング,数値解析と数値合成,ウェーブレットによる画像解析,ニューラルネットワークによる画像認識等について教育し,科学における発見を計算機によって支援するための理論を展開し,その手法を開発できる能力を培う.

情報量解析，知識科学，探索理論，計算論的学習理論，帰納推論と類推理論，機械発見，数式処理，数値合成論，画像処理等

スタッフ

教授　　新島　耕一
教授　　鈴木　英之進
助教授　岡田　義広
助教授　池田　大輔
助手　　高野　茂

元スタッフ

教授　　有川　節夫
助教授　高橋　規一
助教授　篠原　歩
助手　　皆本　晃弥
助手　　坂本　比呂志

基礎情報学講座

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

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

スタッフ

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

元スタッフ

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

Technical Reports

• DOI Technical Report (1996 - )
• RIFIS Technical Report (1987 - 1996)