▽/* とりあえず */ Alive and Well
●07/02 12:08
vpcgw01.hatena.ne.jp LOGON IN PROGRESS AT 03:29:56 ON DECEMBER 1, 2021
HndWiki 014331

▽きしだのはてな
●07/02 04:57
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

▽ｱｺﾞﾗ - 言論ﾌﾟﾗｯﾄﾌｫｰﾑ
●07/02 00:08
小室圭
杉山大志
ｱﾝｹｰﾄ
秋篠宮
ｵﾐｸﾛﾝ株にはﾜｸﾁﾝ強制と三回目接種前倒しで
八幡 和郎
【速報】立憲民主党新代表決定
ｱｺﾞﾗ編集部
GEPR
政治 佐藤 鴻全
ｵﾐｸﾛﾝ株は当面｢完全人的鎖国｣で備えよ
ﾏﾈｰ 一般投稿
住宅ﾛｰﾝ団体信用生命保険料の問題点 --- 新妻 博佳
国際 安田 佐和子
ﾈｯﾄでのﾌﾞﾗｯｸﾌﾗｲﾃﾞｰの売上高､統計開始初の減少に
新着ﾆｭｰｽ
小室圭
杉山大志
ｱﾝｹｰﾄ
秋篠宮
ｵﾐｸﾛﾝ株は当面｢完全人的鎖国｣で備えよ佐藤 鴻全
ﾈｯﾄでのﾌﾞﾗｯｸﾌﾗｲﾃﾞｰの売上高､統計開始初の減少に安田 佐和子
住宅ﾛｰﾝ団体信用生命保険料の問題点 --- 新妻 博佳一般投稿
ﾈｯﾄでのﾌﾞﾗｯｸﾌﾗｲﾃﾞｰの売上高､統計開始初の減少に安田 佐和子

▽Dion Cho - Oracle Performance Storyteller
●07/01 13:40
6 days ago

▽Oracle Scratchpad
●07/01 06:08
AWR / Statspack
Rownum〓effects