圏論の本を読んでいてよく詰まるのが、数学記号が読めないということ。 数学記号の表 - Wikipedia 色々あるけど、どうやって読むんだろうか。 それとも数学の人は読んでないのかな？ 例えば「192.168」と書いてあれば「イチキューニーイチロクハチ」と読む。…

やっと15ページまで読んだ。 1ヶ月前に買ったのに全然進んでいない。 267ページまである。 先は長い。www.amazon.co.jpAmazonのレビューは良くないみたい。 でも数学の基礎が無い自分は読みやすい。今のところ、と言ってもたった15ページだけど、暗黙の了解…

2020年9月末でAndroid 7.1以下でSSLが使えなくなるらしいので。 以下はDebian 10 Busterの環境だけれども、stretchでもCentOSでも内容はほとんど同じはず。songmu.jp community.letsencrypt.orgバージョン 1.6.0から --preferred-chain オプションで有効期限…

BladeOneをアップデートしたら、include時の変数割り当てのフローが変わったのか、既存変数が上書きされてエラーが出るようになってしまった。 本家Bladeではこういったことは起きない？ 仕方がないのでバージョン固定した。ソースを追っても何となく不毛な…

GUIで使っていてOfficeやらGHCやら色々入っている。PHP5も入っている。 Dockerもsystemd-nspawnコンテナも入っている。 かなり躊躇していたが、そろそろアップグレードする。 サーバーで使っている Debian を buster にアップグレードしたログ - ログ日記 CU…