緑色の目をしたドラゴン | ふと目にして気になったこと
以下のような問題がハーバード大学で論理的思考力を試すために出題されたそうです。 ある孤島に100匹のドラゴンが生息している。 100匹のドラゴンはすべて緑色の目をしている。 島にはあるルールが存在する。 「もしもドラゴンは自分が緑色の目をしていると分かれば、その日の夜１２時にドラゴンの力を捨てスズメに変身しなければならない」 島には鏡などがなく、ドラゴン達は自分の目の色を確認することができない。 もちろんドラゴン達は、自分以外のドラゴンが緑色の目をしていることは知っている。 しかしドラゴン達は意思の疎通ができないため、自分の目の色だけはわからない。 ある者がドラゴン達にこう告げる。 「この中に少なくとも１匹以上、緑色の目をしたドラゴンがいる」 今後どんなことが起きるか答えよ。 ドラゴンは論理的な生き物である。
開世界仮説とは - どのような説なんですか？教えて下さい！お願いします。 - Yahoo!知恵袋
要するに「閉世界仮設」の逆です。 閉世界仮説とは、論理学で（あるいは我々が通常直感的に用いる論理で）採用されている説で、証明されていない・存在が示されていない現象や物体を、とりあえず無い物と見做す、というものです。 言い方を変えると、知識にないもの、データベースに含まれないものを偽と見做す処理方法です。 「知らないものは偽」という言い方をすると、いやいやそんな訳ないだろう、という感じがしますよね。特にデータベース処理に関わるコンピューターでは、このことがコンピュータの融通の利かなさに繋がっているのではないかと思われた。 そこで従来の論理学を閉世界仮説と呼び、新たに「開世界仮説」を検討した。開世界仮説では、知らないものを偽とはみなしません。 ところがこの検討の結果判明したのは、開世界仮説を採用した場合、論理のプロセス自体がすぐに破たんしてしまうし、そうでなくても「偽」のかわりに「わかりません
大田区議会議員_おぎの稔_メタバース・議員系Vtuber🏭🛫 on Twitter: "リョナ、良いじゃあないですか。TPOはありますがね。私は好きですよ。 https://t.co/ryHAQdjSma"
リョナ、良いじゃあないですか。TPOはありますがね。私は好きですよ。 https://t.co/ryHAQdjSma
公理 - Wikipedia
公理（こうり）は、その他の命題を導き出すための前提として導入される最も基本的な仮定のことである。一つの形式体系における議論の前提として置かれる一連の公理の集まりを公理系（英語版） (axiomatic system) という[1] 。公理を前提として演繹手続きによって導きだされる命題は定理とよばれる。多くの文脈で「公理」と同じ概念をさすものとして仮定や前提という言葉も並列して用いられている。 公理とは他の結果を導きだすための議論の前提となるべき論理的に定式化された言明であるにすぎず、真実であることが明らかな自明の理が採用されるとは限らない。知の体系の公理化は、いくつかの基本的でよく知られた事柄からその体系の主張が導きだせることを示すためになされることが多い。 ユークリッド原論などの古典的な数学観では、最も自明な前提を公理、それに準じて要請される前提を公準として区別していた。 公理の例[編集
ヨーダ記法 - Wikipedia
この記事には参考文献や外部リンクの一覧が含まれていますが、脚注による参照が不十分であるため、情報源が依然不明確です。適切な位置に脚注を追加して、記事の信頼性向上にご協力ください。（2016年8月） ヨーダ記法（ヨーダきほう、Yoda notation）またはヨーダ条件式（ヨーダじょうけんしき、Yoda conditions）とは、プログラミングにおけるジャーゴンのひとつで、If文などの条件式において比較するふたつの要素を一般的な順序と逆に記述するプログラミングスタイルをいう。ヨーダ記法では条件式の左辺（比較演算子の左オペランド）に定数を配置する。 映画『スター・ウォーズ』シリーズの登場人物・ヨーダが、標準的ではない英語の文法で話すことに由来する。 ヨーダ記法はWordPress[1][2]やSymfony[3]のPHPコーディング標準の一部に採用されている。一方、CakePHPのコーディン
奥野幹也『理論から学ぶデータベース実践入門』はどこがダメなのか - 檜山正幸のキマイラ飼育記 (はてなBlog)
言い訳から始めます。この記事を（途中まででも）読んだ人は、次のように言いたくなるでしょう。 『理論から学ぶデータベース実践入門』は良い本なのか悪い本なのか、いったいどっちなんだよ?! この本は間違いや説明不足があり、誤読されやすい表現も多く、その点では残念な本です。しかし、面白いアイディア、するどい観察も含まれていて、行間を補い深読みすれば、多くの示唆を得られる本でもあります。 よって、「良い／悪い」の二択では答えられません。良い点と悪い点の両方を、できるだけ客観的に記述するしかないのです。それをした結果、長い記事となりました。 内容： ことの発端： zhanponさんの批判 奥野本擁護と奥野本批判 僕の擁護・批判の方針 zhanponさんの指摘の再検討 1. 論理的な矛盾とデータの不整合を混同している 2. 命題論理の限界についての説明がおかしい 3. 古典論理の定義を間違えている 4.
ケツからはウンコしか出てこない
逆説的に言えばウンコとはケツから出てくるもののことであり ケツから出てきたものは全てウンコと呼称することができる
萌えエロ絵の萌えは「幼さと清らかさを奪う・蹂躙する願望」である - Togetterまとめ
まとめ 命名。「萌えエロ絵は甘ったるい酒」。 成人が酒を飲むのは自由ですが、当たりかまわず酒臭い息を吐く人がいたら迷惑でしょう。 萌えエロ絵は、害悪だし悪質です。右は裸体としてくくられ、左は「性的にまなざす」のが明らかなのに「可愛い絵」として規制されない。「可愛い絵」で「性的にまなざす」ことを意識もしないで当たり前にしていく。砂糖でくるんだ毒薬です。 ※おことわり 題名と説明は、収録したツイートから選ぶようにしています 「オリジナルな文、言葉からつけるべき！」とのお考え の方には不満なことかもしれませんがご了承ください。 了承いただけない場合には当該まとめを読んでいただかなくて結構です。 また「題名が長い！」と の批判 も受け付けません。どうぞお気に入りの他のまとめをご覧ください 。 普段は コメントは削除しない派でしたが、この題名と説明につい てのコ メントは削除することもあります。あら
ジョージ・ブール - Wikipedia
ジョージ・ブール（George Boole, 1815年11月2日 - 1864年12月8日）は、イギリスの数学者・哲学者。多くの実績があるが、コンピュータ科学の分野の基礎的な理論のひとつであるブール代数（ブール論理）が現代では広く知られている。 生涯[編集] ジョージ・ブールの父であるジョン(John Boole)は零細の自営業者であり、教育熱心でもあり、学問、特に数学にも関心を持っていた。息子に最初に教育を行ったのも父である。父を教師にして、ラテン語やギリシア語を学んだ。ジョージは、幼少の頃は数学ではなく古典に興味があった。16歳の時にドンカスターにある私立学校のアシスタント教師になり、学者として自活するようになった。数学は独学であった。その後、リンカーン、ワディントンなどを経て、1849年にアイルランドのコークにあるクイーンズ・カレッジ（現在のユニバーシティ・カレッジ・コークで、その
Elixir ： Erlang VM 上で動作する Ruby 風味の関数型言語 | プログラマーズ雑記帳
Elixir は Erlang VM (BEAM) 上で動作する Ruby 風の関数型言語です。 今回はこの Elixir の特徴を紹介した後、 Windows へのインストールと簡単な使用法、および Emacs の Elixir 用モードの設定について説明したいと思います。 Elixir とは Elixir の前に Erlang について触れておきます。 Erlang は Java のように仮想マシン(VM)を使った関数型言語です。 Erlang はリアルタイム並列処理などに適しており、 特に耐障害性の高いシステムを求められるときに使います。 Erlang のインストール(Windows)と Emacs モードの設定 | プログラマーズ雑記帳 雑把の仮想マシン(JVM, .NET, BEAM, スクリプト言語, LLVM) | プログラマーズ雑記帳 Erlang はサーバーサイドの言語と
二者択一問題についてのギモンだよん。Ａでないことはない、だからＡだろ！って因縁をつけんのは古典論理の世界でしか成り立たないはな... - Yahoo!知恵袋
二者択一問題についてのギモンだよん。 Ａでないことはない、だからＡだろ！って因縁をつけんのは古典論理の世界でしか成り立たないはなしなんだよね。 二者択一問題についてのギモンだよん。 Ａでないことはない、だからＡだろ！って因縁をつけんのは古典論理の世界でしか成り立たないはなしなんだよね。 でも、ふつーの人はふつーは古典論理じゃなくって直観主義論理で考えてんじゃないかな。 直観主義論理ってのは排中律が成り立たない論理だよ。だから二重否定も成立しない。 排中律ってのは「ＡであるかＡでないかどっちかだ！」ってやつ。で、「Ａでない」はヘンペルのカラスじゃないけど現実に主張することが不可能なもんで、その不可能性をつっつきまわってＡを無理やり認めさせようとする論法が排中律を用いた二者択一の因縁づけ論理なんだ。 直観主義ってのは、「Ａでない」が否定されてもＡだとはしない論理ね。Ａであることをゆーためには「
kadongo38さんはTwitterを使っています: "昨日は議論参加しながら理系脳と文系脳について考えていたが、やっぱり脳の中で扱える論理式のサイズが文系は小さいんだと思った。プログラミング��
昨日は議論参加しながら理系脳と文系脳について考えていたが、やっぱり脳の中で扱える論理式のサイズが文系は小さいんだと思った。プログラミングを覚えられるかどうかの資質ともリンクする話だと思う。
Perl/演算子 - Wikibooks
演算子とは、１つ以上のオペランドを伴って式を構成する構文要素です。 オペランドの数によって、単項演算子・二項演算子・三項演算子に分類されます。 同じ記号を使っても、単項演算子だったり二項演算子であったりする演算子もあります。 問えば、符号反転-$xと減算$x - $y は、同じ記号 - を使います。 さらに、デクリメント--$x も、同じ記号 - を使います（--で１つのトークンで間に空白などは入れられません）。 また。Perlの演算子は、オペランドの型を演算子の想定する型に強制的に型変換され演算が行われます。 $x + $y # 加算。オペランドが数値でない場合は数値に変換してから加算。 $x . $y # 結合。オペランドが文字列でない場合は文字列に変換してから結合。 $x x $y # 繰返し。左オペランドの文字列とみなし、右オペランドを数値とみなし、その回数だけ繰り返す。 このよう
論理的思考の問題解きたい : 哲学ニュースnwk
2015年05月26日20:00 論理的思考の問題解きたい Tweet 1: 以下、＼(^o^)／でVIPがお送りします 2015/05/25(月) 15:44:38.174 ID:XK5cvBIKd.net かじってみたら面白かったので 転載元：http://viper.2ch.sc/test/read.cgi/news4vip/1432536278/ 【大相撲】歴代のイケメン力士の画像貼ってくｗｗｗｗｗｗｗｗ http://blog.livedoor.jp/nwknews/archives/4878945.html 3: 以下、＼(^o^)／でVIPがお送りします 2015/05/25(月) 15:45:01.985 ID:xZ95rJBd0.net そのかじった問題うｐ 4: 以下、＼(^o^)／でVIPがお送りします 2015/05/25(月) 15:47:45.258 ID:XK
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Amazon.co.jp: 論理学をつくる: 戸田山和久: 本
Amazon.co.jp: はじめての数理論理学:証明を作りながら学ぶ記号論理の考え方: 山田俊行: 本
パンはパンでも食べられないパンはフライパン
検索のベスト プラクティス | Java 8 の App Engine スタンダード環境 | Google Cloud
用語：【1-3】関係モデルの理論
ド・モルガンの法則でunlessのややこしい条件をifに読み替えよう - Qiita
