「証明論」に関するサイレントキーワード「形式的仕様」が含まれる科研費採択研究1件

【研究名】タイプ理論と線形理論のプログラム言語理論への応用
【研究代表者】岡田 光弘  慶応義塾大学   文学部   教授 	https://nrid.nii.ac.jp/ja/nrid/1000030224025/	 
【研究分担者】
萩谷 雅己 (萩谷 昌己)  東京大学  大学院・理学研究科  教授  	https://nrid.nii.ac.jp/ja/nrid/1000030156252/	
米澤 昭憲 (米澤 明憲)  東京大学  大学院・理学研究科  教授  	https://nrid.nii.ac.jp/ja/nrid/1000000133116/	
林 晋  神戸大学  工学部  教授  	https://nrid.nii.ac.jp/ja/nrid/1000040156443/	
大堀 淳  京都大学  数理解析研究所  教授  	https://nrid.nii.ac.jp/ja/nrid/1000060252532/	
高橋 正子  東京工業大学  理学部  教授  	https://nrid.nii.ac.jp/ja/nrid/1000000015588/