慶應義塾大学学術情報リポジトリ(KOARA)KeiO Associated Repository of Academic resources

慶應義塾大学学術情報リポジトリ(KOARA)

ホーム  »»  アイテム一覧  »»  アイテム詳細

アイテム詳細

アイテムタイプ Article
ID
KAKEN_17K13316seika  
プレビュー
画像
thumbnail  
キャプション  
本文
KAKEN_17K13316seika.pdf
Type :application/pdf Download
Size :101.1 KB
Last updated :May 17, 2022
Downloads : 125

Total downloads since May 17, 2022 : 125
 
本文公開日
 
タイトル
タイトル 証明論と図形論理の手法に基づく自然言語推論の統合的分析  
カナ ショウメイロン ト ズケイ ロンリ ノ シュホウ ニ モトズク シゼン ゲンゴ スイロン ノ トウゴウテキ ブンセキ  
ローマ字 Shōmeiron to zukei ronri no shuhō ni motozuku shizen gengo suiron no tōgōteki bunseki  
別タイトル
名前 A unified analysis of natural language inference based on the methods of proof theory and diagrammatic logic  
カナ  
ローマ字  
著者
名前 峯島, 宏次  
カナ ミネシマ, コウジ  
ローマ字 Mineshima, Kōji  
所属 慶應義塾大学・文学部 (三田) ・准教授  
所属(翻訳)  
役割 Research team head  
外部リンク 科研費研究者番号 : 80725739
 
出版地
 
出版者
名前  
カナ  
ローマ字  
日付
出版年(from:yyyy) 2021  
出版年(to:yyyy)  
作成日(yyyy-mm-dd)  
更新日(yyyy-mm-dd)  
記録日(yyyy-mm-dd)  
形態
1 pdf  
上位タイトル
名前 科学研究費補助金研究成果報告書  
翻訳  
 
 
2020  
 
開始ページ  
終了ページ  
ISSN
 
ISBN
 
DOI
URI
JaLCDOI
NII論文ID
 
医中誌ID
 
その他ID
 
博士論文情報
学位授与番号  
学位授与年月日  
学位名  
学位授与機関  
抄録
本研究は、現代論理学における証明論及び図形推論の手法を用いて、より自然言語の構造に即した形で自然言語の推論を解析するための論理的枠組みを確立することを目的として進められた。型理論的な統語論(範疇文法)のもとで、自然言語の合成的意味論と証明系の整備を進め、またこれを様々な言語現象に適用することを試みた。さらにこの枠組みを計算言語学における含意関係認識(自然言語推論)の問題へと応用する研究を発展させ、その成果を公開した。
The aim of this research was to build a logical framework for analyzing natural language inferences in a way that is more in line with the structure of natural language, using the methods of proof theory in modern logic and diagrammatic logic. On the basis of a type-theoretic syntax (categorial grammar), I developed a compositional semantics and proof system for inferences with various linguistic phenomena in natural language. I also developed a method to apply this framework to the task of recognizing textual entailment in computational linguistics.
 
目次

 
キーワード
形式意味論  

論理学  

証明論  

自然言語推論  

図形推論  
NDC
 
注記
研究種目 : 若手研究 (B)
研究期間 : 2017~2020
課題番号 : 17K13316
研究分野 : 言語哲学・形式意味論
 
言語
日本語  

英語  
資源タイプ
text  
ジャンル
Research Paper  
著者版フラグ
publisher  
関連DOI
アクセス条件

 
最終更新日
May 17, 2022 13:20:31  
作成日
May 17, 2022 13:20:31  
所有者
mediacenter
 
更新履歴
May 17, 2022    インデックス を変更
 
インデックス
/ Public / 科学研究費補助金研究成果報告書 / 2020年度 / 日本学術振興会
 
関連アイテム
 

ランキング

最も多く閲覧されたアイテム
1位 二〇二三年度三田... (613) 1st
2位 新自由主義に抗す... (410)
3位 731部隊と細菌戦 ... (238)
4位 斎藤隆夫の「粛軍... (233)
5位 認知文法から考え... (190)

最も多くダウンロードされたアイテム
1位 731部隊と細菌戦 ... (446) 1st
2位 新参ファンと古参... (431)
3位 日本における美容... (326)
4位 新自由主義に抗す... (299)
5位 インフルエンサー... (257)

LINK

慶應義塾ホームページへ
慶應義塾大学メディアセンターデジタルコレクション
慶應義塾大学メディアセンター本部
慶應義塾研究者情報データベース