sunasunaxの日記

制約論理プログラム iZ-C の紹介