2001年4月 ETAPS2001 Best Theoretical Paper Award European Association for Theoretical Computer Science Masahito Hasegawa, Yoshihiko Kakutani