「型理論」に関するサイレントキーワード「高階モデル検査」が含まれる科研費採択研究2件

【研究名】高階モデル検査とその応用
【研究代表者】小林 直樹  東京大学   情報理工学(系)研究科   教授 	https://nrid.nii.ac.jp/ja/nrid/1000000262155/	 
【研究分担者】
篠原 歩  東北大学  大学院情報科学研究科  教授  	https://nrid.nii.ac.jp/ja/nrid/1000000226151/	
五十嵐 淳  京都大学  大学院情報学研究科  教授  	https://nrid.nii.ac.jp/ja/nrid/1000040323456/	
海野 広志  筑波大学  大学院システム情報工学研究科  助教  	https://nrid.nii.ac.jp/ja/nrid/1000080569575/	
【研究連携者】     
寺内 多智弘  北陸先端科学技術大学院大学  情報科学研究科  教授  	https://nrid.nii.ac.jp/ja/nrid/1000070447150/	
住井 英二郎  東北大学  大学院情報科学研究科  教授  	https://nrid.nii.ac.jp/ja/nrid/1000000333550/	
松田 一孝  東北大学  大学院情報科学研究科  准教授  	https://nrid.nii.ac.jp/ja/nrid/1000010583627/	

【研究名】ソフトウェアの安全性向上のための型理論の深化と応用
【研究代表者】小林 直樹  東北大学   情報科学研究科   教授 	https://nrid.nii.ac.jp/ja/nrid/1000000262155/	 
【研究分担者】
五十嵐 淳 (五十風 淳)  京都大学  大学院・情報学研究科  准教授  	https://nrid.nii.ac.jp/ja/nrid/1000040323456/	
住井 英二郎  東北大学  大学院・情報科学研究科  准教授  	https://nrid.nii.ac.jp/ja/nrid/1000000333550/	
松田 一孝  東北大学  大学院・情報科学研究科  助教  	https://nrid.nii.ac.jp/ja/nrid/1000010583627/	
寺内 多智弘  東北大学  大学院・情報科学研究科  助教  	https://nrid.nii.ac.jp/ja/nrid/1000070447150/