keigoi https://blog.hatena.ne.jp/keigoi/ keigoiの日記 https://keigoi.hatenadiary.org/ Formal Alloy Alloyを使ってみた。 数年前に使ったときはなんでこんなの使うのと思っていたけど考えが変わったのだ。 ちょっとした規模のプログラムを書くには設計が必要だ。 コードを書く前に、問題の本質的な部分を知っておこう。 本質がわかっていれば、 適切な部分にモジュール分割したり、適切なライブラリを選択したり、アルゴリズムを書いたりできるはずだ。 もちろんお絵描きツールでもいいのだけど、動いたりチェックしたりできれば、設計で得られる知見はより多くなるはず。 述語論理で書くけれど、モデルが絵になるのが直感的でよい サクサク設計するために Alloy が使えないか ? Alloyについて Alloy は 一階… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkeigoi.hatenadiary.org%2Fentry%2F20090210%2Fp1" title=" Alloyでパックマン - keigoiの日記" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn-ak.f.st-hatena.com/images/fotolife/s/syd_syd/20090210/20090210150353.png Hatena Blog https://hatena.blog 2009-02-10 00:00:00 rich https://keigoi.hatenadiary.org/entry/20090210/p1 1.0 100%