虫食い算・覆面算・数独をプログラムで解いてみたい

tune3orz @tune3orz

reading: 虫食算に学ぶ、深さ優先探索アルゴリズム (combmof, 2018/12/23) slideshare.net/drken1215/comb… @SlideShareから

tune3orz @tune3orz

reading: DFS (深さ優先探索) 超入門！ 〜 グラフ・アルゴリズムの世界への入口 〜【前編】 qiita.com/drken/items/4a… #Qiita @drken1215から

tune3orz @tune3orz

reading: AtCoder 版！蟻本 (初級編) qiita.com/drken/items/e7… #Qiita @drken1215から

tune3orz @tune3orz

reading: リストモナドを使ってみる - みずぴー日記 mzp.hatenadiary.org/entry/20101225…

tune3orz @tune3orz

reading: 順列と組み合わせ | お気楽 Haskell プログラミング入門 nct9.ne.jp/m_hiroi/func/h…

tune3orz @tune3orz

reading: F# で順列(Permutation)と組み合わせ(Combination)。YOU、Listモナドしちゃいなよ。集合モナドもあるよ。 - Bug Catharsis zecl.hatenablog.com/entry/20110724…

tune3orz @tune3orz

reading: F# を知ってほしい qiita.com/cannorin/items… #Qiita

tune3orz @tune3orz

reading: クエリ式で総当たり - NyaRuRuが地球にいたころ nyaruru.hatenablog.com/entry/20080303…

tune3orz @tune3orz

reading: Linqと総当り neue.cc/2010/12/28_293…

tune3orz @tune3orz

reading: 覆面算をRubyで解く - ネギのメモ帳 negikey.hatenablog.jp/entry/20111016…

tune3orz @tune3orz

reading: 覆面算を解く(Ruby/Pythonレクリエーション) qiita.com/higuma/items/c… #Qiita @yujimiyaneから

tune3orz @tune3orz

reading: Puzzle de Julia!! | お気楽 Julia プログラミング超入門 nct9.ne.jp/m_hiroi/light/…

tune3orz @tune3orz

reading: z3を使ってパズルを解く lecture.ecc.u-tokyo.ac.jp/~ktanaka/iss1-…

tune3orz @tune3orz

reading: SAT ソルバで数独を解く方法 - まめめも mametter.hatenablog.com/entry/20080108…

tune3orz @tune3orz

reading: SAT/SMTソルバの仕組み slideshare.net/sakai/satsmt @SlideShareから

tune3orz @tune3orz

reading: SAT/SMTソルバを自作してみる話 - るくすの日記 ~ Out_Of_Range ~ rkx1209.hatenablog.com/entry/2017/12/…