砂山のパラドックス - Wikipedia
砂山から砂粒を取り去っても依然として砂山のままだが、それから何度も取り続けて最終的に一粒だけが残った時に、その一粒だけを指して「これは砂山である」と言えるのか。 砂山のパラドックス（すなやまのパラドックス、英: paradox of the heap）は、述語の曖昧性から生じるパラドックスである。古典ギリシア語で"heap"を意味する「ソリテス」（σωρίτης、sōritēs）にちなんで[注釈 1]、ソリテス・パラドックス、ソライティーズ・パラドックス（英: sorites paradox）とも呼ばれる。 定義や境界値が明確でなく曖昧な概念をどう扱うかという問題であり、主に論理学の哲学・言語哲学において問題になる。というのも、論理学や数学などの科学においては、全ての概念が明確でなければならず、通常の方法では曖昧な概念を扱えないからである。 歴史とバリエーション[編集] このパラドックスの
うっかりチューリング完全になっちゃったもの
Accidentally Turing-Complete ― Andreas Zwinkau 本来なら、チューリング完全となるべきではなかったものがある。これは、そのようなうっかりチューリング完全になってしまったものの例である。 C++テンプレート 当初はチューリング完全を目指していなかったが、C++テンプレートはチューリング完全になってしまった。その証明は、この論文にある（PDF） x86 MMU x86のpage fault handlingは、単純なマシンの実装に使える。原理としては、page faultが1 wordをスタックに積み、それによりアンダーフローを起こして別のトラップを生成する。この仕組みは、「減算して0以下ならば分岐」処理を実現する。チューリングマシンを実装するには十分である。デモ動画、講演動画 マジック・ザ・ギャザリング マジック・ザ・ギャザリングはカードゲームであ
「赤ちゃん設計」許されるか 根強い批判、予測には限界：朝日新聞デジタル
【行方史郎＝ワシントン、岡崎明子】ＳＦの世界の話だったデザイナーベビー。親の望みによって、子どもの病気のリスクや容姿、知性、芸術・スポーツへの適性や才能を選ぶことは許されるのか。「究極の生命の操作」には根強い批判がある。また、遺伝子の働きは複雑で、いまの遺伝子研究では「赤ちゃんのデザイン」には限界があるのが実情だ。 特許を取得した２３アンドミーは、利用者の情報をデータベース化した独自の手法で研究を進める。大学や患者団体との共同研究で、パーキンソン病などに関係する研究成果も発表、自社の個人向け遺伝情報解析サービスにも反映している。利用者が増えるほど精度も上がる。米国には個人向けに遺伝子解析を提供する会社が１０社以上あるが、同社は、情報の信頼性について強みがある。 今回、認められたデザイナーベビーにつながる特許は、これまで同社が蓄積してきた遺伝情報の解析技術を統計的な手法で応用するものだ。生殖
「米動画サイトが無断公開」７社が提訴 NHKニュース
アメリカに本社を置く大手動画投稿サイトがビデオ作品を無断で公開したなどとして、国内の映像制作会社など７社がおよそ６５００万円の損害賠償を求める訴えを起こしていたことが分かりました。 法改正により、海外企業でも日本向けにサービスを行っていれば、国内で訴えを起こせるようになったためで、司法の判断が注目されます。 訴えを起こしたのは、知的財産振興協会に加盟する国内の映像制作会社など７社です。 これらの会社は、制作した合わせて３５点のビデオ作品を、アメリカに本社があり、日本向けにサービスを行っている大手動画投稿サイト「ＦＣ２」に無断で公開されたなどとして、運営会社に対しおよそ６５００万円の損害賠償などを求めています。 裁判は今月、東京地方裁判所で最初の弁論が行われ、運営会社側は、本社もコンピューターのサーバーもアメリカにあるため日本での訴訟はできないなどとして、争う姿勢を示しています。 また、訴え
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
