== 論理と形式化 ==

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