2006-02-20から1日間の記事一覧
前ふりは「型→代数→…それから:型理論入門(の前半)」にあります。これは本編(後半)。1回読み切り(長いけど)で、比較的新しい*1型理論を紹介します。「入門(門に入る)」というよりは門の外から中を覗いてみる程度。説明用コードはJavaの構文を使いま…
このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama
メールでのご連絡は hiyama{at}chimaira{dot}org まで。
はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。
前ふりは「型→代数→…それから:型理論入門(の前半)」にあります。これは本編(後半)。1回読み切り(長いけど)で、比較的新しい*1型理論を紹介します。「入門(門に入る)」というよりは門の外から中を覗いてみる程度。説明用コードはJavaの構文を使いま…