レイトン教授で始めるAlloy Analyzer入門
- 18. 問題No.50
5頭の牛がいる。うち2頭は本当
の事しか言わないトンホー種。3
頭はウソしか言わないソーウ種だ
という。さて、次の会話からウソ
つき牛に×印をつけてほしい。
A「Dはソーウ種だね」
B「Cはトンホー種じゃないよ」
C「Aはソーウ種じゃない」
D「Eはソーウ種です」
E「Bはトンホー種じゃないぞ」
- 19. 問題No.39
Aは赤、Bは青、Cは白のシャツとズ
ボンを着ていた。彼らに目隠しを
して服をデタラメに取り替えさせ
てから目隠しをはずして感想を聞
いてみた。
A「3人とも上下の色がバラバラだ
ね。」
B「Cだけは自分のものを着てない
な。」
C「赤いズボンなんて恥ずかしい
よ」
- 20. 問題No.87
トランプの4種のマーク、ス
ペード、ハート、クラブ、ダ
イヤを4枚ずつ、全部で16枚
並べる。
図のような縦横4列のカード
が置かれている。縦の列、横
の列、対角線のななめの列の
それぞれに、4種のカードが
入るように並べてほしい。
カードをタッチすると、絵柄
を切り替えることができる。
- 25. 情報源(4):書籍
抽象によるソフトウェア設計-Alloyではじめる形式手
法
Daniel Jackson (著), 中島 震 (監訳), 今井 健男 (翻訳), 酒井 政裕 (翻訳),
遠藤 侑介 (翻訳), 片岡 欣夫 (翻訳) オーム社
- 29. 関数プログラミング・形式手法
夏のイベント
函数プログラミングの Proof Summit CUFP
集い http://partake.in/even http://cufp.org/confe
http://partake.in/events/a ts/ac41261d-6026- rence
c41261d-6026-4d09-8814- 4d09-8814-
5ad3e58446e8 5ad3e58446e8