望月新一　ABC予想論文を読む。新人にお勧めの基本動作。pdftotext処理編

Last updated at 2025-05-04Posted at 2022-04-22

書き直しの経緯

望月新一　ABC予想論文を読む。新人にお勧めの基本動作。pdftotext処理失敗編
https://qiita.com/kaizen_nagoya/items/b14e15e495d397c30c7e

でfi処理がうまくできなかった。調べた。

ligature 処理(pdftotext)
https://qiita.com/kaizen_nagoya/items/18388aef5928f2722d1b

記事を書きなおすことにした。

はじめに

IT業界で重要なことの一つに、情報源に基づいて動くという動作があります。

どういう情報が誰から発信されたか。
その情報源、元情報はどこか。
原文、原典、情報源にあたるということです。

マスメディアが報道したり、誰かが解説した文章に踊らされる必要はありません。
IT業界には、機械学習という道具があります。
どんなに難しい原文、原典、情報源であっても、機械学習などを利用すれば、
何かの専門家であれば、何か手がかりが見つかるはずです。

Inter-universal Teichmüller Theory (IUT) Summit 2021, RIMS workshop, September 7 - September 10 2021

この資料を閲覧できれば、だいぶ理解が進む可能性がある。
ぜひ、閲覧申請してみよう。数学の博士論文を書く予定というのがいいかもしれない。

IT業界で生き抜く上での基本行動として習慣づけるとよいでしょう。

文献であれば、参考文献の参考文献の参考文献まであたって、本当に最初に述べたのはどの論文かを確かめるようにしています。

参考文献駆動執筆(references driven writing)・デンソークリエイト編
https://qiita.com/kaizen_nagoya/items/b27b3f58b8bf265a5cd1

この記事を書いて自信を持ったこと

難解な論文を読んで、これまでにもいくつか意見を述べたことがある。

1. 誤植訂正

プログラム、英文でも誤植を報告してきた。
新しい版をいただいたこともあるし、ネットに名前を記載していただいている。

2. 名前空間、命名規則

望月論文を難解だという人がいる。
CFが、confer, 比較という意味と変数のCfでは意味が違う。

プログラマだと違和感がないかもしれない。定数は大文字、変数は小文字で、場合によっては意味が違う使い方をしていることもあるかもしれないと思って仕事している。

できれば、大文字、小文字の違いは、定数、変数、関数のような違いにとどめてもらえると嬉しい。
望月論文の命名解読をすれば、読み進むのにすごく楽になるかも。

3.時空変換

電気工学であれば、ラプラス変換のように、時間領域と空間領域を行き来して問題を簡単に解く。
ABC予想の証明に違和感はない。

数学者のネットで拝見した内容で、全部読んでないけどといって意見を述べている人がいた。
自分の馬鹿さ加減を表明していることに気がついていないらしい。

望月新一　ABC予想論文

京都大学数理解析研究所プレプリント
https://www.kurims.kyoto-u.ac.jp/preprint/preprint_y2012.html

RIMS-1757, Shinichi MOCHIZUKI, INTER-UNIVERSAL TEICHM"{U}LLER THEORY II: HODGE-ARAKELOV-THEORETIC EVALUATION, August , 2012
https://www.kurims.kyoto-u.ac.jp/preprint/file/RIMS1756.pdf

Inter-universal Teichmüller Theory (IUT) Summit 2021,
RIMS workshop, September 7 - September 10 2021
Organizer
https://www.kurims.kyoto-u.ac.jp/~motizuki/ExpHorizIUT21/WS4/ExpHorizIUT21-IUTSummit-notes.html

単語頻度帳

私の場合は、文献解読は、３つの方法を取っています。
1 単語頻度帳を作る。
2 参考文献の参考文献（の参考文献）を読む。
3 プログラムまたは本文の写経する。

この記事はまず１だけです。
四色問題はMicrosoftの方がSsreflectで書かれたそうなので３の方法を取ろうとして、５年の歳月が流れてしまっています。不完全性定理にいたっては、３０年たっても進んでいません。

これ以外の方法は、

該当分野の基礎理論の本を読む。
基礎理論の引用文献を読む。
著者が引用していないその著者の他の文献を読む（参考文献の参考文献（の参考文献）以外）
が考えられます。どんな方法で切り込もうと自由です。

何か、お気づきのことがあれば、ご教授くださると幸いです。
この作業よりも、作業途中の不完全性定理論文を読む方を優先させるかもしれません。

そちらも、Qiitaの記事で後ほど上げる予定です。そちらも、何か、知見があれば、ご教授くださると幸いです。

出現頻度の高い語を理解していれば、途中で挫折することも少なくなり、理解が構造的になります。

日本語付き単語帳

最初の表は巻末に移動した。単語帳を作成したスクリプト群も後ろに。

次に、日本語をつけようとしてみた。
2,440 種類　61,595 語

特徴

大文字を小文字にしている。数式で現れている上付き、下付きなどの違うがない。
文章で出てくる単語と、数式上の変数、定数、関数が同じ意味とは限らない。
数式上は違うものを表現していても、単語帳では同一分類で計数している。

英語は先頭の単語が大文字になる。他の位置でも大文字になるかどうかは文脈の解釈が必要で、機械学習させれば、それなりの精度で計算する。ここでは、意味の重複、誤解の発生する可能性を検討したいため、同一分類にしている。

一覧

