エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
TLA+でパズル (1) Lock Challenge - Qiita
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
TLA+でパズル (1) Lock Challenge - Qiita
「Alloyでパズル (16)」でやった Lock Challenge を、 PlusCal でもやってみようと思った。 が、PlusCal... 「Alloyでパズル (16)」でやった Lock Challenge を、 PlusCal でもやってみようと思った。 が、PlusCal での書き方がわからず、TLA+版の方が先にできてしまった。 問題 Alloyでパズル (16) Lock Challenge を参照。 TLA+版 まだ『Specifying Systems』をほとんど読んでいないので、TLA+の書き方がよくわからない。 IF-THEN-ELSE版はできたので、もっとうまく書けないものか調査中。 現段階では、Match()をSequences利用版に置き換えている。 ---- MODULE LockChallenge ---- EXTENDS Naturals, TLC, Sequences VARIABLES sol1, sol2, sol3 WellPlace(a,b,c) == (IF a=sol1 THEN