いまさら不完全性定理と人工知能について - 再帰の反復blog
人間の心を実現する人工知能は作れないとか人間は機械ではないことが不完全性定理から導かれるという主張(とそれに対する否定・批判)がしばしば行われてきた。議論の根本の部分は単純なので、そのあたりについてのメモを書いておく。特に目新しい議論や主張はない。 この主張でたぶん一番有名なのはルーカスの"Minds, Machines and Gödel"(1961)という論文。 簡単な算術ができて無矛盾であるどんな機械が与えられても、その機械から真として出力されないような式——つまりそのシステムで証明できない式——が存在する。しかしその式を我々は真だと理解できる。よってどんな機械も心の完全で適切なモデルになれず、心は本質的に機械とは異なる。 (J. R. Lucas "Minds, Machines and Gödel") また高橋昌一郎『ゲーデルの哲学』(1999)には、ルーカスと同様のことをゲーデ
IIJ Research Laboratory
ネットワークの計測と解析 インターネットの使われ方やネットワークの挙動を把握する事は、ネットワークを運用し、その技術開発を行う ために欠かせません。しかし、観測で得られるデータ量は膨大ですがノイズが多く、また、観測できるのは極めて限られた部分でしかありません。そこで、膨大なデータから意味のある情報を抽出したり、部分的な観測からより一般的な傾向を推測する事が必要となります。... インターネット基盤技術 速くて、安全で、信頼性が高く、使いやすく、など、インターネットサービスへの要求はますます高まっています。これらの要求に応えるために、インターネットの 基盤技術も日々進歩しています。いまやインターネットはつながるだけのサービスではなく、高度で複雑な機能を備えた社会基盤となりました。IIJ技術研究所は、インターネットの基盤として実現が期待される機能を提供するために、さまざまな技術課題に取り組んで
一般解・特殊解・特異解
日頃より、アレスネットをご愛顧いただきまして誠にありがとうございます。 「ホームページサービス」のサービス提供は2016年1月31日をもちまして終了させていただきました。 これまで長らくご利用いただき、誠にありがとうございました。 今後も、皆様によりよいサービスをご提供させていただけるよう、サービス品質向上に努めて参りますので、何卒、ご理解いただけますようお願 い申し上げます。 ＜アレスネットをご契約のお客様へ＞ 後継サービスとして「userwebサービス」を提供させていただいております。 詳しくは、以下のリンクをご参照ください。 ▼「userwebサービス」のご案内 http://www.ejworks.info/userhp/alles/index.html 今後ともアレスネットをご愛顧いただけますようお願い申し上げます。 株式会社イージェーワークス アレスネット カスタマーサポート
SEDAYUBET: Agen Link SBOBET Mobile WAP 24 Jam Mix Parlay Euro 2024 Terpercaya
SEDAYUBET merupakan agen judi bola online sbobet yang sudah berdiri sejak lama dan terkenal di dunia. Jika anda bermain permainan bola pasti semua orang akan mencari perusahaan taruhan bola Sbobet yang terpercaya, karena hanya link SBOBET saja yang memiliki pasaran bola yang adil dan tampilan websitenya sangat bertanggung jawab. Tidak hanya itu, agen Sbobet juga memiliki permainan mix parlay untuk
Bitcoin’s creator is Japanese mathematician Shinichi Mochizuki, says hypertext inventor
Ted Nelson, the American academic who in 1963 coined the term hypertext, and is therefore viewed as one of the World Wide Web’s founding fathers, just released a 12-minute video with a big reveal at the end: The inventor of bitcoin, says Nelson, is probably Japanese mathematician Shinichi Mochizuki. [Update: Nelson answered our request for comment. He says that he did not receive help from anyone
エルデシュ数 - Wikipedia
ポール・エルデシュ エルデシュ数（エルデシュすう、Erdős number）またはエルデシュ番号とは、数学者同士、あるいはもっと広く科学者同士の、共著論文による結び付きにおいて、ハンガリー出身の数学者ポール・エルデシュとどれだけ近いかを表す概念である。エルデシュに共著論文が非常に多いことから、その友人たちによって、敬意とユーモアを込めて考え出された。今日では科学者のコミュニティにおいてよく知られており、エルデシュと近いことが名誉であるかのように半ば冗談めいて語られる。 アリスはエルデシュと共著で論文を書き、ボブとも共著で論文を書いているとする。そして、ボブとエルデシュには直接の共著論文がないとする。ボブが共著論文をたどってエルデシュに行き着くためには2回のステップが必要であるため、ボブにはエルデシュ数2が与えられる。 ある者が新たにエルデシュ数を得るためには、すでにエルデシュ数が与えられて
Ulam spiral - Wikipedia
Ulam spiral of size 201×201. Black dots represent prime numbers. Diagonal, vertical, and horizontal lines with a high density of prime numbers are clearly visible. For comparison, a spiral with random odd numbers colored black (at the same density of primes in a 200x200 spiral). The Ulam spiral or prime spiral is a graphical depiction of the set of prime numbers, devised by mathematician Stanisław
関手的データモデルをどう説明するか？ 考えてます - 檜山正幸のキマイラ飼育記 (はてなBlog)
http://d.hatena.ne.jp/m-hiyama/20130128#c1359767497 : データベース技術者が「これを知らないのは不幸」と思えるので、（可能な範囲で）紹介はしようかな、と。 「これ」とはもちろんスピヴァックの関手的データモデルです。「データベース技術者」つうより、データベースに多少とも関わるすべての人にとって関手的データモデルは福音となる可能性があると思っています。RDBに限らず、現存するほとんどすべてのデータベース的システムに対して、極めて単純で統一的な記述を与えてくれます。データマイグレーションのように、これまでは途方に暮れていたような現実的な問題を鮮やかに解いてくれます。 「これ」を紹介する／説明する価値は十分にあります。僕自身が、すぐにでも実務的に使いたいと思っています。しかし、スピヴァックの論文群を要約したら関手的データモデルの説明になるかという
100の職業でどんな数学を使うのか１枚の表にまとめてみた
前回の記事で「誰が、どんな数学を、どのように使っているか」の表がクリックしても大きくならない、見えない、見たい、なんとかしろ、という話があったので、それを。 Hal Saundersの書物When Are We Ever Gonna Have to Use This?にある 「100の職業人に聞きました、あなたが仕事で使う数学はどんなん？」をまとめた表をそのままスキャンして貼り付けるのもどうかと思ったので、これを元に、より多くの数学のスキル／知識を使う職業から順にソートして並べてみた。 Saundersは、職業人に使われている数学を60のトピックにまとめているが、これについても、より多くの職業で使われるものから順に並べた。 （クリックで拡大） 元のデータをgoogle spreadsheetにアップロードしました（2017.12.31） 元々この本は、教科書に頻出するあまりに非現実的な応用
引き分けのないじゃんけんに関する一考察 - あすかぜ・ねっと
はじめに 小学校の思い出といえば、給食の余ったデザートを取りあうじゃんけん大会ではないだろうか。 大人になった今でも、面倒くさい雑用を押し付けあう時など、じゃんけんはあらゆる場面で活躍している。 しかし、大人数でのじゃんけんにはひとつ大きな問題がある。 それは引き分けである。 人気のデザートをめぐるじゃんけんなど、参加者が多い場合にはなかなか勝者が決まらない。 「じゃんけんの引き分け」のために日本国民が損失している時間を軽減できれば、 日本の GDP の向上に多少なりとも貢献できるのではないだろうか。 2 人じゃんけん 話を単純化するために、まずは 2 人じゃんけんを考えてみよう。 現状のルールは次のようになっている。 A＼Bグーチョキパー グー
255byte以内のURLに対してMD5でハッシュを得たときに、それがコリジョンを起こす場合はありますでしょうか。…
255byte以内のURLに対してMD5でハッシュを得たときに、それがコリジョンを起こす場合はありますでしょうか。 255byte程度の短い文字列に対してであればコリジョンが発生しないと聞いたのですが根拠となる情報があれば教えてください。
やる夫で学ぶ応用数学 -フーリエ解析-
■掲示板に戻る■ ■過去ログ倉庫一覧■ やる夫で学ぶ応用数学 -フーリエ解析-1 ： ◆zmN9XuyND6：2011/12/24(土) 20:28:30 ID:QzQ2AiG6 / :..:..:.:.:.:.:.:.:.:.: : : : : : .ﾉ : : : : : : : : : .ハ. /..:..:..:..:..:. :.:.: : : : : : ／: : ／:.}. . . . ／: : : .､ はろー /:..:..:..:..:.. :.: : : : : : ／: : ／ ,勹. . .／.: : : : }:.:.: /:..:..:..:.:.: rt ､/: : ／/ｰ ´ ｀メ､:.:.／.:.／: : :/: : i 今日はフーリエ解析と、その周辺の科学について /:..:..:.:..／∧ /: ／: / { 笊ﾐ彡
言われてみれば……！ RPGの世界は球体じゃなくドーナツ型だった？
「ドラクエ」の世界もドーナツ型？ 以前、Twitterで「RPGの世界は球体じゃなくドーナツ型をしている」というつぶやきがリツイートされて回ってきました。 ん？ 球体じゃなくてドーナツ型ってどういうこと？ これだけだとよく分かりませんが、添付されていた画像を見て納得。なるほど、言われてみれば確かにドーナツ型だ！ ちょっと感動してしまったので紹介します。 元となった@ponzholicさんのツイート。なになに、どういうこと？ こちらが分かりやすい図解。た、確かにそのとおりかも！ こちらがリツイートされてきた画像。これだけ見ればだいたい理解できると思いますが、一応ちょっとだけ補足します。 「ドラクエ」などに代表されるRPGでは、世界は北と南、西と東がそれぞれつながっているのが一般的です。しかし、よく考えてみると、これは現実の世界地図とはちょっと違う。地球儀を思い浮かべると分かりますが、現実では
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
裏サンデー
裏サンデー
https://wang-lu.com/pdf2htmlEX/demo/cheat.html
「これまでで最大の素数」を発見
センター試験に「自然数」が参戦 ! !
数学クラスタによる数学女子学園第一話実況
2次元コードいろいろ | Okumura's Blog