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

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

参照用 記事

2018-09-06から1日間の記事一覧

前層の圏における記法と計算 もう少し

日本列島は自然災害に苛まれています。皆さんご無事でしょうか。「前層の圏における記法と計算」に関してもう少し。定義コンテキストと引数の話。内容: 定義のための構文 関手と自然変換での例 プロファイルリストと定義の正規化 おわりに 定義のための構文…