名古屋で数学するプログラマ(仮)

@antimon2 が趣味兼一部本職の数学で何かするときのブログ。

2012-05-27から1日間の記事一覧

Rで「充足可能性問題(3-SAT)を解く乱択アルゴリズム」

R SAT

新しい言語を覚えるときに、数学ガール 乱択アルゴリズムの「充足可能性問題(3-SAT)を解く乱択アルゴリズム」(p.353)を実装するという癖がついてしましました。 ということで、勉強中のRで実装してみました。 Vector*1の概念が独特で分かりにくかったけ…

素数表

別の目的でジュンク堂へ行ったのですが、ついつい目が行ってしまって。 買ってしまいました。 素数表。価格は、本体価格も税込み価格*1も、全く同じ3つの素数からなる3桁の数。 でもおしいことに、どちらも素数ではありませんでした。 どうせなら、本体価格…