「最適化」に関するサイレントキーワード「証明論」が含まれる科研費採択研究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/1000060252532/	 
【研究分担者】
上野 雄大  東北大学  電気通信研究所  助教  	https://nrid.nii.ac.jp/ja/nrid/1000060551554/	
森畑 明昌  東北大学  電気通信研究所  助教  	https://nrid.nii.ac.jp/ja/nrid/1000010582257/