▽植草一秀の『知られざる真実』
●04/28 01:07 植草一秀
2021年11月16日 (火)
世間の常識とかけ離れる接種証明
岸田内閣が｢ﾜｸﾁﾝ･検査ﾊﾟｯｹｰｼﾞ｣制度の要綱案が分科会で了承されたと報じられている｡その内容として､･ﾜｸﾁﾝの接種証明は2回目の接種から14日以上経過したことの確認を条件として有効期限は定めない｡･検査での陰性証明はPCR検査などを推奨し､有効期限は検体の採取日から3日以内とする｡が伝えられている｡政府が｢ﾜｸﾁﾝ･検査ﾊﾟｯｹｰｼﾞ｣制度を創設するのは､新型ｺﾛﾅの感染が再拡大した場合でも､経済社会活動との両立を図る必要があるとして､ﾜｸﾁﾝ接種や検査による陰性の証明を示す｢ﾜｸﾁﾝ･検査ﾊﾟｯｹｰｼﾞ｣制度を活用して行動制限を緩和するためだという｡行動制限緩和の要件としてﾜｸﾁﾝ接種または陰性証明を位置づける｡さらに､GoToﾄﾗﾍﾞﾙ事業などの政府による利益供与施策の要件にも...
» 続きを読む
投稿日 202

▽きしだのはてな
●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

▽日本のSIerはｸﾗｳﾄﾞ普及の逆風なのか？ 〓 Publickey
●04/26 15:38
［速報］AWS､ARMﾍﾞｰｽの独自ﾌﾟﾛｾｯｻを強化した｢Graviton 3｣および新ｲﾝｽﾀﾝｽ｢C7gｲﾝｽﾀﾝｽ｣発表｡AWS re:Invent 2021
［速報］米NASDAQ､取引市場をAWS上へ段階的に移行｡2022年から開始すると発表｡AWS re:Invent 2021
Amazon ECR PublicからDocker公式ｲﾒｰｼﾞが取得可能に｡Docker Hubのﾌﾟﾙ制限を回避可能｡AWS re:Invent 2021

▽IT戦記
●04/18 05:21
読者になる

▽ゆｰすけべｰ日記
●04/17 22:41
2021-09-16
Next.js+microCMS+Vercel面白い — Next.js と microCMS と Vercel が面白い｡それぞれ面白いし､組み合わせるとさらに面白い｡なにせ､ﾒﾃﾞｨｱｻｲﾄがﾃﾞﾌﾟﾛｲも含めて 2 時間で出来る｡ Next.js + microCMS + Vercel すごいな｡ﾒﾃﾞｨｱｻｲﾄ（中身ｽｯｶｽｶだけど）がものの 2 時間でﾃﾞﾌﾟ…