初雪です。さっき吹雪いてました。てか3か月ほどブログ更新滞ってました(>_ 統計とか機械学習の勉強も進んでないのですが、今日はリハビリに、また例の 3-SAT ネタでも投下しときます。半年以上前に『Rで「充足可能性問題(3-SAT)を解く乱択アルゴリズム」』…