「数理論理学」に関するサイレントキーワード「形式的技法」が含まれる科研費採択研究1件

【研究名】極限計算の論理とその応用
【研究代表者】林 晋  神戸大学   工学部   教授 	https://nrid.nii.ac.jp/ja/nrid/1000040156443/	 
【研究分担者】
八杉 満利子  京都産業大学  理学部  教授  	https://nrid.nii.ac.jp/ja/nrid/1000090022277/	
田村 直之  神戸大学  学術情報基盤センター  教授  	https://nrid.nii.ac.jp/ja/nrid/1000060207248/	
赤間 陽二  東北大学  大学院・理学研究科  助教授  	https://nrid.nii.ac.jp/ja/nrid/1000030272454/	
高橋 大輔  早稲田大学  理工学部  助教授  	https://nrid.nii.ac.jp/ja/nrid/1000050188025/	
石原 哉  北陸先端科学技術大学院大学  情報科学研究科  助教授  	https://nrid.nii.ac.jp/ja/nrid/1000010211046/	
山本 章博  京都大学  情報学研究科  教授  	https://nrid.nii.ac.jp/ja/nrid/1000030230535/