素因数分解は素数判定にも使えるので; AKSはいつごろになったら実際に使われるようになるんでしょう?<@MKaminaga: 素数判定ではなく素因数分解では？ちなみにわがインドの誇るAKS素数判定アルゴリズムはこちら！http://ht.ly/2hwVz　<@dankogai

posted at 10:45:53

アルゴリズム的にはミラー・ラビンの拡張に見えます。論文の5.を加えるとAKSになるという感じ<@MKaminaga: @dankogai AKSはミラー・ラビンテストのような確率的素数判定アルゴリズムではなく、完全に素数を判定します。遅いですが。

posted at 10:51:06

結局「たぶん素数」で充分なら、ミラー・ラビンでも充分ということに。しかもリーマン予想が真だったらミラー・ラビンからも「たぶん」をなくせるし。AKSの実世界における出番はなさげ?<@MKaminaga

posted at 10:52:56

いや、疑素数弾くようにもできるのです http://ht.ly/2hx7c <@MKaminaga: @dankogai そうでしたか？リーマン予想が正しくても「たぶん」はなくせないのではないかと。カーマイケル数というのがあるので。 http://ht.ly/2hx8x

posted at 11:00:05

これで見つかったら痛快だなあ。四色問題以上に画期的な電脳による証明になるはず<@iwaokimura: @MKaminaga @dankogai Miller-Rabinで素数と判定され，AKSで合成数と判定される整数を見つければ，ERHの判例を見つけたことになりますね ;)

posted at 12:03:17

論と情の両立なら http://ht.ly/2bqoL by @MKaminaga から<@KayTakahashi: @dankogai 本を読んでいると、論理ばかりが気になってしまい、集中できません。だんさんオススメの理系出身の著者、本を教えてください！！！

posted at 01:49:14

でも人生って微分可能なほどなめらかなのだろうか?<@MKaminaga: 希望とは微分ではないか。状況の変化率。

posted at 00:30:16

弱者とか強者って自分じゃなくてd自分/dtな表現だよね<@MKaminaga: 確かにいたるところ微分不可能かも。QT @dankogai: でも人生って微分可能なほどなめらかなのだろうか?<@MKaminaga: 希望とは微分ではないか。状況の変化率。

posted at 00:49:53

あわせてこちらも http://ht.ly/28KKe <@Hideo_Ogura: おすすめはこちら。http://amzn.to/cCfqzg　RT @MKaminaga: やってみます。ありがとうございます

posted at 01:10:46

訂正だん&&御礼なう。Amazonのリンクも原著から邦訳に直しました<@MKaminaga: これは読みたい！私の名前が出てきてびっくり。ちなみに私の本は未来思考ではなく統計思考力ですけども<@dankogai http://htn.to/iUSdaS

posted at 03:40:08

御礼なうm(__)m ってインドから。恐々粛々<@MKaminaga: @dankogai 『新書がベスト』　やっと読めました！ http://ht.ly/23xIG

posted at 16:28:16

ご苦労様です<@MKaminaga: インドにおける理系研究者の奮闘ぶりを描く。究極の洗濯 http://ow.ly/21cE5

posted at 00:19:19

ご無事でなにより<@MKaminaga 昨晩、インドで地震がありました。近所の人たちは驚いて外に出ていましたが、娘はぐっすり。日本人は慣れたもんです。

posted at 10:32:29

そんなこと言っタゴール<@MKaminaga: トマス悪意ナス <@dankogai: 人違いだあウレリウス<@FukushimaKokugo でもマルクスおさめる RT @dankogai 存在が疑問視サルトル<@mr_konn 化けの皮をハイデガー

posted at 16:39:42

あと今日読書会でお会いする @MKaminaga が「統計思考力」 http://ow.ly/1qF5r で、1980年の共通一次試験が標準分布よりワイブル分布 http://ow.ly/1qF6i でよりよく近似できることを指摘してます。寿命分布の方が標準分布よりは説得力あり

posted at 18:22:44

出発なう4読書会by @MKaminaga

posted at 18:56:12

これが意外とない。 @MKaminaga に書いてと頼んであるけど。ちなみに一般書は「すすめ」であって「入門」とまでは言えない。>@kirik しばらく来日する教授がいるんだけど、日本人向けに分かりやすい数学・統計の入門書があれば…何かお勧めある？ RT @dankogai

posted at 21:48:18

今の統計学入門の一番の問題は、ガウス分布一辺倒なところ。この点は http://ow.ly/1cIcO も不十分 @MKaminaga の本はポアソン分布がきちんと出てくるだけでもきちんとしてる。

posted at 22:01:57

そう。共通言語。英語より強いよ!<@MKaminaga: 文章や図で表現すると、かなりの情報が落ちてしまう。数式はある種、言語でもありますね。<@seikoubon 必要なら数式が入ってる方がわかりやすい<@dankogai: 全力で売ります!数式が入った本は売れないはウソ

posted at 23:15:19

[!dankogai][弾本][不働勿餓本] @MKaminaga B! http://kaminaga-weyl.blogspot.com/2009/11/blog-post_23.html

