2012-02-10から1日間の記事一覧
付録A 練習問題続きます。A.3 の古典的パズルに入ります。 A.3.1 驚くような三段論法 まず歌詞の通りにモデル化してみる sig Person { like: set Person } pred doris_day (i, he: Person) { // みんな彼(he)が好き all p: Person | he in p.like // 彼(he)…
付録A 練習問題続きます。A.3 の古典的パズルに入ります。 A.3.1 驚くような三段論法 まず歌詞の通りにモデル化してみる sig Person { like: set Person } pred doris_day (i, he: Person) { // みんな彼(he)が好き all p: Person | he in p.like // 彼(he)…