SLACS 2010 - 記号論理と情報科学研究集会で発表してきました。専門分野から離れた、ほのぼのとした研究です。SLACSのSLとは関係ないし、CSとの関係は数式処理システムを駆使したことだけですが、そこそこ楽しんでもらえた様子です。SLACSの、そういう発表が…