2023-05-25から1日間の記事一覧
型理論では、コンテキストが必ず出てきます。コンテキストをヘビーに使う割には、あらためて「コンテキストとは何か?」と聞かれると、うまく答えるのは難しいですね。返答に窮するのは、たぶん僕だけではないでしょう。型理論の圏論的定式化のひとつである…
このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama
メールでのご連絡は hiyama{at}chimaira{dot}org まで。
はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。
型理論では、コンテキストが必ず出てきます。コンテキストをヘビーに使う割には、あらためて「コンテキストとは何か?」と聞かれると、うまく答えるのは難しいですね。返答に窮するのは、たぶん僕だけではないでしょう。型理論の圏論的定式化のひとつである…