2001年4月 Best Theoretical Paper Award at ETAPS 2001 European Association for Theoretical Computer Science Yoshihiko Kakutani