  |
はてなキーワード: 定理とは
超難問を解くときにその界隈で観念されている完全無欠な概念や定理が結局のところ鍵になるということの理解はわたくしも人語に落ちないが、ここでいう、完全無欠な概念と言うのは、
円とか正方形とか、古くから確立された有名な定理とかが出て来るということになって
そういや、 令和３年とか令和４年とかなんか昔は、 延岡消防署の前に、 びっくりとかが出てきただけで、びっくりさせていただけの時代もあるけど、令和６年２月２６日は、ヘケ
が出て来るし昔とはメンバーが違うな
令和３年１２月１日～９日までは、もっと最悪な奴が出ていたと思うが、 令和３年の場合は次のシリーズで出てきた
１月３１日 村田 イオンスタイル板橋前野 １７０円のささみスティック１点のみ払い忘れていたので払わせた
７月１４日 男性がさいたま地裁前で大声を上げているので臨場して自宅に送り届けた
９月１６日 下戸田交番所長 もぐら 爆破する、と大声を上げていたので精神錯乱で保護した。
９月２３日 PB前野 舟渡２丁目 ラジオの音量が大きい男性がいたので本署に任意同行
１１月５日 副検事、大塚 東京区検察庁 ９月２５日の軽犯罪被疑事件に関して話がありますので印鑑などをもって来庁ください。
延岡みたいな糞田舎いくわけねえじゃん、 建築行政法で高度密地域が設定された時代も昭和４８年頃にあったのでそういう地区もないとはいわないが、風情がないしな
字下げはこのエレガントに出来上がっている志村が好きだから、ほとんど、志村多様体の事務所に採用されたわけで。最初の採用者は、木田と言うざーちゃんだったが、人気が２０１９年で
終わって ブックオフの横に、ソリッド志村という古典的でしっかりした奴があるし
2019/04/01から、宮脇になり、 6月13日に訪問があった。中谷は法学部長 山本隆司（行政法）の友達だが、 古俣、高橋の時代に最悪になった
乙黒というのは、エルデシュのことかも知れないが、事務所に行かないので、行ったとしてもな
それは定理じゃなくて予想だから、ちゃんと予想と書けって言われて怒られました、という戸田橋の下でテント張って寝ている人でもあるし、Brilliaの管理人でもある、深谷カテゴリーとの関係は
分からないが、あの講義の途中で、 へぁ～俺の人生何だったんだよ、という秒のコメントはさみながら解説するのが、かわいいと定義することもできるわけですが、あんの～、松本というのはダイマー模型
の、検察事務官の仲間なので、深谷賢治が発表する前の、R6.1.6頃に深谷賢治と喧嘩したら、交番から、星優介が来て、その後に、なんかが来たというのがあって、その何かっていうのが、
星優介っていうのはGLAYの自演者らしいですが、なんで、R6.1.9でしたが、 もうそういうことになったって、R5.9.27～何もしなかって家で寝ていたら、和光晴生の筋肉質の時代の、
のこぎりで身体切断みたいの夢見せられていい加減腹が立ったので、発砲したという経緯があるわけですが
ったくよー、おめー、おめー、おめーなんかにな、時間使ってる暇、ねーんだよ、おめーな、あのな、数学の体系は、 公理、定義、原理、定理、証明が基本なんだよ、
ただしこれは、よく言ってないだけで、実はそこの中に、Claimとか、補題とかも入ってんだよ。 消防行政法で使ってる、規定のほとんどは、技術だから、個々の中でほとんど、補題なんだよ
坂下とか、蓮根の一件家だって、ほとんど、補題みたいななってんだろうが、 補題ってのはな、 簡単な証明が用意されていてなおかつ、重要な問題を解決するための飛び石みたいに説明
されている概念だ
メゾンときわ台の３０３号室だってな、おめー、ちゃんと、全体が１つの建物になっていて、内部に、部屋とか便所が埋め込まれているだろ、それ全部、技術なんだよ、生活の、おめー
あー東大法学部を目指した理由ですかねえ、私は、勉強が面白かったんで延岡西高校に入る前に、おおぬきにあった本屋で１９９９年に物理の本を買って来て読んだんですよね
反発係数がどうとかね、結局延岡西では、物理しなかったんですよね、化学をやったということで、そうしたら、化学の先生が、あの有名な田上結実子が教室で寝ていたら、船漕いだら
首が飛ぶぜって言ったんですよね、四元康っていう先生なんですけどね、最初の定期試験やなんかは満点で、でも、文系の化学は教養なので、あの式が出て来ませんので 化合とか
その後もなんかＺ会やなんかの冊子でぱらぱら見たんですが分からなかったのでそれから、生物Ｂは、卵割とかそんな話ばかりでね、特にやらなかったですね、北予備にいたときに、
物理Ｂ、地理Ｂやったんですが、配電盤のオームの法則とか、やったことはやったんですがその後に忘れました
それでなんか、中学生のころから、工学とかプログラミングとかしてましたので、あの、ネットの掲示板を作る、ＣＧＩかなんかあってそれをラサール高校のぺこ根真理雄っていう人から参考書と
チップを送ってもらってそれでやっておりました。理学部数学科に進学したのはなんか、数学って言うのは技術だし、出した定理がまた別の問題に使えるということで非常にきれいな構造になっているし
力強くて可能性があるので、なんかあこがれみたいなもんですかねえ、それで、文科一類にいましたので自動的に法学部に進学したわけですが、それでやっていたような気が
法律の中身は技術だからだよ、 だから共同親権とか毎回のように、道徳みたいな話をするな
代数幾何のカウンターパートくらい作れないような奴が、道垣内弘人の、親族相続法を理解することは出来ない
適当なMappingSpaceを取ってきて Homをとって、係数をインバートするという技術を通じて、
この、Kの、-p-qと書いたものが、Homでつながっているというのが、有名な、Atiya-ヒルティベルフの定理ですが、頻繁に使うので公式と言われている
刑事訴訟法の井上正仁は、被害届の性質について特に論じておりません。これについては何も判断基準がありません、というか、あるのかも知れませんがネットを検索しても
ろくな論文が出て来ないのでこれの辺の規定は全く分かりません。そいで、この、被害届というのは、それの理由を構成する要素の中に社会通念上不合理なものが含まれている
ときには、警察が受け取るのを拒否できるという定理みたいなのがあるんですが、これの、拒否するのか、拒否できるのかはよくわかりませんので、この、結局、課長が判断するらしいのですが
この、課長という概念がですね、そんな権限があるのかというですね、仮に、課長が、間違った判断をしたらどうなるのかとかね、そういうのがあると思いますが、そのバカがそういうことを言っているから
板橋区福祉事務所志村地区が、石で出来ているのは、石で作ることが古典的にどんどん力強くなって生産性があるらしいと当時の東大の研究で考えられたからであり、逆に、ローマン的なものは
破産すると言われていたので、総合的に考えたところで、前野福祉作業所の存在が展開し、 前野福祉作業所の稚児は、エロに走ったので現在は全く不明で、宮脇は、令和元年６月１３日
訪問当時、もうないと言っていたので、生活保護法は、初等法ではなくて現代法なので、マニュアルが大量に存在し、その技術的側面も、語られることがないものであって、ケースワーカーの小俣が、
２０１６年度の生活保護運用マニュアルを持っているが、使い古した汚い本で、事務処理の手順が大量な社会的現象の複雑な場合に対する処理基準を定めているだけで、カールソンの定理は、
最大関数はいたるところでその関数に概収束し、証明は、大学教養程度でできる。ここの制限された可測集合上にコンパクトサポートがあって、その、制限された可測集合における、
補完定理にみられるような、三平方の定理の証明は、そういう補題があること自体が驚愕的なので、生活保護法を定めるときに、生活保護法の目的は何かというと、憲法２５条の趣旨を具体化
することであるので、憲法２５条の趣旨は、福祉国家と、制限された可測集合上に、最低限度の生活があるらしいということを具体化することにあるので、それを強引に書きなさい、というものであって、
我が国における過去の天才数学者がどのようにしていたのかの経緯 それ以外
（１） 長尾健太郎 灘高校 平成１０年 国際数オリ 金メダル
骨肉腫の癌を当時から患い、余命が限定されることに驚愕し、数学とサッカーに打ち込んできた。
（２） 赤れいか
２０００年当時に、宇宙人のようなプロポーションということで、 普遍性一般性、新規性、驚愕性、簡潔性、スマートさという美の要素を再現したもののようであるが
その分野を研究して出て来るものであるが、 数学では、それ自体に、 驚愕の一要素が反映される場合と、 驚愕それ自体の象徴である場合があると分類される。
デカルトはヨーロッパの戦争中の驚愕的体験の中からデカルト座標を発見した。しかし平成時代においてなんら説明されなかった。
法律の規定 ・・・ それがどんなもんであるのかについてネタバレした人は誰もいない。これほどくそつまらない分野も存在しない。
（１） 足利幼女殺害事件 平成２年ににんかいが裁判官になったばかりのときに、足利の４歳女子が、全裸死体で発見され、精液等が付着していたという刑事事件。
（２） ABC予想 a+b=c という条件を満たしたいるときに、 ｃ＜Ｋ＊ｄ＾（1＋ε） が成立するという定理であって、 数学の教科書の体系上でも、
特殊な定理であり、解決されると、大量の未解決問題が芋づる式に証明されるとして、学会でも注目されているもの。しかし、一般人は、
全く体系的な技術的地位を教えられていないので、朝日新聞が繰り返し主張するばかりで、なんのことか分からないので、５年くらいむかついてきたもの。
（３） 愁いのPrisoner 平成３０年１１月１４日発売のGLAYの新曲であるが、全国コンサートの開催は、令和元年６月１３日にずれこんだもの。ホロライブ３期生による採用は
令和６年４月２４日と大きくずれ込んだ上、歌詞の多くの全く共感を得られなかったため、かなりの部分を読み替えて適用された。
（４） 人工知能AIによる幾何学の証明 幾何学の証明は人間が自分でやらないと意味がないだろと言われてボロクソに言われている人工知能の技術。
みやち昌彦先生は、昭和４８年に、東大理学部数学科でございますけれども、 令和２年に退職されてもう、名誉教授になっているんですよね、東京女子大の。それで、なんで東大なのに
最終的に東京女子大ということになったのか。みやち先生は、関数解析が専門ですが、こうなんか、非常に力強くて生産的な感じがするのですが、みやちせんせいの論文で、Lemmaって書いている
ところがあって本当に自分で発見したのか、疑問に思うところが多々あります。というのは、私はそういう支持方法を自分で発見したこともないし、発見する能力もないので、そこにさらっと補完定理を
発見して書いているのは凄いなと思うのですが、なんでそういう能力があるのかと思いますね。
あー、それはそうですね、私は、そういうトレーニングを受けたクチですからね、専門的な素養とか、訓練とか、私の時代はそういう学校があって指導教官もおりましたので、そういうところでそれなりに
やっていればその程度の発見と言うかですね、その程度のことはイクのではないかと思いますね。ちゃんとやってればね。逆に、そういうところでちゃんとした訓練を受けていないとそんなことをするというか、
この教科書ではフェルマーの定理を検討するために必要な材料となるそれに関係する専門知識や技術について集めることにしたい。
（１） 不定方程式とは何か？ この問題は最初に、ある種の不定方程式の解のふるまいというテーマで開始されたことから不定方程式に関して検討する。
（２） 無限降下法は技術か？ ４，３のときは既に論文があるが、 ３の場合は 補題が６つついた定理を適用するもので、難解で、哲学者の間でも、理想的な構成かどうか
はっきりしていない。しかも、３のときは、u^p+w^p+w^p=0 という式も出てきて非常に理解困難である。
（３） エレガントな技術ぬきにして、性格だけに着目した愚直な証明と言うのは存在するのか？ 証明とは何か？ 証明論
例
背理法による√２が無理数の証明 背理法とは何か？ 公理系や定義といったその界隈の致命的なところに矛盾させるもの
背理法による証明はエレガントであるか？ 学会ではまだ意見がない 話にならない
（４）発見された経緯 整数の分野に対して興味を持っていた人が発見
専門知識はほとんどない。 技術は、背理法＝無限降下法による。 受験生でも分かる部分的な議論 p^4+q^4 は 整数の2乗にならないことから開始する。
（2p）^4+q^4 は自然数の2乗にならないことを証明していく。非常に真面目な精神作業となり、苦しい。最終的に無限降下法を適用することも、それがどのような技術なのか皆目不明。
（５）関係する先生 誰もおらず何の生産性もない。 早稲田大学の雪江というごみ・・・ やる気がない。
よびのり ・・・ Youtubeで４の場合を解説しているだけで先に行かない。
斎藤秀司は整数論の専門家とエキスパートで、人格的に、受験数学が嫌い、インターネットにフェルマーの小定理の講義のビデオが一本上がっている。住所はおそらく板橋区だが確定していない。
自転車に乗っている姿を見たことがある。東京理科大流動機構研究科教授をしていて東大にいるのかどうかすら疑わしい。
フェルマーの定理は、 a^n+b^n=c^n が無限個の解を持つのは、 １，２のときだけであるという定理か、もしくは、 ｎ≧３では存在しないなど様々な解釈がされているが、
前者の解釈は類似の問題があることから親和性があり、後者の解釈で、存在しないこと自体が驚愕される定理は考え難いため、後者と解釈した場合は、不審であるということになる。
あれは、４ｋ＋１→４ｋ＋２→４ｋ＋９というちょっとぶっとんだ定理を発見して証明しなければいけない問題ですので、さすがにそれなりのところで訓練を受けた人ではないと無理です。
他にも色々な証明がありますが理想的なのはこれで、左半分はできますが、右半分は専門的な議論になるので、読んだだけではすぐには分かりません。ただしそれが出来たら
満点ということになります。あれはＩＭＯでもほとんどの人が解けなかった奴ですので、誰がやっても解けないと思います。ここの
上の定理を発見するのを驚愕的な技術つって、こういうのがあるのが面白いから数学者は数学をしてるわけです。 問題自体の方も凄いが、技術の方が凄いからやるわけです。
数学的帰納法はそれ自体が光殺法なんだよ。それも知らないとは可哀想な奴。 数論でも組み合わせでも、これで出来る場合がある。詳細は宮地先生とか斎藤先生に質問しないと
分からないが、カールソンの概収束の定理は定理であって驚愕されるものにすぎない。証明とは違う。証明はスマートに実行されていて、凄いところはどこにもない。
複素数はデカルト座標の座標を決定してしかも回転させられるなどするが、これは、驚愕の一要素から出ている技術であって、驚愕そのものであるかどうかについては争いがあるしまだ判明していない。
この際、 公式と定理を区別するのは非常に難しい。 sinの加法定理については、定理とも言われているし、公式とも言われている。私の解釈ですが、 定理として発見されたときは定理と言われて
いたが、存在するのが当たり前になって、他の技術に頻用されるようになったものは、定理ではなく、公式と言っているように思います。センター試験では、 sinの加法定理は、出るから公式だから暗記しろ
と言われるときに、確かに美しいがそんなのは当たり前だから公式だと言われていると思う。 もっとも原初的のは、sin cos の定義をして、三平方の定理によって sin^2+cos^2=1は、 定義から
整数論をひたすら研究すると、 自然数と素数はこの世界で別なセットであり、 お互いに関係していない。 だから、自然数と素数の間に関係を見出すのはないだろうと言われていた。
しかし、 自然数と素数は、整数論の世界で、基本的な真理であり、これだけいたるところに出て来るのであれば、何かあるべえではないか？と思われていたところに、普通にありました
というのが、 a^p-1 ≡ １ mod p であり、
俗本では、 素数の現れ方に規則性はなく、 云々と書いているが、 その素数と互いに素な自然数 a であれば、上のような関係が存在する。
なお
互いに素などと言われるといかにも酷いように思われるが、 ｐ以下の、１からｐ－１までの自然数は、ｐと互いに素であるので、 自然数と素数と言う一見無関係なものの間には
このような美しい定理がある。しかし、 小中学生の世界では、 この定理は、フェルマーの発見時代に驚愕されたもので、今の整数論の世界ではあって当たり前だから別に美しいとは思われていない。
ABC予想は、デビット＝ヤリマッサーが昭和６０年に提唱した、これがあるとフェルマー予想だけでなく、似たような未解決問題が一挙に解決するということだったが、フェルマー予想に対しては
証明をｎ≦５に限定させるという記載があるだけで、３，４，５の理想的な証明はどこにもあがっていない。ＡＢＣ予想は、一読して、多くの専門的研究のすえにたどり着いた定理であり、
難解。 フェルマー予想が出来なかった歴史的経緯も誰一人として説明する者はいない。 何がしたいのか？意味が分からない。
ＡＢＣ予想を証明しなくても、弱いモーデル予想や、カタラン予想は、個別に解決すればいい、しかも、フェルマー予想は既に解決されているので、ＡＢＣ予想は要らない。それよりも・・・
フェルマー予想を研究するとすると、代数的サイクルとエタールコホモロジーという１つの教科書ができる。その教科書を読んだ方がいいのではないかという感じがする。
パスカルの定理は、ジョンブリリアンコットの定理と双対をなして、この定理は色々な技術に出て来るので証明は必要最小限となっている。メネラウスの定理と比を取ると出来るということになっている。
初等幾何学を縦にすると現代法令が理解できるとは思わないので、法学部で学ぶ現代法令の技術は、初等分野の問題の構成に比較して、もっと別種のものではないかと思う。
にわかにおそろしくむつかしくなるということを、我々はまだ知る由もなかったのである。
私が興味を持っているのは、 フェルマーの小定理であり、 a^(p-1) ≡ １ mod p である。 ただしこの場合、a,p は互いに素であるという条件が必要であり、真理関係的卓越性
までは分からない。
