長谷川 真人

Last Update: 2021/05/13 16:23:49

Print

Name(Kanji/Kana/Abecedarium Latinum)
長谷川 真人/ハセガワ マサヒト/Hasegawa, Masahito
Primary Affiliation(Org1/Job title)
Research Institute for Mathematical Sciences (RIMS)/Professor
Affiliated programs (koza)
Org1 Job title
Graduate School of Science Professor
Contact Address
Type Address(Japanese) Address(English)
Office 〒606-8502京都府京都市左京区北白川追分町 Kyoto 606-8502 Japan
Phone
Type Number
Office 075-753-7243
E-mail Address
E-mail address
hassei @ kurims.kyoto-u.ac.jp
Academic Organizations You are Affiliated to in Japan
Organization name(Japanese) Organization name(English)
日本ソフトウェア科学会 Japan Society for Software Science and Technology
Academic Organizations Overaseas You are Affiliated to
Organization name Country
ACM Special Interest Group on Logic and Computation
Academic Degree
Field(Japanese) Field(English) University(Japanese) University(English) Method
修士(理学) MSc 京都大学 Kyoto University
理工学部博士 PhD エディンバラ大学 University of Edinburgh
Academic Resume (Graduate Schools)
University(Japanese) University(English) Faculty(Japanese) Faculty(English) Major(Japanese) Major(English) Completion Status
京都大学 Kyoto University 大学院理学研究科修士課程数理解析専攻 Graduate School of Science Mathematical Science 修了
英国エデインバラ大学 University of Edinburgh 計算機科学科博士課程 Faculty of Science and Engineering Computer Science 修了
Academic Resume (Undergraduate School/Majors)
University(Japanese) University(English) Faculty(Japanese) Faculty(English) Major(s)(Japanese) Major(s)(English) Completion Status
京都大学 Kyoto University 理学部 Faculty of Science 卒業
Work Experience
Period Organization(Japanese) Organization(English) Job title(Japanese) Job title(English)
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
Language of Instruction
Language(japanese) Language(english) Code
英語 English eng
Personal Website(s) (URL(s))
URL
http://www.kurims.kyoto-u.ac.jp/~hassei/
researchmap URL
https://researchmap.jp/hassei
Research Topics
(Japanese)
理論計算機科学
(English)
Theoretical Computer Science
Overview of the research
(Japanese)
プログラミング言語および関連する計算システム等の数学モデル(意味論)の研究を行っている。特に、代数的・圏論的な手法と,証明論・型理論的な枠組みを用いた分析とその応用に取り組んでいる。
(English)
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.
Fields of research (key words)
Key words(Japanese) Key words(English)
理論計算機科学, プログラミング言語の意味論 Theoretical Computer Science, Semantics of Programming Languages
Published Papers
Author Author(Japanese) Author(English) Title Title(Japanese) Title(English) Bibliography Bibliography(Japanese) Bibliography(English) Publication date Refereed paper Language Publishing type Disclose
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 Refereed English Research paper(international conference proceedings) Disclose to all
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 Refereed English Research paper(scientific journal) Disclose to all
Masahito Hasegawa 長谷川 真人 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 Refereed English Research paper(international conference proceedings) Disclose to all
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 Refereed English Research paper(scientific journal) Disclose to all
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 Refereed English Research paper(scientific journal) Disclose to all
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 Refereed English Research paper(international conference proceedings) Disclose to all
Masahito Hasegawa 長谷川真人 Masahito Hasegawa Program semantics and toplogy - recursion, interaction and knots - プログラム意味論とトポ白ジー一再帰・相互作用・結び目一 Program semantics and toplogy - recursion, interaction and knots - 日本数学会2010 年度秋季総合分科会企画特別講演アブトラクト, 37-49 日本数学会2010 年度秋季総合分科会企画特別講演アブトラクト, 37-49 , 37-49 2010/09 Japanese Research paper(research society, symposium, etc.) Disclose to all
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 Refereed English Research paper(scientific journal) Disclose to all
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 Refereed English Research paper(scientific journal) Disclose to all
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 Refereed English Research paper(scientific journal) Disclose to all
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 Refereed English Research paper(international conference proceedings) Disclose to all
Masahito Hasegawa 長谷川 真人 Masahito Hasegawa On semantics of recursive programs 再帰プログラムの意味論について On semantics of recursive programs 数学, 59, 2, 180-191 数学, 59, 2, 180-191 , 59, 2, 180-191 2007/04 Refereed Japanese Disclose to all
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 Refereed English Research paper(scientific journal) Disclose to all
J.R.B. Cockett, M. Hasegawa, 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 Refereed English Research paper(scientific journal) Disclose to all
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 Refereed English Research paper(scientific journal) Disclose to all
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 Refereed English Research paper(scientific journal) Disclose to all
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 Refereed English Research paper(scientific journal) Disclose to all
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 Refereed English Research paper(international conference proceedings) Disclose to all
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 Refereed English Research paper(scientific journal) Disclose to all
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 Refereed English Research paper(scientific journal) Disclose to all
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 Refereed English Research paper(scientific journal) Disclose to all
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 Refereed English Research paper(international conference proceedings) Disclose to all
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 Refereed English Research paper(scientific journal) Disclose to all
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 Refereed English Research paper(scientific journal) Disclose to all
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 Refereed English Research paper(international conference proceedings) Disclose to all
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 Refereed English Research paper(scientific journal) Disclose to all
M. Hasegawa, Y. kakutani 長谷川真人, 角谷良彦 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 Refereed English Research paper(international conference proceedings) Disclose to all
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 Refereed English Research paper(scientific journal) Disclose to all
長谷川真人 長谷川真人 再帰的プログラムの意味論とトレース付きモノイダルカテゴリ 再帰的プログラムの意味論とトレース付きモノイダルカテゴリ コンピュータソフトウェア, 16, 2, 150-154 コンピュータソフトウェア, 16, 2, 150-154 , 16, 2, 150-154 1999/03 Refereed Japanese Disclose to all
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 Refereed English Research paper(scientific journal) Disclose to all
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 Refereed English Research paper(scientific journal) Disclose to all
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 Refereed English Research paper(international conference proceedings) Disclose to all
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 Refereed English Research paper(scientific journal) Disclose to all
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 Refereed English Research paper(international conference proceedings) Disclose to all

  • <<
  • >>
