（転載）
応援スレ44 https://rio2016.5ch.net/test/read.cgi/math/1586655469/174-177 より
山下先生の下記
http://www.kurims.kyoto-u.ac.jp/~gokun/DOCUMENTS/abc2019Jul5.pdf
A PROOF OF THE ABC CONJECTURE AFTER MOCHIZUKI By Go Yamashita preprint. last updated on 8/July/2019.

が、IUTの準備論文を含むし、用語集、数学記号集として使えることが分かった（＾＾
あと、Indexが最後についているので便利です

山下先生のサーベイを過小評価していたな、ごめん（＾＾；
なお、もう少し下のレベル”Θ±ell"などの解説からが欲しいけどな、私らには（＾＾
以上

これをIUTと比較すると
IUTをK2に例えて、仮に9000ｍ級の山登りとすると

IUT論文は、7合目 7000ｍくらいから始まっている感じ
山下先生サーベイは、学部1000〜2000ｍくらいからのコンパクトなガイドになっている感じですね

後ろに、Appendix A〜Cも付けてあって
C.4. On the Prime Number Theorem.
C.5. On the Residual Finiteness of Free Groups.
とか、基本的な知識の補足もある
C.6. Some Lists on Inter-universal Teichmuller Theory
とかは、IUTの重要な記号の一覧ですかね

P366
A.3. Hodge-Arakelov-theoretic Comparison Theorem.で
”Note that these can be considered as a discrete analogue of the calculation of Gaussian integral
is a Gaussian distribution (i.e., j → j^2) in the cartesian coordinate
is a calculation in the polar coordinate ・・・”
とか、望月先生の講演ネタで使っていた話の解説もあるな

Cor 3.12は P359
”Corollary 13.13. (Log-volume Estimates for -Pilot Objects, [IUTchIII, Corollary 3.12])
We write
-｜ log(θ)｜∈ R ∪{+∞}”
あと P360
”Then we obtain
-｜ log(q)｜＜ -｜ log(θ)｜”
で、IUT III Cor3.12 になるけどねｗ（＾＾；
（Proof.は、その直後から4ページほどある）
山下サーベイ論文は、それなりに面白いわ（＾＾