長谷川 真人

最終更新日時: 2021/05/13 16:23:49

印刷する

氏名(漢字/フリガナ/アルファベット表記)
長谷川 真人/ハセガワ マサヒト/Hasegawa, Masahito
所属部署・職名(部局/所属/講座等/職名)
数理解析研究所/応用数理研究部門/教授
協力講座
部局 所属 講座等 職名
理学研究科 数学・数理解析専攻 応用数理講座 教授
連絡先住所
種別 住所(日本語) 住所(英語)
職場 〒606-8502京都府京都市左京区北白川追分町 Kyoto 606-8502 Japan
連絡先電話番号
種別 番号
職場 075-753-7243
電子メールアドレス
メールアドレス
hassei @ kurims.kyoto-u.ac.jp
所属学会(国内)
学会名(日本語) 学会名(英語)
日本ソフトウェア科学会 Japan Society for Software Science and Technology
所属学会(海外)
学会名(英語) 国名
ACM Special Interest Group on Logic and Computation
取得学位
学位名(日本語) 学位名(英語) 大学(日本語) 大学(英語) 取得区分
修士(理学) MSc 京都大学 Kyoto University
理工学部博士 PhD エディンバラ大学 University of Edinburgh
出身大学院・研究科等
大学名(日本語) 大学名(英語) 研究科名(日本語) 研究科名(英語) 専攻名(日本語) 専攻名(英語) 修了区分
京都大学 Kyoto University 大学院理学研究科修士課程数理解析専攻 Graduate School of Science Mathematical Science 修了
英国エデインバラ大学 University of Edinburgh 計算機科学科博士課程 Faculty of Science and Engineering Computer Science 修了
出身学校・専攻等
大学名(日本語) 大学名(英語) 学部名(日本語) 学部名(英語) 学科名(日本語) 学科名(英語) 卒業区分
京都大学 Kyoto University 理学部 Faculty of Science 卒業
職歴
期間 組織名(日本語) 組織名(英語) 職名(日本語) 職名(英語)
1997〜1999 1997-1999 京都大学数理解析研究所 助手 RIMS, Kyoto University 助手 Research Associate
1999〜2002 1999-2002 京都大学数理解析研究所 講師 RIMS, Kyoto University 講師 Lecturer
2002〜2007 2002-2007 京都大学数理解析研究所 助教授 RIMS, Kyoto University 助教授 Associate Professor
2002〜2006 2002-2006 科学技術振興機構 研究者(兼任) Japan Science and Technology Agency 研究者 Researcher
2007〜 2007- 京都大学数理解析研究所 教授 RIMS, Kyoto University 教授 Professor
使用言語
言語名(japanese) 言語名(english) コード
英語 English eng
個人ホームページ
URL
http://www.kurims.kyoto-u.ac.jp/~hassei/
researchmap URL
https://researchmap.jp/hassei
研究テーマ
(日本語)
理論計算機科学
(英語)
Theoretical Computer Science
研究概要
(日本語)
プログラミング言語および関連する計算システム等の数学モデル(意味論)の研究を行っている。特に、代数的・圏論的な手法と,証明論・型理論的な枠組みを用いた分析とその応用に取り組んでいる。
(英語)
I have been working on semantic models of computation, with particular emphasis on the analysis of programming languages. My research topics include lambda calculi, type theory, functional programming, operational semantics, denotational semantics, and category theory.
研究分野(キーワード)
キーワード(日本語) キーワード(英語)
理論計算機科学, プログラミング言語の意味論 Theoretical Computer Science, Semantics of Programming Languages
論文
著者 著者(日本語) 著者(英語) タイトル タイトル(日本語) タイトル(英語) 書誌情報等 書誌情報等(日本語) 書誌情報等(英語) 出版年月 査読の有無 記述言語 掲載種別 公開
Masahito Hasegawa Masahito Hasegawa Masahito Hasegawa From Linear Logic to Cyclic Sharing From Linear Logic to Cyclic Sharing From Linear Logic to Cyclic Sharing Electronic Proceedings in Theoretical Computer Science, 292, 31-42 Electronic Proceedings in Theoretical Computer Science, 292, 31-42 Electronic Proceedings in Theoretical Computer Science, 292, 31-42 2019/04/15 英語 研究論文(国際会議プロシーディングス) 公開
Masahito Hasegawa, Jean-Simon P. Lemay Masahito Hasegawa, Jean-Simon P. Lemay Masahito Hasegawa, Jean-Simon P. Lemay Linear distributivity with negation, star-autonomy, and Hopf monads Linear distributivity with negation, star-autonomy, and Hopf monads Linear distributivity with negation, star-autonomy, and Hopf monads Theory and Applications of Categories, 33, 37, 1145-1157 Theory and Applications of Categories, 33, 37, 1145-1157 Theory and Applications of Categories, 33, 37, 1145-1157 2018/11 英語 研究論文(学術雑誌) 公開
長谷川 真人 長谷川 真人 Masahito Hasegawa Linear Exponential Comonads without Symmetry Linear Exponential Comonads without Symmetry Linear Exponential Comonads without Symmetry Electronic Proceedings in Theoretical Computer Science, 238, 54-63 Electronic Proceedings in Theoretical Computer Science, 238, 54-63 Electronic Proceedings in Theoretical Computer Science, 238, 54-63 2016 英語 研究論文(国際会議プロシーディングス) 公開
Tamas Hajgato, Masahito Hasegawa Tamas Hajgato, Masahito Hasegawa Tamas Hajgato, Masahito Hasegawa TRACED *-AUTONOMOUS CATEGORIES ARE COMPACT CLOSED TRACED *-AUTONOMOUS CATEGORIES ARE COMPACT CLOSED TRACED *-AUTONOMOUS CATEGORIES ARE COMPACT CLOSED THEORY AND APPLICATIONS OF CATEGORIES, 28, 206-212 THEORY AND APPLICATIONS OF CATEGORIES, 28, 206-212 THEORY AND APPLICATIONS OF CATEGORIES, 28, 206-212 2013 英語 研究論文(学術雑誌) 公開
Masahito Hasegawa Masahito Hasegawa Masahito Hasegawa A quantum double construction in Rel A quantum double construction in Rel A quantum double construction in Rel MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 22, 4, 618-650 MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 22, 4, 618-650 MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 22, 4, 618-650 2012/08 英語 研究論文(学術雑誌) 公開
Masahito Hasegawa Masahito Hasegawa Masahito Hasegawa Bialgebras in Rel Bialgebras in Rel Bialgebras in Rel Electronic Notes in Theoretical Computer Science, 265, C, 337-350 Electronic Notes in Theoretical Computer Science, 265, C, 337-350 Electronic Notes in Theoretical Computer Science, 265, C, 337-350 2010/09/06 英語 研究論文(国際会議プロシーディングス) 公開
長谷川真人 長谷川真人 Masahito Hasegawa プログラム意味論とトポ白ジー一再帰・相互作用・結び目一 プログラム意味論とトポ白ジー一再帰・相互作用・結び目一 Program semantics and toplogy - recursion, interaction and knots - 日本数学会2010 年度秋季総合分科会企画特別講演アブトラクト, 37-49 日本数学会2010 年度秋季総合分科会企画特別講演アブトラクト, 37-49 , 37-49 2010/09 日本語 研究論文(研究会、シンポジウム資料等) 公開
Masahito Hasegawa, Shin-Ya Katsumata Masahito Hasegawa, Shin-Ya Katsumata Masahito Hasegawa, Shin-Ya Katsumata A note on the biadjunction between 2-categories of traced monoidal categories and tortile monoidal categories A note on the biadjunction between 2-categories of traced monoidal categories and tortile monoidal categories A note on the biadjunction between 2-categories of traced monoidal categories and tortile monoidal categories MATHEMATICAL PROCEEDINGS OF THE CAMBRIDGE PHILOSOPHICAL SOCIETY, 148, 1, 107-109 MATHEMATICAL PROCEEDINGS OF THE CAMBRIDGE PHILOSOPHICAL SOCIETY, 148, 1, 107-109 MATHEMATICAL PROCEEDINGS OF THE CAMBRIDGE PHILOSOPHICAL SOCIETY, 148, 1, 107-109 2010/01 英語 研究論文(学術雑誌) 公開
Keiko Nakata, Masahito Hasegawa Keiko Nakata, Masahito Hasegawa Keiko Nakata, Masahito Hasegawa Small-step and big-step semantics for call-by-need Small-step and big-step semantics for call-by-need Small-step and big-step semantics for call-by-need JOURNAL OF FUNCTIONAL PROGRAMMING, 19, 6, 699-722 JOURNAL OF FUNCTIONAL PROGRAMMING, 19, 6, 699-722 JOURNAL OF FUNCTIONAL PROGRAMMING, 19, 6, 699-722 2009/11 英語 研究論文(学術雑誌) 公開
Masahito Hasegawa Masahito Hasegawa Masahito Hasegawa On traced monoidal closed categories On traced monoidal closed categories On traced monoidal closed categories MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 19, 2, 217-244 MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 19, 2, 217-244 MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 19, 2, 217-244 2009/04 英語 研究論文(学術雑誌) 公開
Masahito Hasegawa, Martin Hofmann, Gordon Plotkin Masahito Hasegawa, Martin Hofmann, Gordon Plotkin Masahito Hasegawa, Martin Hofmann, Gordon Plotkin Finite dimensional vector spaces are complete for traced symmetric monoidal categories Finite dimensional vector spaces are complete for traced symmetric monoidal categories Finite dimensional vector spaces are complete for traced symmetric monoidal categories PILLARS OF COMPUTER SCIENCE, 4800, 367-+ PILLARS OF COMPUTER SCIENCE, 4800, 367-+ PILLARS OF COMPUTER SCIENCE, 4800, 367-+ 2008 英語 研究論文(国際会議プロシーディングス) 公開
長谷川 真人 長谷川 真人 Masahito Hasegawa 再帰プログラムの意味論について 再帰プログラムの意味論について On semantics of recursive programs 数学, 59, 2, 180-191 数学, 59, 2, 180-191 , 59, 2, 180-191 2007/04 日本語 公開
Masahito Hasegawa Masahito Hasegawa Masahito Hasegawa RELATIONAL PARAMETRICITY AND CONTROL RELATIONAL PARAMETRICITY AND CONTROL RELATIONAL PARAMETRICITY AND CONTROL LOGICAL METHODS IN COMPUTER SCIENCE, 2, 3, 1-22 LOGICAL METHODS IN COMPUTER SCIENCE, 2, 3, 1-22 LOGICAL METHODS IN COMPUTER SCIENCE, 2, 3, 1-22 2006 英語 研究論文(学術雑誌) 公開
J.R.B. Cockett, 長谷川 真人, R.A.G. Seely J.R.B. Cockett, 長谷川 真人, R.A.G. Seely J.R.B. Cockett, M. Hasegawa, R.A.G. Seely Coherence of the double involution on *-autonomous categories Coherence of the double involution on *-autonomous categories Coherence of the double involution on *-autonomous categories Theory and Applications of Categories, 17, 2, 17-29 Theory and Applications of Categories, 17, 2, 17-29 Theory and Applications of Categories, 17, 2, 17-29 2006 英語 研究論文(学術雑誌) 公開
Yo Ohta, Masahito Hasegawa Yo Ohta, Masahito Hasegawa Yo Ohta, Masahito Hasegawa A terminating and confluent linear lambda calculus A terminating and confluent linear lambda calculus A terminating and confluent linear lambda calculus TERM REWRITING AND APPLICATIONS, PROCEEDINGS, 4098, 166-180 TERM REWRITING AND APPLICATIONS, PROCEEDINGS, 4098, 166-180 TERM REWRITING AND APPLICATIONS, PROCEEDINGS, 4098, 166-180 2006 英語 研究論文(学術雑誌) 公開
M Hasegawa M Hasegawa M Hasegawa Classical linear logic of implications Classical linear logic of implications Classical linear logic of implications MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 15, 2, 323-342 MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 15, 2, 323-342 MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 15, 2, 323-342 2005/04 英語 研究論文(学術雑誌) 公開
Y Kakutani, M Hasegawa Y Kakutani, M Hasegawa Y Kakutani, M Hasegawa Parameterizations and fixed-point operators on control categories Parameterizations and fixed-point operators on control categories Parameterizations and fixed-point operators on control categories FUNDAMENTA INFORMATICAE, 65, 1-2, 153-172 FUNDAMENTA INFORMATICAE, 65, 1-2, 153-172 FUNDAMENTA INFORMATICAE, 65, 1-2, 153-172 2005/03 英語 研究論文(学術雑誌) 公開
Masahito Hasegawa Masahito Hasegawa Masahito Hasegawa Relational parametricity and control Relational parametricity and control Relational parametricity and control Proceedings - Symposium on Logic in Computer Science, 72-81 Proceedings - Symposium on Logic in Computer Science, 72-81 Proceedings - Symposium on Logic in Computer Science, 72-81 2005 英語 研究論文(国際会議プロシーディングス) 公開
M Hasegawa M Hasegawa M Hasegawa The uniformity principle on traced monoidal categories The uniformity principle on traced monoidal categories The uniformity principle on traced monoidal categories PUBLICATIONS OF THE RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES, 40, 3, 991-1014 PUBLICATIONS OF THE RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES, 40, 3, 991-1014 PUBLICATIONS OF THE RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES, 40, 3, 991-1014 2004/09 英語 研究論文(学術雑誌) 公開
M Hasegawa M Hasegawa M Hasegawa Semantics of linear continuation-passing in call-by-name Semantics of linear continuation-passing in call-by-name Semantics of linear continuation-passing in call-by-name FUNCTIONAL AND LOGIC PROGRAMMING, 2998, 229-243 FUNCTIONAL AND LOGIC PROGRAMMING, 2998, 229-243 FUNCTIONAL AND LOGIC PROGRAMMING, 2998, 229-243 2004 英語 研究論文(学術雑誌) 公開
Y Kameyama, M Hasegawa Y Kameyama, M Hasegawa Y Kameyama, M Hasegawa A sound and complete axiomatization of delimited continuations A sound and complete axiomatization of delimited continuations A sound and complete axiomatization of delimited continuations ACM SIGPLAN NOTICES, 38, 9, 177-188 ACM SIGPLAN NOTICES, 38, 9, 177-188 ACM SIGPLAN NOTICES, 38, 9, 177-188 2003/09 英語 研究論文(学術雑誌) 公開
Masahito Hasegawa Masahito Hasegawa Masahito Hasegawa The uniformity principle on traced monoidal categories The uniformity principle on traced monoidal categories The uniformity principle on traced monoidal categories Electronic Notes in Theoretical Computer Science, 69, 145-163 Electronic Notes in Theoretical Computer Science, 69, 145-163 Electronic Notes in Theoretical Computer Science, 69, 145-163 2003/02 英語 研究論文(国際会議プロシーディングス) 公開
Y Kakutani, M Hasegawa Y Kakutani, M Hasegawa Y Kakutani, M Hasegawa Parameterizations and fixed-point operators on control categories Parameterizations and fixed-point operators on control categories Parameterizations and fixed-point operators on control categories TYPED LAMBDA CALCULI AND APPLICATIONS, PROCEEDINGS, 2701, 180-194 TYPED LAMBDA CALCULI AND APPLICATIONS, PROCEEDINGS, 2701, 180-194 TYPED LAMBDA CALCULI AND APPLICATIONS, PROCEEDINGS, 2701, 180-194 2003 英語 研究論文(学術雑誌) 公開
Masahito Hasegawa, Yoshihiko Kakutani Masahito Hasegawa, Yoshihiko Kakutani Masahito Hasegawa, Yoshihiko Kakutani Axioms for recursion in call-by-value Axioms for recursion in call-by-value Axioms for recursion in call-by-value Higher-Order and Symbolic Computation, 15, 2-3, 235-264 Higher-Order and Symbolic Computation, 15, 2-3, 235-264 Higher-Order and Symbolic Computation, 15, 2-3, 235-264 2002/09 英語 研究論文(学術雑誌) 公開
Masahito Hasegawa Masahito Hasegawa Masahito Hasegawa Linearly used effects: Monadic and CPS transformations into the linear lambda calculus Linearly used effects: Monadic and CPS transformations into the linear lambda calculus Linearly used effects: Monadic and CPS transformations into the linear lambda calculus Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2441, 167-182 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2441, 167-182 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2441, 167-182 2002 英語 研究論文(国際会議プロシーディングス) 公開
M Hasegawa M Hasegawa M Hasegawa Classical linear logic of implications Classical linear logic of implications Classical linear logic of implications COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2471, 458-472 COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2471, 458-472 COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2471, 458-472 2002 英語 研究論文(学術雑誌) 公開
長谷川真人, 角谷良彦 長谷川真人, 角谷良彦 M. Hasegawa, Y. kakutani Axioms for Recursion in Call-by-Value (Extended Abstract) Axioms for Recursion in Call-by-Value (Extended Abstract) Axioms for Recursion in Call-by-Value (Extended Abstract) Lecture Notes in Computer Science, 2030, 246-260 Lecture Notes in Computer Science, 2030, 246-260 Lecture Notes in Computer Science, 2030, 246-260 2001/04 英語 研究論文(国際会議プロシーディングス) 公開
Masahito Hasegawa Masahito Hasegawa Masahito Hasegawa Girard translation and logical predicates Girard translation and logical predicates Girard translation and logical predicates Journal of Functional Programming, 10, 1, 77-89 Journal of Functional Programming, 10, 1, 77-89 Journal of Functional Programming, 10, 1, 77-89 2000 英語 研究論文(学術雑誌) 公開
長谷川真人 長谷川真人 再帰的プログラムの意味論とトレース付きモノイダルカテゴリ 再帰的プログラムの意味論とトレース付きモノイダルカテゴリ コンピュータソフトウェア, 16, 2, 150-154 コンピュータソフトウェア, 16, 2, 150-154 , 16, 2, 150-154 1999/03 日本語 公開
M Hasegawa M Hasegawa M Hasegawa Logical predicates for intuitionistic linear type theories Logical predicates for intuitionistic linear type theories Logical predicates for intuitionistic linear type theories TYPED LAMBDA CALCULI AND APPLICATIONS, 1581, 198-212 TYPED LAMBDA CALCULI AND APPLICATIONS, 1581, 198-212 TYPED LAMBDA CALCULI AND APPLICATIONS, 1581, 198-212 1999 英語 研究論文(学術雑誌) 公開
A Barber, P Gardner, M Hasegawa, G Plotkin A Barber, P Gardner, M Hasegawa, G Plotkin A Barber, P Gardner, M Hasegawa, G Plotkin From action calculi to linear logic From action calculi to linear logic From action calculi to linear logic COMPUTER SCIENCE LOGIC, 1414, 78-97 COMPUTER SCIENCE LOGIC, 1414, 78-97 COMPUTER SCIENCE LOGIC, 1414, 78-97 1998 英語 研究論文(学術雑誌) 公開
Philippa Gardner, Masahito Hasegawa Philippa Gardner, Masahito Hasegawa Philippa Gardner, Masahito Hasegawa Types and models for higher-order action calculi Types and models for higher-order action calculi Types and models for higher-order action calculi Lecture Notes in Computer Science, 1281, 583-603 Lecture Notes in Computer Science, 1281, 583-603 Lecture Notes in Computer Science, 1281, 583-603 1997/09 英語 研究論文(国際会議プロシーディングス) 公開
M Hasegawa M Hasegawa M Hasegawa Recursion from cyclic sharing: Traced monoidal categories and models of cyclic lambda calculi Recursion from cyclic sharing: Traced monoidal categories and models of cyclic lambda calculi Recursion from cyclic sharing: Traced monoidal categories and models of cyclic lambda calculi TYPED LAMBDA CALCULI AND APPLICATIONS, 1210, 196-213 TYPED LAMBDA CALCULI AND APPLICATIONS, 1210, 196-213 TYPED LAMBDA CALCULI AND APPLICATIONS, 1210, 196-213 1997 英語 研究論文(学術雑誌) 公開
Masahito Hasegawa Masahito Hasegawa Masahito Hasegawa Decomposing typed lambda calculus into a couple of categorical programming languages Decomposing typed lambda calculus into a couple of categorical programming languages Decomposing typed lambda calculus into a couple of categorical programming languages Lecture Notes in Computer Science, 953, 200-219 Lecture Notes in Computer Science, 953, 200-219 Lecture Notes in Computer Science, 953, 200-219 1995/08 英語 研究論文(国際会議プロシーディングス) 公開

  • <<
  • >>
  • 表示
