システム設計にAlloyを使ってみる(前篇)
Alloyという形式仕様記述言語の使い勝手も試したくなったので触ってみる。
This site is not a place to provide value to readers, but a one for personal thought experiment. Rindrics, the note owner, will share content such as: the things he is currently learning, memorandum, favorite things, the process and the results of his thoughts.