▽きしだのはてな
●04/28 05:59
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

▽REVの日記　@はてな
●04/26 22:42
2021-11-30
<del>ｻﾔ</del>ｱｲの歌声を聴かせて
ﾈﾀばれある？
個人的に好きな展開としてはこんな感じ｡
すったもんだの末､主人公たちの努力はあんまり実らずｻﾄﾐやﾄｳﾏは不遇のまま｡
教室でﾎﾛﾘとなるｻﾄﾐの耳に､聞こえてくるあの歌｡
ｽﾋﾟｰｶｰから､皆のｽﾏｰﾄ端末から､ﾃﾞｨｽﾌﾟﾚｲから非常用設備から駐車場の自動車から歌声が響き､星間ｴﾚｸﾄﾛﾆｸｽの端末や測定機器､輸送機器に工作機械が歌いだし､それは景部市に広がり… ｻﾔｱｲはﾕﾋﾞｷﾀｽになったのです｡
REV 2021-11-30 11:38
<del>ｻﾔ</del>ｱｲの歌声を聴かせて
Tweet
広告を非表示にする
もっと読む
ｺﾒﾝﾄを書く
<del>ｻﾔ</del>ｱｲの歌声を聴かせて

▽yoshizu@S2F
●04/26 22:00
yoshizu
36
S2
2017/08/24
来訪者向け受付ｼｽﾃﾑを作った話
経緯 2017年7月22日､弊社は神泉町から南平台 (住所は道玄坂) に引っ越しました｡ 〒150-0043 東京都渋谷区道玄坂1丁目16-10 渋谷DTﾋﾞﾙ 7F 新しいｵﾌｨｽの入り口にはｲﾝﾀｰﾎﾝが付いておらず､ […] ...
yoshizu

▽shikaku’s memo blog
●04/23 03:38
2021-11-19
ﾌﾞﾛｸﾞやSEOなどの文章考える補佐してくれる｢Rytr｣
噂のGPT-3を使った自動文章作成ﾂｰﾙ｡
そんなに夢見るようなﾂｰﾙではないけど､ﾌﾟﾛｯﾄや下書き自動生成と考えれば結構すごいですね｡
Rytr - Best AI Writer, Content Generator & Writing Assistant
Rytr is an AI writing assistant that helps you create high-quality content, in just a few seconds, at a fraction of the cost!
rytr.me
rytr.me
shikaku 2021-11-19 16:23
ﾌﾞﾛｸﾞやSEOなどの文章考える補佐してくれる｢Rytr｣
ﾌﾞﾛｸﾞやSEOなどの文章考える補佐してくれる｢Rytr｣

▽BOOLEANLABEL
●04/16 17:28
2021-11-15
If fixing a bug is a breaking change then it is a breaking change
Programming Versioning
仕様と実装が違っていて､実装を仕様にあわせる (不具合修正する) と､結果的に今の実装からの破壊的な変更 (breaking change) が発生する場合に semver の major を bump するべきか？がわからなかったため､ｸﾞｸﾞったら面白いｽﾚｯﾄﾞがあったから読んでた｡
続きを読む
fd0 2021-11-15 22:17
If fixing a bug is a breaking change then it is a breaking change
Tweet
もっと読む
ｺﾒﾝﾄを書く
If fixing a bug is a breaking change then it