2019-08-15から1日間の記事一覧

『形式意味論入門』を Haskell に書き下す (前編)

形式意味論 Haskell Semantics in Generative Grammer ラムダ計算 単純型付きラムダ計算

この記事は以下のページに移転しました． blog.ryota-ka.me