Home | Notifications | New Note | Local | Federated | Search | Logout
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-01-16 01:51:33) すでによく本質が理解されているものを再利用するときに高階帰納型はものすごく価値を発揮しそうな感じがする。自分でうまく定義できる気は正直まったくしない。