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

【研究名】モダン符号の形式化
【研究代表者】萩原 学  千葉大学   理学(系)研究科(研究院)   准教授 	https://nrid.nii.ac.jp/ja/nrid/1000080415728/	 
【研究分担者】
AFFELDT Reynald (Affeldt Reynald)  国立研究開発法人産業技術総合研究所  情報技術研究部門  主任研究員  	https://nrid.nii.ac.jp/ja/nrid/1000040415641/	
笠井 健太  東京工業大学  理工学研究科  准教授  	https://nrid.nii.ac.jp/ja/nrid/1000070431997/	
葛岡 成晃  和歌山大学  システム工学部  准教授  	https://nrid.nii.ac.jp/ja/nrid/1000060452538/	
J Garrigue  名古屋大学  多元数理科学研究科  准教授  	https://nrid.nii.ac.jp/ja/nrid/1000080273530/	
【研究連携者】     
溝口 佳寛  九州大学  マス・フォア・インダストリ研究所  准教授  	https://nrid.nii.ac.jp/ja/nrid/1000080209783/	
【研究協力者】
NATION James B.  
小尾 良介  
中野 恭輔  
才川 隆文