形式化

スマリヤンの論理パズルの形式化と対称性の美しさ