Professor in Computer Science
Japanese version of this page
Download and enjoy
A programming and modelling language with model checking and an integrated visual environment
Eleventh International Symposium on Functional and Logic Programming
(FLOPS 2012, Kobe, Japan, May 23-25, 2012).
25th International Workshop on Languages and Compilers for Parallel Computing
(LCPC2012, Tokyo, Japan, September 11-13, 2012).
Publications (English + Japanese)
The following information is currently available only in Japanese:
Introduction to the Ueda Lab. (for undergraduates)
Last update: November 18, 2013
ueda at ueda.info.waseda.ac.jp