詰将棋アルゴリズムdf-pnのすべて | やねうら王 公式サイト
将棋AIで用いている詰将棋ルーチンにdf-pnというアルゴリズムがある。 これは、proof number(証明数)、disproof number(非証明数)を用いて効率的に探索を行い、その局面が詰むか、詰まないかを判定できるとても強力なアルゴリズムである。 将棋ファンなら『脊尾詰』と言う「ミクロコスモス」(1525手詰)を解く詰将棋専用ソフトについて一度ぐらいは聞いたことぐらいあるだろう。これは、脊尾さんが大学時代に作成されたプログラムである。そこに使われていたのが脊尾さんが考案されたdf-pnというアルゴリズムである。 df-pnに関しては、脊尾さん自身の論文(1998年)があるものの、要点しか書かれておらず、いまのようにGitHubにソースコードがあるわけでもなく、その詳細については長らく謎に包まれたままであった。(この脊尾さんの論文では、証明数のみを用いており、非証明数は陽には出
ナベアツ方程式 - 空想科学Wiki
ナベアツ方程式（ナベアツほうていしき）は、世界のナベアツが1から10nまで数えたときにアホになる回数を算出する数式である。 概要 世界のナベアツは、数字を1から数えていくとき、3の倍数および3のつく数の時にアホになる。ナベアツ方程式は、アホになる回数を算出するものである。 世界のナベアツが1から10nまで数えたときにアホになる回数は、nが1以上の整数の時、 と表される。これがナベアツ方程式である。 なお、この方程式はnが1以上の整数の時にしか使えないため、「1から100まで数えたときにアホになる回数」は計算できるが、「1から40まで数えたときにアホになる回数」は計算できない。 証明 0以上(10n - 1)以下の整数のうち「3」を含まない整数は、3以外の9種類の文字をn個並べる順列と等しいため、9n個である。これらを3で割った余りで分類し、以下のように表すことにする。（n=3の場合を例とし
人類すげえなあ、と改めて思う～斎藤公輔さんインタビュー
一般にはあまり知られていない「逆ポーランド電卓」（「RPN電卓」）というものがある。気軽に使える逆ポーランド電卓がほしいのだけど、ないのでもう自作するしかない！ 逆ポーランド電卓がなんなのかはこれから順番に説明させて下さい。 ことし最初の通常記事がMVPに 藤原 ： なんとことし一発目の記事が人気の記事としてMVPに輝きました。おめでとうございます！ 斎藤 ： MVPでビックリしました。ありがとうございます！ かなりマニアックな内容だと思っていたので、たくさんの方に読んでいただけて反応もらえたのもビックリでした。 藤原 ： そうなんですよね。テーマはマニアックなんですが、丁寧に解説されていたのでなるほどそういうものがあるのかと思わされました。 斎藤 ： ありがとうございます。いままで逆ポ（略称）を知らなかった方にも興味をもっていただけてうれしいです。 藤原 ： 逆ポ！ 今まで全く知りません
第３回 数式で図形を描く。 | はじめてのだいすうきかがく。 | 森重文 | ほぼ日刊イトイ新聞
ある分野を深く、深く研究する人がいます。 その人たちは「研究者」と呼ばれ、 おどろくべき知識量と、なみはずれた集中力と、 こどものような好奇心をもって、 現実と想像の世界を自由に行き来します。 流行にまどわされず、批判をおそれず、 毎日たくさんのことを考えつづける研究者たち。 ほぼ日サイエンスフェローの早野龍五は、 そんな研究者たちのことを敬意をこめて 「オタクですよ（笑）」といいます。 世界中のユニークな研究者と早野の対談から、 そのマニアックで突きぬけた世界を、 たっぷり、じっくりご紹介していきます。 ＞森重文さんってどんな人？ 数学者。専門は代数幾何学。 1951年、名古屋市生まれ。 京都大学理学部卒業。 同大学院修了。理学博士。 京都大学高等研究院院長・特別教授、 京都大学名誉教授。 76年に隅広秀康氏と共同研究し、 「三次元のハーツホーン予想」解決、 79年に「ハーツホーン予想」
人生、宇宙、すべての答えの42を3つの立法数の和で表す難問がついに解ける
人生、宇宙、すべての答えの｢42｣を3つの立法数の和で表す難問がついに解ける2019.09.19 22:0075,173 Ryan F. Mandelbaum - Gizmodo US ［原文］ （ satomi ） 750万年かからなかった… Googleで｢人生、宇宙、すべての答え｣を検索すると、さも計算したようなフリして｢42｣と出ますけど、｢42を3つの立方数の和で表せ｣という64年続く数学界の難問がようやく解けました！ 万物の答え、42とは？42は、コメディー映画『銀河ヒッチハイク・ガイド』 でスパコン｢Deep Thought｣が750万年かけて導き出した万物の解です。原作者ダグラス・アダムズは｢なるべくどうでもいい数を選んだ｣と生前語っていました。 映画『銀河ヒッチハイク・ガイド』／もったいぶって答える割には｢42｣でへ？となるシーンVideo: BBC Studios/Yo
家庭教師先の全然勉強できない子が実はラマヌジャンをも超える数学の天才だった！？→「インターネットで見つけた式をさも自分で思いついたかのように言っただけでは？」
リンク すのうの部屋 邂逅。｜すのうの部屋 さて、また随分と間が空いてしまいました！ 上野千鶴子氏に物申す（その２＆３＆４＆５＆6＆7＆8＆９＆１０＆１１＆１２＆・・・）とか日本のアカデミアのことことか、私的ベジタリアン観とかあとはイスラエルに行ったことで宗教観が 57 users 1460
【11次元のベン図】あなたは本当のベン図をまだ知らない - プロクラシスト
こんにちは！ほけきよです。 ベン図ってご存知ですか？ 高校1年か2年くらいで習う、集合を表す図です。 文系が高校数学において、唯一社会人になっても使う理系の図かもしれません。 どのくらい大事かというと、このように、「会議でスマートに見せる100の方法」の第1項目にあげられるほど重要です。 (出典)会議でスマートに見せる100の方法 ベン図を制してこそ、会議を制することができ、また出世街道を制することができると言っても過言ではないのです。 しかし、この図のように本当に, つまりたった2つの集合のベン図を書くだけで頭が良いと言えるでしょうか？？ 今回は、3つ以上のベン図を紹介します。これを書くことで、真の会議の王者になりましょう！ n=2 n=3 n=4 n=5 美しいベン図はどこまで書くことができるの？ n=7 美しいベン図のフロンティア、n=11 終わりに n=2 基本の型ですね。ベン図で
何なんだろうな。あいじょうって。「10のi乗」みたいな数を考える - アジマティクス
みなさんは、好きな複素数ってありますか？（ただし実数は除く） 「好きな整数」を持ってる人なら少なくないと思います。それこそラッキー7の7とか。自分の誕生日とか。691とか。 「好きな実数」まで広げても、eとかπとかとか、いろいろあるでしょう。 でも、「複素数」となると？ 「私の好きな複素数は○○です」って言ってる人、ほとんど聞いたことないです。あったとしても、2乗して-1の「」そのものとか、3乗すると1になる「ω（）」とかぐらいのものでしょう。 これって不思議だと思うんですよね。整数だったら2でも3でも163でも、それぞれに面白い性質が山ほどあることを思うと、例えば「」や「」などという個別の複素数にもそれぞれに面白い性質はいくらでもある、と考えるのは当然でしょう。でも、個別の整数について面白い性質を知っているほどには、個別の複素数の持つ面白い性質をわれわれは知らない。不思議です。 そういう
「パッと見素数」に気をつけろ！ - アジマティクス
91は素数でしょうか？ 91は素数 — 91は素数 (@91__prime) 2016年8月13日 91は素数ではありません。 素数大富豪 この記事は、素数大富豪Advent calender11日目の記事です。 「素数大富豪」というトランプゲームがあります。通常の大富豪は場に出ているカードより大きいカードをどんどん出していくというものですが、素数大富豪においてはカードを組み合わせて素数を作り（「4」と「1」で「41」みたいな）、場に出ている素数より大きい素数を出していって、先に手札をなくしたほうが勝ち、というルールになってます。詳しいルールはこちらです。 www.ajimatics.com 素数でない数、すなわち合成数を出してしまうとペナルティとして山札からカードを引かなければなりません。 そんなわけなので、素数大富豪において「一見素数に見えてその実、素数でない」91は鬼門なのです。私自
大学の数学/物理を無料で学べるおすすめサイト・サービス6選 - プロクラシスト
高校生のほけきよ少年にとって、得られる大学以上の物理や数学の情報はwebサイトだけでした。 物理や数学の専門書って高いんですよね。あと、大きな本屋じゃないと取り扱っていない。 今ではamazonでいろいろな書籍が手に入るようになりましたが、高いしどんな内容がかかれているかは分からないので、買うのもためらわれます。 そこで今日は 好奇心溢れる高校生 お金はない、単位が危ない、やる気に溢れた大学生 社会人になってから物理や数学を趣味で始めたい人 たちのために、無料で大学以上の内容を学べるサイト/サービスを紹介します！ 1. 物理のかぎしっぽ 2. EMANの物理学 3. MITの物理学講義(Youtube) 4. 現代数学観光ツアー 物理のための解析学探訪 5. 数学：物理を学び楽しむために 6. 高校数学の美しい物語 まとめ ※ここでいう数学は「物理学のための数学」の範疇を超えません。 1.
｢灘中高｣は異次元の数学授業で秀才を育てる
「灘1位、日比谷2位」。1968年3月、新聞の見出しに、日本中が衝撃を受けた。戦前を含めてつねに東大合格者数1位だった日比谷高校の牙城を最初に崩したのは、開成でも筑駒（筑波大附属駒場）でもない。灘だった。兵庫県神戸市東灘区に所在する、中高一貫の私立男子校。1学年200人程度の小規模校にもかかわらず、東大合格者数ランキングでは例年トップ3に入る。 「菊正宗」の嘉納家と「白鶴」の嘉納家と「桜正宗」の山邑家という3つの酒蔵が資金を出し、柔道の聖地「講道館」の祖であり東京高等師範学校の校長も務めた嘉納治五郎が創立者となり、1928年、灘は開校した。 元教諭・橋本武さんによる『銀の匙（さじ）』のスローリーディング授業が有名だが、灘の驚異的な進学実績を支えているのは圧倒的な数学力だと一般にはいわれている。 中学入試の算数は超難問。それをくぐり抜けた生徒たちを相手にして、数学に関しては、一般的な中学校3
藤井四段で学ぶ最尤推定、MAP推定、ベイズ推定 - Qiita
藤井四段の連勝が止まらないですね。 21日の対局に勝利して、連勝記録を１位タイの28連勝まで伸ばしてきました。26日の対局で勝利すれば単独トップになります。 そんな藤井四段の対戦成績は28勝0負。勝率でいうと1.000です。クラクラするような成績ですが、この「勝率」とは何かを少し数学的にみてみましょう。 単純に言葉だけをみると「藤井四段が勝利する確率」ではないかと考えられます。つまり $$P(\text{勝利}\ |\ \text{藤井四段}) = 1.0$$かのように感じます。 ではここで、26日の対局で藤井四段が勝利する確率はどれだけでしょう？ $P(\text{勝利}\ |\ \text{藤井四段}) = 1.0$として考えると、これはつまり藤井四段は必ず勝つので、100%になってしまいます。しかし、もちろんそんなことはありません。藤井四段ですらも負けることはあるはずです。 実はここ
変人天才数学者の「落書き」約1万8000ページ、ネットで公開
1960年代に撮影された仏ビュール・シュリベットでの講義に臨むアレクサンドル・グロタンディーク氏（2014年11月18日提供）。(c)AFP/Institut des Hautes Etudes Scientifiques 【5月11日 AFP】ドイツ生まれのフランス人で変わり者の天才数学者、アレクサンドル・グロタンディーク（Alexandre Grothendieck）氏による1万8000ページ近くに上る手書きメモがこのほど、母校の仏モンペリエ大学（University of Montpellier）によってインターネットで公開された。 2014年に86歳で死去したグロタンディーク氏は「数学、代数幾何学の分野全体に革命をもたらした」と、この数学者の名前を冠した同大学の研究所のジャンミシェル・マラン（Jean-Michel Marin）所長は話す。 マラン所長は、AFPの取材に「彼のメモ書
記念日の重要度から好みの体型まで 男女の違いを“数学”で表すと？
東京カルチャーカルチャーにて開催された、数学への想いを語り合う女性限定イベント「ロマンティック数学ナイトガールズ」。「関数方程式を解いたら王子様は現れるか？ 〜男女の違いを関数化してみる〜」というテーマでプレゼンを行った武藤杏里氏は、男女のさまざまな違いを関数で表現しました。 男女の力の感じ方の違いを関数化 武藤杏里氏（以下、武藤）：司会者さんたち、紹介ありがとう。スタッフの方々、準備ありがとう。みんな、集まってくれてありがとう。ああ～、女に生まれて、よかった！ （会場笑） どうも。卓越した研究ぶり、充実した数学生活。大学院生です。 （会場笑） 独り身でさみしいガールズのみんな、ラマヌジャンみたいに、インドの神様が王子様を連れてくると思ってない？ あはっ……じゃあ質問です！ 1729は2通りの3乗した2つの数の和で表せる最小の数だって直感できますか？ ……待つんじゃない、解くの。 （会場笑
いろんな平均たちの関係を『たった1つの円』で可視化してみる｜迫佑樹オフィシャルブログ
こんにちは，学生エンジニアの迫佑樹(@yuki_99_s)です． 高校2年生で習う数学の1つに，『相加相乗平均』の関係というものがあります． 初めて「平均」という単語が出て来たのは小学校の時でした． あの頃は，単純に総和を求めて，個数で割ってあげたものを『平均』と呼んでいましたね 高校ではそれを，『相加平均』と呼んでいます． さて，わざわざ『平均』を『相加平均』に言い方を変えたということは，なにかあるはずです． ここでもう1つ現れる平均が『相乗平均』と呼ばれるもの 相乗平均の例として出した今回の問題をみても分かるように，縦と横の長さが異なるものを均一化しようとしているので，これも一種の平均なわけです． 整理すると，aとbの相加平均及び相乗平均はこのようになります． 先ほど，4と9の相加平均は6.5で，4と9の相乗平均は6となっていたように，『相加平均は常に相乗平均以上である』というのが『相
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
数学クラスタにケーキを切らせるとこうなる「理論上は7等分」「ひとり1個ずつ食えよ」
Togetter - 国内最大級のTwitterまとめメディア
なぜ「オイラーの等式」は最も美しい数式と言われているのでしょうか？
ループ、再帰、gotoを使わずに1から100までを印字するC++プログラムは書けますか？
「小学校で習う知識だけで解けます、ルートも使いません」東大生が小3のときに作った算数の問題