Title language:
Misc
Author Author(Japanese) Author(English) Title Title(Japanese) Title(English) Bibliography Bibliography(Japanese) Bibliography(English) Publication date Refereed paper Language Publishing type Disclose
長谷川真人 長谷川真人 プログラム意味論と圈論/計算の「不変量」を圈論で捉える プログラム意味論と圈論/計算の「不変量」を圈論で捉える 数学セミナー, 601, 92-98 数学セミナー, 601, 92-98 , 601, 92-98 2011/11 Japanese Article, review, commentary, editorial, etc.(trade magazine, newspaper, online media) Disclose to all
長谷川真人 長谷川真人 計算機科学と結び目不変量 計算機科学と結び目不変量 数理科学, 556, 54-55 数理科学, 556, 54-55 , 556, 54-55 2009/10 Japanese Article, review, commentary, editorial, etc.(trade magazine, newspaper, online media) Disclose to all
長谷川真人 長谷川真人 再帰プログラム 再帰プログラム 数学セミナー, 561, 30-35 数学セミナー, 561, 30-35 , 561, 30-35 2008/06 Japanese Article, review, commentary, editorial, etc.(trade magazine, newspaper, online media) Disclose to all
M. Hasegawa 長谷川真人 M. Hasegawa Report on TACS 2001 TACS 2001 参加報告 Report on TACS 2001 Computer Software, 19, 1, 64-66 コンピュータソフトウェア, 19, 1, 64-66 Computer Software, 19, 1, 64-66 2002 Japanese Article, review, commentary, editorial, etc.(scientific journal) Disclose to all
H. Masahito 長谷川真人 H. Masahito On new year\\'s eve 大晦日の草稿 On new year\\'s eve Computer Software, 17, 1, 15-18 コンピュータソフトウェア, 17, 1, 15-18 Computer Software, 17, 1, 15-18 2000 Japanese Article, review, commentary, editorial, etc.(scientific journal) Disclose to all
Title language:
Conference Activities & Talks
Title Title(Japanese) Title(English) Conference Conference(Japanese) Conference(English) Promotor Promotor(Japanese) Promotor(English) Date Language Assortment Disclose
Programming languages, tensor categories, and quantum topology[Invited] Programming languages, tensor categories, and quantum topology [Invited] Programming languages, tensor categories, and quantum topology [Invited] Forum "Math-for-Industry" 2014 Forum "Math-for-Industry" 2014 Forum "Math-for-Industry" 2014 2014 English Oral presentation(invited, special) Disclose to all
Denotational semantics and quantum topology[Invited] Denotational semantics and quantum topology [Invited] Denotational semantics and quantum topology [Invited] workshop on Quantum Physics and Logic workshop on Quantum Physics and Logic workshop on Quantum Physics and Logic 2014 English Oral presentation(invited, special) Disclose to all
Program semantics, tensor categories, quantum topology[Invited] プログラム意味論・テンソル圏・量子トポロジー [Invited] Program semantics, tensor categories, quantum topology [Invited] Workshop on Programming and Programming Languages プログラミングおよびプログラミング言語ワークショップ Workshop on Programming and Programming Languages 2012 Japanese Oral presentation(invited, special) Disclose to all
Program semantics and topology - recursion, interaction, knots -[Invited] プログラム意味論とトポロジー - 再帰・相互作用・結び目 - [Invited] Program semantics and topology - recursion, interaction, knots - [Invited] MSJ Autumn Meeting 2010 日本数学会2010年度秋季総合分科会 MSJ Autumn Meeting 2010 2010 Japanese Oral presentation(invited, special) Disclose to all
Title language:
Books etc
Author Author(Japanese) Author(English) Title Title(Japanese) Title(English) Publisher Publisher(Japanese) Publisher(English) Publication date Language Type Disclose
圏論の歩き方委員会 圏論の歩き方委員会 圏論の歩き方 圏論の歩き方 日本評論社 日本評論社 2015/09 Joint Work Disclose to all
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 English Editor Disclose to all
長谷川 真人 長谷川 真人 長谷川 真人 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 English Single Work Disclose to all
田辺誠, 中島玲二, 長谷川 真人 田辺誠, 中島玲二, 長谷川 真人 コンピュータサイエンス入門:論理とプログラム意味論 コンピュータサイエンス入門:論理とプログラム意味論 岩波書店 岩波書店 1999 Japanese Joint Work Disclose to all
Title language:
Awards
Title(Japanese) Title(English) Organization name(Japanese) Organization name(English) Date
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
External funds: competitive funds and Grants-in-Aid for Scientific Research (Kakenhi)
Type Position Title(Japanese) Title(English) Period
基盤研究(C) Representative 高階相互作用の幾何とプログラム意味論 Higher-order Geometry of Interaction and Program Semantics 2008-2011
基盤研究(C) Representative プログラム意味論と量子トポロジー Program Semantics and Quantum Topology 2011/04/01-2014/03/31
基盤研究(C) Representative プログラミング言語実装に則した意味論の構築と分析 2015/04/01-2018/03/31
特別研究員奨励費 Representative 代数トポロジー、高次元代数と書き換え計算系 (平成29年度分) 2017/04/01-2018/03/31
基盤研究(C) Representative プログラム意味論の量子化・高次元化・幾何化 2018/04/01-2021/03/31
基盤研究(C) Representative プログラム意味論の量子化・高次元化・幾何化 (平成30年度分) 2018/04/01-2019/03/31
特別研究員奨励費 Representative 代数トポロジー、高次元代数と書き換え計算系 (平成30年度分) 2018/04/01-2019/03/31
基盤研究(C) Representative プログラム意味論の量子化・高次元化・幾何化 (2019年度分) 2019/04/01-2020/03/31
特別研究員奨励費 Representative 代数トポロジー、高次元代数と書き換え計算系 (2019年度分) 2019/04/01-2020/03/31
Teaching subject(s)
Name(Japanese) Name(English) Term Department Period
計算機構論セミナー研究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

  • <<
  • >>
