▽きしだのはてな
●04/27 09:23
2021-10-14
代数ﾃﾞｰﾀ型の直積型と直和型の理解
代数ﾃﾞｰﾀ型という考え方があって､型に対する代数的な操作を行うものっぽいです｡代数的な操作というのは､足し算とか掛け算ですね｡直和型と直積型というのがあります｡
直積型は構造体のようなもので､Javaだとrecordが導入されましたね｡
record A(int p1, boolean p2) {}
みたいなものです｡
これがなぜ積なのかというと､このﾚｺｰﾄﾞAの取りうる値の組み合わせは､intの値のﾊﾟﾀｰﾝ数(2 ^ 32) × booleanの値のﾊﾟﾀｰﾝ数(2)で2 ^ 33になるからなんだと思います｡
直和型は､型がこれかこれ､みたいになるやつです｡Javaだとtry-catchのcatch句に直和型が指定できて､この例外かこの例外､みたいな書き方ができますね｡
catch (NullPointerException | N

▽ｾｷｭﾘﾃｨﾎｰﾙ memo
●04/26 00:24
■いろいろ (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/15 02:42
2021-10-03(Sun) [長年日記] この日を編集
■ GitLab 14.3.0へのupgradeでｴﾗｰ
Expected batched background migration for the given configuration to be marked as ’finished’, but it is ’failed’: {:job_class_name=>”CopyColumnUsingBackgroundMigrationJob”, :table_name=>”ci_builds”, :column_name=>”id”, :job_arguments=>[[”id”, ”stage_id”], [”id_convert_to_bigint”, ”stage_id_convert_to_bigint”]]}
ということで､ﾊﾞｯｸｸﾞﾗｳﾝﾄﾞﾏｲｸﾞﾚｰｼｮﾝで､完了(

▽株式会社ｽﾀｰﾛｼﾞｯｸの羽生章洋が書いてる日記
●01/09 15:06
このﾌﾞﾛｸﾞについて

▽独り言のようなもの
●08/06 14:43
2015|01|02|03|04|05|