「型理論」に関するサイレントキーワード「型付きλ計算」が含まれる科研費採択研究2件

【研究名】ポリモルフィズムの数学的構造
【研究代表者】長谷川 立  東京大学   大学院・数理科学研究科   助教授 	https://nrid.nii.ac.jp/ja/nrid/1000020243107/	
【研究名】型理論とその機械学習への応用
【研究代表者】萩谷 昌己  東京大学   大学院・理学系研究科   教授 	https://nrid.nii.ac.jp/ja/nrid/1000030156252/	 
【研究分担者】
原尾 政輝  九州工業大学  情報工学部  教授  	https://nrid.nii.ac.jp/ja/nrid/1000000006272/