▽developerWorks : SOA and Web services
●05/15 15:09
Think Summit Japan 見逃し配信
経営課題に一丸となって取り組む全企業人に贈る､IBM主催のﾃﾞｼﾞﾀﾙｲﾍﾞﾝﾄを再び
全日見逃し再配信10月26日まで〓

▽XML.com
●05/14 01:45
eXist-db Ansible Role 1.0 released
Version 1.0 (Aug 15 2021)
This version has been applied to various eXist-db instances that …
26 August 2021 Read

▽[ThinkIT] ｵｰﾌﾟﾝｿｰｽ時代の企業ｼｽﾃﾑ選択ﾎﾟｰﾀﾙ
●05/03 01:10
2021/10/14 Microsoft､CUIのﾊﾟｯｹｰｼﾞ管理ﾂｰﾙ｢Windows Package Manager 1.1｣ﾘﾘｰｽ
2021/10/14 東陽ﾃｸﾆｶ､同社が自社開発したｾｷｭﾘﾃｨﾘｽｸ可視化ｿﾘｭｰｼｮﾝ｢NetEyezTM Security｣を発売開始
2021/10/13 US-CERT､Ciscoの複数の製品に発見された脆弱性について注意喚起

▽TheServerSide.com - News, Patterns, Reviews, Discussions, Articles, Books
●05/02 06:48
Introduction to Docker quiz
These Docker questions and answers will test your knowledge of the fundamentals of Docker, but it won’t be easy. Take this quiz and see if we can stump you.
The Git fork command explained
Cameron McKenzie 20 Jul 2021
Looking for the fork command in Git? Well, it doesn’t exist. Here we’ll show you how to fork a Git or GitHub repo on your own.

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