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

▽c9日記 -ｶﾀﾔﾏﾝがﾌﾟﾛｸﾞﾗﾏﾁｯｸに今日もｺｰﾄﾞｱｼｽﾄ
●03/28 11:51
このﾌﾞﾛｸﾞについて

▽marsのﾒﾓ
●03/28 08:43
このﾌﾞﾛｸﾞについて

▽ﾌﾟﾛｸﾞﾗﾏとSEのあいだ
●03/27 17:03
2021-10-23
iPad mini 6用ｸﾘｱｹｰｽ購入
ｶﾞｼﾞｪｯﾄ
家の中でしか使わないし､ｹｰｽもいらんかなと思ってましたが､ｱﾙﾐﾎﾞﾃﾞｨかなんか知らんけど､落としたらﾀﾞﾒｰｼﾞが強そうなので､やっぱりｹｰｽに入れることにしました｡
ｹｰｽはiPhoneとかもそうですが､筐体の色がわかるようにｸﾘｱなものにしてます｡
iPad mini 6 用 ｹｰｽ ｸﾘｱ TPU 背面ｶﾊﾞｰ 超軽量 薄型 耐衝撃 ﾜｲﾔﾚｽ 対応 iPad mini6 第6世代 8.3ｲﾝﾁ ｶﾊﾞｰ
PRODELI
Amazon
適当にAmazonで探して安かったのでこれにしました｡ﾋﾟｯﾀﾘﾌｨｯﾄで良い感じです｡ｶﾒﾗ面を下にして置いても､ﾚﾝｽﾞが接地しないようになってます｡とりあえずこれで安心して使えますね｡
最近iPad mini 6のKindleｱﾌﾟﾘで読書がはかどってます｡ｻｲｽﾞ感よく便利です｡
t

▽設計と実装の狭間で｡
●03/25 13:39
このﾌﾞﾛｸﾞについて