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

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

参照用 記事

2021-11-12から1日間の記事一覧

圏論的レンズ 最初の一歩: ストリング図を中心に

プログラミングにおいて、レンズ〈lens〉と呼ばれる構造が使われる機会が増えているようです。古典的なレンズが幾つかの方向に一般化されていて、「レンズってなに?」と聞かれても答えにくい状況になっています。一番簡単な(と僕が思っている)ストレージ…