▽Cafe White Hearts
●12/22 14:31
写真俳句ﾌﾞﾛｸﾞすきま風(2024-12-22 10:33:59)政治について｢中国がくしゃみをしても･･｣想定…(2024-12-22 13:36:57)徒然日記重盛さと美 "ANGEL" MV(2024-12-22 08:27:18)

▽Gizmodo Japan
●12/22 13:54
税込み790円｡見つけたら即買いたい無印良品のﾊﾝﾄﾞｽﾄﾗｯﾌﾟ2024年､買っても損しないおすすめﾉｰﾄPC9選2024.11.28ｷﾞｽﾞﾓｰﾄﾞが本になります｡世界にあふれるﾃｸﾉﾛｼﾞｰを知るって楽しい2024.12.21Googleが画像･動画生成AIを発表｡このｸｵﾘﾃｨは本気だぞ…2024.12.19ｸﾞﾙｸﾞﾙぽｰん！で飛んでく宇宙船､ 1万G負荷ﾃｽﾄをｸﾘｱしました2025年を目前に､機能強化した最新ｶﾞﾗｹｰが登場してます！2024.12.22 11:00ｻｲﾊﾞｰﾄﾗｯｸ新作おもちゃ､浮いたりｾﾞﾝﾏｲで走ったり2024.12.22 08:00ChatGPTｱﾌﾟﾘが進化｡他のｱﾌﾟﾘの内容を読み込んで答えてくれます（まだMacOS限定）2024.12.21 23:00

▽特殊清掃｢戦う男たち｣
●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通り)を当てはめても､この命題は必ず真であるからﾄｰﾄﾛｼﾞｰである｡このとき､この論理式は推論規則で導出することができる｡(どのように導出されるかは､拙著『証明と論理に強くなる』で読んでくださいな)｡｢命題論理の完全性定理｣は､このようなことが一般的に成り立つことを主張している｡すなわち､｢形式的に証明できる命題は常に正しい｣だけではなく､