[ 京都大学 > 数理解析研究所 > 計算機科学 > 構成員, WWWFun, 計算機施設 ] [ Homepage in English ]

長谷川 真人 (はせがわ・まさひと)

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

DIPPY BIRD

講義など(平成24年度):
大学院 「プログラム理論特論」「計算と論理セミナー研究」「計算機構論セミナー研究」(修士)
「計算機構論セミナー研究」(博士) [ Seminar ] [ 大学院生 参考文献 ]
全学 「コンピュータサイエンス入門」(前期、木曜5限、リレー講義) [ 情報 ]
「現代の数学と数理解析 - 基礎概念とその諸科学への広 がり」(前期、金曜5限、リレー講義) [ 情報 ]
学会など (2009-):
2009: 36th ACM SIGPLAN-SIGACT Symp. Principles of Programming Languages (POPL'09) (Savannah, 21-23 January 2009) プログラム委員
第11回プログラミングおよびプログラミング言語ワークショップ (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月)

line

勤務先: 〒 606-8502 京都市左京区 北白川追分町 京都大学 数理解析研究所 [地図
居室:京都大学 総合研究2号館 4階 474号室 [地図
電話番号: 075-753-7243
ファックス: 075-753-7272
電子メール: hassei at kurims.kyoto-u.ac.jp