こんにちは。Legalscape SRE・カイゼンチームの橋本です。 2026年5月22日〜23日にベルサール羽田空港で開催されたTSKaigi 2026に参加してきました。 私は初参加でしたが、参加者数が多く、TypeScript（以下、TS）に関するアンケートボードへの書き込みも積極…

Legalscape のしろくまです。 自然数の集合論的定義（フォン・ノイマンの構成）は空集合の公理と無限の公理を利用して 以下のようになります。 0 = ∅ 1 = {0} = {∅} 2 = {0, 1} = {∅, {∅}} 3 = {0, 1, 2} = {∅, {∅}, {∅, {∅}}} ・・・ また加算は S(n) = n ∪…

Legalscape のしろくまです。 TypeScript の Type System では Nominal な比較が用いられることがあります。 例 class Product { private name: string; } class User { private name: string; } let p = new Product(); let u = new User(); // Type 'User'…