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

【研究名】日米科学協力事業「ソフトウェア検証の論理的方法」更新のための企画研究
【研究代表者】岡田 光弘  慶應義塾大学   文学部   教授 	https://nrid.nii.ac.jp/ja/nrid/1000030224025/	 
【研究分担者】
二木 厚吉  北陸先端科学技術大学院大学  情報科学研究科  教授  	https://nrid.nii.ac.jp/ja/nrid/1000050251971/	
萩谷 昌己  東京大学  大学院・理学研究科  教授  	https://nrid.nii.ac.jp/ja/nrid/1000030156252/	
佐藤 雅彦  京都大学  工学部  教授  	https://nrid.nii.ac.jp/ja/nrid/1000020027387/	
米崎 直樹  東京工業大学  大学院・情報理工学研究科  教授  	https://nrid.nii.ac.jp/ja/nrid/1000000126286/	
小林 直樹  東京工業大学  工学部  助教授  	https://nrid.nii.ac.jp/ja/nrid/1000000262155/	

【研究名】充実期を迎えた線形論理の進化とその応用に関する研究
【研究代表者】岡田 光弘  慶應義塾大学   文学部   教授 	https://nrid.nii.ac.jp/ja/nrid/1000030224025/	 
【研究分担者】
小林 直樹  東北大学  大学院・情報科学研究科  教授  	https://nrid.nii.ac.jp/ja/nrid/1000000262155/	
照井 一成  国立情報学研究所  助手  	https://nrid.nii.ac.jp/ja/nrid/1000070353422/	
田村 直之  神戸大学  学術基盤研究センター  教授  	https://nrid.nii.ac.jp/ja/nrid/1000060207248/	

【研究名】実時間システムに対する論理的仕様・検証言語の国際共同実装計画
【研究代表者】岡田 光弘  慶應義塾大学   文学部   教授 	https://nrid.nii.ac.jp/ja/nrid/1000030224025/	 
【研究分担者】
中川 中  	https://nrid.nii.ac.jp/ja/nrid/10000株)エスアールエー  ソフトウェア工学研究所  部長
田村 直之  神戸大学  工学部  教授  	https://nrid.nii.ac.jp/ja/nrid/1000060207248/	
二木 厚吉  北陸先端科学技術大学院大学  情報科学研究科  教授  	https://nrid.nii.ac.jp/ja/nrid/1000050251971/	

【研究名】タイプ理論と線形理論のプログラム言語理論への応用
【研究代表者】岡田 光弘  慶応義塾大学   文学部   教授 	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/