▽ﾗｼﾞｪﾝﾀﾞ日記
●05/01 16:29
1 部活･ｻｰｸﾙ
2 ﾒﾝﾀﾙ
3 ﾎﾞﾗﾝﾃｨｱ
4 ｹﾞｰﾑ
5 経営･ﾋﾞｼﾞﾈｽ
6 金融･ﾏﾈｰ
7 中国語
8 発達障害
9 車･ﾊﾞｲｸ
10 語学

▽RHEOS REPORT - ﾚｵｽ･ｷｬﾋﾟﾀ･･･
●05/01 11:47
2021年10月

▽ふうてんの猫の猫耳東風的MBA生活
●05/01 09:50
【光浦靖子さんｲﾝﾀﾋﾞｭｰ】手芸にﾊﾏったきっかけは？
一方で､目の前の人とより平等になること､自分の

▽1日3分間！！起業｢超｣入門講座 - livedoor Blog（ﾌﾞﾛｸﾞ）
●04/28 13:09
mixiﾁｪｯｸ 〓〓〓〓〓〓0
mixiﾁｪｯｸ 〓〓〓〓〓〓0
mixiﾁｪｯｸ 〓〓〓〓〓〓0
mixiﾁｪｯｸ 〓〓〓〓〓〓0
mixiﾁｪｯｸ 〓〓〓〓〓〓0
mixiﾁｪｯｸ 〓〓〓〓〓〓0
mixiﾁｪｯｸ 〓〓〓〓〓〓0
mixiﾁｪｯｸ 〓〓〓〓〓〓0
mixiﾁｪｯｸ 〓〓〓〓〓〓0
mixiﾁｪｯｸ 〓〓〓〓〓〓0

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