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

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

参照用 記事

2024-09-18から1日間の記事一覧

実用になる型理論の記法

最近の記事「GAT〈ガット〉の構文: スターリングの論文から」で、スターリング〈Jonathan Sterling〉によるGAT構文を紹介しました。そのままではとても実用にならないシロモノですが、理論的には扱いやすく優れたアイディアが含まれていると思います。スタ…