>>404
たしかフィールズ受賞者で初めて民間で働いた人だと思う
MSRはMSからあれやこれや指図されるのが少なくてかなりいい環境らしい
Tex作った人もここにいたはず