今年のTPPのお題(TPPmark)の最長共通部分列の問題をAgdaで解いてみた。 https://github.com/msakai/tppmark2017