About Myself

Master's student in Asai laboratory, Dept. of Information Science, Ochanomizu university. I am working with Kenichi Asai.

Email: ishii.yuki (at) is.ocha.ac.jp

Address: 2-1-1, Otsuka, Bunkyo-ku, Tokyo 112-8610 Japan
Tel: +81-3-5978-5388

Research interests

Programming and Programming Languages, especially Functional programming languages.

• Debugging of Types
• Error messages
• Algorithm
• Type Theory

Recent research topics

• Type debugging using compiler's type inference engine (in OCaml)
• Useful error messages for novice programmers