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