「証明論」に関するサイレントキーワード「計算モデル」が含まれる科研費採択研究2件

【研究名】論理学的手法を用いたプログラミング言語の理論
【研究代表者】岡田 光弘  慶応義塾大学   文学部   教授 	https://nrid.nii.ac.jp/ja/nrid/1000030224025/	
【研究名】論理学のプログラム言語理論への応用
【研究代表者】岡田 光弘  慶應義塾大学   文学部   助教授 	https://nrid.nii.ac.jp/ja/nrid/1000030224025/