bonotakeの日記

元・ソフトウェア工学系研究者、今・AI系エンジニア

2009-03-10から1日間の記事一覧

駆けっこのパズルをAlloyで解く (Alloyチュートリアル風)

ここんとこハイペースで更新してますが、仕事が忙しいことからの逃避です。 一郎、二郎、三郎の三人で駆けっこをして、その結果を次のように言っています。一郎:「僕は一番じゃない」 二郎:「僕は一番だ」 三郎:「僕は二番だ」三人のなかで一人だけウソを…

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