  |
はてなキーワード: 証明とは
「男性は身長が高いほどモテる。女性は150cmでも170cmでもモテる」マッチングアプリがガチで証明してしまう
なんつーか、「女性が働きやすい社会になる」ことは、結婚したい男性にとってもメリットが大きいのだ（年収が低くても結婚できるチャンスが上がるのだ）、ということがもっと伝わるといいなと思う。
たとえ一千万以上稼ぐような女でも絶対に下方婚はしないので女が稼げば稼ぐほどむしろ未婚率や少子化を悪化させるだけと何度も何度も何度も何度もデータで証明されているのになぜいまだにこんなゴミみたいな戯言を吐く奴がいなくならないのだろうか
考えたこともなかったけど言われてみると死の恐怖が和らぐ気がする。
死の恐怖っていっても身体的な痛みへの不安とか夢が実現できない無念さとか色々あると思うけど、自分が死んでも宇宙が存在し続ける虚しさみたいなものもある気がする。
自分は宇宙の中心じゃなくてあくまでモブの一人ってことを受け入れさせられるような、尊厳が傷つけられる感覚。
この部分は宇宙も死ぬってことにしてしまえば、自分が死んだ後も宇宙は存在し続けたとしても、あくまで有限の時間って思えば早いか遅いかの問題だけで皆んな平等。
そもそも自分が死んでも宇宙は存在し続けるっていう前提が証明できないし、論理が破綻しているかもしれないけど、うっすらと納得感はある。
スト６で世界ランク１位を取ってた人は公開の場で長い間交流すらしてない人で
対戦ゲームだろうと誰とも関わらず世界１位が取れる実力主義の世界なのに
追い出されたとかグチグチ言うだけの無能がお前な
２００４年にテランスタオが発表した論文は、 結論は定理で、その定理が、エルデシュ予想と同値で、それを証明するというので、彼のやっている論文は、ほとんど驚愕的である。
何がっていうとですね、彼の論文には、 THEOREMと書いてあって定理がたくさん出て来るし、Lemmaと書いているところで驚愕的なことをしているので。なぜか？Lemmaは
難しいので。 そこのLemmaの中で、それを証明するのに、 コーシーシュワルツの不等式を使ったりしている。 定理は発見するだけで、Lemmaは、証明の中で一番難しい技術で、
驚愕的な証明と言われているので、驚愕ではない。逆に ２０１９年に、タオが発表した論文は、 偏微分方程式と組み合わせ論の議論を用いて、コラッツ数列に挑戦するというもので
こちらでもやたら難しい考察とか技術をやっている。 Lemmaは出すのが難しいとか無理であると言って、よびのりも、Youtubeの動画で言っているので、よびのりっていうのは、名札に、おぺちと書いている
稚児でちょっと性格が悪いのがよびのりですが、 何がしたかったかと言うと 素数の中には等差数列があることを示さないといけないが、具体的検査では、２６個の具体例は出るが、２７の長さ
のものは計算機でも出て来ないので、証明ということになった。この際に、タオは教科書に大量の定理を書いて証明をしているので、技術なので、それで行ける。
数学ではまず基本的な初等的な問題分野に関する考察から初めて、 そこで発見されている色々なものを整備しておくことから始まる。そこで研究を深めて完全なものを整備しておくとその
完全無欠と一般に観念されているものは後々色々な問題に出て来ることになるから、なおざりにしてはならない。 これが中学校までにやることである。 しかし、高等学校の数学となると
毛色が違ってくる。 高等学校の数学とは何か？というとよく分からないのである。 二次関数という分野が特に文科省が分類をしているが、二次関数はただの関数であってそこに何か
定理があるかというとそういうものはない。定理のないところに技術もない。従って、二次関数という分野を特に重点的にやったところで論理学思考の何も成長しない。ならば二次関数とは何か
ということである。微分積分、サインコサイン何になるというのが昭和５０年代に流行った。サインコサインつまり三角比の分野には、定理が大量にある。さらには複素数。しかし、定理があるかないか
でいうなら、三角比の分野である。しかし、その証明にあたって、いわゆる驚愕的な証明はない。平成時代に２ちゃんねるにいる数学マニアが、そういうものは知っていても沈黙というスッドレが
流行った
これでは話にならない。 数学の偉大な定理は発表されたときに驚愕されるが数学の技術は、 定理による技術と、数式の計算それ自体の技術がある。組み合わせ論的な議論で、
円はしょっちゅう出て来るから、組み合わせをやるなら、円が出て来ることは覚悟しなければいけませんよと、ブレジスとかオレインなどが言っていた。そういう技術的着想の意味で私のころは
フェッファマンがスターだった。数学的帰納法でも、 帰納法背理法は完全無欠で有名な論法だから、出て来るときがある。そういうのを出せると、界隈では、スターと呼ばれる。
私の感想で、代ゼミの荻野のぶや先生のYoutubeの講義の中に、 えー、-af(a)+bf(b) という部分が出て来るし、東大の入試問題にも、 最近、数学的帰納法で示せ、
という問題がある。しかしその問題はいわゆる超絶難問ではない。だから眠くて仕方がない。
数学の世界では結局何が課題になっているかと言うとまだ分かっていない。フェルマーの最後の定理は定理であって問題とされてない。しかし現代数学の場合は何かを作ること自体が問題化
されている場合もありまだ判明していない。弁護士の鴨田譲は、そういうようなものであるというが、それは噓であって検事は、技術であるというネタをばらした。しかしばらすとともに技術は難しいから
存在していないといった。技術と言うのは要するに、出すということであってそれが非常に難しい。ここで出す、というのは、肛門を通じてうんこが出て来るというとは違って、証明の中に昔からある
完全な無欠なものが出て来ることで証明になるということだから、ママの言っているうんこを出すことと、証明の中に完全無欠なものが出て来ることは技術的助言として違う。東京都知事の小池百合子が
技術的助言をするときは法律解釈構成においてどこの条文を出すかといったことがほとんどである。 品田幸雄が民事訴訟法を適用する以前の話として民事訴訟法自体の規定が多分に技術である
ので、どこかで作っていた完全無欠なものを出すことで条文が出来ているので、民事訴訟法の事件を論じる前に民事訴訟法の立法技術を勉強しなければいけない。
なんか私でも適当に書けそうだなこれ
https://b.hatena.ne.jp/entry/s/anond.hatelabo.jp/20240512145508
日本人女性の海外売春に関しては定期的にニュースになっていますよ
元増田が何者かは気になるけどね（仲介業者が書いているなら胸糞悪い）
リンクが多いと投稿できないようだ。以下 url から h を抜いた
:title=日本人女性を米国での売春にあっせん容疑 求人サイト運営社長ら逮捕]（朝日新聞）
:title=“海外出稼ぎサイト”で日本人女性を募集した疑い 男ら逮捕] (FNN)
:title=ロスへ出稼ぎに向かった女性が逮捕に怯えながら「稼いだ金額」] (週刊女性)
数学の構造に従って順次検討する。 定理・・・発見されたときに驚愕される有用なものであるが、大したことがなく、研究が深まっておらず、完全無欠とは言い難い定理は、公式と呼ばれる
ようになって、証明の技術に使用できない。例えば、 sin^2+cos^2=1 は高校の教科書の当たり前の定理であるが、公式と呼ばれる。 加法定理も公式化している。完全無欠でそれ以上に
ないところまで進化していないと、使い物にならない。パスカルの定理とか、 対称にして消すといった概念は、数学では完全無欠の象徴とされ、計算の技術の中に出て来る。円もそうである。
しかしこの辺りの技術は平成の者は誰も教えられていないので、具体的に、いかなる概念、定理が完全無欠と言われているかについても、その種の本が絶滅しているため、知りようがない。
この辺のことは、FF9のウイユヴェールにあるといって、平成２６年１１月１３日頃に強制にやっていたような感じがあるが、その秘術は、ウイユヴェールの部屋の中にあるので、誰も知りようがないということ
である。ウイユヴェールの老人でその夜に存在するかどうか分からない人間が全部封印したので分からないということであり、板橋区志村福祉事務所も、そこがウイユヴェールであると言っているが、
事務所に行ってもウイユヴェールの顔見たいな人は見当たらなかった。よって、この定理が進化して完全無欠な形態になるといっても、最終的に、何が完全無欠な概念であるかは不分明であり、
現代法、現代憲法の解釈論の中にそれがある可能性もあるが、いかなる定理が、完全無欠であって、他の問題の構成に出て来るのかは全く分からない。なんらかの恐るべき科学技術が存在し、
完全無欠な定理や、計算技術がそこに使用されている可能性があって、その恐るべき結論を導出している可能性が高いが、その種の装置は、存在する場所が隠されており、外部から見ても
分からない。
