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

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

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

DIPPY BIRD

講義など:
大学院 「プログラム理論特論」「計算と論理セミナー研究」「計算機構論セミナー研究」(修士)
「計算機構論セミナー研究」(博士) [ Seminar ]
全学 「コンピュータサイエンス基礎」(前期、木曜5限、リレー講義) [ 情報 ]
学会など (2020-):
2020: 28th Annual Conf. Computer Science Logic (CSL2020) (Barcelona, January 2020) プログラム委員
5th Int. Conf. Formal Structures for Computation and Deduction (FSCD2020) (Paris (online), June 2020) プログラム委員
2021: 29th Annual Conf. Computer Science Logic (CSL2021) (Ljubljana (online), January 2021) プログラム委員
2022: 38th Int. Conf. Mathematical Foundations of Programming Semantics (MFPS XXXVIII) (Ithaca, NY), July 2022) プログラム委員
日本ソフトウェア科学会 会員
Mathematical Structures in Computer Science 編集委員

A Workshop in Honour of John Power on the occasion of his 60th Birthday (2019年12月) 情報 Festschrift I Festschrift II
「プログラム意味論とトポロジー - 再帰・相互作用・結び目 -」 (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