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

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

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

DIPPY BIRD

講義など(平成24年度):
大学院 「プログラム理論特論」「計算と論理セミナー研究」「計算機構論セミナー研究」(修士)
「計算機構論セミナー研究」(博士) [ Seminar ] [ 大学院生 参考文献 ]
全学 「コンピュータサイエンス入門」(前期、木曜5限、リレー講義) [ 情報 ]
「現代の数学と数理解析 - 基礎概念とその諸科学への広 がり」(前期、金曜5限、リレー講義) [ 情報 ]
学会など (2013-):
2013: 11th Int. Conf. Typed Lambda Calculi and Applications (TLCA2013) (Eindhoven, June 2013) プログラム委員長
2014: Joint 25th Int. Conf. Rewriting Techniques and Applications and 12th Typed Lambda Calculi and Applications (RTA-TLCA2014) (Vienna, July 2014) プログラム委員
2015: 30th ACM/IEEE Symp. Logic in Computer Science (LICS2015) (Kyoto, July 2015) 組織委員長
2016: 1st Int. Conf. Formal Structures for Computation and Deduction (FSCD2016) (Porto, June 2016) プログラム委員
4th Int. Workshop on Linearity (Linearity2016) (Porto, June 2016) プログラム委員
2018: 3rd Int. Conf. Formal Structures for Computation and Deduction (FSCD2018) (Oxford, July 2018) プログラム委員
Joint Workshop on Linarity and TLLA (Oxford, July 2018) プログラム委員
2019: 10th Int. Workshop on Higher-Order Rewriting (HOR2019) (Dortmund, June 2019) プログラム委員
2020: 28th Annual Conf. Computer Science Logic (CSL2020) (Barcelona, January 2020) プログラム委員
5th Int. Conf. Formal Structures for Computation and Deduction (FSCD2020) (Paris, June 2020) プログラム委員
日本ソフトウェア科学会 会員
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