長谷川 真人

J-GLOBALへ         更新日: 18/06/19 17:18
 
アバター
研究者氏名
長谷川 真人
eメール
hasseikurims.kyoto-u.ac.jp
URL
http://www.kurims.kyoto-u.ac.jp/~hassei/
所属
京都大学
部署
数理解析研究所
職名
教授
学位
Ph.D.
科研費研究者番号
50293973

プロフィール

1992年京都大学理学部卒業,1994年京都大学大学院理学研究科修士課程数理解析専攻修了,1997年エディンバラ大学計算機科学科博士課程修了.プログラミング言語の意味論および関連する圏論の話題などについて研究しています.

研究分野

 
 

経歴

 
2007年4月
 - 
現在
京都大学 数理解析研究所 教授
 
2002年11月
 - 
2006年3月
科学技術振興機構 戦略的創造研究推進事業 「機能と構成」領域 研究者
 
2002年4月
 - 
2007年3月
京都大学 数理解析研究所 助教授
 
1999年6月
 - 
2002年3月
京都大学 数理解析研究所 講師
 
1997年7月
 - 
1999年5月
京都大学 数理解析研究所 助手
 

受賞

 
2008年4月
科学技術分野の文部科学大臣表彰若手科学者賞
 
2005年11月
日本IBM 第19回日本IBM科学賞
 
2001年4月
European Association for Theoretical Computer Science ETAPS2001 Best Theoretical Paper Award
受賞者: Masahito Hasegawa, Yoshihiko Kakutani
 
1999年11月
British Computer Society他 Distinguished Dissertations Award
 
1999年6月
日本ソフトウェア科学会 第15回大会高橋奨励賞
 

論文

 
Linear Exponential Comonads without Symmetry
長谷川 真人
Electronic Proceedings in Theoretical Computer Science   238 54-63   2016年   [査読有り]
Traced *-autonomous categories are compact closed
T. Hajgató; M. Hasegawa
Theory and Applications of Categories   28 206-212   2013年   [査読有り]
M. Hasegawa
Mathematical Structures in Computer Science   22(4) 618-650   2012年8月   [査読有り]
プログラム意味論とトポ白ジー一再帰・相互作用・結び目一
長谷川真人
日本数学会2010 年度秋季総合分科会企画特別講演アブトラクト   37-49   2010年9月   [招待有り]
M. Hasegawa; S.-Y. Katsumata
Mathematical Proceedings of the Cambridge Philosophical Society   148(1) 107-109   2010年1月   [査読有り]
M. Hasegawa
Electronic Notes in Theoretical Computer Science   265 337-350   2010年   [査読有り]
中田 景子; 長谷川 真人
Journal of Functional Programming   19(6) 699-722   2009年11月   [査読有り]
長谷川 真人
Mathematical Structures in Computer Science   19(2) 217-244   2009年4月   [査読有り]
M. Hasegawa; M. Hofmann; G. Plotkin
Lecture Notes in Computer Science   4800 367-385   2008年   [査読有り][招待有り]
再帰プログラムの意味論について
長谷川 真人
数学   59(2) 180-191   2007年4月   [査読有り][招待有り]
Relational parametricity and control
長谷川 真人
Logical Methods in Computer Science   2(3:3) 1-22   2006年   [査読有り][招待有り]
Coherence of the double involution on *-autonomous categories
J.R.B. Cockett; 長谷川 真人; R.A.G. Seely
Theory and Applications of Categories   17(2) 17-29   2006年   [査読有り]
A terminating and confluent linear lambda calculus
Y. Ohta; M. Hasegawa
Lecture Notes in Computer Science   4098 166-180   2006年   [査読有り]
長谷川 真人
Mathematical Structures in Computer Science   15(2) 323-342   2005年4月   [査読有り]
Parameterizations and fixed-point operators on control categories
角谷 良彦 ; 長谷川 真人
Fundamenta Informaticae   65(1-2) 153-172   2005年3月   [査読有り][招待有り]
長谷川 真人
Publications of the Research Institute for Mathematical Sciences   40(3) 991-1014   2004年9月   [査読有り][招待有り]
Semantics of Linear Continuation-Passing in Call-by-Name
M. Hasegawa
Lecture Notes in Computer Science   2998 229-243   2004年   [査読有り]
Y. Kameyama; M. Hasegawa
ACM SIGPLAN Notices   38(9) 177-188   2003年9月   [査読有り]
Parameterizations and fixed-point operators on control categories
Y. Kakutani; M. Hasegawa
Lecture Notes in Computer Science   2701 180-194   2003年   [査読有り]
M. Hasegawa
Electronic Notes in Theoretical Computer Science   69 145-163   2003年   [査読有り]
長谷川 真人, 角谷 良彦
Journal of Higher-Order and Symbolic Computation   15(2/3) 235-264   2002年   [査読有り][招待有り]
Classical linear logic of implications
長谷川真人
Springer Lecture Notes in Computer Science   2471 458-472   2002年   [査読有り]
長谷川真人
Lecture Notes in Computer Science   2441 167-182   2002年   [査読有り]
Axioms for Recursion in Call-by-Value (Extended Abstract)
長谷川真人; 角谷良彦
Lecture Notes in Computer Science   2030 246-260   2001年4月   [査読有り]
Girard translation and logical predicates
長谷川 真人
Journal of Functional Programming   10(1) 77-89   2000年   [査読有り]
再帰的プログラムの意味論とトレース付きモノイダルカテゴリ
長谷川真人
コンピュータソフトウェア   16(2) 150-154   1999年3月   [査読有り]
Logical predicates for intuitionistic linear type theories
Hasegawa, M
Lecture Notes in Computer Science   1581 198-212   1999年   [査読有り]
Barber, A; Gardner, P; Hasegawa, M; Plotkin, G
Lecture Notes in Computer Science   1414 78-97   1998年   [査読有り]
Philippa Gardner, Masahito Hasegawa
Lecture Notes in Computer Science   1281 583-603   1997年9月   [査読有り]
Hasegawa, M
Lecture Notes in Computer Science   1210 196-213   1997年   [査読有り]
Masahito Hasegawa
Lecture Notes in Computer Science   953 200-219   1995年8月   [査読有り]

