コンピュータサイエンス研究会

研究会名：コンピュータサイエンス研究会
開催日：平成20年10月21日（火）15:00～17:00
テーマ：再帰プログラムの幾何、相互作用の幾何
講師：長谷川真人（京都大学数理解析研究所教授）
開催場所：東北大学　電気情報系3号館 201号室

コンピュータサイエンス研究会講演会の御案内

コンピュータサイエンス研究会
主査　小林直樹

下記のようにコンピュータサイエンス研究会の講演会を開催いたしますので，ご案内申し上げます．

日時：2008年10月21日（火）15:00～17:00
場所：東北大学電気情報系3号館 201号室
題目：再帰プログラムの幾何、相互作用の幾何
話者：長谷川真人（京都大学数理解析研究所教授）
概要：再帰プログラムがあらわす自己言及的な計算や、双方向の情報のやり取りを伴う相互作用的な計算は、計算機科学における古くからの重要な研究対象です。この講演では、それらに共通する構造を、結び目の不変量の理論などにも登場する圏論の枠組みを用いて捉えるという話題について、背景と最近の進展を中心に紹介します。