「証明論」に関するサイレントキーワード「意味論」が含まれる科研費採択研究2件

【研究名】証明論と図形論理の手法に基づく自然言語推論の統合的分析
【研究代表者】峯島 宏次  慶應義塾大学   文学部(三田)   准教授 	https://nrid.nii.ac.jp/ja/nrid/1000080725739/	
【研究名】デザイン思考における記号操作の意味的構造と実践的役割に注目するデザイン知の探究
【研究代表者】藤井 晴行  東京工業大学   環境・社会理工学院   教授 	https://nrid.nii.ac.jp/ja/nrid/1000050313341/	 
【研究分担者】
長坂 一郎  神戸大学  人文学研究科  教授  	https://nrid.nii.ac.jp/ja/nrid/1000010314501/	
大崎 純  京都大学  工学研究科  教授  	https://nrid.nii.ac.jp/ja/nrid/1000040176855/	
渡辺 俊  筑波大学  システム情報系  教授  	https://nrid.nii.ac.jp/ja/nrid/1000060212320/	
小林 祐貴  大阪市立大学  工学研究科  講師  	https://nrid.nii.ac.jp/ja/nrid/1000070756668/	
【研究協力者】
安田 渓