このブログの更新は X(旧Twitter)アカウント @m_hiyama で通知されます。
Follow @m_hiyama

ご連絡は上記 X アカウントに DM にてお願いします。

参照用 記事

2020-08-07から1日間の記事一覧

モナド、クライスリ圏、随伴 の落ち穂拾い

[追記 date="2025-05-08"] 「落ち穂拾い」は、「言い残してしまった雑多なことの補足」といった意図で使ったのですが、世間では「細部にこだわって、本質を見失うこと」とか「落ちこぼれてしまった事柄に、新たな価値を見出し、対応すること」などの意味で使…