239 followers
Data Structures, State Machinesを読んだ。これらの章の健全性検査はAlloy 4でも表現しやすそう。アルゴリズムを表現しやすい点が魅力ではあるけども。 https://t.co/mIcVHjYaKr
Data Structures, State Machinesを読んだ。これらの章の健全性検査はAlloy 4でも表現しやすそう。アルゴリズムを表現しやすい点が魅力ではあるけども。 https://t.co/mIcVHjYaKr
Followed by a book written by himself: https://t.co/HpZ5wOxIcs (40$ to solve a decade deficiency in my knowledge? worth) https://t.co/UlQDOi0WoQ
RT @kkoki_1023: 先週でalloyの学習は一通りして、他とも比較したいという衝動にかられて、TLA+の本を購入 今週の土曜のもくもく会は、これをやる #shinjukumokumoku https://t.co/7MBKL0dp88