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

▽池田信夫 blog
●11/20 19:38
2024年11月20日17:25本大乗仏教はﾎﾟｽﾄﾓﾀﾞﾝを超えるか西洋哲学がﾌﾟﾗﾄﾝに始まりﾆｰﾁｪで終わったとすると､20世紀以降の哲学はそのｵﾏｹみたいなものだが､大乗仏教の歴史はその終わった地点から始まっている｡これは偶然ではない｡ｲﾝﾄﾞ＝ﾖｰﾛｯﾊﾟ語族は主語･述語の論理で考えるので､大乗仏典のﾛｼﾞｯｸは西洋哲学と似ているのだ｡中観派（ﾅｰｶﾞｰﾙｼﾞｭﾅ）は客観的実在を否定して｢空｣の思想を創造した｡そこではｶﾝﾄより1500年以上早く､｢存在は有から生じない｣などのｱﾝﾁﾉﾐｰを使って素朴実在論から矛盾が導かれることを明らかにしているが､積極的な世界像はない｡この点はﾎﾟｽﾄﾓﾀﾞﾝに似ている｡そういうﾆﾋﾘｽﾞﾑを超えようとしたのが唯識派である｡それは単に実在を否定するのではなく､それを成り立たせる本質は意識だと考える主観的観念論だった｡これは独我論に近いが､世界を成り立たせて

▽わたしが知らないｽｺﾞ本は､きっとあなたが読んでいる
●11/18 14:53
人はどういう思いで積読するのか？ 12人の積読家へのｲﾝﾀﾋﾞｭｰ『積読の本』読むｽﾋﾟｰﾄﾞより買うｽﾋﾟｰﾄﾞの方が早いのだから､棚からあふれた本が積まれていくのは当然のこと｡後はﾌﾄｺﾛと置き場所と罪悪感の折り合いをどうつけるかの話にすぎぬ｡にもかかわらず､積読ﾈﾀの本が出回っているのが面白い｡積み人たちそれぞれの言い分（言い訳？）を聞いていると､｢あるあるw｣と首がもげるほど頷いたり､｢こいつ正気か？｣とﾄﾞﾝ引きしたり､楽しいひとときとなった｡｢なぜわたしたちは本を積んでしまうのか？｣と問いかけながら､12人の積読家たちの溢れんばかりの書棚とともにｲﾝﾀﾋﾞｭｰしたものがこれ｡全員が全員､答えが違っているのが面白い｡本棚に入れてしまうと積ん読じゃない読まない本を買っているのではなく､自分のための図書館を建てているﾓﾉとして残らない電子本は､浪費している気がする背表紙が見えない本は

▽極東ﾌﾞﾛｸﾞ
●11/18 02:22
2024.11.17ﾄﾞｲﾂの問題は解決可能といえば解決可能だがﾄﾞｲﾂのｼｮﾙﾂ首相は11月6日､ﾘﾝﾄﾅｰ財務相の解任をｼｭﾀｲﾝﾏｲﾔｰ大統領に要請した｡これで三党連立政権が崩壊する｡ｼｮﾙﾂ氏は自身の社会民主党（SPD）と緑の党による少数政権を率い､ﾘﾝﾄﾅｰ氏は連立与党を担う自由民主党（FDP）をそれぞれ率いることになる｡ｼｮﾙﾂ氏は来年には首相信任決議案を連邦議会に提出する方針も表明している｡これが否決されれば､来年9月､総選挙が半年前倒しされることになる｡ﾄﾞｲﾂ危機の現状最新の経済予測では､ﾄﾞｲﾂの2024年の国内総生産（GDP）は0.2％減少する｡これは1990年のﾄﾞｲﾂ統一以降､2度目の連続縮小を意味する｡ｴﾈﾙｷﾞｰ供給の不安定さや中国市場の需要低迷が､ﾄﾞｲﾂ経済のさらなる押し下げ要因となっていたのだ｡また､ﾄﾞｲﾂの自動車産業は電動化への対応が遅れ､中国企業の市場侵食