資料詳細

  • 1 件中、 1 件目

【図書】 形式意味論入門

開拓社叢書 --
田中拓郎 ／著   -- 開拓社 -- ２０１６．９ -- ２１ｃｍ -- ２３８ｐ

資料詳細

タイトル 形式意味論入門
シリーズ名 開拓社叢書
著者名等 田中拓郎 ／著  
出版 開拓社 ２０１６．９
大きさ等 ２１ｃｍ ２３８ｐ
分類 801.2
件名 意味論
注記 文献あり　索引あり
著者紹介 ２００１年東北大学大学院情報科学研究科前期課程修了。２００３年同大学院後期課程中途退学。２００７年コネチカット州立大学大学院修了。日本大学国際関係学部助教を経て、現在、上智大学非常勤講師。（本データはこの書籍が刊行された当時に掲載されていたものです）
内容紹介 意味論研究の経験が一切ない読者を対象に、形式意味論の基本から、その思考法を平易に解説。数学や論理学の知識のない人でも楽しく読み進められるよう、実例に即して諸概念をわかりやすく導入する。
要旨 形式意味論は、その表現形の煩雑さから、とかく敬遠されがちである。本書では意味論研究の経験が一切ない読者を対象に、形式意味論の基本からはじめて、その思考法を平易に解説する。数学や論理学の知識のない人でも楽しく読み進められるよう、実例に即して諸概念を分かりやすく導入する。ラムダ（λ）恐怖症の人でも、数式アレルギーの人でも、形式意味論の考え方に親しみ、自分の研究に活かす方策を手に入れることができる。
目次 第１章　形式意味論の全体図；第２章　単語の意味―タイプ理論とその適用；第３章　世界の捉え方と表現形―モデル世界意味論とラムダ演算；第４章　意味計算規則―単語と単語をつなぐルール；第５章　否定と接続詞―命題論理の使い方；第６章　量子化―形式意味論の歴史と発展；第７章　数量詞上昇（Ｑｕａｎｔｉｆｉｅｒ　Ｒａｉｓｉｎｇ）；第８章　代名詞（Ｐｒｏｎｏｕｎ）と省略（Ｅｌｌｉｐｓｉｓ）；第９章　仮説を立ててみる；第１０章　形式意味論の論文を読み解くために
ISBN(13)、ISBN 978-4-7589-1822-0　　 4-7589-1822-8
書誌番号 1113418869
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1113418869

ページの先頭へ

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 ３階一般調査 Map 801 一般書 利用可 - 2057582246 iLisvirtual

ページの先頭へ