タイトル言語:
Misc
著者 著者(日本語) 著者(英語) タイトル タイトル(日本語) タイトル(英語) 書誌情報等 書誌情報等(日本語) 書誌情報等(英語) 出版年月 査読の有無 記述言語 掲載種別 公開
長谷川真人 長谷川真人 プログラム意味論と圈論/計算の「不変量」を圈論で捉える プログラム意味論と圈論/計算の「不変量」を圈論で捉える 数学セミナー, 601, 92-98 数学セミナー, 601, 92-98 , 601, 92-98 2011/11 日本語 記事・総説・解説・論説等(商業誌、新聞、ウェブメディア) 公開
長谷川真人 長谷川真人 計算機科学と結び目不変量 計算機科学と結び目不変量 数理科学, 556, 54-55 数理科学, 556, 54-55 , 556, 54-55 2009/10 日本語 記事・総説・解説・論説等(商業誌、新聞、ウェブメディア) 公開
長谷川真人 長谷川真人 再帰プログラム 再帰プログラム 数学セミナー, 561, 30-35 数学セミナー, 561, 30-35 , 561, 30-35 2008/06 日本語 記事・総説・解説・論説等(商業誌、新聞、ウェブメディア) 公開
長谷川真人 長谷川真人 M. Hasegawa TACS 2001 参加報告 TACS 2001 参加報告 Report on TACS 2001 コンピュータソフトウェア, 19, 1, 64-66 コンピュータソフトウェア, 19, 1, 64-66 Computer Software, 19, 1, 64-66 2002 日本語 記事・総説・解説・論説等(学術雑誌) 公開
長谷川真人 長谷川真人 H. Masahito 大晦日の草稿 大晦日の草稿 On new year\\'s eve コンピュータソフトウェア, 17, 1, 15-18 コンピュータソフトウェア, 17, 1, 15-18 Computer Software, 17, 1, 15-18 2000 日本語 記事・総説・解説・論説等(学術雑誌) 公開
タイトル言語:
講演・口頭発表等
タイトル タイトル(日本語) タイトル(英語) 会議名 会議名(日本語) 会議名(英語) 主催者 主催者(日本語) 主催者(英語) 発表年月日 記述言語 会議種別 公開
Programming languages, tensor categories, and quantum topology[招待あり] Programming languages, tensor categories, and quantum topology [招待あり] Programming languages, tensor categories, and quantum topology [招待あり] Forum "Math-for-Industry" 2014 Forum "Math-for-Industry" 2014 Forum "Math-for-Industry" 2014 2014 英語 口頭発表(招待・特別) 公開
Denotational semantics and quantum topology[招待あり] Denotational semantics and quantum topology [招待あり] Denotational semantics and quantum topology [招待あり] workshop on Quantum Physics and Logic workshop on Quantum Physics and Logic workshop on Quantum Physics and Logic 2014 英語 口頭発表(招待・特別) 公開
プログラム意味論・テンソル圏・量子トポロジー[招待あり] プログラム意味論・テンソル圏・量子トポロジー [招待あり] Program semantics, tensor categories, quantum topology [招待あり] プログラミングおよびプログラミング言語ワークショップ プログラミングおよびプログラミング言語ワークショップ Workshop on Programming and Programming Languages 2012 日本語 口頭発表(招待・特別) 公開
プログラム意味論とトポロジー - 再帰・相互作用・結び目 -[招待あり] プログラム意味論とトポロジー - 再帰・相互作用・結び目 - [招待あり] Program semantics and topology - recursion, interaction, knots - [招待あり] 日本数学会2010年度秋季総合分科会 日本数学会2010年度秋季総合分科会 MSJ Autumn Meeting 2010 2010 日本語 口頭発表(招待・特別) 公開
タイトル言語:
書籍等出版物
著者 著者(日本語) 著者(英語) タイトル タイトル(日本語) タイトル(英語) 出版社 出版社(日本語) 出版社(英語) 出版年月 記述言語 担当区分 公開
圏論の歩き方委員会 圏論の歩き方委員会 圏論の歩き方 圏論の歩き方 日本評論社 日本評論社 2015/09 共著 公開
M. Hasegawa M. Hasegawa M. Hasegawa Typed Lambda Calculi and Applications: 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings Typed Lambda Calculi and Applications: 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings Typed Lambda Calculi and Applications: 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings Springer-Verlag Springer-Verlag Springer-Verlag 2013 英語 編者 公開
長谷川 真人 長谷川 真人 長谷川 真人 Models of Sharing Graphs : A Categorical Semantics of Let and Letrec Models of Sharing Graphs : A Categorical Semantics of Let and Letrec Models of Sharing Graphs : A Categorical Semantics of Let and Letrec Distinguished Dissertation Series, Springer-Verlag Distinguished Dissertation Series, Springer-Verlag Distinguished Dissertation Series, Springer-Verlag 1999 英語 単著 公開
田辺誠, 中島玲二, 長谷川 真人 田辺誠, 中島玲二, 長谷川 真人 コンピュータサイエンス入門:論理とプログラム意味論 コンピュータサイエンス入門:論理とプログラム意味論 岩波書店 岩波書店 1999 日本語 共著 公開
タイトル言語:
学術賞等
賞の名称(日本語) 賞の名称(英語) 授与組織名(日本語) 授与組織名(英語) 年月
BCS/CPHC 最優秀学位論文賞 BCS/CPHC Distinguished Dissertations Award 英国コンピュータ学会 British Computer Society 1999
日本ソフトウェア科学会高橋奨励賞 JSSST Takahashi Shorei Award 日本ソフトウェア科学会 JSSST 1999
EATCS ETAPS最優秀理論論文賞 EATCS ETAPS Best Theoretical Paper Award ヨーロッパ理論計算機科学会 EATCS 2001
日本IBM科学賞 Japan IBM Science Prize 日本IBM Japan IBM 2005
科学技術分野の文部科学大臣表彰若手科学者賞 The Young Scientists' Prize (The Commendation for Science and Technology by the Minister of Education, Culture, Sports, Science and Technology) 文部科学省 MEXT 2008
外部資金:競争的資金 (科学研究費補助金)
種別 代表/分担 テーマ(日本語) テーマ(英語) 期間
基盤研究(C) 代表 高階相互作用の幾何とプログラム意味論 Higher-order Geometry of Interaction and Program Semantics 2008〜2011
基盤研究(C) 代表 プログラム意味論と量子トポロジー Program Semantics and Quantum Topology 2011/04/01〜2014/03/31
基盤研究(C) 代表 プログラミング言語実装に則した意味論の構築と分析 2015/04/01〜2018/03/31
特別研究員奨励費 代表 代数トポロジー、高次元代数と書き換え計算系 (平成29年度分) 2017/04/01〜2018/03/31
基盤研究(C) 代表 プログラム意味論の量子化・高次元化・幾何化 2018/04/01〜2021/03/31
基盤研究(C) 代表 プログラム意味論の量子化・高次元化・幾何化 (平成30年度分) 2018/04/01〜2019/03/31
特別研究員奨励費 代表 代数トポロジー、高次元代数と書き換え計算系 (平成30年度分) 2018/04/01〜2019/03/31
基盤研究(C) 代表 プログラム意味論の量子化・高次元化・幾何化 (2019年度分) 2019/04/01〜2020/03/31
特別研究員奨励費 代表 代数トポロジー、高次元代数と書き換え計算系 (2019年度分) 2019/04/01〜2020/03/31
担当科目
講義名(日本語) 講義名(英語) 開講期 学部/研究科 年度
計算機構論セミナー研究A 前期 理学研究科 2011/04〜2012/03
計算機構論セミナー研究B 後期 理学研究科 2011/04〜2012/03
計算機構論セミナー研究C 前期 理学研究科 2011/04〜2012/03
計算機構論セミナー研究D 後期 理学研究科 2011/04〜2012/03
プログラム理論特論ⅡA 前期 理学研究科 2011/04〜2012/03
プログラム理論特論ⅡB 後期 理学研究科 2011/04〜2012/03
論理と計算セミナー研究A 前期 理学研究科 2011/04〜2012/03
論理と計算セミナー研究B 後期 理学研究科 2011/04〜2012/03
論理と計算セミナー研究C 前期 理学研究科 2011/04〜2012/03
論理と計算セミナー研究D 後期 理学研究科 2011/04〜2012/03
コンピュータサイエンス入門 Introduction to Computer Science 前期 全学共通科目 2011/04〜2012/03
数学講究 通年 理学部 2011/04〜2012/03
現代の数学と数理解析 Invitation to Modern Mathematics and Mathematical Sciences 前期 全学共通科目 2011/04〜2012/03
コンピュータサイエンス入門 Introduction to Computer Science 前期 全学共通科目 2012/04〜2013/03
現代の数学と数理解析 Invitation to Modern Mathematics and Mathematical Sciences 前期 全学共通科目 2012/04〜2013/03
現代の数学と数理解析 Invitation to Modern Mathematics and Mathematical Sciences 前期 全学共通科目 2013/04〜2014/03
コンピュータサイエンス基礎 Fundamentals of Computer Science 前期 全学共通科目 2013/04〜2014/03
数学講究 Mathematics seminary 通年 理学部 2014/04〜2015/03
計算機構論セミナー研究A Seminar on Theory of Computation A 前期 理学研究科 2014/04〜2015/03
計算機構論セミナー研究B Seminar on Theory of Computation B 後期 理学研究科 2014/04〜2015/03
計算機構論セミナー研究C Seminar on Theory of Computation C 前期 理学研究科 2014/04〜2015/03
計算機構論セミナー研究D Seminar on Theory of Computation D 後期 理学研究科 2014/04〜2015/03
論理と計算セミナー研究A Seminar on Logic in Computer Science A 前期 理学研究科 2014/04〜2015/03
論理と計算セミナー研究B Seminar on Logic in Computer Science B 後期 理学研究科 2014/04〜2015/03
論理と計算セミナー研究C Seminar on Logic in Computer Science C 前期 理学研究科 2014/04〜2015/03
論理と計算セミナー研究D Seminar on Logic in Computer Science D 後期 理学研究科 2014/04〜2015/03
コンピュータサイエンス基礎 Fundamentals of Computer Science 前期 全学共通科目 2014/04〜2015/03
コンピュータサイエンス基礎 Fundamentals of Computer Science 前期 全学共通科目 2015/04〜2016/03
計算機構論セミナー研究A Seminar on Theory of Computation A 前期 理学研究科 2015/04〜2016/03
計算機構論セミナー研究B Seminar on Theory of Computation B 後期 理学研究科 2015/04〜2016/03
計算機構論セミナー研究C Seminar on Theory of Computation C 前期 理学研究科 2015/04〜2016/03
計算機構論セミナー研究D Seminar on Theory of Computation D 後期 理学研究科 2015/04〜2016/03
論理と計算セミナー研究A Seminar on Logic in Computer Science A 前期 理学研究科 2015/04〜2016/03
論理と計算セミナー研究B Seminar on Logic in Computer Science B 後期 理学研究科 2015/04〜2016/03
論理と計算セミナー研究C Seminar on Logic in Computer Science C 前期 理学研究科 2015/04〜2016/03
論理と計算セミナー研究D Seminar on Logic in Computer Science D 後期 理学研究科 2015/04〜2016/03
コンピュータサイエンス基礎 Fundamentals of Computer Science 前期 全学共通科目 2016/04〜2017/03
数学講究 Mathematics seminary 通年 理学部 2016/04〜2017/03
計算機構論セミナー研究A Seminar on Theory of Computation A 前期 理学研究科 2016/04〜2017/03
計算機構論セミナー研究B Seminar on Theory of Computation B 後期 理学研究科 2016/04〜2017/03
計算機構論セミナー研究C Seminar on Theory of Computation C 前期 理学研究科 2016/04〜2017/03
計算機構論セミナー研究D Seminar on Theory of Computation D 後期 理学研究科 2016/04〜2017/03
論理と計算セミナー研究A Seminar on Logic in Computer Science A 前期 理学研究科 2016/04〜2017/03
論理と計算セミナー研究B Seminar on Logic in Computer Science B 後期 理学研究科 2016/04〜2017/03
論理と計算セミナー研究C Seminar on Logic in Computer Science C 前期 理学研究科 2016/04〜2017/03
論理と計算セミナー研究D Seminar on Logic in Computer Science D 後期 理学研究科 2016/04〜2017/03
コンピュータサイエンス基礎 Fundamentals of Computer Science 前期 全学共通科目 2017/04〜2018/03
数学講究 Mathematics seminary 通年 理学部 2017/04〜2018/03
計算機構論セミナー研究A Seminar on Theory of Computation A 前期 理学研究科 2017/04〜2018/03
計算機構論セミナー研究B Seminar on Theory of Computation B 後期 理学研究科 2017/04〜2018/03
計算機構論セミナー研究C Seminar on Theory of Computation C 前期 理学研究科 2017/04〜2018/03
計算機構論セミナー研究D Seminar on Theory of Computation D 後期 理学研究科 2017/04〜2018/03
論理と計算セミナー研究A Seminar on Logic in Computer Science A 前期 理学研究科 2017/04〜2018/03
論理と計算セミナー研究B Seminar on Logic in Computer Science B 後期 理学研究科 2017/04〜2018/03
論理と計算セミナー研究C Seminar on Logic in Computer Science C 前期 理学研究科 2017/04〜2018/03
論理と計算セミナー研究D Seminar on Logic in Computer Science D 後期 理学研究科 2017/04〜2018/03
コンピュータサイエンス基礎 Fundamentals of Computer Science 前期 全学共通科目 2018/04〜2019/03
計算機構論セミナー研究a Seminar on Theory of Computation a 前期 理学研究科 2018/04〜2019/03
計算機構論セミナー研究b Seminar on Theory of Computation b 後期 理学研究科 2018/04〜2019/03
計算機構論セミナー研究c Seminar on Theory of Computation c 前期 理学研究科 2018/04〜2019/03
計算機構論セミナー研究d Seminar on Theory of Computation d 後期 理学研究科 2018/04〜2019/03
論理と計算セミナー研究a Seminar on Logic in Computer Science a 前期 理学研究科 2018/04〜2019/03
論理と計算セミナー研究b Seminar on Logic in Computer Science b 後期 理学研究科 2018/04〜2019/03
論理と計算セミナー研究c Seminar on Logic in Computer Science c 前期 理学研究科 2018/04〜2019/03
論理と計算セミナー研究d Seminar on Logic in Computer Science d 後期 理学研究科 2018/04〜2019/03
コンピュータサイエンス基礎 Fundamentals of Computer Science 前期 全学共通科目 2019/04〜2020/03
数学講究 Mathematics seminary 通年 理学部 2019/04〜2020/03
計算機構論セミナー研究a Seminar on Theory of Computation a 前期 理学研究科 2019/04〜2020/03
計算機構論セミナー研究b Seminar on Theory of Computation b 後期 理学研究科 2019/04〜2020/03
計算機構論セミナー研究c Seminar on Theory of Computation c 前期 理学研究科 2019/04〜2020/03
計算機構論セミナー研究d Seminar on Theory of Computation d 後期 理学研究科 2019/04〜2020/03
論理と計算セミナー研究a Seminar on Logic in Computer Science a 前期 理学研究科 2019/04〜2020/03
論理と計算セミナー研究b Seminar on Logic in Computer Science b 後期 理学研究科 2019/04〜2020/03
論理と計算セミナー研究c Seminar on Logic in Computer Science c 前期 理学研究科 2019/04〜2020/03
論理と計算セミナー研究d Seminar on Logic in Computer Science d 後期 理学研究科 2019/04〜2020/03
コンピュータサイエンス基礎 Fundamentals of Computer Science 前期 全学共通科目 2020/04〜2021/03
数理科学課題研究 Special study course (Mathematical Science) 通年集中 理学部 2020/04〜2021/03
計算機構論セミナー研究a Seminar on Theory of Computation a 前期 理学研究科 2020/04〜2021/03
計算機構論セミナー研究b Seminar on Theory of Computation b 後期 理学研究科 2020/04〜2021/03
計算機構論セミナー研究c Seminar on Theory of Computation c 前期 理学研究科 2020/04〜2021/03
計算機構論セミナー研究d Seminar on Theory of Computation d 後期 理学研究科 2020/04〜2021/03
論理と計算セミナー研究a Seminar on Logic in Computer Science a 前期 理学研究科 2020/04〜2021/03
論理と計算セミナー研究b Seminar on Logic in Computer Science b 後期 理学研究科 2020/04〜2021/03
論理と計算セミナー研究c Seminar on Logic in Computer Science c 前期 理学研究科 2020/04〜2021/03
論理と計算セミナー研究d Seminar on Logic in Computer Science d 後期 理学研究科 2020/04〜2021/03
コンピュータサイエンス基礎 Fundamentals of Computer Science 前期 全学共通科目 2021/04〜2022/03
数理科学課題研究 Special study course (Mathematical Science) 通年集中 理学部 2021/04〜2022/03
計算機構論セミナー研究a Seminar on Theory of Computation a 前期 理学研究科 2021/04〜2022/03
計算機構論セミナー研究b Seminar on Theory of Computation b 後期 理学研究科 2021/04〜2022/03
計算機構論セミナー研究c Seminar on Theory of Computation c 前期 理学研究科 2021/04〜2022/03
計算機構論セミナー研究d Seminar on Theory of Computation d 後期 理学研究科 2021/04〜2022/03
論理と計算セミナー研究a Seminar on Logic in Computer Science a 前期 理学研究科 2021/04〜2022/03
論理と計算セミナー研究b Seminar on Logic in Computer Science b 後期 理学研究科 2021/04〜2022/03
論理と計算セミナー研究c Seminar on Logic in Computer Science c 前期 理学研究科 2021/04〜2022/03
論理と計算セミナー研究d Seminar on Logic in Computer Science d 後期 理学研究科 2021/04〜2022/03

  • <<
  • >>
  • 表示
