分からんので寝よ
違うな。存在して可換を変換にする方法を考えれば良いのか。しかしそれははたして求められてるものなんかな？
圏論力かなり落ちてるのを感じる。世の中学びたいこともやりたいことも多すぎるからな
最近圏論やってないし、圏論力も足りなくて分からないが、「△△がただ一つ存在して可換」のモデル化を工夫すれば〇〇からの変換で形式化できそうな直感はあるんだよな。ただ、具体的な方法をパッと思いつかんな
RE: https://misskey.io/notes/9lhy2jhzjp
エリックエヴァンスのドメイン駆動設計、めっちゃいい本だな。ただ今読むからこそ価値が分かる感もあるな
それを考えると理想なのは、ネットの世界には2つぐらい国境に捉われない統治機構があり、物理の世界は地域毎の統治機構があるぐらいが妥当なのかもしれんな
やっぱり国境越えることに色々ネックはあり、そこは不自由な面ばかり目が行きがちだが、国境がないことによる不便さや国境があることによって保護されてる・調整できる世界もあるわけか
地域毎に最適ではないもののいい感じに行政が分かれており、貨幣も分かれていてそれぞれの地域毎の事情で為替相場が調整されるの、よく考えたらなるべくしてなった体制なのかもな
GPT-4先生に渋谷ハロウィンに関連したジョークを作ってもらいました。クオリティ高いな
OSS もボランティアで運営されてる Conference も、絶対ビジネス化した方が責任持って運用されてある程度の品質が参加者に担保されると思うんだよな。まあビジネス主眼になっちゃうと問題だけど、ボランティアだから許されるっていうのもコミュニティの発展阻害だしな
String Diagram、共通言語でありながら人によって描き方が違うという致命的な問題があるのと、そもそも描く途上の要所要所が大事で完成系からそこが読み取れないという問題がある