Misc

 
プログラム意味論と圈論/計算の「不変量」を圈論で捉える
長谷川真人
数学セミナー   601 92-98   2011年11月   [依頼有り]
計算機科学と結び目不変量
長谷川真人
数理科学   556 54-55   2009年10月   [依頼有り]
再帰プログラム
長谷川真人
数学セミナー   561 30-35   2008年6月   [依頼有り]
TACS 2001 参加報告
長谷川真人
コンピュータソフトウェア   19(1) 64-66   2002年   [依頼有り]
大晦日の草稿
長谷川真人
コンピュータソフトウェア   17(1) 15-18   2000年   [依頼有り]

書籍等出版物

 
圏論の歩き方
圏論の歩き方委員会 (編) (担当:共著, 範囲:第4章)
日本評論社   2015年9月   
コンピュータサイエンス入門:論理とプログラム意味論
田辺誠, 中島玲二, 長谷川 真人 (担当:共著)
岩波書店   1999年   ISBN:4000061909

講演・口頭発表等

 
Programming languages, tensor categories, and quantum topology [招待有り]
長谷川 真人
Forum "Math-for-Industry" 2014   2014年   
Denotational semantics and quantum topology [招待有り]
長谷川 真人
workshop on Quantum Physics and Logic   2014年   
プログラム意味論・テンソル圏・量子トポロジー [招待有り]
長谷川 真人
プログラミングおよびプログラミング言語ワークショップ   2012年   
プログラム意味論とトポロジー - 再帰・相互作用・結び目 - [招待有り]
長谷川 真人
日本数学会2010年度秋季総合分科会   2010年   

競争的資金等の研究課題

 
文部科学省: 科学研究費補助金(基盤研究(C))
研究期間: 2011年4月       代表者: 長谷川 真人
文部科学省: 科学研究費補助金(基盤研究(C))
研究期間: 2008年4月 - 2011年3月
文部科学省: 科学研究費補助金(若手研究(B))
研究期間: 2005年4月 - 2008年3月
「相互作用の幾何」(Geometry of Interaction=GoI)は、もともと、Girardが、数理論理学の証明論における「証明の標準化」の過程の数学モデルとして考案したものであるが、その後、Abramskyらにより、双方向に作用しあう計算プロセス同士の関係を理解するための枠組みとして、一般化されたGoIの理論が展開されている。本研究では、GoIを、非決定性計算プロセスを解釈できるように拡張した枠組み、すなわち「非決定性相互作用の幾何」、(Geometry of Nondeter...
文部科学省: 科学研究費補助金(基盤研究(C))
研究期間: 2005年 - 2006年
関数型プログラミングの言語モデルとして、2階線形論理を考える。論理としての側面を無視して、計算体系として考えるとき、不動点演算子は再帰プログラミングをサポートするために必須の構造である。そこで2階線形論理に不動点演算子をつけ加えた体系を考え、その計算体系としての構造を究明するのが目標である。不動点演算子の存在は、構造を豊かにする一方で、モデルの構成を著しく困難にしている。不動点演算子の解釈にまつわる様々な性質を研究対象とした。抽象的な圏論モデルの中での不動点演算子の振る舞いと、実モデルにお...
文部科学省: 科学研究費補助金(基盤研究(C))
研究期間: 2003年 - 2004年
直観主義線形論理のカテゴリカルセマンティクスを、計算規則と解釈することを試みた。型付きラムダ計算の背後にある数学的理論として、カデゴリカルセマンティクスは古くから知られた基本的な理論である。実際、両者はある意味等価であり、そのことからいろいろな結果が得られる。しかし、このときの等価性はラムダ計算における計算規則を等式として見たときのものである。いわば、計算規則を静的なものと見たときの関係として、従来はとらえられてきた。われわれは、計算規則を動的、すなわち操作的にとらえたときにも、カテゴリカ...