Leanに詳しい人教えて、mathlibにエタールコホモロジーが入ってないのはなんで？ (3ﾚｽ)
Leanに詳しい人教えて、mathlibにエタールコホモロジーが入ってないのはなんで？ http://rio2016.5ch.net/test/read.cgi/math/1746075220/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
1: １３２人目の素数さん [] 2025/05/01(木) 13:53:40.12 ID:WPE4OMis Perfectoid spaceを形式化するよりよっぽど簡単だと思うんだがどこで詰まってるの？ GPTに聞いたらスキームですらまともに扱えてないとか言ってんだけど http://rio2016.5ch.net/test/read.cgi/math/1746075220/1
2: １３２人目の素数さん [] 2025/05/01(木) 15:39:42.95 ID:joN5psCP >>1 くだらないスレを立てるな どうしてもくだらないスレを立てたいなら、せめてくだらない話題で立てろ http://rio2016.5ch.net/test/read.cgi/math/1746075220/2
3: １３２人目の素数さん [] 2025/06/16(月) 15:43:09.00 ID:PZD/g5BB -=≡///:: ;; ／ '' ヾ:::::＼ / ｶﾙﾄの王者 ＼:::::＼ | , 、 彡::::| ﾐ| _≡=、 , =≡=_ 、 |:;;;;;/ | | ◎ |￣ | ◎ |─´/ ＼ | ヽ 二 / ＼二／ >∂/ ／￣￣￣￣￣￣￣￣￣ / ／( )＼ |__/＜ うんこ喰わせちゃった！！ | / ⌒ ⌒ | | ＼＿＿＿＿＿＿＿＿＿＿ | ＼／ ヽ／＼＿／ / | .＼ ､ ＼￣￣／ヽ // ＼ | ￣ ／/／ ／ ￣￣ ＼ | | | | | | | | |⌒＼| |／⌒| | | | | | | ＼ （ ） ／ | | |＼＿__人＿___／| | | | ヾ;;;;| | | ,lﾉl| ﾌﾞﾊﾞﾁｭｳ!!. .ｍ 人;;;;;;;￣￣￣ヽ/⌒⌒⌒ヽ|.|っ ノ:;;,ﾋ=ε;;;/∴ | ＿____ /⌒/⌒ヽ (~´;;;;;;;ﾞ'‐;;´) ＠） （＿＿＿_/ .. _ ） ,i`（;;;ﾞ'-;;;;;; ◎;;;◎― /ミ|───,,＿__,/ ヽ ヽ;;';ｰ--―;;;;￣;;;;;;￣Y ）←>>1 ｀'ｰ--､＼＿＿＿＿／ ＜くそすれさいこー！！ http://rio2016.5ch.net/test/read.cgi/math/1746075220/3
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.010s