▽ｾｷｭﾘﾃｨﾎｰﾙ memo
●04/30 18:32
■いろいろ (2021.07.06)
(various)
Dovecot､Pigeonhole
[Dovecot-news] Dovecot v2.3.14.1 released (dovecot, 2021.06.21)､ [Dovecot-news] Dovecot v2.3.15 released (dovecot, 2021.06.21)｡ CVE-2021-29157､ CVE-2021-33515 を修正｡
Pigeonhole v0.5.15 Changes (Pigeonhole, 2021.06.21)｡ CVE-2020-28200 を修正｡
WhyNotWin11
Windows 11の要件ﾁｪｯｸﾂｰﾙ｢WhyNotWin11｣がﾀﾞｰｸﾓｰﾄﾞと日本語UIに対応 ｾｷｭﾘﾃｨ問題も修正｡古いﾋﾞﾙﾄﾞを利用している場合はｱｯﾌﾟﾃﾞｰﾄを (窓の杜, 2021.07.05)

▽檜山正幸のｷﾏｲﾗ飼育記
●04/29 19:09
2021-10-19
集合論と圏論がｽﾞﾚるとき： 空ﾘｽﾄ問題
雑記／備忘
ﾌﾟﾛｸﾞﾗﾐﾝｸﾞ言語や型理論の文脈で､空ﾘｽﾄの型つけ〈ﾀｲﾋﾟﾝｸﾞ〉が話題になることがあります｡集合論と圏論で解釈してみると､結果が違ってきます｡発想が違うので結果がｽﾞﾚるのは驚くことではありませんが､意外に思う人もいるかも知れません｡内容…
集合論と圏論がｽﾞﾚるとき： 空ﾘｽﾄ問題
集合論と圏論がｽﾞﾚるとき： 空ﾘｽﾄ問題

▽たつをの ChangeLog
●04/29 07:20
2021-11-11
ｲﾝﾌﾙｴﾝｻﾞの予防接種を近所の内科で受けました 2021
[HealthCare][Diary]
今年もｲﾝﾌﾙｴﾝｻﾞの予防接種を受けましたよ｡
《続きを読む》
[ 固定ﾘﾝｸ ] 2021-11-11-1
【育児日記】月曜日だけど土曜日の運動会の代休
[Diary][Family]
月曜日ですが､とらちゃん（小5息子）は土曜日の運動会の代休｡
【育児日記】今年も保護者入れ替え制の短縮運動会[2021-11-06-1]
一日中自宅で過ごしていました｡
放課後ｸﾗﾌﾞ､申し込んでおけばよかったや｡
代休のことすっかり抜けていました｡
私は在宅勤務なので若干気が散ったりも｡
午前中はｵﾝﾗｲﾝ動画で算数と国語をやってもらいました｡
久々に MESH で遊びたがってたので午後は iPad で MESH｡
午前中はひたすら MESH の充電しました｡
全種類接続しようとするも

▽L’eclat des jours
●04/26 19:29
2021-09-05
_ 三体〓と火の鳥未来編
そういえば三体〓を読了しているのだが記録していなかった｡どうも6月中には読み終わっているらしい｡
三体〓までのおもしろさは､特に〓が抜群だったが､世界を変えるのは憎悪なのか愛（いや尊厳と言ったほうが正確かな｡自己の尊厳を持つ者のみが他者の尊厳を尊重できるわけだから）なのか（それはすべてを破壊したいという衝動なのか､今あるものを護るという決意なのかと置き換えられる）という人類にとっての大命題を､人類の向こう側に正直者（極端な経済合理主義者と呼んでも良い）の三体人を配置することで最初は中国､そして全世界､さらには遥か数100年後の未来までの人類について考えてみた､ということにある｡
が､〓の死神永生はそこを遥かに通り過ぎて行ってしまってびっくりした｡範囲を本当に宇宙規模に拡大しているのだ｡
どんなに小さな星であっても､見上げた空のそこにあるという

▽かんべえの不規則発言
●04/26 12:47
g●かんべえの不規則発言
＜7月21〜22日＞（水〜木）
○久々に講演会で福岡へ｡考えてみれば､飛行機に乗るのは今年2回目である｡
○福岡に到着してみると､既に｢緊急｣でも｢まんぼう｣でもないので､市内はわりと平常ﾓｰﾄﾞにみえる｡講演会も｢ﾊｲﾌﾞﾘｯﾄ方式｣だと聞いていたのだが､ﾘﾓｰﾄよりもﾘｱﾙのお客さんの方が多かったようである｡せっかく来たのだから､これはこれでありがたい｡
○地元経営者の方々とお話しすると､やはり製造業は好調なところが多い｡21日公表の6月の貿易統計でも､輸出は7兆円越えですからね｡ﾄﾗﾝﾌﾟさんが中国に貿易戦争を吹っ掛けた2018年以来の水準です｡貿易統計では､このところｱﾒﾘｶからの医薬品の輸入額に注目しているのですが､今月は684億円（前年比21％）｡先月は841億円で､前年比209％増であった｡ﾜｸﾁﾝの輸入もこの中に入っているはず｡意外と数百億円のｵｰﾀﾞｰな