== 論理と形式化 ==

* [wiki:GB12601/2013-04-19]
* [wiki:GB12601/2013-05-10]