順番	係数	Word	語
1	4400	the	その
2	4015	of	の
3	1455	a	一つの
4	1294	to	に
5	1247	in	に
6	1103	d	d
7	1081	v	v
8	971	i	私, i
9	937	that	それ
10	822	is	です
11	793	f	f
12	658	cf	confer, 比較
13	608	by	に
14	539	x	x
15	536	as	なので
16	506	we	私たち
17	450	and	と
18	439	for	ために
19	424	e	e
20	423	l	l(el)
21	407	be	である
22	375	theory	理論
23	359	c	c
24	334	with	と
25	328	an	一つの
26	325	nf	non-finite, 無限の
27	309	g	elliptic。楕円
28	307	ell	g
29	307	one	1
30	301	from	から
31	299	this	これ
32	297	ii	ii
33	294	dv	（変数名）
34	281	prime	第一の
35	279	j	j
36	273	may	かもしれない
37	272	which	どの
38	271	on	上に
39	270	remark	述べる
40	264	hodge	ホッジ(固有名詞)
41	242	natural	自然な
42	234	k	k
43	223	then	それから
44	221	group	班
45	210	definition	定義
46	201	it	それ
47	200	discussion	討論
48	193	t	t
49	186	n	n
50	182	example	例
51	181	data	与件
52	180	iii	iii
53	180	isomorphism	同型
54	167	proposition	命題
55	166	z	z
56	165	h	h
57	164	ht	Hodge Theater(短縮名)
58	160	poly	多
59	158	write	書く
60	157	associated	関連する
61	156	category	分類
62	156	teichmuller	(固有名詞)
63	152	are	である
64	152	if	もし
65	150	abstop	(固有名詞)
66	149	let	させて
67	147	various	様々
68	144	fl	field l-torsion(変数名)
69	144	thus	したがって
70	143	tp	tempered。楕円
71	141	present	現在
72	139	etth	(短縮名)
73	139	given	与えられた
74	139	over	以上
75	137	such	そのような
76	135	at	で
77	135	aut	automorphism、自己同形
78	135	between	の間に
79	135	cv	C valuations(変数名)
80	134	where	どこ
81	133	corollary	履歴書
82	131	structure	構造
83	131	theater	劇場
84	129	morphism	射
85	128	def	definition。定義
86	127	strips	剥ぐ
87	121	follows	続く
88	121	set	設定する
89	120	p	p
90	119	discussed	議論した
91	118	determined	決定
92	118	shall	しなければならない
93	117	theaters	劇場
94	116	also	またh
95	113	log	記録
96	110	isomorphisms	同型
97	108	groups	班
98	108	relative	相対的
99	107	iv	iv
100	107	theorem	定理
101	106	b	b
102	106	universal	万物の
103	105	mochizuki	望月(固有名詞)
104	105	respectively	それぞれ
105	104	collection	収集
106	104	strip	剥ぐ
107	103	inter	際
108	101	field	野
109	101	or	または
110	96	number	番号
111	94	etale	広い(フランス語）
112	94	papers	論文
113	94	series	系列
114	94	subgroup	副班
115	93	bridge	橋
116	92	frdi	（短縮名）
117	91	fj	（変数・関数名）
118	91	particular	特に
119	88	fig	figure, 図
120	87	bridges	橋
121	87	labcusp	laabel classes of cusp(関数名)
122	86	base	基づく
123	86	fmod	F modulo
124	85	immediately	すぐに
125	84	arithmetic	算術
126	84	point	点
127	84	theoretic	理論的
128	83	thought	考え
129	83	topological	位相的
130	82	geometry	幾何学
131	81	capsule	ふくろ
132	81	finite	有限の
133	80	via	経由
134	79	above	その上
135	79	action	行動
136	79	frobenioid	フロベニオイド
137	79	shinichi	新一、(固有名詞)
138	79	there	そこの
139	78	corresponding	対応する
140	75	symmetry	対称
141	74	curve	曲線
142	74	dj	D-prime-strips(変数名）
143	73	fundamental	基本的
144	72	full	満杯
145	72	not	いいえ
146	71	below	下
147	71	each	各
148	71	holomorphic	正則
149	71	morphisms	射
150	71	us	我ら
151	69	global	広範囲の
152	69	well	良い
153	68	element	要素
154	68	q	q
155	68	two	2
156	67	anabelian	遠アーベル（固有名詞）
157	67	following	続く
158	67	frobenius	フロベニウス
159	67	only	だけ
160	67	these	これらは
161	66	determines	決定する
162	65	up	上
163	64	any	どれか
164	64	hyperbolic	双曲線
165	63	dt	D-prime-strips(変数名）
166	63	index	索引
167	63	monoid	単系
168	63	proof	証拠
169	62	frobenioids	フロベニオイド
170	62	local	局所の
171	62	moreover	さらに
172	61	case	場合
173	61	note	記録
174	60	elliptic	楕円形
175	60	equipped	装備
176	60	fact	事実
177	60	galois	ガロア（固有名詞）
178	60	o	o
179	60	observe	観察する
180	60	other	他の
181	60	tempered	強化
182	60	underlying	基礎となる
183	60	vbad	bad valuation(変数名)
184	59	applying	適用中
185	59	elements	要素
186	59	initial	最初の
187	59	notation	表記
188	59	recall	想起
189	59	sort	整列
190	59	whose	だれの
191	58	defined	定義した
192	58	objects	もの
193	58	say	いう
194	58	since	以来
195	57	s	s
196	57	when	いつ
197	56	functor	要因
198	56	view	見る
199	55	adic	進座標系
200	54	fv	F-prime-strip(変数名）
201	54	theta	シータ
202	54	will	意思
203	53	cusp	cuspidal, 尖点の
204	53	cusps	cuspidals, 尖点の
205	53	labels	名札
206	53	picture	写真
207	53	sense	検出
208	52	mod	modulo, 剰余
209	52	pv	e residue characteristic of v.(変数名)
210	52	way	仕方
211	51	function	働き
212	51	link	連携
213	51	portion	部分
214	51	ring	指輪
215	51	semianbd	Semi-graphs of Anabelioids（短縮名）
216	51	use	使用する
217	50	combinatorial	組み合わせ論
218	50	hand	手
219	50	r	r
220	49	absolute	絶対
221	49	analytic	分析的に
222	49	another	別
223	49	assertion	主張
224	49	bijection	全単射
225	49	developed	発展した
226	49	profinite	すぐに（ラテン語）
227	47	define	定義
228	47	obtained	得た
229	47	scheme	図式
230	47	some	いくつかの
231	47	structures	構造
232	47	vv	（見当たらず）
233	46	here	ここ
234	46	more	もっと
235	46	next	次
236	46	refer	参照
237	45	canonical	規範的な
238	45	compatible	互換性
239	45	mono	一つの(ラテン語）
240	45	multiplicative	乗法
241	45	obtain	入手する
242	44	respective	それぞれ
243	43	corresponds	対応する
244	43	xf	xf(変数名)
245	42	considering	検討中
246	41	additive	添加する
247	41	admits	認める
248	41	coverings	網羅
249	41	curves	曲線
250	41	decomposition	分解
251	41	have	持ってる
252	41	notion	概念
253	41	pro	前へ（接頭語）
254	41	y	y
255	40	appear	現れる
256	40	categories	分類
257	40	construction	工事
258	40	iutchii	inter universal teichmuller(短縮名)
259	40	points	点
260	40	subgroups	副班
261	40	think	考える
262	40	together	一緒
263	39	capsules	ふくろ
264	39	characteristic	特性
265	39	indeed	確かに
266	38	fields	野
267	38	frdii	Frobenioid(短縮名)
268	38	hence	したがって、
269	38	image	画像
270	38	isomorphic	同形
271	38	monoids	単系
272	38	similar	似ている
273	38	situation	状況
274	37	automorphisms	自己同型
275	37	but	しかし
276	37	exists	存在する
277	37	m	m
278	37	positive	前向き
279	36	consider	検討
280	36	iutchiii	iutchi(短縮名)
281	36	quotient	商
282	36	theoretically	理論的には
283	35	arbitrary	任意
284	35	concerning	について
285	35	fashion	様式
286	35	finally	ついに
287	35	first	最初の
288	35	fixed	固定の
289	34	gal	Galois（関数名）
290	34	geometric	幾何学的
291	34	kv	kv（変数名）K-core
292	34	non	非
293	34	paper	論文
294	34	primes	素数
295	34	suppose	仮定する
296	34	symmetries	対称
297	33	classes	級
298	33	evaluation	評価
299	33	kummer	クマー（固有名詞）
300	33	type	型
301	32	denote	示す
302	32	induces	誘導
303	32	pair	対
304	32	single	単数
305	32	so	それで
306	32	tautological	同義反復
307	31	constructed	構築した
308	31	induced	誘発
309	31	its	これは
310	31	labeled	名札付き
311	31	object	物体
312	31	precisely	正確に
313	31	results	結果
314	31	sets	設定
315	31	unique	個性的
316	30	complex	繁雑
317	30	condition	調子
318	30	lemma	補題
319	30	lies	嘘
320	30	outer	外の
321	30	result	結果
322	29	algorithm	解放
323	29	classical	古典的
324	29	functorial	機能
325	29	indexed	索引付き
326	29	involved	関与
327	29	maps	地図
328	29	model	模型
329	29	nontrivial	自明ではない
330	29	section	節
331	29	torsion	ねじれ
332	28	conclude	結論
333	28	context	文脈
334	28	evident	明らか
335	28	examples	例
336	28	free	自由
337	28	gk	gk
338	28	has	もっている
339	28	label	名札
340	28	open	開いた
341	28	pp	pp
342	28	torsor	torsor
343	28	vgood	vgood
344	28	vnon	vnon
345	28	w	w
346	27	arise	発生する
347	27	automorphism	自己同型
348	27	certain	特定
349	27	conjugacy	共役
350	27	constituted	構成
351	27	equivalent	同等
352	27	output	出力
353	27	plane	飛行機
354	27	properties	属性
355	27	reconstructed	再構築
356	27	related	関連している
357	27	vi	６（ローマ数字）
358	26	being	であること
359	26	distinct	明確
360	26	gv	absolute Galois group
361	26	half	半分
362	26	role	役割
363	26	semi	半（接頭辞）
364	26	upper	上の
365	26	verifies	検証する
366	26	vmod	valuation modulo
367	25	all	すべて
368	25	definitions	定義
369	25	essentially	本質的に
370	25	form	形
371	25	ft	F-prime-strip
372	25	inertia	慣性
373	25	math	算数
374	25	respect	尊敬
375	25	sections	節
376	25	sl	sl
377	25	version	版
378	24	approach	方法
379	24	conjugate	共役
380	24	consisting	からなる
381	24	construct	構築する
382	24	covering	おおう
383	24	ef	an elliptic curve over a number field F
384	24	extension	拡大
385	24	hg	hg
386	24	important	重要
387	24	indeterminacy	不確定性
388	24	real	本当
389	24	regarded	みなす
390	23	arising	発生する
391	23	cmod	（見当たらず）
392	23	copy	複写
393	23	denotes	を示します
394	23	fiber	繊維
395	23	forms	書式
396	23	graph	図
397	23	inclusion	含む
398	23	order	注文
399	23	ox	（見当たらず）
400	23	property	財産
401	23	satisfies	満たす
402	23	th	番目の（接尾辞）

cf, 659

confer:比較
という短縮名と、変数名Cfの２種類がある。
変数名CfのCは

NF, 327

non-finite
NF - Hodge theaters, 327
Section 5 NF-Hodge theaters
Definition 5.5

Dv, 294

変数名。何の短縮名か未確認。

Abstop, 150

AbstopIIIの引用が150. I, IIは引用数がみあたっていない。
docker上のファイルはAbstopIIIのまま。

etth, 139

[EtTh] S. Mochizuki, The Etale Theta Function and its Frobenioid-theoretic Manifes- ´
tations, Publ. Res. Inst. Math. Sci. 45 (2009), pp. 227-349.

見当たらない

vvは、最初Wとした。Wが別にあった。（見当たらない）にした。
ox, cmodも見当たっていない。

ここまでの未解決事項（すぐにわかりそうなこと）

変数CFは何の短縮名か。
変数DVが何の短縮名か。
変数Dtは何の短縮名か。
NF は non finiteの短縮系で合っているか。
automorphismとismorphismの違いは何か。
prime strip のstripの意味は何か。
F-prime stripのFは何か。それがFjのFらしい。

Bibliography

URLは全て小川清調べ。arxivにあるものはarxivを優先したつもりです。本文が見当たらない場合は、なるべく参考文献のあるURLを示します。（作業中）

[Andr´e] Y. Andr´e, On a Geometric Description of Gal(Qp/Qp) and a p-adic Avatar of
GT , Duke Math. J. 119 (2003), pp. 1-39. https://arxiv.org/abs/math/0203181
[Asada] M. Asada, The faithfulness of the monodromy representations associated with
certain families of algebraic curves, J. Pure Appl. Algebra 159 (2001), pp.123-147. https://www.sciencedirect.com/science/article/pii/S0022404900000566
[Falt] G. Faltings, Endlichkeitss¨atze f¨ur Abelschen Variet¨aten ¨uber Zahlk¨orpern, Invent. Math. 73 (1983), pp. 349-366. https://eudml.org/doc/143051
[FRS] B. Fine, G. Rosenberger, and M. Stille, Conjugacy pinched and cyclically
pinched one-relator groups, Rev. Mat. Univ. Complut. Madrid 10 (1997), pp.207-227. https://arxiv.org/abs/1208.3992
[Groth] A. Grothendieck, letter to G. Faltings (June 1983) in Lochak, L. Schneps, Geometric Galois Actions; 1. Around Grothendieck’s Esquisse d’un Programme,
London Math. Soc. Lect. Note Ser. 242, Cambridge Univ. Press (1997).https://www.semanticscholar.org/paper/Around-Grothendieck's-Esquisse-d'un-programme-Schneps-Lochak/9ba3ed81774bde59a694bf9e11547e31f00c4e5a
[NodNon] Y. Hoshi, S. Mochizuki, On the Combinatorial Anabelian Geometry of Nodally
Nondegenerate Outer Representations, Hiroshima Math. J. 41 (2011), pp. 275-342. https://projecteuclid.org/journals/hiroshima-mathematical-journal/volume-41/issue-3/On-the-combinatorial-anabelian-geometry-of-nodally-nondegenerate-outer-representations/10.32917/hmj/1323700038.full?tab=ArticleLinkReference
[JP] K. Joshi and C. Pauly, Hitchin-Mochizuki morphism, opers, and Frobenius-destabilized vector bundles over curves, preprint.https://arxiv.org/abs/0912.3602
[Kim] M. Kim, The motivic fundamental group of P1 \ {0, 1, ∞} and the theorem of
Siegel, Invent. Math. 161 (2005), pp. 629-656. https://www.ihes.fr/~brown/MotivicPeriodsandP1minus3pointsv3.pdf
[Lang] S. Lang, Algebraic number theory, Addison-Wesley Publishing Co. (1970).https://www.pdfdrive.com/algebraic-number-theory-d188938191.html
[Lehto] O. Lehto, Univalent Functions and Teichm¨uller Spaces, Graduate Texts in
Mathematics 109, Springer, 1987.
[PrfGC] S. Mochizuki, The Profinite Grothendieck Conjecture for Closed Hyperbolic
Curves over Number Fields, J. Math. Sci. Univ. Tokyo 3 (1996), pp. 571-627.
[pOrd] S. Mochizuki, A Theory of Ordinary p-adic Curves, Publ. Res. Inst. Math. Sci.
32 (1996), pp. 957-1151.
[pTeich] S. Mochizuki, Foundations of p-adic Teichm¨uller Theory, AMS/IP Studies
in Advanced Mathematics 11, American Mathematical Society/International Press (1999).
[pGC] S. Mochizuki, The Local Pro-p Anabelian Geometry of Curves, Invent. Math.
138 (1999), pp. 319-423.
[HASurI] S. Mochizuki, A Survey of the Hodge-Arakelov Theory of Elliptic Curves I,
Arithmetic Fundamental Groups and Noncommutative Algebra, Proceedings of
Symposia in Pure Mathematics 70, American Mathematical Society (2002), pp. 533-569.
[HASurII] S. Mochizuki, A Survey of the Hodge-Arakelov Theory of Elliptic Curves II,
Algebraic Geometry 2000, Azumino, Adv. Stud. Pure Math. 36, Math. Soc. Japan (2002), pp. 81-114.
[AbsAnab] S. Mochizuki, The Absolute Anabelian Geometry of Hyperbolic Curves, Galois
Theory and Modular Forms, Kluwer Academic Publishers (2004), pp. 77-122.
[CanLift] S. Mochizuki, The Absolute Anabelian Geometry of Canonical Curves, Kazuya
Kato’s fiftieth birthday, Doc. Math. 2003, Extra Vol., pp. 609-640.
[SemiAnbd] S. Mochizuki, Semi-graphs of Anabelioids, Publ. Res. Inst. Math. Sci. 42
(2006), pp. 221-322.
[CombGC] S. Mochizuki, A combinatorial version of the Grothendieck conjecture, Tohoku
Math. J. 59 (2007), pp. 455-479.
[Cusp] S. Mochizuki, Absolute anabelian cuspidalizations of proper hyperbolic curves,
J. Math. Kyoto Univ. 47 (2007), pp. 451-539.
[FrdI] S. Mochizuki, The Geometry of Frobenioids I: The General Theory, Kyushu J.
Math. 62 (2008), pp. 293-400.
[FrdII] S. Mochizuki, The Geometry of Frobenioids II: Poly-Frobenioids, Kyushu J.
Math. 62 (2008), pp. 401-460.
[EtTh] S. Mochizuki, The Etale Theta Function and its Frobenioid-theoretic Manifes- ´
tations, Publ. Res. Inst. Math. Sci. 45 (2009), pp. 227-349.
[AbsTopI] S. Mochizuki, Topics in Absolute Anabelian Geometry I: Generalities, RIMS
Preprint 1624 (March 2008).
[AbsTopII] S. Mochizuki, Topics in Absolute Anabelian Geometry II: Decomposition Groups,
RIMS Preprint 1625 (March 2008).
[AbsTopIII] S. Mochizuki, Topics in Absolute Anabelian Geometry III: Global Reconstruction Algorithms, RIMS Preprint 1626 (March 2008).
[GenEll] S. Mochizuki, Arithmetic Elliptic Curves in General Position, Math. J. Okayama
Univ. 52 (2010), pp. 1-28.
[CombCusp] S. Mochizuki, On the Combinatorial Cuspidalization of Hyperbolic Curves,
Osaka J. Math. 47 (2010), pp. 651-715.
[IUTchII] S. Mochizuki, Inter-universal Teichm¨uller Theory II: Hodge-Arakelov-theoretic
Evaluation, preprint.
[IUTchIII] S. Mochizuki, Inter-universal Teichm¨uller Theory III: Canonical Splittings of
the Log-theta-lattice, preprint.
[IUTchIV] S. Mochizuki, Inter-universal Teichm¨uller Theory IV: Log-volume Computations and Set-theoretic Foundations, preprint.
[MNT] S. Mochizuki, H. Nakamura, A. Tamagawa, The Grothendieck conjecture on the fundamental groups of algebraic curves, Sugaku Expositions 14 (2001), pp.
31-53.
[Config] S. Mochizuki, A. Tamagawa, The algebraic and anabelian geometry of configuration spaces, Hokkaido Math. J. 37 (2008), pp. 75-131.
[NSW] J. Neukirch, A. Schmidt, K. Wingberg, Cohomology of number fields, Grundlehren
der Mathematischen Wissenschaften 323, Springer-Verlag (2000).
INTER-UNIVERSAL TEICHMULLER THEORY I 155 ¨
[RZ] Ribes and Zaleskii, Profinite Groups, Ergebnisse der Mathematik und ihrer
Grenzgebiete 3, Springer-Verlag (2000).
[Stb1] P. F. Stebe, A residual property of certain groups, Proc. Amer. Math. Soc. 26
(1970), pp. 37-42.
[Stb2] P. F. Stebe, Conjugacy separability of certain Fuchsian groups, Trans. Amer.
Math. Soc. 163 (1972), pp. 173-188.
[Stl] J. Stillwell, Classical topology and combinatorial group theory. Second edition,
Graduate Texts in Mathematics 72, Springer-Verlag (1993).
[Tama1] A. Tamagawa, The Grothendieck Conjecture for Affine Curves, Compositio
Math. 109 (1997), pp. 135-194.
[Tama2] A. Tamagawa, Resolution of nonsingularities of families of curves, Publ. Res.
Inst. Math. Sci. 40 (2004), pp. 1291-1336.
[Wiles] A. Wiles, Modular elliptic curves and Fermat’s last theorem, Ann. of Math.
141 (1995), pp. 443-551.

動画

加藤文元による宇宙際タイヒミュラー理論（英語字幕付き）
https://www.youtube.com/watch?v=kq4jbNl4lJk&t=245s

小学生でもわかる!?　宇宙際タイヒミュラー理論を解説　#ABC予想　#京都大 #RIMS #望月新一教授　「ガッキーも欅坂も、すべて宇宙際につながる」
https://www.youtube.com/watch?v=j-W50g6mOmQ

数学界の天才が証明したABC予想をわかりやすく解説してみた
https://www.youtube.com/watch?v=0rK_QkAUorQ

あとがき

作業は始まったばかりです。

どんな技術文書でも、自分で分析して、自分で訳してみたり、自分で写経（typing)すると、著者本人が何が考えていたか、ふっとわかる部分が出てきます。そうしたら、それは自分の考えの一部になっているかもしれません。
借り物のようで、自分の体の一部になっているような。

メディアで流れている解説を読んで解ったつもりになっているのとは違うことが身についているかもしれません。

これは次の２つの行事への参加記事です。

@torifukukaiou【毎日自動更新】新人プログラマ応援 - みんなで新人を育てよう！（2022年04月） LGTMランキング！
https://qiita.com/torifukukaiou/items/18dad64ba99aa5a40f95

@torifukukaiou 【毎日自動更新】データに関する記事を書こう！ LGTMランキング！
https://qiita.com/torifukukaiou/items/b10fa94764aaaa2c6db1

データは、単語データの解析から始めています。
phrase解析が得意な方のご協力をお待ちしています。
対象領域の得意な方のご助言をお待ちしています。

参考資料

岩波数学辞典　二つの版がCDに入ってお得
https://qiita.com/kaizen_nagoya/items/1210940fe2121423d777

adicなどを調べた。

docker処理

docker起動。今回は素のubuntuからはじめます。

bash

$ docker run -v /workspace/math:/tmp/math -it ubuntu /bin/bash

dockerでの作業

bash

# apt update; apt -y upgrade
# apt install -y poppler-utils vim
# cd /tmp/math
# vi wc.awk
# pdftotext -enc ASCII7 RIMS1756.pdf rims1756.txt
# awk -f wc.awk rims1756.txt > rims1756.wc

単語のSortは、端末の表計算ソフトで行い、rims1756sort.wcで保存し、

wc.awk

# Print list of word frequencies
# https://researchmap.jp/blogs/blog_entries/view/78451/c0ebdc81d4af21931f12f1993584b633
# https://qiita.com/kaizen_nagoya/items/319672853519990cee42

{
    $0 = tolower($0)    # 
    gsub(/[^a-z_ \t]/, " ", $0)  #
    for (i = 1; i <= NF; i++)
        freq[$i]++
}

END {
    for (word in freq)
        printf "%s\t%d\n", word, freq[word]
}

docker hubに登録した。

bash

$ docker commit 3668f95cc04b  kaizenjapan/mochizuki
# docker push kaizenjapan/mochizuki

利用する場合は、特に、ローカルフォルダを使わないのであれば、

bash

$ docker run -it kaizenjapan/mochizuki /bin/bash

でいいはず。

参考資料

Why abc is still a conjecture
PETER SCHOLZE AND JAKOB STIX
https://ncatlab.org/nlab/files/why_abc_is_still_a_conjecture.pdf

COMMENTS ON THE MANUSCRIPT BY SCHOLZE-STIX CONCERNING INTER-UNIVERSAL TEICHMULLER THEORY (IUTCH) ¨
Shinichi Mochizuki July 2018
https://www.kurims.kyoto-u.ac.jp/~motizuki/Cmt2018-05.pdf

Researchmap 望月新一
https://researchmap.jp/7000008539

望月新一
https://plaza.rakuten.co.jp/shinichi0329/

twitterにつける予定のタグを記載。

#望月新一 #ABC予想 #単語帳 #参考文献

<この項は書きかけです。順次追記します。>
This article is not completed. I will add some words and/or centences in order.
Este artículo no está completo. Agregaré algunas palabras en orden.

知人資料

' @kazuo_reve 私が効果を確認した「小川メソッド」
https://qiita.com/kazuo_reve/items/a3ea1d9171deeccc04da

' @kazuo_reve 新人の方によく展開している有益な情報
https://qiita.com/kazuo_reve/items/d1a3f0ee48e24bba38f1

' @kazuo_reve Vモデルについて勘違いしていたと思ったこと
https://qiita.com/kazuo_reve/items/46fddb094563bd9b2e1e

自己記事一覧

Qiitaで逆リンクを表示しなくなったような気がする。時々、スマフォで表示するとあらわっることがあり、完全に削除したのではなさそう。

４月以降、せっせとリンクリストを作り、統計を取って確率を説明しようとしている。
2025年２月末を目標にしている。

一覧の一覧( The directory of directories of mine.) Qiita(100)
https://qiita.com/kaizen_nagoya/items/7eb0e006543886138f39

仮説（0）一覧（目標100現在40）
https://qiita.com/kaizen_nagoya/items/f000506fe1837b3590df

Qiita(0)Qiita関連記事一覧（自分）
https://qiita.com/kaizen_nagoya/items/58db5fbf036b28e9dfa6

Error一覧 error(0)
https://qiita.com/kaizen_nagoya/items/48b6cbc8d68eae2c42b8

C++ Support(0)　
https://qiita.com/kaizen_nagoya/items/8720d26f762369a80514

Coding(0) Rules, C, Secure, MISRA and so on
https://qiita.com/kaizen_nagoya/items/400725644a8a0e90fbb0

Ethernet 記事一覧　Ethernet(0)
https://qiita.com/kaizen_nagoya/items/88d35e99f74aefc98794

Wireshark 一覧 wireshark(0)、Ethernet(48)
https://qiita.com/kaizen_nagoya/items/fbed841f61875c4731d0

線網（Wi-Fi）空中線(antenna)(0) 記事一覧(118/300目標)
https://qiita.com/kaizen_nagoya/items/5e5464ac2b24bd4cd001

なぜdockerで機械学習するか書籍・ソース一覧作成中 (目標100)
https://qiita.com/kaizen_nagoya/items/ddd12477544bf5ba85e2

プログラムちょい替え（0）一覧:4件
https://qiita.com/kaizen_nagoya/items/296d87ef4bfd516bc394

言語処理100本ノックをdockerで。python覚えるのに最適。:10+12
https://qiita.com/kaizen_nagoya/items/7e7eb7c543e0c18438c4

Python(0)記事をまとめたい。
https://qiita.com/kaizen_nagoya/items/088c57d70ab6904ebb53

安全（0）安全工学シンポジウムに向けて: 21
https://qiita.com/kaizen_nagoya/items/c5d78f3def8195cb2409

プログラマによる、プログラマのための、統計(0)と確率のプログラミングとその後
https://qiita.com/kaizen_nagoya/items/6e9897eb641268766909

転職(0)一覧
https://qiita.com/kaizen_nagoya/items/f77520d378d33451d6fe

技術士(0)一覧
https://qiita.com/kaizen_nagoya/items/ce4ccf4eb9c5600b89ea

Reserchmap(0) 一覧
https://qiita.com/kaizen_nagoya/items/506c79e562f406c4257e

物理記事　上位100
https://qiita.com/kaizen_nagoya/items/66e90fe31fbe3facc6ff

量子(0) 計算機, 量子力学
https://qiita.com/kaizen_nagoya/items/1cd954cb0eed92879fd4

数学関連記事１００
https://qiita.com/kaizen_nagoya/items/d8dadb49a6397e854c6d

coq(0) 一覧
https://qiita.com/kaizen_nagoya/items/d22f9995cf2173bc3b13

統計(0)一覧
https://qiita.com/kaizen_nagoya/items/80d3b221807e53e88aba

図(0) state, sequence and timing. UML and お絵描き
https://qiita.com/kaizen_nagoya/items/60440a882146aeee9e8f

色(0) 記事100書く切り口
https://qiita.com/kaizen_nagoya/items/22331c0335ed34326b9b

品質一覧
https://qiita.com/kaizen_nagoya/items/2b99b8e9db6d94b2e971

言語・文学記事　１００
https://qiita.com/kaizen_nagoya/items/42d58d5ef7fb53c407d6

医工連携関連記事一覧
https://qiita.com/kaizen_nagoya/items/6ab51c12ba51bc260a82

水の資料集(0)　方針と成果
https://qiita.com/kaizen_nagoya/items/f5dbb30087ea732b52aa

自動車　記事　１００
https://qiita.com/kaizen_nagoya/items/f7f0b9ab36569ad409c5

通信記事１００
https://qiita.com/kaizen_nagoya/items/1d67de5e1cd207b05ef7

日本語（０）一欄
https://qiita.com/kaizen_nagoya/items/7498dcfa3a9ba7fd1e68

英語(0) 一覧
https://qiita.com/kaizen_nagoya/items/680e3f5cbf9430486c7d

音楽　一覧(0)
https://qiita.com/kaizen_nagoya/items/b6e5f42bbfe3bbe40f5d

「@kazuo_reve 新人の方によく展開している有益な情報」確認一覧
https://qiita.com/kaizen_nagoya/items/b9380888d1e5a042646b

鉄道（０）鉄道のシステム考察はてっちゃんがてつだってくれる
https://qiita.com/kaizen_nagoya/items/faa4ea03d91d901a618a

OSEK OS設計の基礎　OSEK(100)
https://qiita.com/kaizen_nagoya/items/7528a22a14242d2d58a3

coding (101) 一覧を作成し始めた。omake:最近のQiitaで表示しない5つの事象
https://qiita.com/kaizen_nagoya/items/20667f09f19598aedb68

官公庁・学校・公的団体（NPOを含む）システムの課題、官（０）
https://qiita.com/kaizen_nagoya/items/04ee6eaf7ec13d3af4c3

「はじめての」シリーズ　ベクタージャパン　
https://qiita.com/kaizen_nagoya/items/2e41634f6e21a3cf74eb

AUTOSAR(0)Qiita記事一覧, OSEK(75)
https://qiita.com/kaizen_nagoya/items/89c07961b59a8754c869

プログラマが知っていると良い「公序良俗」
https://qiita.com/kaizen_nagoya/items/9fe7c0dfac2fbd77a945

LaTeX(0) 一覧　
https://qiita.com/kaizen_nagoya/items/e3f7dafacab58c499792

自動制御、制御工学一覧（０）
https://qiita.com/kaizen_nagoya/items/7767a4e19a6ae1479e6b

Rust(0) 一覧　
https://qiita.com/kaizen_nagoya/items/5e8bb080ba6ca0281927

programの本質は計画だ。programは設計だ。
https://qiita.com/kaizen_nagoya/items/c8545a769c246a458c27

登壇直後版色使い(JIS安全色) Qiita Engineer Festa 2023〜私しか得しないニッチな技術でLT〜スライド編 0.15
https://qiita.com/kaizen_nagoya/items/f0d3070d839f4f735b2b

プログラマが知っていると良い「公序良俗」
https://qiita.com/kaizen_nagoya/items/9fe7c0dfac2fbd77a945

逆も真：社会人が最初に確かめるとよいこと。OSEK(69)、Ethernet(59)
https://qiita.com/kaizen_nagoya/items/39afe4a728a31b903ddc

統計の嘘。仮説（127）
https://qiita.com/kaizen_nagoya/items/63b48ecf258a3471c51b

自分の言葉だけで論理展開できるのが天才なら、文章の引用だけで論理展開できるのが秀才だ。仮説（136）
https://qiita.com/kaizen_nagoya/items/97cf07b9e24f860624dd

参考文献駆動執筆(references driven writing)・デンソークリエイト編
https://qiita.com/kaizen_nagoya/items/b27b3f58b8bf265a5cd1

「何を」よりも「誰を」。１０年後のために今見習いたい人たち
https://qiita.com/kaizen_nagoya/items/8045978b16eb49d572b2

Qiitaの記事に３段階または５段階で到達するための方法
https://qiita.com/kaizen_nagoya/items/6e9298296852325adc5e

出力(output)と呼ばないで。これは状態(state)です。
https://qiita.com/kaizen_nagoya/items/80b8b5913b2748867840

祝休日・謹賀新年 2025年の目標
https://qiita.com/kaizen_nagoya/items/dfa34827932f99c59bbc

Qiita 1年間をまとめた「振り返りページ」＠2024
https://qiita.com/kaizen_nagoya/items/ed6be239119c99b15828

2024 参加・主催Calendarと投稿記事一覧 Qiita(248)
https://qiita.com/kaizen_nagoya/items/d80b8fbac2496df7827f

主催Calendar2024分析 Qiita(254)
https://qiita.com/kaizen_nagoya/items/15807336d583076f70bc

Calendar 統計
https://qiita.com/kaizen_nagoya/items/e315558dcea8ee3fe43e

LLM 関連 Calendar 2024
https://qiita.com/kaizen_nagoya/items/c36033cf66862d5496fa

Large Language Model Related Calendar
https://qiita.com/kaizen_nagoya/items/3beb0bc3fb71e3ae6d66

博士論文 Calendar 2024 を開催します。
https://qiita.com/kaizen_nagoya/items/51601357efbcaf1057d0

博士論文(0)関連記事一覧
https://qiita.com/kaizen_nagoya/items/8f223a760e607b705e78

coding (101) 一覧を作成し始めた。omake:最近のQiitaで表示しない5つの事象
https://qiita.com/kaizen_nagoya/items/20667f09f19598aedb68

あなたは「勘違いまとめ」から、勘違いだと言っていることが勘違いだといくつ見つけられますか。人間の間違い(human error(125))の種類と対策
https://qiita.com/kaizen_nagoya/items/ae391b77fffb098b8fb4

プログラマの「プログラムが書ける」思い込みは強みだ。３つの理由。仮説（168）統計と確率(17) , OSEK(79)
https://qiita.com/kaizen_nagoya/items/bc5dd86e414de402ec29

出力(output)と呼ばないで。これは状態(state)です。
https://qiita.com/kaizen_nagoya/items/80b8b5913b2748867840

これからの情報伝達手段の在り方について考えてみよう。炎上と便乗。
https://qiita.com/kaizen_nagoya/items/71a09077ac195214f0db

ISO/IEC JTC1 SC7 Software and System Engineering
https://qiita.com/kaizen_nagoya/items/48b43f0f6976a078d907

アクセシビリティの知見を発信しよう！（再び）
https://qiita.com/kaizen_nagoya/items/03457eb9ee74105ee618

統計論及確率論輪講（再び）
https://qiita.com/kaizen_nagoya/items/590874ccfca988e85ea3

読者の心をグッと惹き寄せる7つの魔法
https://qiita.com/kaizen_nagoya/items/b1b5e89bd5c0a211d862

「@kazuo_reve 新人の方によく展開している有益な情報」確認一覧
https://qiita.com/kaizen_nagoya/items/b9380888d1e5a042646b

ソースコードで議論しよう。日本語で議論するの止めましょう（あるプログラミング技術の議論報告）
https://qiita.com/kaizen_nagoya/items/8b9811c80f3338c6c0b0

脳内コンパイラの3つの危険
https://qiita.com/kaizen_nagoya/items/7025cf2d7bd9f276e382

心理学の本を読むよりはコンパイラ書いた方がよくね。仮説（34）
https://qiita.com/kaizen_nagoya/items/fa715732cc148e48880e

NASAを超えるつもりがあれば読んでください。
https://qiita.com/kaizen_nagoya/items/e81669f9cb53109157f6

データサイエンティストの気づき!「勉強して仕事に役立てない人。大嫌い!!」『それ自分かも?』ってなった!!!
https://qiita.com/kaizen_nagoya/items/d85830d58d8dd7f71d07

「ぼくの好きな先生」「人がやらないことをやれ」プログラマになるまで。仮説（37）　
https://qiita.com/kaizen_nagoya/items/53e4bded9fe5f724b3c4

なぜ経済学徒を辞め、計算機屋になったか（経済学部入学前・入学後・卒業後対応）転職(1)
https://qiita.com/kaizen_nagoya/items/06335a1d24c099733f64

プログラミング言語教育のXYZ。仮説（52）
https://qiita.com/kaizen_nagoya/items/1950c5810fb5c0b07be4

【24卒向け】9ヶ月後に年収１０００万円を目指す。二つの関門と三つの道。
https://qiita.com/kaizen_nagoya/items/fb5bff147193f726ad25

「【25卒向け】Qiita Career Meetup for STUDENT」予習の勧め
https://qiita.com/kaizen_nagoya/items/00eadb8a6e738cb6336f

大学入試不合格でも筆記試験のない大学に入って卒業できる。卒業しなくても博士になれる。
https://qiita.com/kaizen_nagoya/items/74adec99f396d64b5fd5

全世界の不登校の子供たち「博士論文」を書こう。世界子供博士論文遠隔実践中心安全(99)
https://qiita.com/kaizen_nagoya/items/912d69032c012bcc84f2

日本のプログラマが世界で戦える16分野。仮説(53),統計と確率(25) 転職(32)、Ethernet(58)
https://qiita.com/kaizen_nagoya/items/a7e634a996cdd02bc53b

小川メソッド　覚え（書きかけ）
https://qiita.com/kaizen_nagoya/items/3593d72eca551742df68

DoCAP（ドゥーキャップ）って何ですか？
https://qiita.com/kaizen_nagoya/items/47e0e6509ab792c43327

views 20,000越え自己記事一覧
https://qiita.com/kaizen_nagoya/items/58e8bd6450957cdecd81

Views１万越え、もうすぐ１万記事一覧最近いいねをいただいた213記事
https://qiita.com/kaizen_nagoya/items/d2b805717a92459ce853

amazon 殿堂入りNo1レビュアになるまで。仮説(102)
https://qiita.com/kaizen_nagoya/items/83259d18921ce75a91f4

100以上いいねをいただいた記事16選
https://qiita.com/kaizen_nagoya/items/f8d958d9084ffbd15d2a

水道局10年(1976,4-1986,3)を振り返る
https://qiita.com/kaizen_nagoya/items/707fcf6fae230dd349bf

小川清最終講義、最終講義（再）計画, Ethernet(100) 英語(100) 安全(100)
https://qiita.com/kaizen_nagoya/items/e2df642e3951e35e6a53

＜この記事は個人の過去の経験に基づく個人の感想です。現在所属する組織、業務とは関係がありません。＞
This article is an individual impression based on my individual experience. It has nothing to do with the organization or business to which I currently belong.
Este artículo es una impresión personal basada en mi experiencia personal. No tiene nada que ver con la organización o empresa a la que pertenezco actualmente.

文書履歴(document history)

ver. 0.01 単語300 pdftotext処理編 20220422
ver. 0.02 単語400, 動画 20220423
ver. 0.03 ありがとう追記　 20230522

最後までおよみいただきありがとうございました。

いいね　💚、フォローをお願いします。

Thank you very much for reading to the last sentence.

Please press the like icon 💚　and follow me for your happy life.

Muchas gracias por leer hasta la última oración.

Por favor, haz clic en el ícono Me gusta 💚 y sígueme para tener una vida feliz.

You get articles that match your needs
You can efficiently read back useful information
You can use dark theme

What you can do with signing up

望月新一 ABC予想論文を読む 。新人にお勧めの基本動作。pdftotext処理編

書き直しの経緯

はじめに

この記事を書いて自信を持ったこと

1. 誤植訂正

2. 名前空間、命名規則

3.時空変換

望月新一 ABC予想論文

単語頻度帳

日本語付き単語帳

特徴

一覧

cf, 659

NF, 327

Dv, 294

Abstop, 150

etth, 139

見当たらない

ここまでの未解決事項（すぐにわかりそうなこと）

Bibliography

動画

あとがき

参考資料

docker処理

参考資料

知人資料

自己記事一覧

文書履歴(document history)

最後までおよみいただきありがとうございました。

Thank you very much for reading to the last sentence.

Muchas gracias por leer hasta la última oración.

望月新一　ABC予想論文を読む。新人にお勧めの基本動作。pdftotext処理編

望月新一　ABC予想論文