論理学 - Wikipedia
論理学（ろんりがく、英: logic、ロジック）とは、「論理」を成り立たせる論証の構成やその体系を研究する学問である。 現代においては、アリストテレス的な論理学#伝統的論理学、古典論理学、直観主義の論理学などに分かれており、古典論理以降は数理論理学として扱われる。これ以外に、応用分野で多岐に分類されている（ファジィ論理など） 概要[編集] ここでいう論理とは、思考の形式及び法則である。これに加えて、思考のつながり、推理の仕方や論証のつながりを指す。よく言われる「論理的に話す、書く」という言葉は、つながりを明確にし、論証を過不足なく行うということである。 論理学は、伝統的には哲学の一分野である[1]。数学的演算の導入により、数理論理学（記号論理学）という分野ができた。現在では、数理論理学は数学と論理学のどちらかであると（時にどちらでもないと）される。現在の論理学は、（それを論理学であるとする
婚姻成立数のシミュレーション - juunnnnnnnn's blog
下記のツイートが面白かったので、記載の条件から、 男女ペアあたりの結婚が成立する確率を求めようとしました。 各10人の男女にそれぞれ1～10の年収があり、恋愛は男の告白から始まると仮定、競争力の高い男10から1に向かって順におっぱいの大きさ（ランダム）で告白、男の年収＞女の年収となった場合に婚姻が成立して婚活から離脱していくとした場合の婚姻成立数の期待値 #とは— 三河のあんちゃん (@aaannchang) 2015, 4月 1 しかし、、、 なかなかむずい。。。 私の数学力では 「結婚した場合、女性が婚活から離脱し、次の男性の選択肢から無くなる」場合を 一般化できませんでした。 なので、ひたすらシミュレーションして、答えっぽい値を求めるアプローチに切り替え。 10,000回、上記婚活をシミュレーションして、平均何組 結婚できるのか求めました。 ※シミュレーターのソースコードは最下部 そ
数学的に一番早いトランプの切り方と回数
トランプは何回どう切れば最速でよく混ざるのか？ この解はもう25年前に出てるんです。最悪の切り方も。みなさまの切り方は、さて？ 25年前にその解に辿り着いたスタンフォード大学パーシ・ディアコニス教授の解説ビデオと一緒に見てまいりましょう。 リッフル - Riffle Shuffle 最速で一番よく混ざるシャッフルがこれ。ふたつの山にわけてパタパタパタ～ってやるリッフルで、マジックナンバーは7回です（詳しくは京大の講義を）。 オーバーハンド - Overhand Shuffle 逆に最遅なのがこれ。リッフルなら7回で済むところ、これだと10,000回かかるんです。インドの人は上から下に切ったりしますけど、｢おんなじことだ｣と教授。 シュムーシング - Smooshing ポーカー選手権、モンテカルロでよくやるシャッフル。机にバラけて混ぜ混ぜする原始的方法ながらに1分執念で続ければ教授のテスト
正月の酔っ払い物理学者が数学者の皮を被った天使に出会うお話 | カメリオ開発者ブログ
あけましておめでとうございます。白ヤギの物理担当、シバタアキラ(@punkphysicist)です。 皆様はどんなお正月を過ごされましたか？日本の正月といえば、おせち、日本酒、おばあちゃん、そしてパズル、ですよね。私の正月はそんな感じでした。お節をたらふく食べ、美味しいお酒でほろ酔い気分になっている私の横で、黙々とおばあちゃんがパズルをやっているのに気づいたのです。部屋中をフワフワしている私とは全く対照的に、微動だにせずパズルを続けるおばあちゃん。御年迎えられると辛抱強さが半端ない。 そんなおばあちゃんがやっていたのはかわいいチョコレートのピースとは裏腹にこんな挑発的な文言の書かれたパズルです（この記事はアフィリエイトではありませんが、写真をクリックすると買えます） 何時間たっても答えが出ないおばあちゃん、辛抱強さは人一倍強いですが、私も何とか助けてあげたいと思いトライ。しかし日本酒が・・
［CEDEC 2014］「ゲーム世界を動かすサイコロの正体 〜 往年のナムコタイトルから学ぶ乱数の進化と応用」 - 4Gamer.net
［CEDEC 2014］ナムコ作品で見る乱数の歴史。「ゲーム世界を動かすサイコロの正体 〜 往年のナムコタイトルから学ぶ乱数の進化と応用」レポート ライター：箭本進一 神奈川のパシフィコ横浜で行われた，ゲーム開発者向けイベントCEDEC 2014の最終日である2014年9月4日，「ゲーム世界を動かすサイコロの正体 〜 往年のナムコタイトルから学ぶ乱数の進化と応用」という講演が行われた。 登壇したバンダイナムコスタジオ HE技術部 加来量一氏 この講演のユニークな点は，旧ナムコの作品を「乱数」という視点から振り返るということだ。バンダイナムコスタジオ HE技術部のプログラマーである加来量一氏は，旧ナムコの初期作品50本を解析し，それぞれの時代でどのような乱数が使われていたかを特定した。そこから見えてくる乱数技術改良の歴史を見ていくというのが，講義の主旨なのである。 1980年代のナムコアーケ
アルゴリズムの凄さを伝えるアニメかと思ったらマジキチアニメだった件
つべよりhttp://www.youtube.com/watch?v=Q4gTV4r0zRs&feature=player_embedded
違法素数 - Wikipedia
違法素数（いほうそすう/英: illegal prime）とは、素数のうち、違法となるような情報やコンピュータプログラムを含む数字。違法数（英語版）の一種である。 2001年、違法素数の1つが発見された。この数はある規則に従って変換すると、DVDのデジタル著作権管理を回避するコンピュータプログラムとして実行可能であり、そのプログラムはアメリカ合衆国のデジタルミレニアム著作権法で違法とされている[1]。 経緯[編集] DVDのコピーガードを破るコンピュータプログラムDeCSSのソースコード 1999年、ヨン・レック・ヨハンセンはDVDのコピーガード (Content Scramble System; CSS)を破るコンピュータプログラム「DeCSS」を発表した。ところが2001年5月30日、アメリカ合衆国の裁判所は、このプログラムの使用を違法としただけではなく、ソースコードの公表も違法である
スパコンで力任せに数独の難しい問題を作<del>る</del>ったつもりが簡単な問題だった件
どうやら人間の手で解いたら、簡単に解けてしまうようです。 ここでの難易度の定義に含めていない解法(n国同盟など)を使うと、難しくない問題になっているのかもしれません。 その後調べたところ、基本テクニックだけで解けてしまうことがわかりました。 Pencil Marksが唯一残ったものしか確定しない、というDeterministic Solverを使っていたのが原因で、 難しくない問題を「難しい」と誤判定してしまったようです。 3月13日版よりだいぶ難易度があがったはずです。 概要 スパコンを使って力任せに数独の難しい問題を作ってみたところ、 2013年3月現在、おそらく世界で一番難しい問題を作ることに成功した失敗した。 上図がスパコンを用いて作られた、おそらく世界で一番難しい問題(2013年3月現在)。 後述する難易度の定義では、深さが10、通常幅が183530、平均幅が約100571である
古くて新しい自動迷路生成アルゴリズム - やねうらおブログ(移転しました)
最近、ゲーム界隈ではプロシージャルテクスチャー生成だとか、プロシージャルマップ生成だとか、手続き的にゲーム上で必要なデータを生成してしまおうというのが流行りであるが、その起源はどこにあるのだろうか。 メガデモでは初期のころから少ないデータでなるべくど派手な演出をするためにプロシージャルな生成は活用されてきたが、ゲームの世界でプロシージャル生成が初めて導入されたのは、もしかするとドルアーガの塔(1984年/ナムコ)の迷路の自動生成かも知れない。 なぜ私が迷路のことを突然思い出したのかと言うと、最近、Twitterで「30年前、父が7年と数ヶ月の歳月をかけて描いたA1サイズの迷路を、誰かゴールさせませんか。」というツイートが話題になっていたからである。 この迷路を見て「ああ、俺様も迷路のことを書かねば！俺様しか知らない(?)自動迷路生成のことを後世に書き残さねば！」と誰も求めちゃいない使命感が
囚人のジレンマの新しい戦略 | 大栗博司のブログ
会議のためにアムステルダムに来ています。昨日は早朝に到着して、市内のホテルにチェックイン。昨晩から雪が降っていたようです。一息ついてからアムステルダム大学にセミナーに行きました。 機内では、忙しくて読む暇がなかった論文を読みました。私の専門分野の論文のほかに、ひとつ読んだのがフリーマン・ダイソンさんとウィリアム・プレスさんのかかれた「囚人のジレンマ」の新しい戦略です。⇒ 米国科学アカデミー紀要 ダイソンさんは、１９４０年代の終わりに、ファインマンが開発したくりこみの方法が朝永やシュビンガーの方法と同じであることを示したことで有名です。今年で８９歳。プレスさんは、天体物理学者でしたが、最近は生物学の研究もなさってます。 囚人のジレンマはゲーム理論の典型的な模型で、協調したほうが全体に有利なのに、個人の利益を追求することで不利な状態が安定してしまうことを示す例になっています。 たとえば、何かの
クラスタリングの定番アルゴリズム「K-means法」をビジュアライズしてみた
集合知プログラミング を読んでいたら、K-means 法（K平均法）の説明が出てきました。 K-means 法はクラスタリングを行うための定番のアルゴリズムらしいです。存在は知っていたんだけどいまいちピンときていなかったので、動作を理解するためにサンプルを作ってみました。 クリックすると１ステップずつ動かすことができます。クラスタの数や点の数を変更して、Restart を押すと好きなパラメータで試すことができます。 こうやって１ステップずつ確認しながら動かしてみると、意外に単純な仕組みなのが実感できました。 (追記) HTML5 版の K-means 法を D3.js でビジュアライズしてみた も作成しました。Flash を表示できない環境ではそちらをご覧ください。 K-means 法とは K平均法 - Wikipedia に詳しく書いてあるけど、もうすこしザックリと書くとこんなイメージに
メルセンヌ・ツイスタ - Wikipedia
メルセンヌ・ツイスタ (Mersenne twister、通称MT) は擬似乱数列生成器 (PRNG) の1つである。1996年に国際会議で発表されたもので（1998年1月に論文掲載）松本眞と西村拓士による。既存の疑似乱数列生成手法にある多くの欠点がなく、高品質の疑似乱数列を高速に生成できる。考案者らによる実装が修正BSDライセンスで公開されている。 特徴[編集] 「メルセンヌ・ツイスタ」は厳密にはある手法に基づいた乱数列生成式（あるいは生成法）の族を指し、内部状態の大きさや周期は設定可能である。以下の長所と短所では、メルセンヌ・ツイスタ自体、よく使われている生成法のMT19937、さらにその実装について、区別することなく述べている。 長所[編集] 219937-1 (≒4.315×106001) という長い周期が証明されている。 この周期は、名前の由来にもなっているように（24番目の）メ
著名ソーシャルメディアが使っているアルゴリズムを大公開！ | Moz - SEOとインバウンドマーケティングの実践情報
“アルゴリズム”は、もっとも非人間的なものの代表だともいえる。ソーシャルメディアにとって、そのアルゴリズムが不可欠だというのは、実に皮肉めいている。 僕はこの間、グーグルがどうやってユーザーデータを集めているかについて書いた記事を掲載した（前編、後編）。今回は、著名なソーシャルメディアサイトが、ユーザーデータを活用する上でどのようにアルゴリズムを用いているのか、白日の下にさらそう。 ソーシャルメディアを成り立たせているのは人間の力だが、ユーザーが入力したデータを利用できる状態にする仕組みは、アルゴリズムによって作られている。現在活動している無数のソーシャルメディアサイトで実証済みのことだが、ユーザーの関与とアルゴリズムによる処理ルールの上手いバランスを見出すことは、とても難しくなりがちだ。これから紹介するアルゴリズムは、悪意のないユーザーと結びついて初めてうまくいくものだ。 人気ソーシャル
ネイピアの骨 - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "ネイピアの骨" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2019年5月） ネイピアの骨 （ネイピアのほね、Napier's bones） は、ジョン・ネイピアが発明したかけ算や割り算などを簡単に行うための道具である。 概要[編集] 基盤と棒からなる。棒は左の図（図は7の棒）のように九九を元にして作られており、同じ棒が何本か用意されている。 ネイピアの骨は、ギリシャ語で「棒」を意味する ραβδoς (rabdos) と、「言葉」を意味する λóγoς (logos) の合成語である ラブドロジー (Rabdology) とも呼ばれる
Mersenne Twister: A random number generator (since 1997/10)
English Version News: MTToolBox をGitHubで公開しました。(2013/10/04) TinyMTをリリースしました。 (2011/06/20) MTGPをリリースしました。(2009/11/17) SIMD-oriented Fast Mersenne Twister (SFMT) をリリースしました。 SFMTはオリジナルのMersenne Twisterより約二倍速く、 よりよい均等分布特性を持ち、零超過初期状態からの回復も高速です。 SFMTのページを見てください。 (2007/1/31) お願い：使う時にemailを一通下されば、 今後の改良のはげみになります。 どんなささいな問題点でも、見つけ次第御連絡下さい。 m-mat ＠ math.sci.hiroshima-u.ac.jp (このメールアドレスは スペースを抜いて手で打ち直してください)
「解読不能は数学的に証明済み」、RSAを超える新暗号方式とは ― ＠IT
2008/04/11 すべての暗号はいずれ破られる。2000年前のシーザー暗号の時代から高度な暗号技術が一般化したデジタル通信の現代に至るまで、それが暗号通信の歴史が証明し続けた事実であると同時に、もっとも人口に膾炙したクリシェでもあった。例えば、鳴り物入りでリリースされたDVDのコンテンツ暗号技術「CSS」（Content Scramble System）が、リリースからわずか数年で10代のノルウェー人ハッカーに破られたことは記憶に新しい。 【追記】（2008年4月15日） この記事は取材に基づいて執筆したものですが、一部専門家らから「CAB方式暗号は解読不能」というのは誇大表現ではないかとの疑義が呈されています。アルゴリズムの公開や第三者による検証がない現在、この記事に登場するCAB方式が発案者・実装者の主張通り画期的な暗号方式で、本当に解読が不可能であるかどうか分かりません。現在、専
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
はてなブログ | 無料ブログを作成しよう
