長谷川 立准教授
HASEGAWA Ryu
数理科学研究科 数学科
| メールアドレス | ryu@ms.u-tokyo.ac.jp |
|---|---|
| 電話番号 | 03-5465-8337 | 48337（内線） |
| 居室 | 駒場・数理科学研究科棟4階464号室 |
| 外部リンク |
研究分野
理論計算機科学
研究テーマ
型理論・プログラミング言語のセマンティクス
研究内容の概要
プログラミング言語、あるいはそれを抽象化した言語・計算体系の構造を究明することを目標にしている。複雑な構造をもったプログラミング言語をいろいろなレベルで抽象化することで、言語が持っている本質的な構造を抽出し、その性質を論じることができる。特に、数学に由来する構造を用いた意味論（セマンティクス）を構築することで、言語のもつ数学的な本質をとらえることをめざしている。
キーワード
ラムダ計算、線形論理、関数型プログラミング、カリー・ハワード同型、型理論、セマンティクス