2009-03-31 面白い! リンク http://golem.ph.utexas.edu/category/2009/03/firstorder_logical_duality.html http://folk.uio.no/jonf/HenrikFhrssell_LogicalDuality.pdf