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

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

▽はてなﾀﾞｲｱﾘｰ - ABAの日誌
●11/07 03:42
2024-11-05私の心を揺さぶったﾌﾟﾛｸﾞﾗﾐﾝｸﾞ言語'Programming Languages That Blew My Mind'というﾌﾞﾛｸﾞ記事で､8歳からﾌﾟﾛｸﾞﾗﾏｰとして活動しているDavid Tellerさんが､人生で出会った革新的なﾌﾟﾛｸﾞﾗﾐﾝｸﾞ言語について紹介している｡BASICA language designed to make programming simple.Mind blown: Programming my own games!Mind blown: Arrays (or DIM, as they were called)!Mind blown: GOTO!Mind blown: GOSUB!Original, line-based, Basic is dead, but its legacy lives on in VB.Net, V

▽覚えらんない人のためのｵﾝﾗｲﾝｿﾌﾄ備忘録
●10/30 02:56
（追記）AHKをこの設定で常駐させている場合にちょっと問題が起きた｡ﾃﾝｷｰのないPCでPersecから繋いだあとにｼｮｰﾄｶｯﾄｷｰから切断すると､Numlockが無効になりｷｰを押しても有効に戻せなくなってしまう｡素人考えだが､Persecはｸﾗｲｱﾝﾄのﾃﾝｷｰのないｷｰﾎﾞｰﾄﾞで問題を起こさないようNumlockｷｰを一度無効にし､切断時にまた有効に戻すのではないだろうか｡その際にAHKでNumLock::returnしてあると有効に戻せなくなるのかもしれない｡これ､なぜかPersec上でｼｮｰﾄｶｯﾄｷｰからではなくCtrl+Shift+Mでﾒﾆｭｰを出しｶｰｿﾙで選んで切断するとﾃﾝｷｰ有効のままにできるようだ｡とりあえずこっちを習慣化することにした｡

▽Fioの素敵な日々
●10/17 05:00
｢この一週間でわたしは妖怪ﾋﾟｰﾅﾂﾊﾞﾀｰ舐めになった｣ﾋﾟｰﾅﾂﾊﾞﾀｰのこと前にも書いていると思うので重複申し訳ないのですが､みなさんがﾋﾟｰﾅﾂﾊﾞﾀｰに目覚めたのはいつですか｡わたしは21歳くらいのとき｡きっかけは､ｱﾒﾘｶのﾀｲ料理店のﾒﾆｭｰにあった｢ほうれん草のﾋﾟｰﾅﾂｿｰｽがけ｣｡半生のほうれん草に茶色の甘くてしょっ…いろいろなことがあるももｸﾛ｢走れ！｣も聴けて感無量｡くるりは信頼できる京都音博2日目京都音博2日目に参加してきたんですが､あの､最高すぎて､もう何かを書かずにはいられないので書きます｡全てについて書くのはしんどいので印象に残ったのだけ書く｡ 11時くらいに到着し､物販をうろうろ｡欲しいなと思っていたくるりのTｼｬﾂは売り切れ､京都音博T…思い出の向こう側音楽3個目で｢もういいかな｣｡心が満足しちゃってんのさよならﾄﾞｰﾅﾂﾎｰﾙかねてより念願だった