tkhの日記： Z

Z-specでソフトウェアの仕様を記述する課題を終了。代数仕様記述言語（日本語合ってるか自信無し）の１つで、仕様を読むのは簡単だけれど、自分で一から書くのは結構骨が折れる。おまけに、文章で処理の流れを書いてあげないといけないし。