antimon2_math https://blog.hatena.ne.jp/antimon2_math/ 名古屋で数学するプログラマ(仮) https://antimon2.hatenablog.jp/ R SAT 新しい言語を覚えるときに、数学ガール 乱択アルゴリズムの「充足可能性問題（3-SAT）を解く乱択アルゴリズム」（p.353）を実装するという癖がついてしましました。 ということで、勉強中のRで実装してみました。 Vector*1の概念が独特で分かりにくかったけど、これで少しは慣れたかな。 sample()（Vector/List から要素をランダム抽出）、sapply()（Vector/List の各要素に関数を適用して Vector で返す。mapライク）を覚えた。でも、まー、今まで作ったヤツ↓の焼き直し感は否めないですけどね。芸はないですね。 Ruby版: https://gist.git… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fantimon2.hatenablog.jp%2Fentry%2F2012%2F05%2F27%2F214406" title="Rで「充足可能性問題(3-SAT)を解く乱択アルゴリズム」 - 名古屋で数学するプログラマ(仮)" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2012-05-27 21:44:06 rich https://antimon2.hatenablog.jp/entry/2012/05/27/214406 1.0 100%