HOME > ニュース > 2012 > GCOE ロジックセミナー【2012年3月13日（火）13:00-15:00】
GCOE ロジックセミナー【2012年3月13日（火）13:00-15:00】
日時 ： 2012年3月13日（火）13:00-15:00
場所 ： 慶應義塾大学三田校舎・東館4F セミナー室
(キャンパスマップ)
講演者 ：
江口 直日(東北大学大学院理学研究科）
「再帰的原理における可述性と現実的計算可能性の関係について」
この度は，東北大学大学院理学研究科の江口直日先生を招いて，可述的再帰原理に基づいた計算量の特徴付け，特に項書き換え理論 (term rewriting theory)からのアプローチに関して講演していただくことになりました．皆様，ふるってご参集下さい．
＊会費無料・事前登録は不要
是非奮ってご参集ください。
詳しくはポスターをご覧ください。→
eguchi_poster-1.pdf