▽Cafe White Hearts
●12/21 23:12
つぶやきいきなり朝の気温急降下(2024-12-21 07:43:04)気になるﾆｭｰｽ＆話題(Infoseekﾆ…浜田雅功　人気ｱｲﾄﾞﾙが芸名だと知…(2024-12-21 23:00:09)写真俳句ﾌﾞﾛｸﾞ冬うらら原爆ﾄﾞｰﾑ確と建つ(2024-12-21 20:38:51)

▽Gizmodo Japan
●12/21 06:26
【噂まとめ】iPhone SE4もといiPhone 16eのすべて｡来年3月発売が濃厚です（12月18日更新）2024.12.18ｲﾝﾃﾙのｸﾞﾗﾎﾞ売れまくって品薄に｡GPU市場が活性化する兆し2024.12.19Googleが画像･動画生成AIを発表｡このｸｵﾘﾃｨは本気だぞ…2024.12.19Metaのﾚｲﾊﾞﾝがぐぐっとﾊｲﾃｸ度ｱｯﾌﾟ｡ﾗｲﾌﾞ翻訳もできる肉の味を覚えたﾘｽ､ﾈｽﾞﾐを狩る2024.12.20 22:00掃除機いらず｡無印の圧縮ｹｰｽで､かさばる冬服もｽｯｷﾘ持ち運べた2024.12.20 21:30【1月23日開催】CES2025で見つけた最新のAIﾌﾟﾛﾀﾞｸﾄのﾄｰｸｲﾍﾞﾝﾄ､やります2024.12.20 21:00ｽﾏｰﾄﾘﾝｸﾞにﾃﾞｨｽﾌﾟﾚｲいる？（答：いらないです）2024.12.20 20:30ふるさと納税､返礼品に悩んだらAnker

▽特殊清掃｢戦う男たち｣
●12/21 06:04
感情の味2024-12-20 05:01:30 | 腐乱死体　ごみ屋敷腐乱死体現場には色々な生き物がいる｡ｳｼﾞ･ﾊｴはもちろん､ｺﾞｷﾌﾞﾘ･蚊･ﾀﾞﾆ･謎の虫､そして私｡この括り方でいうと､｢俺って一体･･･｣と思ってしまう｡ここで取り上げるのはﾈｽﾞﾐ｡特掃に入る家には､たくさんのﾈｽﾞﾐがいることも珍しくない｡押入の衣類等を片付けていると､その中からﾎﾟﾄﾎﾟﾄと子ﾈｽﾞﾐが落ちてくることがある｡ﾈｽﾞﾐ達の安住地をいきなり奪うのは申し訳ないような気もするが､こっちも仕事なんで仕方がない｡行き場を失った子ﾈｽﾞﾐは､とりあえず物陰に隠れようとする｡子ﾈｽﾞﾐって､丸くて小さくて可愛いいもんだ｡そんなのが､小刻みに震えたりなんかしていると､不憫に思えて大きな同情心がでてくる｡仕事を忘れて､代わりの住家を造ってやりたくなる｡捕まえて始末することは容易なこと｡しかし､そうしようと思っ

▽ぴょぴょぴょ？ Linuxとかの覚え書き
●12/08 19:40
2024-12-07linux 6.12.x で e1000e がﾌﾘｰｽﾞするLinux kernellinux 6.12.x に更新したところ e1000eのﾄﾞﾗｲﾊﾞが頻繁にﾌﾘｰｽﾞするようになりました症状としてはｶｰﾈﾙは linux 6.12.1 or linux 6.12.2突然，ﾈｯﾄﾜｰｸ（有線LAN）の通信が出来なくなるdmesg を見るとe1000eのﾄﾞﾗｲﾊﾞが ｴﾗｰを出しているlinux 6.11 に戻すと再現しないdmesg のｴﾗｰはこういう感じですe1000e 0000:00:1f.6 eth0: NETDEV WATCHDOG: CPU: 8: transmit queue 0 timed out 5304 ms調べてみると，これはe1000eにあるTSO (TCP Segmentation Offload)関連の不具合で，ﾊﾟｹｯﾄが大量に

▽hiroyukikojimaの日記
●11/04 14:48
｢命題論理の完全性定理｣というのは､｢ﾄｰﾄﾛｼﾞｰは必ず証明できる｣という定理である｡もう少し詳しく説明しよう｡与えられた命題について､それを構成する命題変数にどんな真偽を割り当ててもその命題が真であるとき､その命題をﾄｰﾄﾛｼﾞｰ(恒真命題)と呼ぶ｡与えられた命題がﾄｰﾄﾛｼﾞｰであるなら､その命題は必ず､通常の(公理から出発する形式的な)推論規則によって証明できる､というものだ｡例えば､命題変数から生成される命題を考えてみる｡にどんな真偽の組み合わせ(4通り)を当てはめても､この命題は必ず真であるからﾄｰﾄﾛｼﾞｰである｡このとき､この論理式は推論規則で導出することができる｡(どのように導出されるかは､拙著『証明と論理に強くなる』で読んでくださいな)｡｢命題論理の完全性定理｣は､このようなことが一般的に成り立つことを主張している｡すなわち､｢形式的に証明できる命題は常に正しい｣だけではなく､