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

【研究名】デザイン思考における記号操作の意味的構造と実践的役割に注目するデザイン知の探究
【研究代表者】藤井 晴行  東京工業大学   環境・社会理工学院   教授 	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/	
【研究協力者】
安田 渓   

【研究名】モデルの理論とその関連分野の総合的研究
【研究代表者】本橋 信義  筑波大学   数学系   教授 	https://nrid.nii.ac.jp/ja/nrid/1000070015874/	 
【研究分担者】
佐藤 雅彦  東北大学  電気電信研究所  教授  	https://nrid.nii.ac.jp/ja/nrid/1000020027387/	
上江洲 忠弘  東京理科大学  理学部  教授  	https://nrid.nii.ac.jp/ja/nrid/1000060015550/	
八杉 満利子  京都産業大学  理学部  教授  	https://nrid.nii.ac.jp/ja/nrid/1000090022277/	
坪井 明人  筑波大学  数学系  講師  	https://nrid.nii.ac.jp/ja/nrid/1000030180045/	
江田 勝哉  筑波大学  数学系  助教授  	https://nrid.nii.ac.jp/ja/nrid/1000090015826/