[ 京都大学 > 数理解析研究所 > 計算機科学 > 構成員, WWWFun, 計算機施設 ] [ Homepage in English ] |
京都大学数理解析研究所 教授 /
PhD(エディンバラ大学)
理論計算機科学(計算の意味論、プログラミング言語の理論、圏論的・代数的モデル)
[ 略歴 ]
[ 研究所の研究紹介ページ ]
[ 研究成果・研究関連情報 ]
講義など: | |
大学院 | 「プログラム理論特論」「計算と論理セミナー研究」「計算機構論セミナー研究」(修士) |
「計算機構論セミナー研究」(博士) [ 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) プログラム委員 |
2023: | 6th International Conference on Applied Category Theory (ACT2023) (Maryland, July 2023) プログラム委員 |
2024: | 40th International Conference on Mathematical Foundations of Programming Semantics (MFPS2024) (Oxford, June 2024) プログラム委員 |
39th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS2024) (Tallinn, July 2024) プログラム委員 | |
日本ソフトウェア科学会 会員 | |
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月) |
勤務先: 〒 606-8502 京都市左京区 北白川追分町 京都大学 数理解析研究所 [地図]