bonotakeの日記

ソフトウェア工学系研究者 → AIエンジニア → スクラムマスター・アジャイルコーチ

2008-12-07から1日間の記事一覧

どう書く?.org『島の数をカウントする』をAlloyで解いてみた

アルゴリズム書かなくていいので行数短くなるかなと思ったら、マップの制約を書くのに行数食ってしまうという罠。 問題 m×nの長方形のマス目のうちいくつかを黒く塗りつぶします。 このとき、白の島、黒の島がそれぞれいくつあるかをカウントしてください。…

注:bonotakeは、amazon.co.jpを宣伝しリンクすることによってサイトが紹介料を獲得できる手段を提供することを目的に設定されたアフィリエイト宣伝プログラムである、 Amazonアソシエイト・プログラムの参加者です。