Archive
- 射の分割ができる圏 - 2024-08-30 (Last modified on 2024-10-19)
- 【誰か教えて】謎構造・「射の分割」ができる圏 - 2023-06-02 (Last modified on 2024-08-30)
- Control.Monad.Coの正体 - 2023-06-02
- Applicativeの双対 - 2023-05-16
- Cosemigroupについて - 2023-01-22 (Last modified on 2023-01-23)
- Trail: 踏跡モナド - 2022-10-16 (Last modified on 2022-10-17)
- Constructing Applicative from sum of Applicatives - 2022-08-27
- MaybeモナドとReaderモナドの特別な関係 (2) - 2022-05-01
- MaybeモナドとReaderモナドの特別な関係 (1) - 2022-03-25 (Last modified on 2022-05-01)
- Maybe's Free - 2022-03-11 (Last modified on 2022-03-14)
- FilterableとWitherableについて - 2021-11-13
- 随伴から作られるMonad - 2021-08-18 (Last modified on 2021-10-23)
- 随伴から作られるMonad(準備編) - 2021-06-26 (Last modified on 2021-08-16)
- ストリング図でMonad再入門(3) - 2021-06-01 (Last modified on 2021-06-26)
- ストリング図でMonad再入門(2) - 2021-05-20 (Last modified on 2021-06-26)
- ストリング図でMonad再入門(1) - 2021-05-17 (Last modified on 2021-06-26)
- 多項式Applicative Functorの一般論（補遺） - 2021-01-01 (Last modified on 2021-06-26)
- 多項式Applicative Functorの一般論 - 2020-11-25 (Last modified on 2021-06-26)
- ネットワークのトラブルシューティング - 2020-09-02 (Last modified on 2021-06-26)
- Functor上のモナド、FMonadについて - 2020-08-23 (Last modified on 2022-03-10)
- 幅優先探索 - 2020-08-21 (Last modified on 2021-06-26)
- Day convolutionいろいろ - 2020-08-07 (Last modified on 2021-06-26)
- 続・Applicativeと対応する代数 反例発見 - 2020-07-25 (Last modified on 2021-06-26)
- Applicativeと対応する代数 - 2020-05-30 (Last modified on 2021-06-26)
- 可換なモナドとは？ - 2020-02-29 (Last modified on 2021-06-26)
- 可換なモナドとは？細かい計算部分 - 2020-02-29 (Last modified on 2021-06-26)
- (主張3)の証明が改善の余地ありだったので修正 - 2019-12-16 (Last modified on 2021-06-26)
- モナドを見分けるコツ - 2019-12-15 (Last modified on 2021-06-26)
- モナドになれないFunctor - 2019-11-15 (Last modified on 2021-06-26)
- モナドになれないFunctor(追補) - 2019-11-15 (Last modified on 2021-06-26)
- 型クラスAlignについて - 2018-12-29 (Last modified on 2021-06-26)
- reflectionを使ったテクニック - 2018-12-18 (Last modified on 2021-06-26)
- LambdaBox - 2018-12-10 (Last modified on 2023-08-19)
- matchable解説 - 2018-12-09 (Last modified on 2021-06-26)