[過去ログ] Interuniversal geometry とABC 予想60
(1002レス)
上下前次1-新
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
754(1): 07/04(土)08:00 ID:VJTScjiC(1/11) AAS
>>752 は文章を読めない人ですね
学長が
>本プロジェクトの目的は二つです。
の他にも
>詳細については、後ほどZMC所長であり本プロジェクト
>の推進を担う加藤文元教授が行います
って言ってんだから、学長の主張も加藤文元教授の言う通り
省2
755: 07/04(土)08:21 ID:STpC5K4O(3/7) AAS
第2でいいんじゃない?
756(1): 07/04(土)08:24 ID:STpC5K4O(4/7) AAS
IUTの検証もできないライブラリに意味ないでしょ
757(1): 07/04(土)09:11 ID:VJTScjiC(2/11) AAS
>>756
ライブラリを全く理解してない人ですね
特定の目的のためにあるのでないし
検証可能な形で書かれてないものを検証できるわけないです
758: 07/04(土)09:56 ID:STpC5K4O(5/7) AAS
>>757
検証可能な形にするのも目的だけど?
759(3): 07/04(土)09:59 ID:STpC5K4O(6/7) AAS
ああそうか
検証可能な形にできない≠正しくない
と主張することで延命?するのかも?
一般にはそれはライブラリが不完全だってことだけどね
760(2): 07/04(土)10:05 ID:VJTScjiC(3/11) AAS
>IUTの検証もできないライブラリに意味ないでしょ
から
>検証可能な形にするのも目的だけど?
にずいぶんと意見を後退させたね
第1の目的と第2の目的を混同するのいい加減にしてくれない?
それともわざと馬鹿の振りしてるの?
761(1): 07/04(土)10:10 ID:9P3VRycO(1) AAS
>>759
それはいいけど、それならやっぱショルツさんごめんなさいってするのが礼儀じゃないのかね。
指摘は意義のあることでしたってことなんだから。
762: 07/04(土)10:18 ID:VJTScjiC(4/11) AAS
>>759
ライブラリが不完全じゃなくて証明が不完全だろ
マジで馬鹿もいい加減にしろ
763(1): 07/04(土)10:29 ID:VJTScjiC(5/11) AAS
第2目的のIUT検証は『3.11=>3.12』を目指してるんだから
「遠アーベル幾何学の形式化とそのライブラリ構築」と
直接的には関係してないからな
>>761 LANAを批判することになるだけなのでは
764: 07/04(土)10:45 ID:altnuSuo(1) AAS
もうちょいの辛抱なのに。
首を長くして待つのみ。
765(1): 07/04(土)11:24 ID:0OTz+2Pv(1) AAS
>>759
そこどうするかね
ギャップがあるところも特定していて
ss論文が正しかったわけなのに誤魔化せるかね
ss論文では望月語からss語に書き換えた議論になってるわけだけど
両方Leanで書けば面白いよね
要するに>>7の議論を形式的に突き詰めるということだけど
766: 07/04(土)12:43 ID:VJTScjiC(6/11) AAS
内容が理解できないんだからleanで書けるわきゃないだろ
単純自明なことを理解できない方が悪いって言われておしまい
leanで決着できるんならとっくの昔に決着してる
実際とっくの昔に決着してるんだけどな
767(1): 07/04(土)13:50 ID:hWLiiwgE(1/14) AAS
>>754
第二だからとか言っときゃセーフだと思っってんのかゴミw
768: 07/04(土)13:50 ID:hWLiiwgE(2/14) AAS
>>765
どうするかじゃねーよ
指摘と今のLEANが同じ地点さしてんだろゴミが
769: 07/04(土)13:52 ID:hWLiiwgE(3/14) AAS
>>760
ワンパ猿「第二だからああ」
770: 07/04(土)13:52 ID:0tTbBrOB(1) AAS
セーフコ・フィールドで3アウト
771(1): 07/04(土)14:09 ID:STpC5K4O(7/7) AAS
>>760
完全なライブラリで検証可能な形にしたIutは検証可能じゃない?
12の目的が完了したら決着がつく
できなきゃ12の目的のどちらかが不完全
12いずれにせよIutはだめになりそうだが
772(1): 07/04(土)14:56 ID:VJTScjiC(7/11) AAS
>>767
「セーフ」も何もこっちは当事者じゃないし
1と2を切り分けろって当たり前のこと言ってるだけ
ついでにLANAと望月の立場ももちろん違う
自分と一致しない立場はみな同質と考える
白黒思考の持ち主には理解できないことなんかな
>>771
だから1と2を切り分けろって何度言ったら分かんの?
2は決着目指してんだから2が完了したら決着って当たり前だろ
なんで1混ぜてんの?
省1
773: 07/04(土)15:31 ID:hWLiiwgE(4/14) AAS
>>772
ワラタ
指摘されてクソ漏らし
「第二だからああ」連呼して到達しなくてもいいみたいなのずっと言ってるよなお前
論理で殴られてほら吹いて無限後退ウケるw
IUT仕草だわあ
774(1): 07/04(土)15:33 ID:hWLiiwgE(5/14) AAS
これが初出
「第二だからああ」の前には
「IUT検証は目的じゃないからああ」の段階があるw
そんで殴られて「第二だからああ」とか言い出した
クソ頭悪いIUT擁護派w
👇
659 132人目の素数さん 2026/06/22(月) 08:19:54.53 ID:M/aVMyCz
LANA (Lean for ANAbelian geometry)の
『第1の目的は、遠アーベル幾何学の形式化とそのライブラリ構築』だ
外部リンク:zen.ac.jp
省3
775(1): 07/04(土)15:55 ID:VJTScjiC(8/11) AAS
お前の妄想に付き合うのも飽き飽きだから
続けたかったら引用よろしく
できるよな
お前の妄想じゃなければ
外部リンク:zen.ac.jp
LANAプロジェクトのどこ読めば
2のために1があるなんて誤読できんの?
そういう箇所があるんなら引用して
LANA (Lean for ANAbelian geometry)だから
1,2両方ともLean+遠アーベルのプロジェクトだけど
省7
776: 07/04(土)16:01 ID:hWLiiwgE(6/14) AAS
>>775
「2のために1がある」-なんてこと一回も言ってねーから
テメエの脳内妄想じゃんw
777: 07/04(土)16:02 ID:hWLiiwgE(7/14) AAS
IUT仕草その1命題逸らして無限後退
IUT仕草その2藁人形論法
その1その2が見事に決まったなww
778(3): 07/04(土)16:11 ID:VJTScjiC(9/11) AAS
じゃあLANAの
>第1の目的は、遠アーベル幾何学の形式化とそのライブラリ構築
で第1の目的は第2の目的と直接関係ないってことでいいわけだね
それ以上こちらから言うことはない
白黒思考の持ち主には理解できないことかもしんないけど
こっちはIUTとも全然無関係だし
779(1): 07/04(土)16:24 ID:VJTScjiC(10/11) AAS
ってゆーか>>778に書いたことは
外部リンク:zen.ac.jp
にはっきり書いてあるんだから
他の解釈は誤読以外にないわな
780: 07/04(土)16:42 ID:hWLiiwgE(8/14) AAS
>>778
じゃあじゃねーよボケ
abc予想証明できてねーじゃんってバカにされてるだけだボンクラ
781: 07/04(土)16:43 ID:hWLiiwgE(9/14) AAS
>>779
>>774見て反省しようなw
IDコロコロ通名ってやつかw
IUT擁護派は一貫性ゼロ
782: 07/04(土)16:44 ID:hWLiiwgE(10/14) AAS
っていうかこんなザコどっから湧いてくるんだろうな
ゴミだろ
783(1): 07/04(土)17:29 ID:VJTScjiC(11/11) AAS
妄想きつすぎて何言われてるかすら分かんない
俺iut擁護なんてしたことなんて一度もないし
ってゆーかお前は妄想以外になんか出せないの
引用とか
784(1): 07/04(土)18:09 ID:K08q1dlW(1) AAS
公に望月新一さんを批判する人がいないのはなぜですか?
785: 07/04(土)18:20 ID:AeR1BPXD(2/3) AAS
>>778
関係ないわけないだろw
786: 07/04(土)18:22 ID:AeR1BPXD(3/3) AAS
直接とか
ほんのりとか
修辞して誤魔化す馬鹿
787: 07/04(土)19:35 ID:hWLiiwgE(11/14) AAS
>>783
ログ出してるのに開き直ってケツまくるガイジww
788(1): 07/04(土)21:14 ID:SCcjw3B6(1/2) AAS
>>784
そうすることによって得るものがあるなら
批判する人は多いだろう
789: 07/04(土)21:25 ID:hWLiiwgE(12/14) AAS
>>788
なんか年初にキチガイ日記で喚かれるのやじゃね
あとドワンゴのクソ朝鮮人政治権力に脅されそうだし
790(1): 07/04(土)21:41 ID:SCcjw3B6(2/2) AAS
人の日記をのぞき見する趣味のある人間には
公式の批判は無理だろう
791(1): 07/04(土)21:45 ID:3JCgs0F5(1) AAS
人の日記を覗き見しましたとさ。
~土佐日記~
792: 07/04(土)22:30 ID:hWLiiwgE(13/14) AAS
>>790
全世界に公開してるあれがかw
こいつマジでバカだなw
IUT擁護派の鏡だわ
まじで
793(2): 07/04(土)22:36 ID:dK5Cl3wq(1/2) AAS
第2の目的が主要目的なのでは?
>本プロジェクトの目的は二つです。ひとつは日本の研究者の貢献が著しい遠アーベル幾何学の主要定理をLean形式化し、そのライブラリを構築することです。
>もう一つは京都大学数理解析研究所の望月新一教授による宇宙際タイヒミュラー理論の、Lean形式化による検証です。
>この理論については、未だ世界の数学者からの納得感が得られないままの状況です。したがってその検証自体が、数学の発展にとって意義深いはずです。
794: 07/04(土)22:37 ID:dK5Cl3wq(2/2) AAS
主要目的とは対外的にアピールできる主要な目的という意味ね
795: 07/04(土)23:17 ID:hWLiiwgE(14/14) AAS
イキリIUT擁護派がビビってんだから推してしるべし
796: 07/05(日)05:01 ID:Hkzk6a1O(1) AAS
>>791
近頃は土佐日記や更級日記はまずマンガで読まれる
むかし罪と罰がそうだったように
797: 07/05(日)10:07 ID:PgCabIpO(1) AAS
結局、Leanによる形式化で望月教授の証明に誤りがないことが検証されましたということにはならなさそうなんでしょ。それをどう評価するかという点については、ひょっとしたら人によって見解が分かれるのかもしれないけど。
798(3): 07/05(日)12:08 ID:HZjyQNrG(1/3) AAS
LANA Project Interim Report 2026: Computer-Assisted Verification of IUT Theory
外部リンク:www.youtube.com
ZEN大学の公式ページでもアナウンスしろよ
799: 07/05(日)12:10 ID:oc7qXpi0(1/5) AAS
>>798
やっぱそうなのね>>793
>第2の目的が主要目的なのでは?
>Computer-Assisted Verification of IUT Theory
800: 07/05(日)12:11 ID:oc7qXpi0(2/5) AAS
>>798
祇園祭のことじゃないの?
801(1): 07/05(日)12:16 ID:HZjyQNrG(2/3) AAS
>>798
星逃亡
そりゃそうだよな
802: 07/05(日)12:31 ID:oc7qXpi0(3/5) AAS
>>793
>第2の目的が主要目的なのでは?
英語ではどっちも
> Its primary objectives are
だね第1第2と番号付けては居ない
803(1): 07/05(日)12:41 ID:o3Mxdww9(1/2) AAS
もうちょいの辛抱やて。
何かまた分かるさ。
804: 07/05(日)12:47 ID:HZjyQNrG(3/3) AAS
まあ色々な意見があると思うが遠アーベル幾何学のLeanライブラリ化なんて大学が記者会見をわざわざ実施するようなプロジェクトじゃない
805: 07/05(日)13:35 ID:Mz24roe9(1/3) AAS
>>803
それで何年待ってんだかね。
806: 07/05(日)13:42 ID:o3Mxdww9(2/2) AAS
日程は決まってるんでしょ。
それがあってからまた話したら良いじゃん。
807(1): 07/05(日)14:09 ID:Mz24roe9(2/3) AAS
まあ徳川埋蔵金みたいなもんやろな。
また今回もわかりませんでした!で引っ張る。
808: 07/05(日)14:40 ID:kKaphw8+(1) AAS
どうせどうでもいい話(コミュニケーションツール)しかしないよ
検証に報告できるような進展無いから
809: 07/05(日)18:34 ID:h/zDUn9p(1) AAS
>徳川埋蔵金
確かに、
IUTは文科省関連から血税を引き出したり
大学認可の道具でしょうよ
810: 07/05(日)18:53 ID:shlFvq3x(1) AAS
配信動画が初出になるの?レポート先にでないのかい
IUT理論のコンピューター検証に関する「LANAプロジェクト」中間発表会
ZEN大学
動画リンク[YouTube]
2026/07/17 に公開予定
ZEN大学「ZMC(ZEN Mathematic Center;ZEN数学センター)」は2026年7月17日(金)、IUT(宇宙際タイヒミューラー)理論のコンピュータ検証に関する「LANAプロジェクト」の中間発表会「LANA Project Interim Report 2026」を行います。
本発表会の模様をライブ配信いたします。
811: 07/05(日)19:03 ID:IssZfsTo(1/2) AAS
はやぶさ2号は好調らしい
812: 07/05(日)19:26 ID:wYSFAR9T(1/4) AAS
>>807
フイタw
813(1): 07/05(日)19:27 ID:wYSFAR9T(2/4) AAS
>>801
星はもうIUT切り離して自由させてやったらいいんじゃないのか
814: 07/05(日)19:41 ID:oc7qXpi0(4/5) AAS
学会で招待講演した人?
815(1): 07/05(日)19:41 ID:C42lH2q2(1/2) AAS
math_jinはRIMSの中の人なんだな
京大の組織改革への反応っぷりを見ると
816: 07/05(日)19:44 ID:C42lH2q2(2/2) AAS
>>813
そのための中間発表会お役御免じゃないのかね
若手に謝らせるのは可哀想だよ
>>168で十分
望月がやるべきこと
817(1): 07/05(日)20:05 ID:oc7qXpi0(5/5) AAS
>>168
自分はどうなの?IUTを理解してるんでしょ?その人
818: 07/05(日)21:04 ID:IssZfsTo(2/2) AAS
理解しているかどうかが問題だったのは
遠い昔のことになってしまった
819: 07/05(日)21:25 ID:rvNkNif5(1) AAS
発表記者会見だって欠席してるんだから
表に出てこない約束なんじゃねーの
820: 07/05(日)21:32 ID:Mz24roe9(3/3) AAS
>>168
>それでも私は、この1年以上の積み重ねが無意味だったとはまったく思いません。
>むしろ、ここまで真剣に考え、議論し、理解しようとしてきたからこそ、どこにその本当の難しさがあるのかが、以前よりもはるかに明確になったのだと思います。
>そのような意味においても、このプロジェクトで積み重ねてきた営みには、確かな価値と意義があると考えています。
それって 3.11 と 3.12 の間のギャップを指摘してもらったからですよね?まずそこに感謝するべきなのでは。
821(1): 07/05(日)21:40 ID:0WHgzjd3(1) AAS
セクハラ上司を笑顔でかわし~
822: 07/05(日)22:01 ID:wYSFAR9T(3/4) AAS
>>815
なんか認知能力とか著しく欠損しているように見えるが
あれで職員ならなんのコネだ
統一か創価か
823: 07/05(日)22:03 ID:wYSFAR9T(4/4) AAS
星はギリ一線超えてないまだマシな人
しかも能力があるので今のうちに別のことやらせとけという印象
将棋の方は知らねっていうかあれは望月と一緒に沈むしかないやろ
824: 07/06(月)00:20 ID:w3w/mZqY(1/2) AAS
沈むも何も最初から何にも業績ない口だけの人だからな
尊師はもう頭が壊れてしまっているものとして
この件で一番の死に恥を残したのは専門家としての見識を示さなかった玉川だな
825(1): 07/06(月)00:24 ID:w3w/mZqY(2/2) AAS
そもそも数学者としての信用がない山下は論外として
星も玉川も望月を信頼しすぎて
内容の詳細の理解を置き去りにわかった気になって見切り発車しちゃったんだろ
事が大きくなりすぎて今更撤回もできず 笹井さんコース
826(3): 07/06(月)01:03 ID:0plX7zum(1/9) AAS
京大数理研の数学誌PRIMS編集は望月新一著IUT論文の査読中に、
文科省関連の公文書等にIUT構築よりabc予想が解決と報告した件について
AIに聞いてみた。
➖ ➖
ご指摘の通り、『PRIMS』誌における査読の最終完了(2020年受理、
2021年出版)よりもかなり前の段階で、京都大学数理解析研究所(数理研)や関連する公的機関が、公文書や公式発表において「abc予想は解決された」という前提で実績報告や評価を行っていた事実は存在します。 [1, 2, 3, 4]
この点については、学術界の内外から「査読中の論文をあたかも確定した業績のように扱うのはガバナンス上問題ではないか」という批判や疑問の対象となってきました。主に以け下のような公文書や組織の動きが確認されています。
1. 文部科学省や外部機関への業績報告(公文書).数理研は、文部科学省の「共同利用・共同研究拠点」などの指定を受けており、定期的に活動報告書や将来計画などの公文書を提出しています。
省2
827(2): 07/06(月)01:08 ID:0plX7zum(2/9) AAS
>>826
続き
2. 数理研内部における事実上の「容認」
『PRIMS』の編集委員会は「査読のプロセスは独立しており、望月教授を排除した特別委員会で厳正に行われている」と説明してきました。 [1]
* しかし、研究所のトップや他の教授陣(後の記者会見に出席した柏原正樹特任教授や玉川安騎男教授ら)は、公式の場や学術的な報告において、早い段階から望月理論の正当性を強く信じる立場を崩していませんでした。 [1, 2]
* そのため、組織の公式な記録(アニュアルレポートや中期目標の達成状況報告書など)でも、査読通過を待たずに「解決済み」に近いニュアンスで扱われるケースが目立ちました。
省4
828(3): 07/06(月)01:11 ID:0plX7zum(3/9) AAS
>>827
続き
結果として、2018年頃にピーター・ショルツェ教授らから「論理的な破綻
(ギャップ)」が指摘された際、「すでに公文書等で解決したと報告してきた手前、今さら数理研側がミスを認めて査読で落とす(あるいは掲載を却下する)ことは組織のメンツにかけてできなくなっているのではないか」という、「査読の独立性・公平性」への疑念をさらに深める要因となりました。
829: 07/06(月)02:54 ID:Sa8aMcgX(1/6) AAS
>>825
仕方ない面はあるわな
師匠と弟子の関係だし
830: 07/06(月)02:56 ID:Sa8aMcgX(2/6) AAS
擁護派否定派どちらであっても
LLMダラダラ貼り付けるのやめてほしい
831: 07/06(月)05:17 ID:NCULZC7v(1/4) AAS
>>821
笑顔で
デジタルタトゥーを
彫ってやれば?
832: 07/06(月)05:36 ID:O+esv3xh(1) AAS
>>817
いやLANAプロジェクト発足コメント読んでみて
ほぼギブアップ宣言みたいなもんだよ
833: 07/06(月)05:42 ID:JVpdiwmE(1) AAS
流行りのジュエリ~♪
834(1): 07/06(月)06:22 ID:XB+oRbim(1/3) AAS
>>826-828
AIが言うことじゃ商が無いなあ
835: 07/06(月)07:32 ID:VipYppy5(1) AAS
AIの方がマシだったりしてw
836: 07/06(月)07:46 ID:Y8eYh3c2(1/2) AAS
>>168
>その中に何か超えられない壁があると感じている
数学の証明は感じ取るものではないですね
IUTを受け入れられないのは理解を拒絶しているからでもない
「感じている」とされた側のTopazの説明から読み解けば、
「厳密な定義が与えられていない手続きを形式化すべく
幾つもの解釈を試みたがどれも失敗している」
というところなのでは?
Scholzeが2018年の直接会談で指摘した箇所のおさらい
外部リンク[pdf]:www.kurims.kyoto-u.ac.jp
省9
837(2): 07/06(月)08:08 ID:0plX7zum(4/9) AAS
>>834
証拠付きの事実です。
文科省内閣府数理研のスキャンダル
だから。
838(1): 07/06(月)08:19 ID:WXhB4YGm(1) AAS
全ての証明がLEANを通せる形にすべきだとは思わんが、
通しにくいってことはそれなりに説明を要するってことで自明ではないってことは正しいよな。
839: 07/06(月)08:22 ID:NCULZC7v(2/4) AAS
いつから内閣府?
840(1): 07/06(月)08:30 ID:0plX7zum(5/9) AAS
例えば、
内閣府が企画.最先端研究を訪ねて
【代数学】
遠アーベル幾何学
数論幾何学 ― 整数と図形の不思議で深い関係の追求 ―
京大数理研玉川安騎男教授
>例えば、1990年代にアンドリュー・ワイルズが証明したフェルマーの最終定理や、最近望月新一さんが証明したABC予想など、いくつもの数論の大問題が数論幾何学を用いて解かれています。特に望月さんのABC予想の証明では、遠アーベル幾何学の理論や考え方が重要な役割を果たしています。
・文中の3枚の写真はIUT論文の
査読中の2017年に全て撮影
外部リンク:www.sekaiwokaeyo.com
841(1): 07/06(月)08:33 ID:NCULZC7v(3/4) AAS
だから内閣府所属?
842: 07/06(月)08:37 ID:0plX7zum(6/9) AAS
>840は内閣府の企画
843: 07/06(月)09:12 ID:NOe76QeN(1) AAS
迷ったら外角低め
844(1): 07/06(月)11:58 ID:IptrcNZn(1) AAS
内閣府数理研と呼ばれる筋合いはない
845: 07/06(月)12:06 ID:/oAsCUWD(1) AAS
>>837
その割にジャーナリスト誰も食いつかないでしょ
その程度のことよ
846(1): 07/06(月)14:35 ID:0plX7zum(7/9) AAS
>>828
2015年5月13日.
IUT論文査読中。
中央教育審議会大学分科会大学院部会
・資料5
独立行政法人日本学術振興会
グローバルCOEプログラム委員会
事務局.
研究成果例 。
G08 京都大学 数学のトップリーダーの育成 .宇宙際タイヒミュラー理論 .
-数論におけるブレークスルー
宇宙際タイヒミュラー理論を用いることによってabc予想と呼ばれる数論の難問が解決することが2012年に発表 された。
日本の主な全国紙は言うに及ばず、New York Times などでも報道され、非専門家の間にも大きな話題 を提供している。
宇宙際タイヒミュラー理論は数理解析研究所の望月新一教授(GCOE事業推進者)の独創によるものであるが、 その解説や応用には多くの若手研究者が関与している。
省13
847: 07/06(月)16:19 ID:Sa8aMcgX(3/6) AAS
笹川松浦麻生川上終了のお知らせ
中国、ミサイル発射実験 潜水艦から太平洋着弾 [ぐれ★]
2chスレ:newsplus
848(2): 07/06(月)17:22 ID:rIEv1t+3(1/2) AAS
相変わらず
ID:0plX7zum
が文科省内閣府評価キチガイっとんな
一連のやりとりみて、あんた他の人に相手にされてないの、わかってる?
ひとり浮いてるの、わかってる?
頭大丈夫なの?
そろそろ気付いてね!
849(1): 07/06(月)17:33 ID:0plX7zum(8/9) AAS
>id:rIEv1t+3
京大数理研の関係者の方ですか
IUT論文の受理と査読などの疑惑について
7.17にせつめいがありますかね。
数理研の星さんは出席されますか?
850: 07/06(月)17:42 ID:0plX7zum(9/9) AAS
>>848
あなたよりAIの方が多分まともかも。
AIの結果を検証しているだけ
>>826 - >828
851: 07/06(月)18:09 ID:MMho6T2Q(1) AAS
22℃
雨
852: 07/06(月)18:49 ID:mAG8F29Q(1) AAS
>>838
中の人は最低でも2025年末にはそう感じてたのでは?
じゃないと3月の発表の覇気の無さに説明が付かない
たぶんあの時既に学長だけノリノリだったんでは
853: 07/06(月)20:22 ID:Y8eYh3c2(2/2) AAS
>>849にかかれば誰でも彼でもRIMS関係者ですね
私も幾度かそういわれていますw
>IUT論文の受理と査読などの疑惑について
>7.17にせつめいがありますかね。
もちろんZMC・LANAが知る由もないことですし
説明する立場にもありません
上下前次1-新書関写板覧索設栞歴
あと 149 レスあります
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.052s