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

【研究名】算術と計算の論理構造に関する研究
【研究代表者】田中 一之  東北大学   大学院・理学研究科   教授 	https://nrid.nii.ac.jp/ja/nrid/1000070188291/	 
【研究分担者】
鹿島 亮  東京工業大学  大学院・情報理工学研究科  講師  	https://nrid.nii.ac.jp/ja/nrid/1000010240756/	
寳来 正子 (高橋 正子    寛来 正子    高橋 雅子    寶来 正子)  東京工業大学  大学院・情報理工学研究科  教授  	https://nrid.nii.ac.jp/ja/nrid/1000000015588/	
赤間 陽二  東北大学  大学院・理学研究科  助教授  	https://nrid.nii.ac.jp/ja/nrid/1000030272454/	
長谷川 立  東京大学  大学院・数理科学研究科  助教授  	https://nrid.nii.ac.jp/ja/nrid/1000020243107/	
龍田 眞 (龍田 真)  京都大学  大学院・理学研究科  助教授  	https://nrid.nii.ac.jp/ja/nrid/1000080216994/	
廣川 佐千男  九州大学  大型計算機センター  教授  	https://nrid.nii.ac.jp/ja/nrid/1000040126785/	
安本 雅洋  名古屋大学  大学院・多元数理科学研究科  助教授  	https://nrid.nii.ac.jp/ja/nrid/1000010144114/	
菊池 誠  神戸大学  大学院・自然科学研究科  助手  	https://nrid.nii.ac.jp/ja/nrid/1000060273801/