5/7に『数学ガール 乱択アルゴリズム (数学ガールシリーズ 4)』の第9章で紹介されている「充足可能性問題(3-SAT)を解く乱択アルゴリズム(p353)」をRubyで作成しました。 Ruby版 twitterで 他の言語版も見てみたいなぁ。比較することで他の言語の勉強にもなり…