[Japanese/English]
プログラム論理研究室は, 亀山幸義(教授)と 海野広志(准教授)が共同して運営 する研究室です.
このページの管理者: www [at] logic.cs.tsukuba.ac.jp