ほんとうは現地で盛大に数学の話をする予定だったんですが、諸々の事情により旅行が中止となってしまいました。その代わり、リモート登壇という果敢な試みに挑戦する機会を得ることができ、高専カンファレンスでの今後のリモート発表の広がりに貢献できまし…

有理数を r 進法で小数展開したとき、有限の桁数で表現できる条件について考えよう。有理数を小数展開した結果の各桁の数字は符号に依存せず決まるので、ここでは正の有理数だけを考慮する。自然数 c, d について c ただし a[n] ≠ 0 である。右辺を通分する…

一つ前のエントリで調べたように、有理数 c/d は分母 d が自然数 r の素因数だけから構成される合成数であるとき、有限桁の r 進小数で表現できる。具体的に数値を代入してみると、次のようになる。 有限桁の2進小数で表現できる有理数の分母は 2 のベキ乗数…

コード 結果 Uploaded with Skitch!

リーマン予想は正しかったんです。まさか私が証明してしまうとは！ いま論文書いてます。神と鉛筆があれば数学はできるんだ！

[ruby-core:28206] のスレッドで問題とされていた Math モジュールのプラットフォーム依存を取り除く最初のパッチを trunk にマージしてコミットしました。テストされているプラットフォームはとても少ないので、redmine.ruby-lang.org へのバグ報告をお待ち…

を基数、小数部桁の浮動小数点数とし、となるような最小の正数をの機械イプシロンと呼ぶ。

Collatz 写像の振る舞いを可視化する簡単なプログラムを書きました。 コレ→ http://mrkn.jp/~muraken/collatz/こんな感じ↓(追記) 写像のイテレーション回数が100を超えると線が細くなりすぎて見えなくなる＞＜ あとで修正します。

$ ghci GHCi, version 6.12.1: http://www.haskell.org/ghc/ :? for help Loading package ghc-prim ... linking ... done. Loading package integer-gmp ... linking ... done. Loading package base ... linking ... done. Loading package ffi-1.0 ... li…