Hatena::Antenna

FlyingHighAgainのアンテナ RSS OPML

おとなりアンテナ | おすすめページ

  1. 2025/05/30 13:21:35 檜山正幸のキマイラ飼育記含むアンテナおとなりページ

    2025-05-30
    相対モナド/相対随伴系を見つける
    雑記/備忘
    モナドや随伴系〈adjunction | adjoint system〉が見つかると良いことあります*1。なので、モナドや随伴系を頑張って探すわけです。相対モナド/相対随伴系は、より一般性がある構造です。もちろん、見つかると良いことあります。しかし、相対モナド/相対随…
    相対モナド/相対随伴系を見つける

  2. 2024/03/28 07:56:06 達人プログラマーを目指して含むアンテナおとなりページ

    達人プログラマーを目指して
    読者になる