▽- d i v i n e r e l i c s -
●11/22 06:49
800963

▽弾幕やさん
●11/22 05:04
内容 実行 raiboru.bml Flandre 2008-05-21 自作ｽﾍﾟﾙｶｰﾄﾞ（雷符｢ﾗｲﾄﾆﾝｸﾞ･ﾎﾞﾙﾃｯｸｽ｣）←名前はﾈﾀw内容 実行 napa.bml Flandre 2008-05-21 自作ｽﾍﾟﾙｶｰﾄﾞ（爆符｢ﾅﾊﾟｰﾑ･ﾃﾞｽ｣）←名前はﾈﾀですw内容 実行 huuun.bml Flandre 2008-05-21 自作ｽﾍﾟﾙｶｰﾄﾞ（風符｢風雲の叫び｣）　←一種のｱｰﾄ弾幕？内容 実行 real-man-fight.bml Oohara_Yuuma 2006-07-27 大人のﾏｼﾞな戦い内容 実行 tenth-anniversary-firework.bml Oohara_Yuuma 2006-07-27 十周年の花火内容 実行 Mushihime_O3boss_like.bml Pentan 2005-04-25 嘘っぱち虫姫3ﾎﾞｽ内容 実行 etern

▽bero の日記
●11/22 00:16
一つのことを行い､またそれをうまくやるﾌﾟﾛｸﾞﾗﾑを書け -- Malcolm Douglas McIlroy

▽PB memo
●11/21 15:18
2024-11-20ruby-trunk-changes 2024-11-20今日は主に標準添付ﾗｲﾌﾞﾗﾘ pp や irb の更新､non-blocking Fiber 用 Scheduler の新しいﾌｯｸﾒｿｯﾄﾞ仕様の追加などがありました｡[492b379b52] Nobuyoshi Nakada 2024-11-19 12:23:15 UTC標準添付ﾗｲﾌﾞﾗﾘ pp に rdoc 用ｺﾒﾝﾄの漏れの追加および :nodoc: ﾀｸﾞの追加をしています｡[dd473cec29] sodacris 2024-11-18 07:53:34 UTCbundler のﾃｽﾄで bundle binstub ｻﾌﾞｺﾏﾝﾄﾞ実行時のﾁｪｯｸの修正｡[edf5a738a3] Kouhei Yanagita 2024-11-19 13:13:12 UTCirb の man ﾍﾟｰｼﾞの更新｡

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