長谷川 立
| 名前 | 長谷川 立 / HASEGAWA Ryu |
|---|---|
| 学位 | 京都大学博士（理学） |
| 職名 | 准教授 |
| 所属 | 大学院数理科学研究科
数理科学専攻離散数理学講座 |
| 所属サイトURL | http://www.ms.u-tokyo.ac.jp/index-j.html |
| 専門分野 | 理論計算機科学 |
| 研究テーマ | 型理論，プログラミング言語論 |
| 研究テーマに関するキーワード | 型理論，プログラミング言語 |
| 実績等URL | http://www.ms.u-tokyo.ac.jp/teacher/hasegawa.html |
| Scopusページへのリンク | Scopus |
科研費（最新10件）
| 審査区分／研究分野 | |
|---|---|
| 研究課題キーワード |
