形式意味論入門
田中 拓郎開拓社ISBN 9784758918220
コンピュータサイエンスタグで同率25位（64冊中）。Zenn・Qiitaなどの1記事で紹介（時点）。
- 紹介記事
- 1件
- 媒体別
- 企業テックブログ 1
- 初めての紹介
- 最新の紹介
この本を選ぶ前に
- タグ内の順位
- コンピュータサイエンスタグで同率25位（64冊中・紹介記事数の順）
紹介している記事（1件）
記事ごとの説明は、記事本文のうちこの本に触れた部分をAIが要約したもので、筆者の原文ではありません。
- 『形式意味論入門』を Haskell に書き下す (前編) 企業テックブログ · HERP ·
書店で見つけて形式意味論という分野を知った。Heim and Kratzerをベースに、実質的に使われる意味計算規則を4つに絞って前半で導入し、後半で他の自然言語現象に形式的な意味を与える構成だと説明している。統語論を学んだ人文系学生向けで序盤は集合論やラムダ計算の非形式的な説明が多い。筆者は内容習得の確認としてHaskellのコードに書き下した。
この本について
形式意味論の基礎を、自然言語表現と世界のあり方の対応としての意味、文の意味を真理値とする考え方、外延割当関数、意味タイプ、意味計算規則から学ぶ。語彙の意味と語の組み合わせ方によって文の意味を計算する合成性を扱い、意味タイプを個体型・真理値型と関数型から定義する。Heim and Kratzerをベースに、意味計算規則を実質的に用いる四つに絞り、前半でそのうち二つを導入し、後半で残る二つを導入したうえで、ほかの自然言語現象に形式的な意味を与える。序盤では集合論とラムダ計算を非形式的に説明し、統語論を学んだ人文科学系の学生を対象とする。
紹介記事と書誌情報をもとにAIが要約したものです。原文の転載ではありません。