檜山正幸のキマイラ飼育記 (はてなBlog)2025-09-06 相対モナドのアイレンベルク／ムーア圏 雑記／備忘 相対モナドのクライスリ圏は簡単に作れます。が、アイレンベルク／ムーア圏はそれほど簡単ではありません。アイレンベルク／ムーア代数の定義はやや奇妙です。しかし、相対モナドの拡張スタイルの定義とは相性が良い定義になっています。$`\newcommand{\cat}… 2025-09-02 アブラムスキーが語る、普通のデータベースで普通に起きる量子的現象 雑記／備忘 最近、データベースに関する記事「概念的に単純明快合理的なデータベース問い合わせ言語 その1」を書きました。それで、データベース関連のキーワードで検索しているうちに、すごく面白いモノを見つけてしまいました。とりあえず「コレは面白そうだ」と言っ… 2025-08-27 概念的に単純明快合理的なデータベース問い合わせ言語 その1 雑記／備忘 データベースの話をしようと思
