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

▽ﾌﾟﾛｸﾞﾗﾏの思索
●04/22 11:00
計量経済学における統計上の根本問題
Slack導入がDXに繋がる話
OODAﾙｰﾌﾟの時代は､大事なのは使命であり､目標は使命達成のための手段に過ぎない

▽裏･たけぞう瀕死の日記
●04/21 05:36
このﾌﾞﾛｸﾞについて

▽今日のひとこと
●04/03 07:53
ﾃﾞｨｽﾞﾆｰのせいで夫婦が二重人格になった話
｢今度ﾃﾞｨｽﾞﾆｰﾗﾝﾄﾞに行くよ｣ その一言から我が夫婦の二重人格生活は始まった｡ 2歳の我が子は初めてのﾃﾞｨｽﾞﾆｰﾗﾝﾄﾞ｡ ﾐｯｷｰ､ﾐﾆｰの存在は知っていたけれど､初めて動く彼らに会えるということで大興奮し､ ｢ねぇﾐﾆｰちゃん｣ と､唐突に私をﾐﾆｰ…
男性見聞録 - 2021-08-17 19:01:26
COVID-19
日本の異常なｺﾛﾅ禍を伝える中国の報道
私は視聴できる環境にいれば､常にCCTVの放送をつけっぱなしにしているのだが､さっきﾓﾆﾀｰを見たら､日本語だったので｢あれ？どうして日本の放送が写ってるの…｣と錯覚した｡ CCTVで日本のｺﾛﾅ禍を報道していたのだが､短いながら非常にわかりやすい内容だった…
黒色中国BLOG - 2021-08-18 12:12:26
ﾚｶﾞｼｰとなった TLS 1.0/1.1 廃止までの道のり

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