2009-11-05から1日間の記事一覧
「ソフトウェア科学基礎」http://books.livedoor.com/item/2024302 の練習問題1.9より。 宝石の入ったつづらを当てる問題。Alloyで。/* 「ソフトウェア科学基礎」練習問題1.9 pred showの中で、honesty,liarを変更し、 どちらであっても宝石(Jewel)と繋がる…
「ソフトウェア科学基礎」http://books.livedoor.com/item/2024302 の練習問題1.9より。 宝石の入ったつづらを当てる問題。Alloyで。/* 「ソフトウェア科学基礎」練習問題1.9 pred showの中で、honesty,liarを変更し、 どちらであっても宝石(Jewel)と繋がる…