▽檜山正幸のｷﾏｲﾗ飼育記
●11/22 08:33
2024-11-21等式の二種類の使用法： 選別条件と同一視宣言雑記／備忘ひとつ前の記事｢圏論のｴﾝﾄﾞとｺｴﾝﾄﾞは双対なんだよ｣において､“連立方程式系の解空間”と“関係族の同値閉包による商集合”が双対的だという話をしました｡この双対性はちょっと不思議な感じがします｡最終的には､写像（集合圏の射）の並行ﾍﾟｱ（両端が…2024-11-20圏論のｴﾝﾄﾞとｺｴﾝﾄﾞは双対なんだよ雑記／備忘ｴﾝﾄﾞとｺｴﾝﾄﾞは､その名前から双対なんだろうとは誰でも思うでしょう｡しかし､定義の仕方によっては双対性が見えにくいこともあります｡この記事では､ｴﾝﾄﾞとｺｴﾝﾄﾞの双対性が出来るだけ見えやすくなるような定義と記法を提示します｡$`\newcommand…等式の二種類の使用法： 選別条件と同一視宣言圏論のｴﾝﾄﾞとｺｴﾝﾄﾞは双対なんだよ

▽ｽﾗｯｼｭﾄﾞｯﾄ ｼﾞｬﾊﾟﾝ : ｱﾚｹﾞなﾆｭｰｽと雑談ｻｲﾄ
●11/22 07:13
雑談用ｽﾄｰﾘｰ [3] 833

▽ｾｷｭﾘﾃｨﾎｰﾙ memo
●11/22 05:03
■ 2024.11.21》 ﾃﾞﾝﾏｰｸ海軍､中国の貨物船 Yi Peng 3 を拘束｡ ﾊﾞﾙﾄ海海底ｹｰﾌﾞﾙ切断の件｡Danish Navy Stopped a Chinese Ship Suspected of Damaging Undersea Cables (defence24.com, 11/20)Danish Navy Shadows Chinese Cargo Ship After Baltic Sea Cable Damage (The War Zone, 11/21)Danish military says it's staying close to Chinese ship after data cable breaches (reuters, 11/21)Swedish police focus on Chinese ship after suspected

▽ まんが王倶楽部
●11/21 17:48
随時更新 1月ｺﾐｯｸ新刊ﾘｽﾄ随時更新 1月小説ﾘｽﾄ12月ｺﾐｯｸ新刊ﾘｽﾄ12月小説新刊ﾘｽﾄﾊｲﾃﾝｼｮﾝ百合ｺﾒﾃﾞｨ ｱｸｽﾀ付き同時発売!ｻｲﾝ本抽選受付開始!【有償特典付】推しとの百合はありえない!(2) ｻｲﾝ本抽選あり/ﾋﾉｻｶｱｷ 12/10発売1巻が大人気となったすれ違いﾊｲﾃﾝｼｮﾝ百合ｺﾒﾃﾞｨの2巻が発売決定！TORICOｵﾘｼﾞﾅﾙ描き下ろしｱｸﾘﾙｽﾀﾝﾄﾞ付きが同時発売！ｻｲﾝ本抽選受付開始！楽しくｽﾎﾟﾁｬﾝがわかる4ｺﾏ漫画登場!ｻｲﾝ本抽選受付開始!ｽﾎﾟﾁｬﾝ!(1) ｻｲﾝ本抽選あり/土管 11/27発売ｽﾎﾟﾁｬﾝがわかりやすく競技の楽しさも描かれた4ｺﾏ漫画登場！発売記念として抽選になりますがｻｲﾝ本受付開始！ﾎﾟﾝｺﾂくﾉ一のちょっと破廉恥ｺﾒﾃﾞｨ登場!ｻｲﾝ本抽選受付開始!おいのち頂戴!(1) ｻｲﾝ本抽選あり/神地あたる 11/

▽妖精現実 ﾌｪｱﾘｱﾙ - faireal.net
●11/21 10:03
2024-11-20 ｢神の証明｣の簡単化についての覚書 ｶﾞｳｽの第六証明前回紹介した｢第六証明｣のｱﾚﾝｼﾞは､ Erd〓s のいう｢神の証明集｣に基づく（それぞれの定理について､最もｴﾚｶﾞﾝﾄな証明法を集めた天界の書物）｡美しい証明には違いないが､振り返ると､幾つか｢もっと簡単にできるのでは｣と思われる部分もある｡もしも｢数学のｷﾞﾈｽﾌﾞｯｸ｣のようなものがあったとしたら､｢平方剰余の相互法則｣は｢最も多くの別証明が考案･公表された定理｣として､そこに掲載されるらしい｡多くの研究者が何度もこの定理に取り組んだのは､だてや酔狂ではないし､ましてや｢本当に正しいのか？｣と疑問を感じて､再証明を試みたわけでもない｡いうなれば､幾つもの国境にまたがって延びる山脈｡｢同じ一つの山脈｣だけど､例えばｲﾀﾘｱ側から登るのとﾌﾗﾝｽ側から登るのとでは､全く別の風景を楽しめる｡どのｺｰｽの展望も素晴ら