>>72 補足

山下サーベイ、昨夜ざっと流し読みで眺めてみたが
１）”The exposition was designed to be as self-contained as possible.”に拘りすぎで、失敗していると思う
　むしろ、加藤文元本か、星のIUT入門のように「ここの記述はIUT本体論文にゆずる」みたくしてページ数を圧縮した方が良かったかも
　（いろいろ、記述に工夫していることは、読み取れたけど、”こんなの読めないだろう”という箇所が結構多い）
　あるいは、（下記）Perelmanの証明に対する検証レポートのように、本論文よりもっとページ数が増えても良かったのでは？
２）望月先生のサイトから、この山下サーベイに対するリンクが張られていない
　”Bx (201x), 000?000”がねー、もう2020年だからねー（＾＾；
３）望月先生もいかん、はっきり「ここを、こうしろ」って指示出さないと
　山下サーベイは、フェセンコ先生とのバトルがあったんだよね。フェセンコ先生が酷評したんだ、たしか。おれんとこのM生レベルだと
　サーベイの初版には、「お前こそ分かってない」とか書いてあった
　そこは、水に流して、ちゃんと”Bx (202x)”で掲載になるようにしてやらないと。それも教授の仕事だろ（＾＾；

（参考）
http://www.kurims.kyoto-u.ac.jp/~gokun/DOCUMENTS/abc2019Jul5.pdf
RIMS K?oky?uroku Bessatsu
Bx (201x), 000?000
A PROOF OF THE ABC CONJECTURE AFTER MOCHIZUKI By Go Yamashita last updated on 8/July/2019.
Abstract
We give a survey of S. Mochizuki’s ingenious inter-universal Teichm¨uller theory and explain how it gives rise to Diophantine inequalities.
The exposition was designed to be as self-contained as possible.

https://en.wikipedia.org/wiki/List_of_long_mathematical_proofs
List of long mathematical proofs

・2003 Poincare conjecture, Geometrization theorem, Geometrization conjecture. Perelman's original proofs of the Poincare conjecture and the Geometrization conjecture were not lengthy, but were rather sketchy. Several other mathematicians have published proofs with the details filled in, which come to several hundred pages.