新学術領域として昨年度より開始した「計算限界解明」では、計算の限界を様々な観点から解明する新たな研究領域の構築が進められている。計算の限界の解明に挑むのか?こうした研究が情報科学技術の進展の中でどのような意義を持つのか?そして、なぜ今、新たな学問領域としての取り組みを開始したのか?などを説明する。フェロー(2013年)。扱う問題の多くは、離散構造の処理を基盤としている。離散構造処理系プロジェクト」が現在進行中である。このプロジェクトでは、理論(Science)と応用(Engineering)をつなぐ「Art」層を形成し、幅広い研究者が共通の言葉で議論する場を提供することを目指している。本講演では、離散構造処理に関する最近の理論的な研究成果について紹介し、それらの結果が現実の大規模データを扱う問題にどのように関係しているかを述べる。1990年同大学院修士、1995年同博士課程(社会人)修了。1990年度より2003年度までNTT研究所に勤務。助教授、2010年10月より同教授、現在に至る。大規模離散構造データの表現と処理アルゴリズムの研究・教育に従事。離散構造処理系プロジェクト研究総括。近いユーザーが利用する巨大構造をなしている。この様な巨大なネットワークは、ユーザーに相当する「頂点」と、各ユーザーを結ぶネットワークに該当する「辺」からなる「グラフ」を構成している。巨大グラフプロジェクト」では、このような巨大グラフを、1.数学的に解析し、2.その解析により「高速」に動作するアルゴリズム開発、を目指している。本講演では、上記プロジェクトの概要を最初に紹介する。その後、グラフの「数学的」な知識と既知のアルゴリズムを組み合わせることにより、既存よりはるかに性能が良いアルゴリズム開発が可能である例をいくつか紹介する。2009年より同教授。AI,データマイニングの研究に従事。巨大グラフプロジェクトそれぞれを代表する若手研究者10名程度によりポスターセッションを行う。