プログラム論理研究室(筑波)
http://logic.cs.tsukuba.ac.jp/
#研究室
#論理学
#プログラミング言語