▽きしだのはてな
●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/09 21:55
2021-10-26
_ ﾃﾚﾋﾞのあるくらし
前の家にｹﾞｰﾑのためにﾃﾚﾋﾞを買って､これってﾃﾚﾋﾞ見ることもできないかな､ってことでｱﾝﾃﾅとか買ってみて､でもうまくつなげるやりかたがわからなくて､諦めていた｡引越してきて､これを刺せば動くんじゃないか……？と刺してちょっとなんかしてみたらうつった｡このようにして我が家に3種の神器がそろったのである
と､思ったら､高度成長期の3種は車が必要なのか: https://ja.wikipedia.org/wiki/%E4%B8%89%E7%A8%AE%E3%81%AE%E7%A5%9E%E5%99%A8_(%E9%9B%BB%E5%8C%96%E8%A3%BD%E5%93%81) これどの時代もそろえるのむずいな
1950年後半: 白黒ﾃﾚﾋﾞ× 洗濯機○ 冷蔵庫○
高度成長期: ｶﾗｰﾃﾚﾋﾞ○ ｸｰﾗｰ○ 車×
ﾃﾞｼﾞﾀﾙ: ﾃﾞｼﾞﾀﾙｶﾒﾗ○ DV

▽A Successful Failure
●03/28 00:29
読者になる
現在の実装では､これらのｾｸﾞﾒﾝﾄやｽﾄﾘｰｸはﾗﾝﾀﾞﾑにｻﾝﾌﾟﾘﾝｸﾞされた色付点として描写され､Ambient point cloud（周辺点状雲とでも訳すのか？）と名付けられている｡これにより､精度の低い距離値が原因のｺﾞｰｽﾄが低減され､ﾎｰﾙやｸﾗｯｸ等がAmbient point cloudによって埋められる｡ただし､精度高く3Dﾓ

▽高木浩光＠自宅の日記
●03/22 11:13
さて問題は､なぜ宇賀説があのようになったのかである｡法律案審議録の中には､立案担当部局が提出する説明資料（通常｢内閣法制局説明資料｣などと題される）が､本件の場合（他の法律の場合と比べて）あまり含まれていなかった｡一つだけそれらしき文書があるのだが､日付が記載されておらず､どの時点のものか不明であるが､以下のように､途中段階の条文に沿った説明がなされている｡

▽J
●02/02 16:40
2021-10-06
水平埋伏智歯 抜歯 右下編
https://w0.hatenablog.com/entry/2021/01/17/003620
>反対側抜糸の予約も入れました
行ってきた｡麻酔があまり効かなくて､耐えられないくらい痛かったので､途中で挫折しました｡
事前の説明では､左下より骨に埋まってるから前回よりちょっと大変かも､みたいな説明だった｡前回も耐えられないくらい痛かったけど､継続時間が短かったから､なんかｷﾞﾘｷﾞﾘ耐えられた気がする｡今回は､引っぱられてる間ずっと激痛みたいな感じで､もう無理だった｡
多分次は
https://miraishika-dental.com/blog/%E6%80%96%E3%81%8F%E3%81%AA%E3%81%84%EF%BC%81%E3%83%AA%E3%83%A9%E3%83%83%E3%82%AF%E3%82%B9%E3%81%9