>>610
>>2)”高階述語論理と圏論の対応: 高階述語論理における論理的な操作は、圏論の射の合成といった構造と対応させることができます。例えば、集合論を基盤とする高階述語論理は、圏論における集合の圏と関連が深いです”(AI による概要)
>何言ってんのか
>よく分かりません
まあ、当然だが
(google検索)
圏論 高階 論理
で
AI による概要
の最後に
”AI モードでさらに詳しく”
というリンクが出るよ
まず それな
次に、それだけで満足できないだろうから
さらなる
AIとの壁打ち をやってみて
(日本語だけでなく 英語も併用しろよ)
それを三日〜1週間くらい続ければさ
私のレベルを 軽く超えるだろうさ
(AIを別のGPTとかでも良いよ)
Inter-universal geometry と ABC予想 (応援スレ) 78
■ このスレッドは過去ログ倉庫に格納されています
613132人目の素数さん
2025/11/26(水) 23:45:39.77ID:BJE3cKFv■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 高市首相 「来週中にサイバー攻撃への緊急対策」 [お断り★]
- 「戦争反対」がバカにされ、叩かれる時代 1000万再生のショートアニメ投稿者は、それでも「言わなきゃ」中野彰子さん:東京新聞 7 [少考さん★]
- 【358】車の買い替えで妻がこだわる「開運ナンバー」。アホくさ…と一蹴した夫が知った「驚がくの事実」 (FORZA) [少考さん★]
- 10代男性が感電し入院 3ピンのプラグに2穴のコード差し込む 体育館でバスケットゴールの片づけ中に 福岡・北九州市 [バイト歴50年★]
- GMO熊谷正寿社長、攻撃者は「約79億円を要求」 不正アクセスで [少考さん★]
- サイバー攻撃ハッカー集団、GMOが27日12:00までに1億6000万払わなければ、顧客攻撃と声明 GMOは政府に防御要請、警察自衛隊へ [お断り★]
- 『その着せ替え人形は恋をする』喜多川海夢が等身大フィギュア化、水着姿でのディスプレイも可能キタ━━━━━━(゚∀゚)━━━━━━!!!!! [303493227]
- 立てなくていい もう寝るから🏡
- 【高市漏洩】毎日報道される情報漏洩。最早、日本国民全員何かしら漏らされたのでは?今日はJRが5,162万件漏洩。お漏らし大国ニッポン [219241683]
- 【速報】デニム、また流行りが来るwwwwwwwwwwwwwwwwwwwww [464691624]
- フランス人「ラーメンは日本食だと思ってた。でも実際は中国発祥だった。私はずっと日本人に騙されていたんだ」 [153736977]
- テレビアニメ『PSYREN -サイレン-』来週の放送は総集編になりますキタ━━━━━━(゚∀゚)━━━━━━!!!!! [303493227]