全部わからん
Skolem depth, Recursion depth, Unsat core {granularity, minimization}, Decompose strategy
https://alloytools.org/quickguide/gui.html
下手に椅子で寝てしまった。寝床も未整地
移動時に耳を塞ぎたいならグリーン席とかだなぁ
週末あまり活動できんかったね
ChatGPTを茶GっていうとよくDBのマスコットになっている虫を思い浮かべてしまう。チャッピィとかでどうでしょか
最後の段落しか読んでなかった
unboundとは。temporal logicも雰囲気しかわからない
> impossible to write an unbound model
->
> guaranteed that every spec is over a finite state space
REPLはそう
$15するのか
Using lightweight modeling to understand chord
https://dl.acm.org/doi/10.1145/2185376.2185383
圏論、位相空間とか線形代数で顔を出すけど何やったんや状態なので応用からやってみるのよさそう
活躍する圏論
資源理論/データベース/協調設計/信号流れ図/電気回路/振る舞いの論理
https://www.kyoritsu-pub.co.jp/book/b10025461.html
Xのミュートの傾向として、悪質ではないがバズを狙ったインフルエンサーが苦手だったりして入れているのでリストとかでよいのかもしれない。Bskyは（用途が定まらず）あまり使えてないけどおすすめのグループが別っぽいので良いな
Mastodonの検索クエリを覚えた。reply chainにせんでよいな
Alloy 6 の新機能 Mutable Field と線形時相論理
https://zenn.dev/y_taka_23/articles/alloy-mutable-fields
CS:5810 Formal Methods in Software Engineering
Introduction to Alloy 6
https://homepage.cs.uiowa.edu/~tinelli/classes/181/Fall22/Notes/03.1-intro-to-alloy.pdf
https://homepage.cs.uiowa.edu/~tinelli/classes/181/Fall22/Notes/03.2-intro-to-alloy.pdf
https://homepage.cs.uiowa.edu/~tinelli/classes/181/Fall22/Notes/03.3-intro-to-alloy.pdf
ひととおり書いてある
Formal Software Design with Alloy 6
https://haslab.github.io/formal-software-design/index.html
なんか有名な人
Hillel Wayne, ALLOY 6: IT'S ABOUT TIME
https://www.hillelwayne.com/post/alloy6/
本家
Documentation Alloy 6
https://alloytools.org/documentation.html
