top-poiのブックマーク / 2012年9月24日

top-poi id:top-poi

2012年9月24日のブックマーク (2件)

ヘンペルのカラス - Wikipedia
ヘンペルのカラス（英: Hempel's ravens）とは、ドイツのカール・ヘンペルが1940年代に提出した、帰納法が抱える根本的な問題（「帰納法の問題（英語版）」）を喚起する問題である。「カラスのパラドックス」とも呼ばれるが、パラドックスとして扱うべきかどうかには異論もある[1]。「ヘンペルのカラス」は「全てのカラスは黒い[注釈 1]」という命題を証明する以下のような対偶論法を指す[1]。「AならばBである」という命題の真偽は、その対偶「BでないものはAでない」の真偽と必ず同値となる[2][3][4]。全称命題「全てのカラスは黒い」という命題はその対偶「全ての黒くないものはカラスでない」と同値であるので、これを証明すれば良い[2][3]。そして「全ての黒くないものはカラスでない」という命題は、世界中の黒くないものを順に調べ、それらの中に一つもカラスがないことをチェックすれば証明
top-poi 2012/09/24
全ての黒くないものはカラスでない」という命題は、世界中の黒くないものを順に調べ、それらの中に一つもカラスがないことをチェックすれば証明することができる

語彙

雑学
リンク
シリアナード・レイとは (シリアナードレイとは) [単語記事] - ニコニコ大百科
シリアナード・レイ単語 19件シリアナードレイ 3 0pt ほめる掲示板へ記事編集概要関連動画関連商品関連項目掲示板この記事の一部にはあんなことやこんなことが書かれています。この記事を開いたまま席を離れたら大変なことになる可能性があります。シリアナード・レイとは、PULLTOPのエロゲー「遥かに仰ぎ、麗しの」におけるヒロインの一人、仁礼栖香（にれ　すみか）のことである。概要同ゲームの栖香ルートシナリオにおいて、栖香の「其れなら私を・・・、司さんの尻穴奴隷にしてください」という発言に対する、主人公である滝沢司の「ええと・・・シリアナード・レイって何？」という発言により、プレイヤーの間では彼女を指す呼称として定着した。栖香によると、尻穴奴隷とは「肛門で男に奉仕する性欲処理用の奴隷」のことだという。なお、AVなどにおいてはアナル奴隷という表現のほうが一般的で、google検
top-poi 2012/09/24
エロゲ
リンク
- 2012年9月26日
- 2012年9月24日
- 2012年9月23日