長谷川 真人
Masahito Hasegawa
更新日: 02/01
基本情報
- 所属
- 京都大学 数理解析研究所 教授
- 学位
-
Ph.D.
- 研究者番号
- 50293973
- J-GLOBAL ID
- 200901067385624021
- researchmap会員ID
- 1000258714
- 外部リンク
1992年京都大学理学部卒業,1994年京都大学大学院理学研究科修士課程数理解析専攻修了,1997年エディンバラ大学計算機科学科博士課程修了.プログラミング言語の意味論および関連する圏論の話題などについて研究しています.
研究キーワード
14経歴
5-
2007年4月 - 現在
-
2002年4月 - 2007年3月
-
2002年11月 - 2006年3月
-
1999年6月 - 2002年3月
-
1997年7月 - 1999年5月
受賞
6-
2008年4月
-
2005年11月
-
1999年6月
論文
34-
Electronic Proceedings in Theoretical Computer Science 292 31-42 2019年4月15日 査読有り
-
Theory and Applications of Categories 33(37) 1145-1157 2018年11月 査読有り
-
Electronic Proceedings in Theoretical Computer Science 238 54-63 2016年 査読有り
-
THEORY AND APPLICATIONS OF CATEGORIES 28 206-212 2013年 査読有り
-
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE 22(4) 618-650 2012年8月 査読有り
-
Electronic Notes in Theoretical Computer Science 265(C) 337-350 2010年9月6日 査読有り
-
日本数学会2010 年度秋季総合分科会企画特別講演アブトラクト 37-49 2010年9月 招待有り
-
MATHEMATICAL PROCEEDINGS OF THE CAMBRIDGE PHILOSOPHICAL SOCIETY 148(1) 107-109 2010年1月 査読有り
-
JOURNAL OF FUNCTIONAL PROGRAMMING 19(6) 699-722 2009年11月 査読有り
-
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE 19(2) 217-244 2009年4月 査読有り
-
PILLARS OF COMPUTER SCIENCE 4800 367-+ 2008年 査読有り招待有り
-
数学 59(2) 180-191 2007年4月 査読有り招待有り
-
LOGICAL METHODS IN COMPUTER SCIENCE 2(3) 1-22 2006年 査読有り招待有り
-
Theory and Applications of Categories 17(2) 17-29 2006年 査読有り
-
TERM REWRITING AND APPLICATIONS, PROCEEDINGS 4098 166-180 2006年 査読有り
-
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE 15(2) 323-342 2005年4月 査読有り
-
FUNDAMENTA INFORMATICAE 65(1-2) 153-172 2005年3月 査読有り招待有り
-
Proceedings - Symposium on Logic in Computer Science 72-81 2005年 査読有り
-
PUBLICATIONS OF THE RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES 40(3) 991-1014 2004年9月 査読有り招待有り
-
FUNCTIONAL AND LOGIC PROGRAMMING 2998 229-243 2004年 査読有り
MISC
5-
数学セミナー 601 92-98 2011年11月 招待有り
-
数理科学 556 54-55 2009年10月 招待有り
-
数学セミナー 561 30-35 2008年6月 招待有り
-
コンピュータソフトウェア 19(1) 64-66 2002年 招待有り
-
コンピュータソフトウェア 17(1) 15-18 2000年 招待有り
書籍等出版物
4-
日本評論社 2015年9月
-
Distinguished Dissertation Series, Springer-Verlag 1999年
-
岩波書店 1999年 (ISBN: 4000061909)
講演・口頭発表等
4-
Forum "Math-for-Industry" 2014 2014年 招待有り
-
workshop on Quantum Physics and Logic 2014年 招待有り
-
プログラミングおよびプログラミング言語ワークショップ 2012年 招待有り
-
日本数学会2010年度秋季総合分科会 2010年 招待有り
所属学協会
1共同研究・競争的資金等の研究課題
14-
日本学術振興会 科学研究費助成事業 特別研究員奨励費 2022年4月 - 2024年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2021年4月 - 2024年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2018年4月 - 2023年3月
-
日本学術振興会 科学研究費助成事業 特別研究員奨励費 2017年11月 - 2020年3月
-
日本学術振興会 科学研究費助成事業 特別研究員奨励費 2017年11月 - 2020年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2015年4月 - 2018年3月
-
文部科学省 科学研究費補助金(基盤研究(C)) 2011年4月
-
文部科学省 科学研究費補助金(基盤研究(C)) 基盤研究(C) 2008年4月 - 2011年3月
-
日本学術振興会 科学研究費助成事業 若手研究(B) 2008年 - 2010年
-
文部科学省 科学研究費補助金(若手研究(B)) 若手研究(B) 2005年4月 - 2008年3月
-
文部科学省 科学研究費補助金(基盤研究(C)) 基盤研究(C) 2005年 - 2006年
-
科学技術振興機構 戦略的創造研究推進事業(さきがけ) 「機能と構成」領域 2002年 - 2005年
-
文部科学省 科学研究費補助金(基盤研究(C)) 基盤研究(C) 2003年 - 2004年
-
文部科学省 科学研究費補助金(奨励研究(A)) 奨励研究(A) 1999年 - 2000年