形式化って門外漢にはわかりにくいというか
手頃な参考書的なものはあまりないよな
まあleanだとpdfのマニュアルなんかはあるけど
探検
Inter-universal geometry と ABC予想 (応援スレ) 65
■ このスレッドは過去ログ倉庫に格納されています
691１３２人目の素数さん
2022/04/28(木) 20:43:31.14ID:CaxFsI+g■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【日中】中国「民生利用は影響受けない」 “輸出規制強化” めぐり…日本企業には依然不安の声 [煮卵★]
- 【日中】ニトリ会長「レアアースはあらゆる部品に」 中国の輸出規制に日本の経済界からも懸念の声 政府には「早く手を打ってほしい」★9 [煮卵★]
- 【大分】生徒による暴行動画が拡散 約1分間、執拗な暴行…大分市内の中学校か 市教委が事実関係を調査 ★2 [ぐれ★]
- 【社会】「第二の人生を…」地方暮らしに踏み出した60代夫婦が、わずか2年で後悔★2 [七波羅探題★]
- 「結婚しておけばよかった」月収100万円・53 歳独身男性、タワマンから東京の喧騒を見下ろす最高の自由を手にしたはずが…深い後悔 ★4 [ぐれ★]
- 米国ホワイトハウス声明 「中国とロシアを排除する」 グリーンランド領有について説明 ★2 [お断り★]
- 【実況】博衣こよりのえちえち4年ぶりJump King🧪★5
- 【高市悲報】統一教会報告書「萩生田光一とは常に連絡を取り合う関係です」 [115996789]
- ロブルッチ「指銃！」💥🫵😅←このシーンよかったよな🏡
- なんでいつも僕の立てるスレにはレスが付かないんだよ
- 【ベネズエラ攻撃】ドイツ大統領、「トランプ政権は強盗」 [147827849]
- ネトウヨ「岸田や石破だと実害が出る！」 俺「高市のせいで何兆円も実害出てるが」 ネトウヨ「だから何だ！」 これマジで何なんだよ… [314039747]