▽週刊！Mac miniのある生活
●11/23 10:17
ﾌﾞﾛｸﾞ訪問者数に応じてdﾎﾟｲﾝﾄ最大1,000pt当たる！ ﾛｸﾞｲﾝ ﾌﾞﾛｸﾞ開設

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

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

▽ろじっくぱらだいす(Logic Paradise)　〜logipara.com〜
●10/25 12:41
1 on 1面談2024年10月24日日記2024年度も下半期になりまして､職場で上半期の成果について､上司と面談をすることになりました｡要するに｢もっと仕事しろ｣と怒られる､ということです｡仕事してないのは事実ですが､それで小言を言われるのも辛い｡いい方法はないか､と検索したところ､｢1 on 1面談では､最初に天気や体調の話をして､雰囲気を和らげましょう｣というｱﾄﾞﾊﾞｲｽがあったんです｡よし､やってみよう！……というわけで､50代上司と､40台のﾜﾀﾅﾍﾞが面談となり､私から｢最近､気温の上下が激しくて､体調を崩しがちですよね～～～｣と言ったところ､そこから盛り上がってしまい､｢この歳になるとずっと調子悪いよね｣ﾄｰｸだけで面談時間が終わりました2024年10月24日 : 日記1 on 1面談2024年度も下半期になりまして､職場で上半期の成果について､上司

▽fu7mu4の日記
●09/21 05:12
2024-09-20Qt5 と Qt6 がはいっていたmacOS,QTSELECTQt5 と Qt6 がはいっていたきがつくと homebrew で qt5 と qt6 がはいっていた｡qt6 だけでいいと思うんだけど､ﾋﾞﾙﾄﾞするときなどでなぜか qt5 の方を見つけて qt5 は古いからﾀﾞﾒとｴﾗｰがでる｡TL; DRexport QT_SELECT=qt6 # or QT_SELECT=qt6 <ｺﾏﾝﾄﾞ>ｴﾗｰ例CMake Warning at cmake/findDependencies.cmake:27 (message): Building with Qt5 is deprecated (it went EOL in May 2023) and will be removed in a future release - please use Qt6