このブログの更新は X(旧Twitter)アカウント @m_hiyama で通知されます。 Follow @m_hiyama
ご連絡は上記 X アカウントに DM にてお願いします。
日本列島は自然災害に苛まれています。皆さんご無事でしょうか。「前層の圏における記法と計算」に関してもう少し。定義コンテキストと引数の話。内容: 定義のための構文 関手と自然変換での例 プロファイルリストと定義の正規化 おわりに 定義のための構文…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。