たらおさんのプロフィール

はてなで働くエンジニア

■作ったもの / 制作に関わったもの

• GitHub
• CPAN
• はてなブックマーク

■よく使うプログラミング言語

• C++
• OCaml
• Ruby
• Perl
• ECMAScript
• TeX

■論文

• Lintaro Ina and Atsushi Igarashi. Gradual typing for generics. In Proceedings of the ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2011), Portland, OR, October 2011. (PDF)
• Lintaro Ina and Atsushi Igarashi. Towards gradual typing for generics. In Proceedings of the 1st International Workshop on Script to Program Evolution (STOP2009), Genova, Italy, July 2009. (PDF)
• 伊奈 林太郎, 五十嵐 淳. Featherweight Java のための漸進的型付け. コンピュータソフトウェア, 26(2):18–40, May 2009. PPL2008特集号.
• 伊奈 林太郎, 五十嵐 淳. Featherweight Java のための漸進的型付け. In 第10回プログラミングおよびプログラミング言語ワークショップ(PPL2008)オンライン論文集, pages 17–31, 仙台市太白区, March 2008. 日本ソフトウェア科学会. http://www.nue.riec.tohoku.ac.jp/ppl2008/ . (PDF)

べ、べつにJavaが好きでJavaの論文書いてるわけじゃないんだからねっ！

伊奈 林太郎 (INA Lintaro)

男

1984-09-26

2000-04 愛知県立半田高等学校 入学

2001-08 休学 (フィンランドへ1年間留学のため)

2002-08 復学

2004-03 愛知県立半田高等学校 卒業

2004-04 京都大学 工学部情報学科 入学

2008-03 京都大学 工学部情報学科 卒業

2008-04 京都大学 大学院情報学研究科 修士課程 入学

2010-03 京都大学 大学院情報学研究科 修士課程 修了

2010-04 京都大学 大学院情報学研究科 博士後期課程 入学

2013-03 京都大学 大学院情報学研究科 博士後期課程 研究指導認定退学

京都市中京区

愛知県常滑市