Participation in PhD Defense
Acquirer Title Position Date
中野 圭介 An Implementation Scheme for XML Transformation Languages through Derivation of Stream Processors (ストリーム処理器の自動導出によるXML変換言語の実装法) Chief 2006/03/23
佐藤 哲也 Identifying All Preorders on the Subdistribution Monad(劣確率分布モナド上の全ての前順序の特定) Chief 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 (無限文字列の大規模幾何) Chief 2018/03/26
角谷 良彦 Duality between Call-by-Name Recursion and Call-by-Value Iteration (名前呼び再帰プログラムと値呼び繰り返しプログラムの間の双対性) Chief 2003/07/23
中田 景子 A module system with applicative functors and recursive path references (作用的ファンクタとパスを用いての再帰的参照機構を持つモジュールシステム) Chief 2007/03/23
浅田 和之 Extensional Universal Types for Call-by-Valu (外延的全称型を持つ値呼び多相型λ計算) Chief 2009/03/23
宮部 賢志 An extension of van Lambalgen's Theorem to infinitely many relative 1-random reals (独立性定理における無限個の互いに1ランダムな列への拡張) Chief 2010/03/23
星野 直彦 A Modified GoI Interpretation for a Linear Functional Programming Language and its Adequacy (線型関数型プログラミング言語に対するGoI解釈の修正とその適切性) Chief 2011/03/23
滝坂 透 Large Scale Geometries of Infinite Strings (無限文字列の大規模幾何) 2018/03/26

  • <<
  • >>
Supervising student activities at clubs / circles
Club/circle name(Japanese) Club/circle name(English) Period
京都大学ギタークラブ Kyoto University Guitar Club 2015/05/-
School management (title, position)
Title Period
大学間協定小委員会 委員 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
Faculty management (title, position)
Title Period
数理解析研究所副所長 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-
Academic organizations (administrative history with title(s), position(s), etc.)
Organization name(Japanese) Organization name(English) Title(Japanese) Title(English) Period
日本ソフトウェア科学会 Japan Society for Software Science and Technology プログラミング論研究会運営委員 2012/04/-2016/03/
Academic organizations (editor, editing team)
Organization name(Japanese) Organization name(English) Journal name(Japanese) Journal name(English) Title Period
Mathematical Structures in Computer Science Editorial Board Member 2007-
Logical Methods in Computer Science Logical Methods in Computer Science Guest Editor 2013-2018
Academic organizaions (conference administrator)
Organization name Group name Title Period
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

  • <<
  • >>
Other activities
Meeting Title Date
数学入門公開講座 プログラミング言語の意味論と圏論 2016/08/