  |
はてなキーワード: 証明とは
スト６で世界ランク１位を取ってた人は公開の場で長い間交流すらしてない人で
対戦ゲームだろうと誰とも関わらず世界１位が取れる実力主義の世界なのに
追い出されたとかグチグチ言うだけの無能がお前な
２００４年にテランスタオが発表した論文は、 結論は定理で、その定理が、エルデシュ予想と同値で、それを証明するというので、彼のやっている論文は、ほとんど驚愕的である。
何がっていうとですね、彼の論文には、 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のウイユヴェールにあるといって、平成２６年１１月１３日頃に強制にやっていたような感じがあるが、その秘術は、ウイユヴェールの部屋の中にあるので、誰も知りようがないということ
である。ウイユヴェールの老人でその夜に存在するかどうか分からない人間が全部封印したので分からないということであり、板橋区志村福祉事務所も、そこがウイユヴェールであると言っているが、
事務所に行ってもウイユヴェールの顔見たいな人は見当たらなかった。よって、この定理が進化して完全無欠な形態になるといっても、最終的に、何が完全無欠な概念であるかは不分明であり、
現代法、現代憲法の解釈論の中にそれがある可能性もあるが、いかなる定理が、完全無欠であって、他の問題の構成に出て来るのかは全く分からない。なんらかの恐るべき科学技術が存在し、
完全無欠な定理や、計算技術がそこに使用されている可能性があって、その恐るべき結論を導出している可能性が高いが、その種の装置は、存在する場所が隠されており、外部から見ても
分からない。
いちいちうぜえな、警察が強制してるから、園児がいわないだけだろ。 おぺちは 数検１級で理科一類の時代があったから大学入試には高度な証明技術を要する問題は出ないんだよ
黒羽刑務所では、 森脇から、 そんな不純なものを考えても証明できないから、 ちゃんとしたものを考えろよと、１００回くらいいいわれて、舎房で必死で考えた
だからろくでもないものを考えても、到達しないからちゃんとしたものを考えろと１０工場の作業中に言われた
その結果、 組み合わせの問題は、 INduction and Contradiction を出すことで解けるといったときに、 舟渡の９９１１が反応した。 ９９１１の車の後ろの工場で働いている
男が知っている。
どうでもいいから読んでいない。 そもそもABC予想は証明する必要がないし。 ワイルズの場合は確実な定理を教科書に書いていって最終的に、コルイヴァギンフラッハ法により出来たが、
リチャードテイラー、 谷山豊などは、哲学的に確実な方法に持って行こうとして、発見すべくして発見した。
幾何学のアイデアも用いている。 ちなみに警察が強制していないと、 ABC予想といったところで、 ４０代の東大卒理科３類から、ウソ乙と言われて終わってしまうので。
ABC予想を検討している３０代のペーターショルツェが金メダルだった問題は、 ２倍にならないという背理を仮定しておいて、ちょっときつい補完定理を発見して証明してそれで作れる
俺が解いた問題は、 補完定理を設定して帰納法でやってもいいし、 ちょっとめんどくさい計算のアイデアで、帰納的にやることが用意されている問題だった
界隈でも知られていないアイデアに基づくテクニックだったので何が書いてるか分からない
俺が解いた問題の模範解答は、AoPSで、５個くらいあって、魅力的だったのは、補完定理で、 計算テクニックによるものは、Messyと書いてあって、 糞女はこの問題に関してまだ見つかってない
と２ちゃんねるに書いてあったが、AoPSに大体のことは出ておる。
法律上の証明は、 ①疎明 ②自由な証明 ③厳格な証明 の３種類があるが、 ③は刑事法で採用され、判例があるが、 放火事件で犯人が突っ張り棒をしたかしなかったかに
関する、平成５年ごろの、 井上正仁の判例集に掲載がある ②は簡単で、民事法における裁判官の社会に関する洞察的な人徳的判断
民訴法８２条１項本文に該当するかどうかを裁判官が判断するときに、 民事訴訟規則で、疎明が必要であると書いている。 しかし原告が、現在の収支状況を書いた回答書を提出した程度
では、真正かどうか分からないので疎明できているかどうかは争いがある
マスコミ報道がすべて間違っているとするならば、明日香さんの警察での前払い金の供述もウソということになってしまう
だって、前払い金を認めたら、加害者の和久井の供述の一部を認めることになる
和久井の本性、魂胆はまったく別であるとしても…
あと、明日香さんは、お金を受け取っていないのに、前払い金という供述をしたというのも不自然だ
なんで、受け取っていないのに、受け取ったかのように供述する必要があるだろうか
平明日香さんの関係者の方たちが、そのへんの矛盾を全力で証明しないと、ネットで過剰に叩かれ過ぎてる明日香さんの名誉回復に繋がることはないので、
数学の証明の技術は次の種類があるが、私は専門家ではないので、全てを知っているわけではない。幾何学をするといいですよと言う風に阪大の富田先生から教わった。
（１）必要最小限の隠れている補助線を引くとただちに答えが見つかる。
（２）補助線を一本引いて出来る。
（３）例えば Induction and Contradiction のように、大昔に発見されていた鉄板だろうと思われるようなもので一見使えそうにないときに使用できる。
他に、特例的な発見と言ったものがあるがまだ議論されていない。
（１）定理は作業中に発見した。しかし、 （３）に該当するものは発見できなかった。 宮地先生は、補完によって出て来るといってますが、 補完定理も、特例的な奴になると
次に、次の事項をこれから強制する。 日向市に住んでいてエロ落ちしているらしいけれど、延岡西高校に、 末永祐治という数学の先生がいた。その者に言わせれば、そんなものは
教えていない。 有村芳郎はバクサイにいて、 ～よ、が口癖である。
警察が強制しているから、 私と、 里見先生や田辺先生が会うことが実現しないようになっている。
法の実質は、暴力による強制であり、 法自体が フィクションという人もいるが、 フィクションを強調しているだけで、フィクションではない。 法はただ法である。
イスラム教にはとにかく母親を大事にする教えがあるよね。母親にさえなれば天国へ行けると教えられてる人もいる。
どんな民族であっても教育が進めば出生率は下がると言う人がいるけど、イスラム教徒は別かも。彼らは自分のために子供を産んでいる。もちろん生まれてきた子は大事にするだろうけどね。そしてこの世は全てアッラーの思し召しのまま。移民として他国へ移り住んでも彼らが感謝するのは受け入れ国ではなくアッラーだから。
こういう人々が入ってきたら人口比がどうなるか、賢い欧州人はわからなかったのかな。私は学はないけど自国民を貧困や犯罪の危険にさらしてまで移民を歓迎してお客様扱いするのがおかしいのははっきりわかる。北欧なんてただでさえ人口少なかったから、数十年後にはイスラム教徒のほうが多くなるだろう。イギリスやドイツも似た道をたどってる。数々の戦争でも破壊されなかったヨーロッパの歴史的な町並みは増えたイスラム教徒によって作り変えられてしまうかもしれないし、キリスト教の教会も減ってモスクになってしまうだろう。一番悲しいのは、移民による犯罪やむちゃくちゃな物価高騰の犠牲者は全て貧しい市民ということ。議会でこれを決定した人たちは痛くも痒くもない顔で笑っている。イギリスでは保守党が大敗したよね。今さら労働党政権になったところで一旦受け入れた移民を追い返せるとは思えないけど、今まで削減され続けた社会保障は復活させてほしい。
本当に教育ってなんだろうと思うわ。高い教育を受けて多額の議員報酬をもらってる人たちがこんなことをして、国民もそういう人たちを選挙で選んでしまうなら、教育にはなんの意味があるのか。イスラム系移民が増えたほうが政治家には都合がいいの？ 人権擁護派全体に言えることだけど、そんなに移民を歓迎したいならまずは自分ちで一家族養ってほしい。フルタイムの仕事がありながら家を失うレベルの家賃高騰も絶対におかしい。世界中本当にヤバい。
女性に教育を受けさせず就労も制限して子供だけ産ませるのが人口増やすには正しいということが証明されてしまったね。イスラム教が悪いわけではないけど、彼らの教義は強すぎる。敵を愛した結果滅んでいくなら敬虔なキリスト教徒には本望かもしれないけど、一般市民には悪夢だろう。欧州の支配者層は今後も増えていくイスラム教徒をどうするつもりなのか真剣に訊きたい。
マイナを証明としてSIMを払い出す時にセキュリティランクが下がる事だ
手続きの雑さに応じた、ポイントカードみたいな事であれば大した問題にはなってないんだよ
問題なのは、「雑に払い出したSIM」で銀行の口座へアクセスできたり、クレカを使ったりできる事だ
SIMの運用を考えたら、本来あれは免許証やマイナカード、クレカのように発行されなくっちゃいけない
でもされてないだろ？
だから穴になるわけ
