研究紹介

大規模知識処理研究室

研究テーマ

超高速アルゴリズム技術と人工知能・知識処理への応用

アルゴリズムとは,計算機のプログラムに書かれた計算手順・戦略のことです.様々な計算を行うときに,アルゴリズムを工夫するだけで計算時間を何十倍,何百倍も短縮できる場合があります.多くのプログラムでは,集合・論理・証明・グラフ・順列・組合せ・確率などの基本的な数学構造を扱いますが,これらを総称して「離散構造」と呼んでいます.離散構造に関するアルゴリズム技術は応用範囲が広く,波及効果が大きな重要な基盤技術となっています.具体的にはハードウェア・ソフトウェアの設計,大規模システム故障解析,制約充足問題,データマイニングと知識発見,機械学習と自動分類,バイオインフォマティクス,ウェブ情報解析など,現代の情報化社会を支える様々な分野で必要とされている技術です.

ZDD

Knuth1   Knuth2

本専攻の湊教授が考案・命名した,ZDD (zero-suppressed binary decision diagram; ゼロサプレス型二分決定グラフ)と呼ばれるアルゴリズム技術は,大規模な離散構造データを,意味を変えずに小さく圧縮して索引化し,高速に演算処理する技法として広く使われています.ZDDを用いた技法は,アルゴリズムのバイブルと呼ばれる世界的教科書「The Art of Computer Programming Vol. 4-1」(D. E. Knuth著)の中で,日本人の研究成果として初めて,独立項目として数十ページにわたって詳しく掲載され,情報科学分野の研究者の注目を集めました.

Mirai1

Mirai2       image10

ZDDに関する研究成果は,日本科学未来館の展示「フカシギの数え方」 (2012年8月~2013年4月)でも取り上げられ,組合せ爆発のすごさとアルゴリズム技術の重要性を,青少年や一般市民に分かりやすく解説しています.その展示作品の1つとして湊教授が監修したアニメ動画は,YouTubeで180万ビューを超える大ヒットとなっています.高校や大学の授業などで使われることも多く,現在でも再生回数は増え続けています.

Network          Map

離散構造を処理する超高速アルゴリズムに関する研究グループでは,最先端のアルゴリズムの理論をベースとして,機械学習,人工知能,データマイニング,統計科学,システム最適化,情報セキュリティなどの最新技術を活用し電力・通信・交通・商取引・防災などの社会基盤システムの解析・設計や,材料/生命科学のビッグデータ解析など,実社会の幅広い課題に貢献することを目指しています.

教員紹介

湊 真一
湊 真一 ミナト シンイチ
役職
教授
専門分野
二分決定グラフ(BDD), 論理関数, 論理回路,ゼロサプレス型BDD(ZDD), 組合せ集合, 離散構造処理系, 知識発見とデータマイニング, 列挙アルゴリズム,簡潔データ構造,グラフ理論,確率推論と知識表現
趣味
オーケストラ/室内楽(バイオリン演奏)、スポーツ(各種球技)、電子工作

独創的で役に立つアイデアを世の中に提案できる人になってもらいたいと思います。そのためには、既存技術の不十分な点や、自分ならもっとこうすれば良くなる、ということを常に考えながら学んでいって欲しいと思います。

瀧川 一学
瀧川 一学 タキガワ イチガク
役職
准教授
専門分野
機械学習とその応用, 離散構造(特にグラフ・ ネットワーク・木)を伴う機械学習, 部分構造パターンの 列挙・探索, 生命科学・材料科学データからの知識発見技術, 分子生物学・創薬化学・触媒科学のデータ解析, バイオインフォマティクス
趣味
建築探訪、音楽、青空駐車場の雪かき、存在論的ないし認識論的思索

情報科学の研究対象は実世界との接点にありますが、実問題は 複雑で多因子的で気分屋で曖昧です。それをどう切り取れば 実世界を開く技術になるのか、あるやり方はどうしてうまくいくのか、新しい冴えたやり方はないのか、何がどこまで保証できるのか。こうした疑問について培った知識と技術を使って考えること自体が実は相当楽しいんです。これに気付いちゃった人は、考えるための道具箱を日々充実させて、解けない問いを良く生きることを楽しみましょう。
どうやら本当に大事なことには一つの綺麗な答えはそもそも無いようなので。