長谷川 真人 （はせがわ・まさひと）

京都大学数理解析研究所 助教授 ／ ＰｈＤ（エディンバラ大学）
理論計算機科学（計算の意味論、プログラミング言語の理論、圏論的・代数的モデル）
[ 略歴 ] [ 研究の紹介 ] [ 研究成果・研究関連情報 ]

講義など：
大学院	「計算機構論ゼミナールＡ・Ｂ」（修士）、「計算機構論ゼミナール」（博士） [ 大学院生 参考文献 ]
理学部	数学講究「計算機科学講究」（２００３年度、火／２００４年度、火）
全学共通	「数理言語学と計算可能性の理論」（２００３年度後期、木５） [ 関連情報 ]
	「現代の数学と数理解析 - 基礎概念とその諸科学への広 がり」（２００４年度前期、リレー講義、金５） [ 情報 ]
	「コンピュータと論理学」（２００４年度後期、木５）
学外	北大・集中講義「逆説の論理からプログラム意味論へ」（２００３年６月） [ 資料 ]
学会など：
- 2003 -	1st Asian Symp. Programming Languages and Systems (APLAS'03) (Beijing, 27-29 Nov 2003) プログラム委員
- 2004 -	4th ACM SIGPLAN Workshop on Continuations (CW'04) (Venice, 17 Jan 2004) プログラム委員
	15th Int. Conf. Rewriting Techniques and Applications (RTA'04) (Aachen, 3-5 June 2004) プログラム委員
	10th Int. Conf. Category Theory and Computer Science (CTCS'04) (Copenhagen, 12-14 August 2004) プログラム委員
- 2005 -	7th Int. Conf. Typed Lambda Calculi and Applications (TLCA'05) (奈良, 21-23 April 2005) 組織委員長
その他 (2004-2005)： FLOPS2004 (奈良・4/7-9)、 ALPS (京都・4/10)、 さきがけライブ2004 (東京・'05/1/28)、 「代数系、言語理論と計算論」(京都・'05/2/21-23)、 PPL2005 (群馬・'05/3/9-11)、 CSCAT2005 (つくば・'05/3/16-18)、 RDP2005(奈良・'05/4/19-23)
日本ソフトウェア科学会 会員

RDP2005（RTA+TLCA）ホームページ

代数・論理・幾何と情報科学（数理解析研究所講究録1318）

著書（Springer-Verlagより刊行）の案内