kmizuの日記

プログラミングや形式言語に関係のあることを書いたり書かなかったり。