CLANNADは人生
[Uncyclopedia|▼Menu]

CLANNADは人生(くらなどはじんせい)とは、CLANNAD-クラナド-の狂信者たちによって提唱された数学の定理であり、P=NP問題にちなんでCLANNAD=人生問題とも呼ばれる。 この定理が発表された時はメディアも取り上げた。



目次

1 概要

2 定理の解釈と否定証明

3 証明

3.1 「CLANNAD=人生」の場合

3.2 「CLANNAD⊆人生」もしくは「CLANNAD∈人生」の場合

3.3 「CLANNAD⊇人生」もしくは「CLANNAD∋人生」の場合


4 定理が一気に広まった要因

5 結論

6 備考

7 関連項目

概要

CLANNAD=人生問題は、CLANNAD狂信者の一人がCLANNAD=人生の成立を予想して2chのニュース速報スレッドに論文を発表したことから始まる。それによってこの定理は一瞬にして日本中に広まり、他のCLANNAD狂信者たちは精査もせずに正しいと信じて疑わなくなった。これによりたちの間で、さも大勢の同意がなされたかのような状態が作られてしまった。
しかし、この定理の否定派や、世界中の数学者、及びアンサイクロペディアンによってついにCLANNAD=人生問題は定理として不適であることが証明された。
定理の解釈と否定証明

さて、この定理は非常に短いが、「CLANANDは人生」という、世界一曖昧な言語である日本語で書かれているため数学的に定義をすると何通りかの解釈が生まれてしまう。しかしそのすべての場合において否定証明を行えばこの定理は誤りであることが証明される。
この定理が持つ意味としては次の3通りが考えられる。
日本語の文をそのまま数式にして「CLANNAD=人生」とする。

CLANNADが人生に含まれると解釈して、集合論的に「CLANNAD⊆人生」もしくは「CLANNAD∈人生」とする。

狂信者たちの解釈に従って「CLANNAD⊇人生」もしくは「CLANNAD∋人生」とする。

証明
「CLANNAD=人生」の場合

=は「同値関係」という数学の概念であり、次の3条件を満たす記号である。詳しくは理系の大学で代数学の授業をとられたし。

「a=a」、「a=bならばb=a」、「a=bかつb=cならばa=c」

ところが、「人生=CLANNAD」が成立しない。(googleで検索しても、「CLANNADは人生」の方向しか出てこない。)従ってこれは=の同値関係としての定義を破っている。したがってCLANNADと人生を等号で結ぶことはできない。

………しかし!CLANNADは人生そのものなのだ!誰がこれを否定できよう!ググってでてこなくても、心の中に確かにこの等式は成立しているのだ。
「CLANNAD⊆人生」もしくは「CLANNAD∈人生」の場合

これを否定するのは簡単である。CLANNADの中に一つでも人生でないものが混じっていればよいのである。CLANNADに含まれる数千数万、もしくはそれ以上の要素を人生にこじつけるのはどんな狂信者でも絶対に不可能である。というより狂信者でもそんな時間の使い方はしない。したがってこれは誤りであることが証明された。
「CLANNAD⊇人生」もしくは「CLANNAD∋人生」の場合

これはさらに簡単である。人生の中にCLANNADでないものが一つでも含まれていればよい。CLANNADを知らずに終わる人生もある、というかそちらの人生の方がかなり多い。たったそれだけで証明できることなのである。
定理が一気に広まった要因

この定理は、数学界でフェルマーの最終定理の解決のとなった谷山・志村予想に匹敵するほど突拍子もない予想だったことが、一気に広まった要因であると言われる。谷山・志村予想とは

すべての楕円曲線はモジュラーである

というものである。なお、この定理の突拍子なさを理解できるのは異常な数学者くらいである。結局谷山・志村予想はアンドリュ?・ワイルスによって正しいことが証明され数学的に大きな進歩となったが、CLANNAD=人生予想は誤りであることが証明されてしまった。何とも情けない話である。
結論

CLANNADが人生と等しいことは 5611 否定証明できるが、CLANNADがすばらしい作品であることを否定するのは不可能である。
備考

CLANNAD (人生)という項目もあるが、本項目との違いは、「CLANNAD=人生」という解釈となっている部分である。決して重複項目ではない。記事内容を入れ替えた方がしっくりくるという意見もある。
関連項目 ・話・編・歴 Visual Art's/key

作品 :kanon (1999) | AIR (2000) | CLANNAD (2004) | planetarian ?ちいさなほしのゆめ? (2004) | 智代アフター ?It's a Wonderful Life? (2005) | リトルバスターズ! / リトルバスターズ! エクスタシー (2007 / 2008) | クドわふたー (2010) | Rewrite (2011)
アニメ :京都アニメーション | 東映アニメーション | Angel Beats!
関連団体 :私立光坂高等学校 | だんご大家族
関連人物 :春原陽平 | 麻枝准 | 樋上いたる | 杉田智和 | 堀江由衣 | 小野大輔 | 川上とも子 | 中村悠一 | 中原麻衣
関連用語 :うぐぅ | カノソ | CLANNADは人生 | CLANNAD (人生) | それと便座カバー | 鯛焼問題 | 担保大家族 | 鳥の詩


CLANNAD (人生)

人生

数学


更新日時:2017年12月26日(火)18:03
取得日時:2019/10/16 18:17


記事の検索
おまかせリスト
▼オプションを表示
ブックマーク登録
mixiチェック!
Twitterに投稿
オプション
Wikipediaで表示
話題のニュース
列車運行情報
暇つぶしUncyclopedia

Size:10 KB
出典: 悪質なデマサイト『アンサイクロペディア(Uncyclopedia)
担当:undef