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

BRANK

一昨年のゴールデンウィークに池袋のジュンク堂を訪れた際，『形式意味論入門』という表題の本に目が止まり，数学や論理学を用いて自然言語表現の意味を形式的に考察する学問分野があることを知った*1．また，その道具立てとして単純型付きラムダ計算が用いられていることが，なおのこと私の興味を惹いた．ラムダ計算といえば，読者の多くが計算機科学分野での応用を思い浮かべると思うが，Richard Montague*2 が自然言語分野に応用して以来，そちらの方面でも用いられているようである． 形式意味論入門 (開拓社叢書)作者: 田中拓郎出版社/メーカー: 開拓社発売日: 2016/09/20メディア: 単行本この…