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

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

2012-05-01から1ヶ月間の記事一覧

数学ガール ガロア理論 第一感想

@antimon2: 流し読み&付箋貼り完了ー。 URL2012-05-30 22:36:22 via Photos on iOSうん、良かったです。 台詞はたった一言だったけど、今回は背後で見守っていたり、テトラちゃんの台詞の吹き出しの中で目を光らせてたりと、今までになく人間性豊かな描写(…

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

R SAT

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

素数表

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

NagoyaRに参加してきました。

NagoyaR #8に参加してきました。 これから業務で R を使っていく(事になるハズ)なので。前半は「入門者講習」。Evernoteに残したメモをそのまま貼り付けておきます。 R概論 要するに統計ソフト 無償、統計処理の種類が豊富、グラフィックスが美しい(Vecto…

πの有理数近似(分母分子素数限定)

一昨日考えたゲームが気になってスクリプト組んで色々試してました。 試しに2つの素数の比(分母分子が素数の有理数)で円周率にできる限り近いものを探してみたら、↓ 1833616417 / 583658233 = 3.14159265358979353… 小数点以下15桁まで一致するものまでは…

分数ゲーム q/p

こんなゲームを思いつきました。 対象人数:2人以上。 まずサイコロを振る。 出た目を N とする。 「今から N に近い分数 q/p を言い合おうぜ。 N に一番近いヤツが勝ちね。 ただし分母(p)も分子(q)も素数限定で!」 N=1 なら「なるべく大きい双子素数…

変形魔方陣

一週間、空いてしまいました。 ちょっとリハビリのために、今日はコンピューターパズル問題の話。 もちろん数学のエッセンス多めです。キーワードは、数学的裏付けと式変形。 変形魔方陣 かつて存在した、「Cマガジン」という雑誌の、コンピューターパズルの…

数列クイズ 12233241, …

午後の、ちょっとしたひと時に。 12233241, □, 1322334151, 14233242516171, 1523324152617181, 162332415162718191Q1. □ に当てはまる数は?Q2. この後に続く数は?

フィボナッチ数

今日は、みんな大好きフィボナッチ数列。 柏餅おいしかったとかちまき上品な甘さだったとか実家のタケノコごはんがとかそういうGW後半ネタはすぱっと省略。フィボナッチ数列。 「1, 1,」から始まって、それ以降は「前の2つの数の和」が続く数列、のこと。数…

確率のおさらい(1)

何か世間では a-b÷c=d!(かつ (a-b)÷c=dの場合等)が話題のようですが、さっくり無視して我が道を行きます。これから何ヶ月かかけて、ベイズ理論とか機械学習のあたりを少しずつ勉強進めていこうと思います。 主な教科書は、gihyo.jpの連載、機械学習 はじめ…

コラッツの予想

勉強は明日からにして、今日はまたちょと趣味に走ります。コラッツの予想(wikipedia:コラッツの問題)というものがあります。 任意の0より大きい整数 n をとり、 n が偶数の場合、n を 2 で割る n が奇数の場合、n に 3 をかけて 1 を足す という操作を繰り…

ソースコード埋め込みテスト

↓Rubyで整数クラスに平方根を返すメソッド Integer#isqrt を追加 スクリプトでの埋め込みはプレビューに出てこないから不安…だったけどどうやら無事表示されるっぽい。

数式テスト。

平方三角数の一般項。ソース↓ [tex:\displaystyle\begin{eqnarray}N_k&=\frac{1}{32}\left((1+\sqrt{2})^{2k}-(1-\sqrt{2})^{2k}\right)^2\\&=\left(\sum_{j=1}^k(2^{j-1}{}_{2k}{\rm C}_{2j-1})/2\right)^2\end{eqnarray}] google chart api 利用してるから…