▽Teedaとは - はてなﾀﾞｲｱﾘｰ
●04/30 16:25
枚方宿くらわんか五六市〓7 日前
松田軽太のﾌﾞﾛぐる〓2 か月前

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

▽IT戦記
●04/18 05:21
読者になる

▽せろ部屋？
●04/06 11:10
2021-10-23
Bootiful SQL Template 2.1.0でRecord対応をしました｡
Java SqlTemplate

▽kenmazのはてな
●04/01 07:20
2021-09-23
iOSDC2021に登壇しました
昨年に引き続きiOSDC2021にｵﾝﾗｲﾝ登壇しました｡
iOSｱﾌﾟﾘ開発者がﾃｽﾗを買って色々調べたりｱﾌﾟﾘを作ったりしつつまだ見ぬApple Carを想像する
巷ではApple Carが自動車業界の大変革を起こすのではと噂されていますが､そんな未来をちょっとだけ先取りして体験できるのが｢ﾃｽﾗ｣です｡私はiPhoneが登場した時のような衝撃を受け､気づいた時にはﾃｽﾗﾓﾃﾞﾙ3の購入ﾎﾞﾀﾝを押していました｡ﾃｽﾗ車にはﾃｸﾉﾛｼﾞｰに興味のある方なら誰もが興味を持つであろう…
fortee.jp
fortee.jp
私の発表資料は以下にｱｯﾌﾟしてあります｡
iOSｱﾌﾟﾘ開発者がﾃｽﾗを買って色々調べたりｱﾌﾟﾘを作ったりしつつまだ見ぬApple Carを想像する
by kenmaz
Link
Embed
Share
Beginning