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

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

講義など（平成２４年度）：
大学院	「プログラム理論特論」「計算と論理セミナー研究」「計算機構論セミナー研究」（修士）
	「計算機構論セミナー研究」（博士） [ Seminar ] [ 大学院生 参考文献 ]
全学	「コンピュータサイエンス入門」（前期、木曜５限、リレー講義） [ 情報 ]
	「現代の数学と数理解析 - 基礎概念とその諸科学への広 がり」（前期、金曜５限、リレー講義） [ 情報 ]
学会など (2009-)：
2009:	36th ACM SIGPLAN-SIGACT Symp. Principles of Programming Languages (POPL'09) (Savannah, 21-23 January 2009) プログラム委員
	第１１回プログラミングおよびプログラミング言語ワークショップ (PPL2009) (高山, 9-11 March 2009) 共同プログラム委員長
	6th Workshop on Fixed Points in Computer Science (FICS'09) (Coimbra, September 2009) プログラム委員
2010:	13th Int. Conf. Foundations of Software Science and Computation Structures (FoSSaCS2010) (Cyprus, March 2010) プログラム委員
	17th Workshop on Logic, Language, Information and Computation (WoLLIC2010) (Brasilia, July 2010) プログラム委員
2011:	9th Asian Symposium on Programming Languages and Systems (APLAS2011) (Kenting, December 2011) プログラム委員
2013:	11th Int. Conf. Typed Lambda Calculi and Applications (TLCA2013) (Eindhoven, June 2013) プログラム委員長
その他： Workshop on Categories, Logic and Computation（京都, '11/7/28）, 研究集会「相互作用の幾何、トレース付きモノイダル圏と非明示的計算量」（京都, '11/11/7-10）, PPL2012（白浜, '12/3/8-10）
日本ソフトウェア科学会 会員
Mathematical Structures in Computer Science 編集委員

「プログラム意味論とトポロジー - 再帰・相互作用・結び目 -」 （2010年9月） アブストラクト スライド ビデオ

講義資料 「自己言及の論理と計算」（2006年5月改訂；2007年8月追記）

研究集会論文集 「代数・論理・幾何と情報科学」 （数理解析研究所講究録1318, 2003年5月）