>>817
＞Taylor Dupuy先生、IUTでDr論文書かせるつもり？
＞どうも、>>810のPDF見ると、そういう雰囲気あるね（＾＾；

例えば、>>810より下記のページご参照（＾＾
（注：PDFスライドは、全体で86枚あるが、ページ付けは30ページである）
”Results with Hilado”と、Hilado氏の成果を強調しているんだ
そして、P17で、Scholze-Stixの議論にも触れている（Taylor Dupuy先生は、勿論望月支持でしょうね）
https://www.dropbox.com/s/b63figtzrg86u5t/IUTFAQ.pdf?
Spring 2019, University of Tennesse Knoxville, Barrett Lectures A User's Guide to Mochizuki's Inequality

P5
Results with Hilado
Theorem (Dupuy-Hilado, Mochizuki)
Assume IUT3 Corollary 3.12. There exists some constant A0 such
that for every prime ` we have

P6
Computations with Hilado
Bounds showing dependence on the eld of `-torsion:
Theorem (Dupuy-Hilado, Mochizuki)
Assume IUT3 Corollary 3.12. If K = F(EF0 [`]) then we have

P17
Scholze-Stix
Naive Relation between Pq and Pθ:
Scholze-Stix assert that this relation is the only relation.
Mochizuki interprets what they say as a congruence.

P19
(People looking at the slides online: look at the expanded
discussion around these points both documents.)