資料公開

資料公開

タイトル 第36回NINJALチュートリアル「カテゴリ文法入門」第一回スライド資料
カテゴリ 講義資料
概要 第36回NINJALチュートリアル「カテゴリ文法入門」第一回スライド資料
タイトル 第36回NINJALチュートリアル「カテゴリ文法入門」第二回スライド資料
カテゴリ 講義資料
概要 第36回NINJALチュートリアル「カテゴリ文法入門」第二回スライド資料

訂正:
スライド6

誤:
and = |1 -> | 1 -> 1 |
   |  | 1 -> 0 |
   | ...

正:
and = |1 -> | 1 -> 1 |
   |  | 0 -> 0 |
   | ...

(orの定義も同様に訂正)
タイトル 第36回NINJALチュートリアル「カテゴリ文法入門」第三回スライド資料
カテゴリ 講義資料
概要 第36回NINJALチュートリアル「カテゴリ文法入門」第三回スライド資料
タイトル 第36回NINJALチュートリアル「カテゴリ文法入門」第四回スライド資料
カテゴリ 講義資料
概要 第36回NINJALチュートリアル「カテゴリ文法入門」第四回スライド資料