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

▽yosuke.hara’s weblog
●04/14 07:36
ｶｯﾌﾟからどう掘るか見せ合う
この駅はすごい｡ﾁｪｰﾝ店というﾁｪｰﾝ店がぜんぶある｡ ﾏｸﾄﾞﾅﾙﾄﾞがあるのは普通として､そこへﾛｯﾃﾘｱとﾓｽﾊﾞｰｶﾞｰがある｡ﾐｽﾀｰﾄﾞｰﾅﾂがあったかと思えばなんと不二家だ｡かつやがある､てんやがある｡むこうに見えるのはｶﾞｽﾄ､ｼﾞｮﾅｻﾝか｡ｴ…
まばたきをする体 - 2021-03-17 15:32:53
ｿｰｼｬﾙｹﾞｰﾑの話
｢競馬ｹﾞｰ｣としてのｳﾏ娘の良さについて語りたい
ｳ､ｳﾏ娘やりすぎて人とｳﾏの区別がつかなくなってきた… こんにちは｡育成がB+で頭打ちになってきたので､今日は｢競馬ｹﾞｰ｣として見たｳﾏ娘の話をしたいと思います｡ 育成のことばかり言われますけど､ｳﾏ娘は競馬ｹﾞｰという切り口で見ても良くできています｡ﾌﾟ…
当たり判定ｾﾞﾛ - 2021-03-14 22:06:10
瞬殺怪談 死地
3月29日発売の『瞬殺怪談 死地』に､鷲羽大介名

▽せろ部屋？
●04/06 11:10
2021-10-23
Bootiful SQL Template 2.1.0でRecord対応をしました｡
Java SqlTemplate

▽bose... 日々の徒然｡｡｡
●03/28 07:49
Linux (48)
pgpool-II (1)
iPhone (1)
Storage (1)
Hitachi (1)
ZeroMQ (1)

▽Tangerine Blog
●03/28 01:46
このﾌﾞﾛｸﾞについて