posted at 21:22:19

#tw書評_ http://bit.ly/vnqnq それでも子どもは減っていく; 献本。そのロジックを真っ正面から反証した一冊 <@MKaminaga そのロジックは正しいかなあ @sendaitribune: ワークライフバランスが悪い→子育てしにくい→少子化に繋がる。

posted at 23:12:16

It's not a lie. It's just supply no longer demands laber <@MKaminaga Supply creates its own demand. というのは人材育成に関しては明白に嘘ではないだろうか。

posted at 18:29:23

http://j.mp/3kxs81 働かざるもの、飢えるべからず。で最初に主張したのは、「働いている人などいない」ということ<@clydemender<@dankogai It's just supply no longer demands labor<@MKaminaga

posted at 18:54:45

光子は義理の母(本当) <@MKaminaga 量子はとらえどころのない娘だった。RT @J_kaliy: 陽子は崩壊する時期を悟ると、人知れず陽子の墓場に赴き最期を遂げる。な、ものだから人類はいまだに陽子崩壊を観測できない。

posted at 12:31:15

反物質製座布団一枚!<@Hide8itoh 核家族物語RT @dankogai: 光子は義理の母(本当) <@MKaminaga 量子はとらえどころのない娘だった。RT @J_kaliy: 陽子は崩壊する時期を悟ると、人知れず陽子の墓場に赴き最期を遂げる…

posted at 13:32:15

すれ違い。さっきの http://j.mp/wREOt はすごいよくまとまってました <@MKaminaga ちなみに、primality testはAKStestがある。これは古いペーパー。

posted at 22:37:37

考えてないで食いましょう<@MKaminaga 難しいことを考える前に、食べることを考える。

posted at 08:28:04

で、食ったら眠くなるので眠る。で、目覚めたら答えが出来上がってる。まぢで<@MKaminaga どっちにしても考えてばかりではダメですね（笑）。@dankogai 考えてないで食いましょう

posted at 08:32:36

というわけで眠ることにしますねそろそろ。<@MKaminaga そういうことはありますね。よく。sleep with problem <@dankogai で、食ったら眠くなるので眠る。で、目覚めたら答えが出来上がってる

posted at 08:41:07

基礎的かつ道具が必要な、ですね。数学者や理論物理学者は #shiwake3 をどう見ていらしたのだろうか。 Erdős の研究って税金は言ってるんだろうか?だとしたらどの国の?<@MKaminaga どうあれ気の遠くなるような基礎研究は税金でやらざるをえないだろうけど。

posted at 19:28:09

#tw書評_ @MKaminaga が「計算力をつける確率統計」をもって工学者のための数学三種の神器全てを揃える日が待ち遠しい

posted at 21:26:19

Amazonを経由せず、著者/出版社直販なら? 日垣隆メソッド @MKaminaga それにしても教科書はネット書店に向かない。すぐに在庫切れになる。

posted at 21:40:04

御礼なう、とお伝え下さいm(__)m @MKaminaga @dankogai 空気本、学生が購入してました。何も言う前に。研究室では弾さんすっかり有名人。

posted at 11:08:10

ぎゃああぁ。針小棒大どころか毛小山大だあ。「英語以外でも使えるようにするお手伝いをした人」ぐらいでお願いしますm(__)m @MKaminaga 言っておきます。学生には、Perlを作った人、として理解されてました。「全部は作ってないと思うけど」と言っておきました。

posted at 12:36:28

.@yonda4 [4121020073 物語 数学の歴史] ガウスあたりまでは実によかった。が、数論がほぼハブられる形になっていたのにorz 年表にも索引にもゲーデルがないなんて!<@MKaminaga 論理学に興味がある人ってどれくらいいるのかな。

posted at 22:26:42

「その発想はなかった」という点では、Cantorの対角線論法とCohenのforcing http://j.mp/3ZjyEW の方がすごいと感じます[続く] @MKaminaga …個人的には、ゲーデルの仕事がどのくらいすごいのか今一つピンとこないです…

posted at 22:40:48

全順序、ですね。 http://j.mp/N6c1h P→Qで→が「減衰」しない @MKaminaga 正確には、厳密に数学的な推論は、普通の推論とは違うでしょう。普通の推論は、論理の鎖が数学や基礎論で扱っているものよりもずっと緩い。というか、緩くないと全く推論できない。

posted at 22:49:50

.@MKaminaga @fortake 仕事はもう「あるかないか」ではなく「作るか作らないか」で語られるものになってしまったのではないか。仕事を得るために学ぶのではなく、学び続ける過程で仕事を作る。教育産業は未曾有のチャンスなのに、なぜ「下」ばかり見続けているのだろう

posted at 19:33:40

いや、年齢的に「下」ということです。学校が「学び終える」場になってしまう。学び始めにすぎないのに @MKaminaga 下、というのは学力的に下、ということですか？

posted at 19:37:57

奥様も? 我が家は双方免許持ちだが、運転は主に妻。遠出する時は私。 @MKaminaga 車の免許すらない私は究極の草食系か（笑）。@hoshibay … 自分で運転しようとは思わなかったですね。

