粥鉛鉛看霞さん
- 1. 渇鵑砲茲 ソフトウェアO - Alloy - 牽u垢I互吉T僥丕 2定 R朕A栂 sugspi_c(きゃに`)
- 2. ソフトウェアの What 碧のバグを is Alloy? ツ`ル pらす 冱Z
- 5. 粥鉛鉛看霞のモデル協吶 シグネチャ sig rean {} sig しぐねちゃ {}
- 6. 粥鉛鉛看霞のモデル協吶 pred reanlife 峰Z { # rean =1 # Twitter = 1 pred # life = 1 じゅつご {} }
- 7. 粥鉛鉛看霞のモデル協吶 fact dokoiku { 並g favdragon_rean.(situation.go)=NCT ichigo_o_re.(situation.go)=NCT marin72_com.(situation.go)=NCT sugspi_c.(situation.go)=NCT fact じじつ {} everysick.(situation.go)=NCT }
- 8. 粥鉛鉛看霞のモデル協吶 ∠ アサ`ト 郡箭を法 assert つまりg佩は あさ`と {} されない。
- 9. 粥鉛鉛看霞のモデル協吶 ⊥ コマンド run ★峰Zを 困燭蕕 run じゅつご {} 醤悶議な箭を check あさ`と{} つける。
- 10. 粥鉛鉛看霞のモデル協吶 ⊥ コマンド check ★ アサ`トが run {} 要輝かどうかを check{} 砲垢襦
- 11. 胎尖パズル A B C D あるところに2Mの3儘宮がいました。 その6繁をそれぞれABCDEFとします。 lとlが儘宮かは音苧 この6繁のうち、3繁は械に云輝のことを 冱い屎岷宀、麿の3繁は械に E F 倩をつきます倩つき。 また、どちらの儘宮にも恷詰1繁は倩つきがいます。 參和の^冱から、lとlが儘宮で、倩つき? 屎岷宀はそれぞれlなのかを輝ててください
- 19. プログラム enum Person{A,B,C,D,E,F} one sig situation1 { truth_teller : set Person, Sato:set Person, Suzuki:set Person, brother: Person -> Person }
- 20. プログラム enum Person{A,B,C,D,E,F} Person one sig situation1 { truth_teller : set Person, Sato:set Person, Suzuki:set Person, brother: Person -> Person truth_ } teller
- 21. プログラム enum Person{A,B,C,D,E,F} one sig situation1 { brother truth_teller : set Person, Person Sato:set Person, Person Suzuki:set Person, brother: Person -> Person }
- 22. プログラム { #truth_teller=3 #Sato=3 #Suzuki=3 F in truth_teller <=> E in truth_teller C in truth_teller <=>(not A in truth_teller and not B in truth_teller) D in truth_teller <=> C in brother.D E in truth_teller <=> B in brother.E A in truth_teller <=> brother.A in Person - truth_teller B in truth_teller <=> brother.B in truth_teller
- 23. プログラム { #truth_teller=3 #Sato=3 #Suzuki=3 F in truth_teller <=> E in truth_teller C in truth_teller <=>(not A in truth_teller and not B in truth_teller) D in truth_teller <=> C in brother.D E in truth_teller <=> B in brother.E A in truth_teller <=> brother.A in Person - truth_teller B in truth_teller <=> brother.B in truth_teller
- 25. プログラム no Sato&Suzuki Person=Sato+Suzuki Person Sato brother= (Sato ->Sato)+ (Suzuki -> Suzuki)-iden } run{} Suzuki
- 26. プログラム no Sato&Suzuki Person=Sato+Suzuki brother= (Sato ->Sato)+ (Suzuki -> Suzuki) - iden } run{}
- 27. run
- 28. run