おねぇさぁぁぁぁぁん！ 日本科学未来館のアニメに狂気が宿っていると話題に
※本記事はアフィリエイトプログラムによる収益を得ています 日本科学未来館で展示されている「フカシギの数え方」。そこで上映されているアニメが壮絶すぎると話題になっています。動画はYouTubeでも公開中。 このアニメは、数えるものが少し増えただけで膨大な組み合わせが生まれる「組み合わせ爆発」を分かりやすく解説したもの。マス目上での点から点への通り方を例に、おねえさんと子供たちが実際に数を数えていくのですが……。 奇跡のカーニバル、開幕だ スタートからゴールまで何通りの行き方があるかを数えます 答えは2通り。簡単だね！ じゃあ2×2だと？ 12通りあります。まだ理解可能 最初は平和的に始まったアニメでしたが、すぐに我々は組み合わせ爆発のすごさを思い知ることになります。3×3マスでは184通り、4×4マスではなんと8512通りの通り方が生まれてしまうとのこと。 必死に数えまくるおねえさん。 85
Proof claimed for deep connection between primes - Nature
Thank you for visiting nature.com. You are using a browser version with limited support for CSS. To obtain the best experience, we recommend you use a more up to date browser (or turn off compatibility mode in Internet Explorer). In the meantime, to ensure continued support, we are displaying the site without styles and JavaScript.
数学的帰納法 - Wikipedia
数学的帰納法（すうがくてききのうほう、英: mathematical induction）は、数学における証明の手法の一つである。 例えば自然数に関する命題 P(n) が全ての自然数 n に対して成り立つことを証明するために、次のような手続きを行う[注 1]。 P(1) が成り立つことを示す。 任意の自然数 k に対して、「P(k) ⇒ P(k + 1)」が成り立つことを示す。 1と2の議論から任意の自然数 n について P(n) が成り立つことを結論づける。 概要[編集] 自然数に関するペアノの公理の中に、ほぼ等価なものが含まれている。 なお、数学的「帰納」法という名前がつけられているが、数学的帰納法を用いた証明は帰納ではなく、純粋に自然数の構造に依存した演繹論理の一種である。2 により次々と命題の正しさが"伝播"されていき、任意の自然数に対して命題が証明されていく様子が帰納のように見え
プログラマーで実際に数学を使っている人ってどれくらいいるの？ | スラド サイエンス
本家/.記事「Ask Slashdot: How Many of You Actually Use Math?」より 私はコンピューターサイエンスやゲーム開発に関連する仕事に興味のある高校生で、先生や両親からテクノロジー関連分野に進むなら数学クラスの選択が必要だといわれています。しかし、私はUnity3DやOGREを2年以上使っており、プログラミングはそれよりも長く続けていますが、高校1年で習った三角法よりも高度な数学が必要になったことはありません。それで疑問に感じたのは、実際に微分積分以上の高等数学が必要になるのか、それとも「プログラムを書くのには数学が必要」と世間で思われているだけなのかという点です。みなさんの経験をお聞かせいただけますか。
第１４回：全ての植物をフィボナッチの呪いから救い出す
連載コラム 「生命科学の明日はどっちだ」 目次 第１４回：全ての植物をフィボナッチの呪いから救い出す ロマネスコ（左）とマンデルブロ集合の一部（右） 植物にかかったフィボナッチの魔法 このオーラ全開の野菜、なんだか知ってますか。 そう、最近デパートなんかではよく見るようになったロマネスコというカリフラワーの仲間である。 一説によると、悪魔の野菜とか、神が人間を試すために作った野菜とか言われているらしい。 なんと言っても凄いのは、フラクタル構造がめちゃめちゃはっきり見えること。 まるでマンデルブロ集合みたいだ。 ね、似てるでしょう。フラクタルがこんなにはっきり見える構造物は、他には無いんじゃないかな。 この植物が面白いのは、それだけでは無い。 実の出っ張った部分をつなげていくと、らせん構造がくっきり見えてくるでしょう？ そのらせんの本数を数えてみよう。 右向きのらせんと左向
(define 独学 再帰) - 書評 - 素数夜曲:女王陛下のLisp : 404 Blog Not Found
2012年07月16日01:45 カテゴリ書評/画評/品評Math (define 独学 再帰) - 書評 - 素数夜曲:女王陛下のLisp 素数夜曲: 女王陛下のLISP 吉田武 出版社より献本御礼。 夏休み一つかけて取り組みたい吉田独習本が、これでまた一つ。 404 Blog Not Found:This is THE -e^πi - 書評 - オイラーの贈物 新装版 404 Blog Not Found:伝われ、i - 書評 - 虚数の情緒 しかし、今度は紙と鉛筆に加えて、パソコンのご用意も。 本書「素数夜曲」は副題が「女王陛下のLisp」なのだが、実質「素数夜曲」と「女王陛下のLisp」の合冊だといってよい「付録」となっている後者の分量は、「主題」のそれを上回る。 目次 - 東海大学出版会｜書籍詳細＞素数夜曲より 増補改訂版・序 第０夜 梟は黄昏に飛翔する 第１夜 素数のメロディー
2012年度から高校数学の数Cが消えて高校では行列を学ばなくなる - 発声練習
2015年度入試から行列の問題が出せません。よって、2015年度から行列をしらない学生が入ってきますので、計算機科学系の学科の先生は「誰が最初に教えるんだ！？」という重要案件に取り組む必要があります。 河合塾：2009.9.24 解説書の発表を受けてより転載。 〜前略〜 《科目と標準単位数》 まず、改訂の大きな特徴は『数学Ｃ』の内容の一部を『数学Ｂ』と『数学?』などに移行し、『数学Ｃ』が廃止された点である。 〜中略〜 《主な内容の変化》 内容が多く追加された科目は『数学III』である。現行課程の『数学III』の内容に、旧課程で扱われていた「複素数平面」および「曲線の長さ」と、現行課程『数学Ｃ』の「式と曲線」が追加されている。 さらに現行課程『数学Ｃ』の「行列」が（理系科目として）扱われなくなったことも大きな変更点である。一部が『数学活用』に移行されているが、これは「社会生活における数理的考
素数夜曲 « 大学出版部協会
一般社団法人 大学出版部協会 Phone 03-3511-2091 〒102-0073 東京都千代田区九段北１丁目14番13号 メゾン萬六403号室 このサイトにはどなたでも自由にリンクできます。掲載さ>れている文章・写真・イラストの著作権は、それぞれの著作者にあります。 当協会 スタッフによるもの、上記以外のものの著作権は一般社団法人大学出版部協会にあります 。
ゲーム理論は直接的には現実に応用できない - himaginary’s diary
とイスラエルのゲーム理論の大家アリエル・ルービンシュタインがThe Browserインタビューで述べている（Mostly Economics経由）。 その内容を簡単にまとめると以下の通り。 ゲーム理論というネーミングで、フォン・ノイマンは数学だけではなく広報宣伝での天才ぶりを発揮した。そのネーミングにより、何か単純なものが経済危機や核抑止力政策といった複雑な状況に応用できるという幻想を人々に抱かせた。自分の見方は同僚より極端かもしれないが、ゲーム理論は現実に直接応用できるという主張には与しない。 自分が比喩として良く用いるのは論理学。論理学は哲学や数学の興味深い一分野ではあるが、それがより良い人生を送る助けになるという幻想を抱いている人はいないと思う。良き裁判官は論理学を習得している必要は無い。論理学はコンピュータ科学の発展に役立ったが、友人との討論や、裁判官、市民、もしくは科学者として与
数学vs数学者 - 書評 - 数学ガール/ガロア理論 : 404 Blog Not Found
2012年06月03日19:00 カテゴリ書評/画評/品評Math 数学vs数学者 - 書評 - 数学ガール/ガロア理論 第五作にしてついに出版社より献本御礼。 数学ガール/ガロア理論 結城浩 ミルカさん、すごくいい。 でも ミルカさん、ちょっとずるい。 本書「数学ガール/ガロア理論」は、もはや定番となった「数学ガール」シリーズ第五作。 404 Blog Not Found:書評 - 数学ガール 404 Blog Not Found:孤独解消型数学入門 - 書評 - 数学ガール/フェルマーの最終定理 404 Blog Not Found:自己、無限、自由 - 書評 - 数学ガール/ゲーデルの不完全性定理 404 Blog Not Found:見事な取捨選択 - 書評 - 数学ガール/乱択アルゴリズム 「数学ガール」シリーズは、シリーズ化された第二作以降は「散策型」と「踏破型」を繰り返して来
matw.co | 数式をツイートしよう
catatsuy's Website Profile Name Tatsuya Kaneko （金子達哉） SNS catatsuy - Bluesky catatsuy | Zenn catatsuy | note Other Links (old blog) Medium catatsuy - Qiita catatsuyとは catatsuy's Blog Resume Resume (Japanese version only) Jobs CTO at PR TIMES Corporation. 2021/04 - Software Engineer at Mercari, Inc. 2018/06 - 2021/03 Software Engineer at pixiv Inc. 2013/08 - 2018/06 Publications Books
再帰理論 - Wikipedia
この記事は、全部または一部が他の記事や節と重複しています。 具体的には計算可能性理論との重複です。記事のノートページで議論し、 重複箇所を重複先記事へのリンクと要約文にする（ウィキペディアの要約スタイル参照）か 重複記事同士を統合する（ページの分割と統合参照）か 重複部分を削除して残りを新たな記事としてください。 （2023年12月） 再帰理論（さいきりろん、英：Recursion theory）は、数理論理学の一分野で、1930年代の計算可能関数とチューリング次数の研究が源となっている。 発展の過程で、この分野は計算可能性や定義可能性全般を対象に含むようになった。これらの領域においては、再帰理論は証明論や エフェクティブ記述集合論(en)とも密接に関係する。 再帰理論の根本的疑問は「自然数から自然数への関数が計算可能であるとはどういう意味か?」と、「計算不能関数は、その計算不能性のレベル
「x,y,zを自然数とする。このとき、x=3ならばy=5になる。あるいは、y=5ならばz=8になる」をめぐって
@noricoco 先生が書かれた「x,y,zを自然数とする。このとき、x=3ならばy=5になる。あるいは、y=5ならばz=8になる」に @hyuki が反応したら、話は Coq の証明へ。すでに @hyuki はついていけなくなっているのでまずはとぎゃりました。どなたでも編集可能にしてありますので、よしなにメンテくださいな。
「数学的ゲームデザイン」というアプローチ - doryokujin's blog
前回の議論をより一般化した話です。数式も少なめ。実ビジネスにおいて数学がどこまで貢献できるのかというところを理解してもらい，少なからず関心を持って頂ければ幸いです。ただしあくまで読み物として捉え，実世界ビジネスにおける違法性など指摘をするのはやめて下さい。 目次 1. 『コンプガチャの数理 -コンプに必要な期待回数の計算方法について-』 2. 『「数学的ゲームデザイン」というアプローチ』 3. 『コンプガチャの数理 -ガイドラインに基づいたゲームデザイン その1-』 4. 『コンプガチャの数理 -ガイドラインに基づいたゲームデザイン その2-』 定義 「数学的ゲームデザイン」とは，とある数学モデルのレールに沿ったゲームをデザインすることである。それによって，その背景にある種々の数学的性質を活用して優位な戦略を立てることが可能になる。 コンプガチャは，「The Coupon Collecto
日本数学会
最新ニュースNEWS 学術的会合 2024年度秋季総合分科会（2024年9月3日～9月7日、大阪大学豊中キャンパス） 会員向け 2025年〜2026年開催「藤原セミナー」の募集について 会員向け 2024年度のCREST・さきがけの公募開始について 会員向け 稲盛科学研究機構（InaRIS: Inamori Research Institute for Science）フェロー募集について 会員向け IPA独立行政法人情報処理推進機構 「未踏IT人材発掘・育成事業」の公募が開始されました。 会員向け AIMS（African Institute for Mathematical Sciences）への講師派遣について 会員向け 事務局へのお問い合わせについて 社会・一般 第40回ファジィ システム シンポジウム(2024年9月2日(月) - 4日(水)、日本数学会協賛) 社会・一般 緒方芳
ホームページをリニューアル致しました
アクセスいただき有り難うございます。 2018年2月26日より、弊社ホームページをリニューアル致しました。 新ホームページ https://www.maruzen-publishing.co.jp/ 10秒後に自動的に新ホームページの当商品ページにジャンプします。 ※商品により、新HPに飛ばない場合もございますが、ご了承のほどお願い申し上げます。 なお、誠に申し訳ございませんが、しばらくの間ホームページからの商品のご注文につきましては行えませんのでご了承ください。 ぜひお近くの書店またはネット書店からお申し込みいただければ幸いです。 新ホームページでも商品をご注文頂けるように現在構築を進めております。 日程が具体的になりましたらトップページ等でご案内申し上げる予定です。 今後とも変わらぬご愛顧のほど、何卒よろしくお願い申し上げます。
関数型言語の技術マップ
要求開発アライアンスの定例会で『Object-Functional Analysis and Design: 次世代モデリングパラダイムへの道標』というタイトルでセッションを行うことになりました。 セッション時間が50分なので、かなり俯瞰した形での全体像の説明になりそうですが、関連する要素技術の数が多いのと、内容が込み入っているので、ブログで補足説明をすることにしました。 今回はその第一弾です。 「関数型言語の関連技術」として用意した以下の図を説明します。関数型プログラミング言語レベルの説明はScalaを対象にします。 Disclaimer2008年にScalaをはじめて足掛け4年、関数型プログラミングとは、どうも数学を使ってプログラミングしていくことらしい、ということが分かってきました。 ScalaをBetter Javaとして使うのであれば、そこまで頑張らなくてもよいのですが、関数型言
『数学ガール／ガロア理論』執筆状況 2012年3月8日 09:00 ; [結] 2012年3月 - 結城浩の日記
目次 2012年3月31日 - 『数学ガール／ガロア理論』は2012年5月末刊行予定です！ / 2012年3月30日 - Facebook初心者です。 / 2012年3月27日 - 昨晩は、月がきれいでした。 / 2012年3月25日 - どうしてメルマガを始めようと思ったか / 2012年3月23日 - 数学を教える上で訴えてきたことが記述されていて感動！（『数学ガール』の感想） / 有料メルマガ 結城浩の「コミュニケーションの心がけ」を始めます！ / 2012年3月19日 - 『数学ガール／ガロア理論』を（一応）脱稿しました / 2012年3月17日 - 『数学ガール／ガロア理論』の脱稿は、もうちょっと… / 2012年3月16日 - 『数学ガール／ガロア理論』の脱稿は、もう少し！ / 2012年3月8日 - 数学があまり得意ではない私でも（読者さんからの感想） / 『数学ガール／ガロ
すべての馬は同じ色 - Wikipedia
すべての馬は同じ色（すべてのうまはおなじいろ）とは、推論に誤りがあることから生じるパラドックスのひとつ。一見して数学的帰納法により証明されているように見えるが、決定的な誤りを含むために、明らかにおかしな主張が得られている。数学的帰納法を用いて命題を証明しようとする際に起こり得る微妙な誤謬の例として、ジョージ・ポーヤが用いた。 概要[編集] この間違った論証とは、次のようなものである。 5頭の馬が常に同じ色であることを証明したいとする。4頭の馬は必ず同じ色であることが、すでに証明されているとしよう。すると、5頭の馬から任意の1頭を除けば、残りの4頭は同じ色である。それを2通りの方法で行うと、同じ色だとわかる4頭の馬の集合が2種類得られる。例えば、1頭目、2頭目、3頭目、4頭目は同じ色でなければならないし、2頭目、3頭目、4頭目、5頭目も同じ色でなければならない。したがって、5頭すべての馬が同
Maplesoft 製品 : 数式処理システム/システムレベルモデリング | サイバネットシステム
Maplesoft は、科学技術、工学、数学 (STEM) の教育者、エンジニア、研究者にとって有益な、数学をベースとしたソフトウェアソリューションを提供しています。Maplesoftの主力製品であるMapleは、世界で最も強力な数学エンジンと、数学的な問題の分析、調査、可視化、解決を容易にするインターフェースを兼ね備えています。この技術をベースに、教育・研究、システムシミュレーション、計算管理、システムエンジニアリングのためのソリューションが構築されました。 世界最先端の記号・数値演算エンジンを搭載 高度な計算、可視化、データ分析、アルゴリズム作成… あらゆる数学的なニーズに対応 STEM コンピューティング・プラットフォーム『Maple』は、1980年にカナダ・ウォータールー大学で生まれた数式処理技術をコアテクノロジーとして持つ科学・技術・工学・数学に関する統合的計算環境です。数値計算
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
