プログラム仕様記述論 FormalMethod(形式手法)の本です。簡単に言うと「要件を自然言語で書くとあいまいになってしまうため、記号で書いてあいまいさをなくしましょう」という手法です。 UMLとの棲み分けは？ソースの自動生成は？どこまで自動化できるのか？…

仕事帰りにドンパチ音がすると思ったら、家の地域の花火でした。 ちょっと シルバー流星号(ママチャリ)を走らせて観にいきました。 今まで見たことのない花火がありました。いきなりカニフラワーみたいな。 他にもハート型やドラえもんの絵の出る花火もあり…