博士学位審査
学位取得者名 学位論文タイトル 役割 年月
中野 圭介 An Implementation Scheme for XML Transformation Languages through Derivation of Stream Processors (ストリーム処理器の自動導出によるXML変換言語の実装法) 主査 2006/03/23
佐藤 哲也 Identifying All Preorders on the Subdistribution Monad(劣確率分布モナド上の全ての前順序の特定) 主査 2015/03/23
本浦 庄太 A General Framework for Dynamic Epistemic Logic(動的認識論理のための一般的枠組み) 2017/03/23
松本 慧 Coherence Spaces and Uniform Continuity (整合空間と一様連続性) 2017/03/23
柳澤 名由太 Wait-free Solvability of Colorless Tasks in Anonymous Shared-memory Model(匿名共有メモリモデルにおける非彩色タスクの無待機可解性) 2018/03/26
滝坂 透 Large Scale Geometries of Infinite Strings (無限文字列の大規模幾何) 主査 2018/03/26
角谷 良彦 Duality between Call-by-Name Recursion and Call-by-Value Iteration (名前呼び再帰プログラムと値呼び繰り返しプログラムの間の双対性) 主査 2003/07/23
中田 景子 A module system with applicative functors and recursive path references (作用的ファンクタとパスを用いての再帰的参照機構を持つモジュールシステム) 主査 2007/03/23
浅田 和之 Extensional Universal Types for Call-by-Valu (外延的全称型を持つ値呼び多相型λ計算) 主査 2009/03/23
宮部 賢志 An extension of van Lambalgen's Theorem to infinitely many relative 1-random reals (独立性定理における無限個の互いに1ランダムな列への拡張) 主査 2010/03/23
星野 直彦 A Modified GoI Interpretation for a Linear Functional Programming Language and its Adequacy (線型関数型プログラミング言語に対するGoI解釈の修正とその適切性) 主査 2011/03/23
滝坂 透 Large Scale Geometries of Infinite Strings (無限文字列の大規模幾何) 2018/03/26

  • <<
  • >>
  • 表示
