Tableau/Sequent Duality って面白そうだなぁ。 http://www.jaist.ac.jp/rcis/seminar/multi-dimension/43