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

【研究名】チャーチのラムダ計算のBCK論理による再生
【研究代表者】古森 雄一  千葉大学   総合メディア基盤センター   教授 	https://nrid.nii.ac.jp/ja/nrid/1000010022302/	 
【研究分担者】
櫻井 貴文 (桜井 貴文)  千葉大学  理学部  助教授  	https://nrid.nii.ac.jp/ja/nrid/1000060183373/	
山本 光晴  千葉大学  理学部  助教授  	https://nrid.nii.ac.jp/ja/nrid/1000000291295/	
廣川 左千男 (廣川 佐千男)  九州大学  情報基盤センター  教授  	https://nrid.nii.ac.jp/ja/nrid/1000040126785/	
藤田 憲悦  群馬大学  工学部  助教授  	https://nrid.nii.ac.jp/ja/nrid/1000030228994/	
鹿島 亮  東京工業大学  情報理工学研究科  助教授  	https://nrid.nii.ac.jp/ja/nrid/1000010240756/	
多田 充  千葉大学  総合メディア基盤センター  助教授  	https://nrid.nii.ac.jp/ja/nrid/1000020303331/