どうでもいい重箱の隅の話だけど、集合の直和の形式的な定義に違和感。ベクトル空間の直和か何かと混同してるのかな？「A⊕B=A∪BただしA∩B={0}」と書いてあるけど、集合の直和なら「ただしA∩B= {}」だよね？？

shunkeen のブックマーク 2024/03/24 17:10

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/4751048784202615328/comment/shunkeen" data-user-id="shunkeen" data-entry-url="https://b.hatena.ne.jp/entry/s/speakerdeck.com/yuitosato/functional-and-type-safe-ddd-for-oop" data-original-href="https://speakerdeck.com/yuitosato/functional-and-type-safe-ddd-for-oop" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fspeakerdeck.com%2Fyuitosato%2Ffunctional-and-type-safe-ddd-for-oop" data-user-icon="/users/shunkeen/profile.png">ビジネスロジックを「型」で表現するOOPのための関数型DDD / Functional And Type-Safe DDD for OOP</a><br><p style="clear: left">どうでもいい重箱の隅の話だけど、集合の直和の形式的な定義に違和感。ベクトル空間の直和か何かと混同してるのかな？「A⊕B=A∪BただしA∩B={0}」と書いてあるけど、集合の直和なら「ただしA∩B= {}」だよね？？</p><a class="datetime" href="https://b.hatena.ne.jp/shunkeen/20240324#bookmark-4751048784202615328"><span class="datetime-body">2024/03/24 17:10</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

このブックマークにはスターがありません。
最初のスターをつけてみよう！

ビジネスロジックを「型」で表現するOOPのための関数型DDD / Functional And Type-Safe DDD for OOP

speakerdeck.com/yuitosato2024/03/23

Object-Oriented Conference 2024で発表した資料です。 https://fortee.jp/oocon-2024/proposal/b31c9818-3cb8-4350-adfe-cbc839cdf829 ビジネスの専門知識（ドメイン）を中心に据えたドメイン駆動設計に代数的デ...

281 人がブックマーク・14 件のコメント

他のコメントを読む

＼コメントがサクサク読めるアプリです／

はてなブックマーク

ビジネスロジックを「型」で表現するOOPのための関数型DDD / Functional And Type-Safe DDD for OOP

はてなブックマーク

公式Twitter

はてなのサービス