サークルの顧問
サークル名(日本語) サークル名(英語) 期間
京都大学ギタークラブ Kyoto University Guitar Club 2015/05/〜
全学運営(役職等)
役職名 期間
大学間協定小委員会 委員 2009/07/01〜2010/10/14
国際交流委員会 委員 2009/07/01〜2010/06/30
吉田キャンパス整備専門委員会 3号委員 2014/10/01〜2016/09/30
数理解析研究所附属計算機構研究施設長 2011/04/01〜2014/03/31
数理解析研究所附属計算機構研究施設長 2015/04/01〜2023/03/31
計算機構研究施設長 2015/04/01〜2022/03/31
大学評価委員会点検・評価実行委員会 委員 2017/04/12〜2019/03/31
京都大学全学情報セキュリティ技術連絡会構成員 2015/04/01〜
京都大学情報環境機構研究用計算機専門委員会 委員 2021/04/01〜2023/03/31
京都大学学術情報メディアセンター全国共同利用運営員会 委員 2020/04/01〜2022/03/31
部局運営(役職等)
役職名 期間
数理解析研究所副所長 2014/04/01〜2015/03/31
京都大学全学情報セキュリティ幹事会 幹事 2004/10/01〜2015/03/31
広報委員会 委員長
ホームページ技術小委員会 委員長
情報セキュリティ委員会 委員 2015/04/01〜
環境・安全・衛生管理委員会 委員
自己点検・評価委員会 委員長 2017/04/12〜
予算委員会 委員 2017/04/01〜
省エネルギー推進委員会 2014/04/01〜2015/03/31
運営委員会委員長 2020/04/01〜
学会活動:学会役員歴
学会名(日本語) 学会名(英語) 役職名(日本語) 役職名(英語) 期間
日本ソフトウェア科学会 Japan Society for Software Science and Technology プログラミング論研究会運営委員 2012/04/〜2016/03/
学会活動:編集委員歴
学会名(日本語) 学会名(英語) ジャーナル名(日本語) ジャーナル名(英語) 役職名 期間
Mathematical Structures in Computer Science Editorial Board Member 2007〜
Logical Methods in Computer Science Logical Methods in Computer Science Guest Editor 2013〜2018
学会活動:研究集会委員歴
学会名 研究集会名 役職名 期間
ACM/IEEE Symposium on Logic in Computer Science Steering Committee Member 2013〜2018
ACM/IEEE Symposium on Logic in Computer Science Conference Chair 2015〜2015
International Conference on Formal Structures for Computation and Deduction Steering Committee Member 2015〜2016
International Conference on Typed Lambda Calculi and Applications Steering Committee Member 2013〜2015
International Conference on Typed Lambda Calculi and Applications Program Committee Chair 2013〜2013
EATCS International Conference on Foundations of Software Science and Computation Structures Program Committee Member 2016〜2016
International Conference on Formal Structures for Computation and Deduction Program Committee Member 2018〜2018
International Workshop on Linearity Program Committee Member 2016〜2016
Joint Workshop on Linearity & TLLA Program Committee Member 2018〜2018
Joint International Conference on Rewriting Techniques and Applications and Typed Lambda Calculi and Applications Program Committee Member 2014〜2014
European Association for Computer Science Logic International Conference on Computer Science Logic Program Committee Member 2020〜2020
European Association for Computer Science Logic International Conference on Computer Science Logic Program Committee Member 2021〜2021
International Conference on Formal Structures for Computation and Deduction Program Committee Member 2020〜2020

  • <<
  • >>
  • 表示
その他活動:講演歴
会合名 講演タイトル 年月
数学入門公開講座 プログラミング言語の意味論と圏論 2016/08/