Masahito Hasegawa
(長谷川 真人)
Modified on: 02/01
Profile Information
- Affiliation
- Professor, Research Institute for Mathematical Sciences, Kyoto University
- Degree
-
Ph.D.
- Researcher number
- 50293973
- J-GLOBAL ID
- 200901067385624021
- researchmap Member ID
- 1000258714
- External link
1992年京都大学理学部卒業,1994年京都大学大学院理学研究科修士課程数理解析専攻修了,1997年エディンバラ大学計算機科学科博士課程修了.プログラミング言語の意味論および関連する圏論の話題などについて研究しています.
Research Interests
14Research Areas
5Research History
5-
Apr, 2007 - Present
-
Apr, 2002 - Mar, 2007
-
Nov, 2002 - Mar, 2006
-
Jun, 1999 - Mar, 2002
-
Jul, 1997 - May, 1999
Awards
6-
Apr, 2008
-
Nov, 2005
-
Jun, 1999
Papers
34-
Electronic Proceedings in Theoretical Computer Science, 292 31-42, Apr 15, 2019 Peer-reviewed
-
Theory and Applications of Categories, 33(37) 1145-1157, Nov, 2018 Peer-reviewed
-
Electronic Proceedings in Theoretical Computer Science, 238 54-63, 2016 Peer-reviewed
-
THEORY AND APPLICATIONS OF CATEGORIES, 28 206-212, 2013 Peer-reviewed
-
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 22(4) 618-650, Aug, 2012 Peer-reviewed
-
Electronic Notes in Theoretical Computer Science, 265(C) 337-350, Sep 6, 2010 Peer-reviewed
-
37-49, Sep, 2010 Invited
-
MATHEMATICAL PROCEEDINGS OF THE CAMBRIDGE PHILOSOPHICAL SOCIETY, 148(1) 107-109, Jan, 2010 Peer-reviewed
-
JOURNAL OF FUNCTIONAL PROGRAMMING, 19(6) 699-722, Nov, 2009 Peer-reviewed
-
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 19(2) 217-244, Apr, 2009 Peer-reviewed
-
PILLARS OF COMPUTER SCIENCE, 4800 367-+, 2008 Peer-reviewedInvited
-
59(2) 180-191, Apr, 2007 Peer-reviewedInvited
-
LOGICAL METHODS IN COMPUTER SCIENCE, 2(3) 1-22, 2006 Peer-reviewedInvited
-
Theory and Applications of Categories, 17(2) 17-29, 2006 Peer-reviewed
-
TERM REWRITING AND APPLICATIONS, PROCEEDINGS, 4098 166-180, 2006 Peer-reviewed
-
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 15(2) 323-342, Apr, 2005 Peer-reviewed
-
FUNDAMENTA INFORMATICAE, 65(1-2) 153-172, Mar, 2005 Peer-reviewedInvited
-
Proceedings - Symposium on Logic in Computer Science, 72-81, 2005 Peer-reviewed
-
PUBLICATIONS OF THE RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES, 40(3) 991-1014, Sep, 2004 Peer-reviewedInvited
-
FUNCTIONAL AND LOGIC PROGRAMMING, 2998 229-243, 2004 Peer-reviewed
Misc.
5-
数学セミナー, 601 92-98, Nov, 2011 Invited
-
数理科学, 556 54-55, Oct, 2009 Invited
-
数学セミナー, 561 30-35, Jun, 2008 Invited
-
Computer Software, 19(1) 64-66, 2002 Invited
-
Computer Software, 17(1) 15-18, 2000 Invited
Books and Other Publications
4-
日本評論社, Sep, 2015
-
Distinguished Dissertation Series, Springer-Verlag, 1999
-
岩波書店, 1999 (ISBN: 4000061909)
Presentations
4-
Forum "Math-for-Industry" 2014, 2014 Invited
-
workshop on Quantum Physics and Logic, 2014 Invited
-
Workshop on Programming and Programming Languages, 2012 Invited
-
MSJ Autumn Meeting 2010, 2010 Invited
Professional Memberships
1Research Projects
14-
Grants-in-Aid for Scientific Research, Grant-in-Aid for JSPS Fellows, Japan Society for the Promotion of Science, Apr, 2022 - Mar, 2024
-
科学研究費助成事業, 基盤研究(C), 日本学術振興会, Apr, 2021 - Mar, 2024
-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (C), Japan Society for the Promotion of Science, Apr, 2018 - Mar, 2023
-
Grants-in-Aid for Scientific Research, Grant-in-Aid for JSPS Fellows, Japan Society for the Promotion of Science, Nov, 2017 - Mar, 2020
-
科学研究費助成事業, 特別研究員奨励費, 日本学術振興会, Nov, 2017 - Mar, 2020
-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (C), Japan Society for the Promotion of Science, Apr, 2015 - Mar, 2018
-
科学研究費補助金(基盤研究(C)), 文部科学省, Apr, 2011
-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (C), Japan Society for the Promotion of Science, Apr, 2008 - Mar, 2011
-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Young Scientists (B), Japan Society for the Promotion of Science, 2008 - 2010
-
科学研究費補助金(若手研究(B)), 若手研究(B), 文部科学省, Apr, 2005 - Mar, 2008
-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (C), Japan Society for the Promotion of Science, 2005 - 2006
-
戦略的創造研究推進事業(さきがけ) 「機能と構成」領域, 科学技術振興機構, 2002 - 2005
-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (C), Japan Society for the Promotion of Science, 2003 - 2004
-
科学研究費補助金(奨励研究(A)), 奨励研究(A), 文部科学省, 1999 - 2000