posted at 11:17:33

仙台でそれはすごい。でも「クルマを捨てて歩く!」http://j.mp/27sTSj の著者も北海道在住だったので不可能ではないのか @MKaminaga @dankogai 妻も持っておりません！ある種すごいかも。

posted at 11:23:40

$you->can(q/speak English/) → あ、りとる #perl に移植してみますた @MKaminaga 久々にスネークマンショーを聴いてみたくなった。

posted at 11:31:23

地下鉄もあるし。でも東北道仙台ICから仙台入りした時、車ないと暮らせないとこかなあとは感じた。 @MKaminaga 仙台は都会なんです！（泣）

posted at 14:19:52

同意。英語より数字を優先して教えるべき @MKaminaga 科学技術コミュニケーションも大事なのだけど、「数字」の報道をもう少し正確にできないものかと思う。普通の人にとっては、明らかに社会情勢を知ることの方が科学技術を知ることより優先度が高いのに、正確さの程度が両者で全然違う。

posted at 16:07:57

長女を見ていると、比率の問題が結構深いキャズムになっていることがわかる。速度の問題など、大人でもころっと引っかかる @MKaminaga 中学1年生の数学で皆が引っかかるのが食塩水の問題。

posted at 16:13:42

中立性を読者に丸投げしてよいなら、本はもっと面白くなる @MKaminaga 中立な報道、中立な本というのは面白くないことが多い。これをどう面白く書くかが問題ではあるなあ。完全な中立はないけれど、近い線はある。

posted at 20:17:43

その点でよかったのが、 @kaikeishi1 の「食い逃げされてもバイトは雇うな」+「〜なんて大間違い」 http://j.mp/4vNYer @MKaminaga 読者に丸投げというのは、空気本にある読み方ができるかどうかで決まりますね。反対の意見を読むという。

posted at 20:28:14

米国史観とヴェトナム史観ですでに変わってきそう。ヴェトナム史観だと、1945年から1975年か、あるいは1887年からか @MKaminaga ベトナム戦争というのは調べると深みにはまりますね。始まりと終わりさえはっきりしない。

posted at 20:49:24

.@MKaminaga @kotono8 結局どこまで中立性を捨てられるかは、どこまで読者を信じられるかにかかっているのではないか。読者を信じられなければならないほど、中立性を気にする必要に迫られる。

posted at 21:06:04

でもそういうプログラムを書けないことをゲーデルが発見し、データも無理というのをハイゼンベルグが発見。二十世紀二大発見 @MKaminaga @dankogai 弾さんにもあると思う欲望だと思うのですが、世界の状態を1つのプログラムの形にまとめてシミュレーションしてみたい。

posted at 21:18:56

人が見て「充分リアル」は可能だと思います。 @MKaminaga @dankogai ただ、Godelが言ったことは、公理系を固定しないといけないでしょ。オラクルは考えないわけなので、そこまで考えると、究極的には無理でも、近い線はいけるんじゃないかと思うんですよね。妄想かしら。

posted at 21:23:05

.@MKaminaga 混同しがちなのは、「全てわからない」と「何もわからない」。この二つは断じて違う。

posted at 21:26:20

と言われると私も理解しているのか自身がなくなってきた。でも複数のアプローチで自分でも確認しているから理解しているはず。Turingのアプローチが現代人には一番直感的か @MKaminaga ゲーデルの不完全性定理をちゃんと理解できるというのはすごいことだ。

posted at 22:17:39

ちょっと安心。ゲーデル数というのは、証明≡プログラム→数≡データのマッピングとしては実は無駄が多すぎて、理解を防げてるかも @MKaminaga 基礎論は本質的に計算機科学なので、弾さんはわかっていると思いますが。私の場合、そもそもゲーデル数あたりから怪しかったから。

posted at 22:22:18

.@MKaminaga 「原典は案外やさしい」とは言うけど、こと数学&科学に関しては、後世の解説の方がやさしいことがほとんど。さもなきゃプリンキピアの内容を高校で教えるなんてムリだし

posted at 22:25:05

英国の旧習への固執がいかに凄まじかったかがこれに http://j.mp/1gdFyo あ、未書評。あ、おやすみなさい @MKaminaga それは全くですね。電磁気の基礎を確立したMaxwellのMaxwell方程式の論文は全然わからない。ヘルツが整理した結果でないと読めない。

posted at 22:31:30

おやすみのところ返信に甘えて。あれだけ人類離れした人が、あれだけ人にわかりやすく語るのが不思議。権威萌えだったから?そうだったらから権威萌え? @MKaminaga @dankogai von Newmannは別かも。長いのに恐ろしく読みやすい。self-containedだし。

posted at 22:36:07

「わかんない」は往々にして「わかりたくない」や「わかる気がない」である @masamikawaguchi 「全っ然わかんない」もちょっと違うきがする。 @dankogai @MKaminaga 混同しがちなのは、「全てわからない」と「何もわからない」。この二つは断じて違う。

posted at 23:56:54