2014-03-14から1日間の記事一覧
解けた! 部屋の数がこれまでに比べて多めなので解析にも時間がかかります。 module white_black/gold_silber_copper abstract sig 場所 { 値段: Int } { 値段 >= 0 } sig 部屋 extends 場所{ 金: one 場所, 銀: one 場所, 銅: one 場所 } one sig 入口 exten…
解けた! 部屋の数がこれまでに比べて多めなので解析にも時間がかかります。 module white_black/gold_silber_copper abstract sig 場所 { 値段: Int } { 値段 >= 0 } sig 部屋 extends 場所{ 金: one 場所, 銀: one 場所, 銅: one 場所 } one sig 入口 exten…