しげるｱﾝﾃﾅ - はてなｱﾝﾃﾅ

▽himaginaryの日記
●04/29 14:13
2021-11-16
勝者総取り？技術集積地､人口中心地､および米国の発明の空間的変貌
というNBER論文が上がっている（H/T タイラー・コーエン）｡原題は｢Winner Takes All? Tech Clusters, Population Centers, and the Spatial Transformation of U.S. Invention｣で､著者はﾊｰﾊﾞｰﾄﾞ大のBrad ChattergoonとWilliam R. Kerr｡
以下はungated版の導入部からの引用｡
U.S. patenting has become much more s

▽たつをの ChangeLog
●04/29 07:20
2021-11-11
ｲﾝﾌﾙｴﾝｻﾞの予防接種を近所の内科で受けました 2021
[HealthCare][Diary]
今年もｲﾝﾌﾙｴﾝｻﾞの予防接種を受けましたよ｡
《続きを読む》
[ 固定ﾘﾝｸ ] 2021-11-11-1
【育児日記】月曜日だけど土曜日の運動会の代休
[Diary][Family]
月曜日ですが､とらちゃん（小5息子）は土曜日の運動会の代休｡
【育児日記】今年も保護者入れ替え制の短縮運動会[2021-11-06-1]
一日中自宅で過ごしていました｡
放課後ｸﾗﾌﾞ､申し込んでおけばよかったや｡
代休のことすっかり抜けていました｡
私は在宅勤務なので若干気が散ったりも｡
午前中はｵﾝﾗｲﾝ動画で算数と国語をやってもらいました｡
久々に MESH で遊びたがってたので午後は iPad で MESH｡
午前中はひたすら MESH の充電しました｡
全種類接続しようとするも

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

▽BOOLEANLABEL
●04/16 20:41
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