2000年代中頃には
今の論文の原型はできてたんだな
http://realsv.ms.u-tokyo.ac.jp/ramgen/conference/2004arithmeticgeometry/0218b_mochizuki.rm