▽ｾｷｭﾘﾃｨﾎｰﾙ memo
●11/23 07:23
》 PHP 8.4.1ﾘﾘｰｽ⁠⁠､ﾌﾟﾛﾊﾟﾃｨﾌｯｸが利用可能に (gihyo.jp, 11/22)》 PostgreSQL 17.2, 16.6, 15.10, 14.15, 13.18, and 12.22 Released! (PostgreSQL, 11/21)｡ｾｷｭﾘﾃｨ修正は無いみたい｡ PostgreSQL 12 は EOL｡》 社会に報復？殺傷事件相次ぐ中国 いったい何が？ (NHK, 11/22)｡｢景気がよかったときは問題があってもあまり目立たなかったんですが､それがいま､むき出しになってきている感じがあります｣｡

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

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

▽PC Watch Title Page
●11/20 22:02
11月20日(水) 19:51 更新｢REALFORCE RC1｣は高級ｺﾝﾊﾟｸﾄｷｰﾎﾞｰﾄﾞの新定番になるか？HHKBとも比較してみた世界最軽量634gﾉｰﾄ｢ﾑｻｼのﾘﾍﾞﾝｼﾞ｣｡復活を遂げたLIFEBOOK UHｼﾘｰｽﾞ【前編】｢Microsoft Flight Simulator 2024｣が登場！ﾅﾃﾞﾗCEOもお気に入りの理由とは？開発責任者ｲﾝﾀﾋﾞｭｰ半導体/周辺機器ｹﾞｰﾑ機本気でAndroidｹﾞｰﾑやるならこれだ！7型OLED採用の｢AYANEO Pocket EVO｣19:51ﾊﾟｿｺﾝ/ﾀﾌﾞﾚｯﾄ/ｽﾏｰﾄﾌｫﾝｽﾏｰﾄﾌｫﾝiPhoneiOS/iPadOS 18.1.1公開｡すでに悪用可能性のある脆弱性を修正18:40半導体/周辺機器ｹﾞｰﾑ機ｹﾞｰﾑﾎﾞｰｲっぽいAndroidｹﾞｰﾑ機｢AYANEO Pocket DMG｣を国内発売17:10ｿﾌ

▽窓の杜
●11/20 09:05
生成AI文章生成連載柳谷智宣のAI ｳｫｯﾁ！調べ物のﾃﾞﾌｫﾙﾄは超絶便利な検索特化型の生成AIになるかも！ 知っておくべき活用法と利用する際の注意点Google先生を超える!? 検索特化型AIの実力［後編］09:00ｾｷｭﾘﾃｨ脆弱性iOSApple､2件のｾﾞﾛﾃﾞｲ脆弱性に対処したｾｷｭﾘﾃｨ更新 ～Intel Macで攻撃を確認｢iOS 18.1.1｣｢iOS 17.7.2｣｢macOS Sequoia 15.1.1｣｢Safari 18.1.1｣などを公開08:12ｵﾌｨｽ･ﾄﾞｷｭﾒﾝﾄｵﾌｨｽ連載いまさら聞けないExcel【Excel】ﾃﾞｰﾀ件数を数えたいなら指も関数もいらない！ 条件に合致するﾃﾞｰﾀの勘定も可能06:55ｲﾝﾀｰﾈｯﾄWebﾌﾞﾗｳｻﾞｰﾃﾞｻﾞｲﾝに凝りすぎて見づらいWebｻｲﾄを見やすくできる｢Microsoft Edge｣の小技