Semantics in Generative Grammer

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

前編はこちら ryota-ka.hatenablog.com

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

一昨年のゴールデンウィークに池袋のジュンク堂を訪れた際,『形式意味論入門』という表題の本に目が止まり,数学や論理学を用いて自然言語表現の意味を形式的に考察する学問分野があることを知った*1.また,その道具立てとして単純型付きラムダ計算が用い…