Research

Interests

• Functional programming
• Program transformation, especially function fusion (applying to regular-expression-typed functions)
• Skeletal parallel programming

Projects

• Robust Software Construction in Superrobust Computation Project of the 21st COE Program "Information Science and Technology Strategic Core"
• Programmable Structured Document Project in e-Society
• Skeletal Parallelism ("ske-par") group (with Hideya Iwasaki, Zhenjiang Hu, Yasushi Hayashi, Kiminori Matsuzaki, and Yoshiki Akashi)

Events

The following are the events I have (or had) relations with (mostly just as a helper).

void

Finished events

DSW04

The First Dependable Software Workshop. Feb 23 -- 24, 2004, University of Tokyo (Hongo).

2nd PSD

The Second Workshop on Programmable Structured Documents. Feb 20 -- 2, Hakone.

PPL Summer School 2003

The First Summer School on Programming and Programming Languages. Sep 15, 2003, Aichi Prefectural University.

WRSC2003

Workshop on Robust Software Construction. Feb 28 -- Mar 2, 2003, Hayama.

FLOPS2002

Sixth International Symposium on Functional and Logic Programming. Sep 15 -- 17, 2002, Aizu.

FLOPS2001

Fifth International Symposium on Functional and Logic Programming. Mar 7 -- 9, 2001, Waseda.

PE Day

Partial Evaluation and Program Transformation Day. Nov 15, 1999, Waseda.