燻製ニシンの虚偽（くんせいニシンのきょぎ）、またはレッド・ヘリング（英語: red herring）は、重要な事柄から受け手（聴き手、読み手、観客）の注意を逸らそうとする修辞上、文学上の技法を指す慣用表現[1]。 18世紀から19世紀に掛けてジャーナリストとして活動したウィリアム・コベットが書いた記事に由来し[2]、後に情報の受け手に偽の事柄に注意を向けさせ真の事柄を悟られないようにする手法を表す慣用表現として使われるようになった。例えば、ミステリ作品において、犯人の正体を探っていく過程では、無実の登場人物に疑いが向かうように偽りの強調をしたり、ミスディレクション（誤った手がかり）を与えたり、「意味深長な」言葉を並べるなど、様々な騙しの仕掛けを用いて、著者は読者の注意を意図的に誘導する。読者の疑いは、誤った方向に導かれ、少なくとも当面の間、真犯人は正体を知られないままでいる。また、ストーリ
カリー=ハワード同型(Curry-Howard isomorphism)は数学の一見無関係に思えるふたつの領域、型理論と構造論理を結びつける実に驚くべき関係である。 これよりカリー=ハワード同型は単に C-H と表記する。C-H が示しているのは、定理の本質を反映するような型を構築し、それからその型を持つ値を見つけさえすれば、どんな数学的定理をも証明することができる、ということだ。これは最初は極めて不思議に思える。型と定理にどんな関係があるというのだろうか？しかしながら、以下に述べるように、このふたつは非常に近しい関係にあるのである。はじめる前に簡単に注意しておくが、導入の章では error や undefinedのような 表示的意味論 が ⊥ である式の存在は無視する。これらはとても重要な役割を果たすのだが、これらについては後ほど別に考えることにする。また、unsafeCoerce#のよ
論理学における誤謬（ごびゅう、英: fallacy[注 1]）とは、誤った推論のことである。平易には「論理の飛躍」などと表現される。誤謬には「形式的」なものと「非形式的」なものがある。論理学やその周辺分野では、結論の正否を問わず「誤謬」という。意図的な誤謬は「詭弁」という。 アリストテレスのころから、非形式的誤謬はその間違いの根源がどこにあるかによっていくつかに分類されてきた。「関連性の誤謬」、「推論に関する誤謬」、「曖昧さによる誤謬」などがある。同様の誤謬の分類は議論学によってももたらされている[2]。議論学では、論証（論争）は合意を形成するための個人間の対話プロトコルとみなされる。このプロトコルには守るべきルールがあり、それを破ったときに誤謬が生まれる。以下に挙げる誤謬の多くは、このような意味で理解可能である。[要出典] 個々の論証における誤謬を認識することは難しい。というのも、修辞技
今日は証明するカードについて書きます。証明というとなんだか人間にも難しく、機械にやらすには高度な人工知能が必要だと思うでしょう。しかしコンピュータも電気も不要です。なんとこのカードは並べるだけで証明ができてしまうのです！とりあえずどんなのか見てみましょう。 自分でやりたい人は logiccard.pdf と logiccard2.pdf をダウンロードして名刺用紙に印刷してください。用紙のサイズが合わない時は logiccard.svg と logiccard2.svg をイラストレータや Inkscape で編集するといいと思います。 このように印刷して、灰色の部分をポンチで穴を開けます。ホッチキス式のポンチではカード中ほどの穴に届かないので、その場合は手芸用のポンチを使うと良いです。 するとこのような謎めいたカードが出来上がります。 それぞれのカードはベン図になっています。穴の開いてい
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く