On a side note: What is the Latex font name used in this document (Published by Shinichi Mochizuki)?

http://www.kurims.kyoto-u.ac.jp/~motizuki/IUTeich%20Verifica...

Looks really nice to eye.