>>439
基礎論屋さん、必死だね

>おまえ「可能です」って書いてあってその証明どこにも書いてないのわからんの？
>証明がわかるかわからないかじゃなくて書いてあるか書いてないかわからんの？
>それすらわからないで何言ってんの？

・IUT論文長いので、PDFの単語検索をかけたよ。“species”で、ヒットするのはIUT Iの冒頭のP22の１か所のみで
　あとは論文本体には皆無で、IUT IVの付録の”§3. Inter-universal Formalism: the Language of Species”まで飛ぶ
・つまりは、プロレスで言えば、本来のリング内では“species”なしで
　その後に 場外のIUT IV §3で、“species”論を、望月氏は一席ぶっているんだねｗ
・IUT IV §3は、本来のリング外だから
　そこでなにかあっても、本体の部分は殆ど無関係ですよ（最悪、（着想部分？ or 勘違い部分？のｗ）IUT IV §3と、IUT Iの冒頭のP22の１か所を削除すれば良いだけのことよ。それでも論文本体は成り立つ！）

(参考)
https://www.kurims.kyoto-u.ac.jp/~motizuki/papers-japanese.html
望月新一
宇宙際Teichmuller理論
[1] Inter-universal Teichmuller Theory I: Construction of Hodge Theaters. PDF NEW !! (2020-05-18)
[2] Inter-universal Teichmuller Theory II: Hodge-Arakelov-theoretic Evaluation. PDF NEW !! (2020-12-23)
[3] Inter-universal Teichmuller Theory III: Canonical Splittings of the Log-theta-lattice. PDF NEW !! (2020-05-18)
[4] Inter-universal Teichmuller Theory IV: Log-volume Computations and Set-theoretic Foundations. PDF
　　NEW !! (2020-04-22)

・Inter-universal Teichmuller Theory I で、“species”は冒頭の１か所のみ
P22
At this point, the careful reader will note that the above discussion of the
inter-universal aspects of the theory of the present series of papers depends, in
an essential way, on the issue of distinguishing different “types of mathematical
objects” and hence, in particular, on the notion of a “type of mathematical object”.
This notion may be formalized via the language of “species”, which we develop
in the final portion of [IUTchIV].

・Inter-universal Teichmuller Theory I,IIは、皆無

・Inter-universal Teichmuller Theory IVは、§3で出てくるが、§3はあくまで付け足し解説で、IUTの本体数学外
§3. Inter-universal Formalism: the Language of Species