Information Processing Laboratory |
| Research |
| My main interest is in programming languages and
systems, especially functional programming and program transformation. I am
very interested in program calculation based on
programming algebras, and I am looking into how to apply this theory to
automatic program optimization, systematic parallelization of sequential
programs, and efficient manipulation of structured documents. At the moment, I am working on the following projects (some links are to Japanese pages).
|
| Publications |
|
| Academic Activities |
I am now involved in the following
conferences/workshops/schools. Please consider submission of your papers or
participation.
Here are pointers to some previous events:
ICFP 2004,
WFLP 2004,
CMPP
2004,
PAPP 2004,
APLAS 2003,
PPL Summer School
2003,
WRSC 2003,
APLAS 2002,
FLOPS 2002,
MPC 2002,
WAAAPL 2002,
PPL 2002,
PEPM
2002,
TACS 2001,
PPL 2001,
FLOPS 2001,
MPC 2000,
PPL 2000,
PPL'99,
MPC'98. |
| Teaching |
I like teaching. Some materials are available online.
|
| Contact Information |
|