  |
はてなキーワード: 証明とは
ったくよー、おめー、おめー、おめーなんかにな、時間使ってる暇、ねーんだよ、おめーな、あのな、数学の体系は、 公理、定義、原理、定理、証明が基本なんだよ、
ただしこれは、よく言ってないだけで、実はそこの中に、Claimとか、補題とかも入ってんだよ。 消防行政法で使ってる、規定のほとんどは、技術だから、個々の中でほとんど、補題なんだよ
坂下とか、蓮根の一件家だって、ほとんど、補題みたいななってんだろうが、 補題ってのはな、 簡単な証明が用意されていてなおかつ、重要な問題を解決するための飛び石みたいに説明
されている概念だ
メゾンときわ台の３０３号室だってな、おめー、ちゃんと、全体が１つの建物になっていて、内部に、部屋とか便所が埋め込まれているだろ、それ全部、技術なんだよ、生活の、おめー
あのーいいですか？結局大学無償化までやると結局負担多いよねって話だし
最後でリベラルかフェミニストがいつもの選民思想を露わにしてて草だけど、よーく考えて欲しい
土地に縛られないで学習出来るようになったのに選民としての立場を維持したいがために頑なに教育制度を維持してるだけじゃん
学位すら本当は必要なくて、でも勉強が必要なら必要な分野の単位だけ取得して簡単に証明出来るような仕組みにしたらいいし
「バカにする」「虚仮にする」という、いじめの延長でしかないような『戦い方』しか知らない自称リベラルがネットに増えてきた。
これによって広まった「ネトウヨはみじめなもの」「ネトウヨは負け犬のなるもの」という無意味なレッテルが、逆にネットの差別的言動を助長している。
「自分は自民党に盲目的にすがるような負け犬ではないからネトウヨではない」と言いながら、ただ四方八方に差別発言を繰り返すだけのネトウヨが増えて来た。
「ネトウヨ」が社会の敵、排除すべき害悪なのは、彼らが負け犬だからでも、現実逃避的だからでも、盲目的な自民党、安倍晋三信者だからでもない。
「差別をする」「非人道的な排外行動、ヘイトスピーチを行う」それによって「社会に壊滅的な分断をもたらす」からだ。
「ネトウヨ」を虚仮にして、いじめに対抗すると言いながら別のいじめを生むだけという幼稚な行動しか取れない退廃的「リベラル」はこれを助ける存在でしかない。
彼らに本当に誠意があるなら、「ネトウヨ」の問題は「馬鹿」だとか「宗教的」だとかということではなく、下品で俗悪な排外行動そのものだという原点に立ち返るべきだ。
それができないのなら、結局日本には、右も左もなく、社会問題をとにかく誰かをいじめてすっきりするための口実くらいにしか思ってないクズしかいないという証明になるだけだろう。
日本の会社だと「言われた事以外もやる」「気が効く」「嫌なこともサッとやる」が評価されるから
トップレベルだった時はアホほど労働時間が長かった時代だけで今は落ちぶれている
落ちぶれているってことは評価基準も間違ってる可能性が高いよな
臨機応変に動ける社員を集めたところで革新的な商品やサービスは生み出せないという証明でもある
BBQや家事を例に出してる人もいるけど、そっちはもう社員じゃなくて「共同経営者」なんだよ
求められる対応が違うのは当たり前だ
所詮この手の話は「日本の会社は何も言わなくても勝手に動いてくれる奉仕精神のある社員が好きなんです」って意味でしかない
世界で勝てるような仕事ができる人を遠ざけ、おままごとグループを作って仲良く沈没する行為だ
社内イベントで分かる「できる新人」と「できない新人」の違い→結局コミュニケーション取れるやつが成功する - Togetter
「草津町に来て謝るべきでは」虚偽認定された性交渉証言に苦しんだ黒岩信忠町長の怒り㊤
https://www.sankei.com/article/20240430-IRGZ5336PRCMFLQGJCIBE6IEPU/
性暴力って、グルーミングなどもあって自分が被害を受けていると認識するのも簡単じゃない。
自分が被害を受けたと認識できたとしても加害者を即座に告発するのは様々に障害がある。
ようやく告発する気になったときには証拠が消失している場合もある。即座に告発する場合でも証拠が入手できるとは限らない。被害の証明が難しいのが性暴力だ。
そんな状況で勇気を振り絞って告発を行った被害者に対して「本当にそんなことあったの？」と聞くことは二次加害。
そういうことを考え合わせると、事実であろうとなかろうと、セクハラ・性暴力の告発があった時点で、事実確認もせず100%「被害者」の言い分を受け入れて、「加害者」を糾弾するフェミニスト集団はどうしても必要だと考えるしかない。
その機能は残しておいて、「被害者」の告発が虚偽だと発覚した時点で「加害者」とされた人の尊厳をいかに回復できるか、そのことを研究していくことが今後必要とされるだろう。
anond:20210304122852 の後日談になる。
ここに挙げた映画の半分くらいはなんと、Amazon Primeが2024.04.30現在見放題作品にしている。
具体的には、
がAmazon Primeの見放題タイトルで見られる状態になっている。
いつまでこれがタイトルに入っているかはわからないので(実際、トッツィーズ ＆ フェイクスターはその後日本のNETFLIXラインナップから外れた)、このGW後半にはぜひとも見てほしい。
ついでに、The Con Heartist以降のgdh映画についても短評しておこう。ついてるのは予告編URL
ゴースト・ラボ 禁断の実験 //youtu.be/RN9G-g5PhJE
ホラー映画。インターン医師たちが霊の存在、そして幽霊との会話が可能なことを証明するために、とんでもないことを思いつき、実行してしまう。NETFLIX(JP)で見られる。思いつきは怖いが内容は怖くない。お勧めではない。
モキュメンタリーホラー映画。泰韓合作。タイ東北部の巫女インタビューを通じて、彼女の周囲にある霊的に非常識な状態が明らかになっていく。日本でも公開した。NETFLIX(JP)で見られる。比較的グロい。お勧めではない。
プアン/友達と呼ばせて //youtu.be/CcZkHdfus_A
ドラマ映画。かつて友人だった白血病患者の別れの旅に付き合った結果、彼が自分の元カノの去就にも関わっていたことが明らかになる。日本でも公開した。WKWプロデュース。Amazon Prime(JP)で見られる。 おすすめ。
スピード＆ラブ //youtu.be/pg_Ij-3YySM
コメディ映画。カップスタッキングに生活をかける男と彼のサポートに青春をかけてしまった女性のゴタゴタを描く。韓国映画のパロディとか第4の壁描写とかが面白いが、それだけ。NETFLIX(JP)で見られる。お勧めではない。
運命のふたり 劇場版 //youtu.be/ShD0CvB9kWM
同名のドラマ第1弾(NETFLIX(JP)でかつて公開されていたが公開終了済)とドラマ第2弾との間をつなぐストーリーで、日本でいうと江戸末期ごろのタイ、バンコクに転生とタイムスリップが交錯する。この時代近辺に興味がある人には同時代の実在の人物とか出てくるのでおすすめ。逆に言うとほとんどの人にはお勧めではない。NETFLIX(JP)で見られる。
オー・マイ・ガール なんで今なの!? //youtu.be/VKk6UvyysU8
ラブコメ映画。たぶん性格は合うのだがタイミングが絶妙に合わない2人のラブストーリー。2020年代のバンコク周辺の若者事情覗き見としては見どころがあるが、あまりスカッとしない。NETFLIX(JP)で見られる。まあまあ。
You ＆ Me ＆ Me //youtu.be/s7H5JV9wfdQ
青春恋愛映画。替え玉を駆使しまくる双子女子の片割れを好きになってしまった男子とその双子が自分たちの家族的愛情との間で葛藤する。監督自身が双子女子という面でたぶん実体験がいくつも入っていると思われる。日本未公開。1999年代の風俗が懐かしい。おすすめ。
Home for Rent //youtu.be/db8puvbOhQw
ホラー映画。実話に基づく映画で、引っ越した後の家を他人に貸したら、その家で怖い儀式が行われるようになるというあらすじ。おそらく「邪厄の家」という邦題でそのうちNETFLIX(JP)でみられる。未見。
青春映画。推薦入学を狙って死んだ友達の遺作をネタに短編映画を作ろうとする高校生を中心に「友情とはなにか、親友とはなにか」を考えさせる作品。大阪アジアン映画祭で公開。日本で一般公開するべき。おすすめ。
板橋区福祉事務所志村地区が、石で出来ているのは、石で作ることが古典的にどんどん力強くなって生産性があるらしいと当時の東大の研究で考えられたからであり、逆に、ローマン的なものは
破産すると言われていたので、総合的に考えたところで、前野福祉作業所の存在が展開し、 前野福祉作業所の稚児は、エロに走ったので現在は全く不明で、宮脇は、令和元年６月１３日
訪問当時、もうないと言っていたので、生活保護法は、初等法ではなくて現代法なので、マニュアルが大量に存在し、その技術的側面も、語られることがないものであって、ケースワーカーの小俣が、
２０１６年度の生活保護運用マニュアルを持っているが、使い古した汚い本で、事務処理の手順が大量な社会的現象の複雑な場合に対する処理基準を定めているだけで、カールソンの定理は、
最大関数はいたるところでその関数に概収束し、証明は、大学教養程度でできる。ここの制限された可測集合上にコンパクトサポートがあって、その、制限された可測集合における、
補完定理にみられるような、三平方の定理の証明は、そういう補題があること自体が驚愕的なので、生活保護法を定めるときに、生活保護法の目的は何かというと、憲法２５条の趣旨を具体化
することであるので、憲法２５条の趣旨は、福祉国家と、制限された可測集合上に、最低限度の生活があるらしいということを具体化することにあるので、それを強引に書きなさい、というものであって、
（１）子供 何言ってるかわかんねーしつまんねーんだよ。
（２）文科一類首席合格者 １９８５年に提唱されているのにまだ解けていない時点で終わってんじゃね？
（３）２ちゃんねらー 頭の中にそれがあるのを発見した奴天才だろ。
（３A）５ちゃんねらー バカ、 発見した奴より証明した奴の方が天才なんだよ。
（５）東大理学部数学科の最近の先生 証明法はあると信じられてるんだから必死で考えればあるだろ。まだ見つかってねーってことはお前がバカなんだよ。
（１） 足利幼女殺害事件 平成２年ににんかいが裁判官になったばかりのときに、足利の４歳女子が、全裸死体で発見され、精液等が付着していたという刑事事件。
（２） ABC予想 a+b=c という条件を満たしたいるときに、 ｃ＜Ｋ＊ｄ＾（1＋ε） が成立するという定理であって、 数学の教科書の体系上でも、
特殊な定理であり、解決されると、大量の未解決問題が芋づる式に証明されるとして、学会でも注目されているもの。しかし、一般人は、
全く体系的な技術的地位を教えられていないので、朝日新聞が繰り返し主張するばかりで、なんのことか分からないので、５年くらいむかついてきたもの。
（３） 愁いのPrisoner 平成３０年１１月１４日発売のGLAYの新曲であるが、全国コンサートの開催は、令和元年６月１３日にずれこんだもの。ホロライブ３期生による採用は
令和６年４月２４日と大きくずれ込んだ上、歌詞の多くの全く共感を得られなかったため、かなりの部分を読み替えて適用された。
（４） 人工知能AIによる幾何学の証明 幾何学の証明は人間が自分でやらないと意味がないだろと言われてボロクソに言われている人工知能の技術。
DMCAによる削除申請は権利者が自らのコンテンツが無断で使用されていると確信している場合に行う。
申請を行うにあたり、権利者はそのコンテンツが著作権法の例外に該当しないことを確認し、著作権侵害であるとの明確な根拠を持っていなければならない。
単に権利を主張するだけではなく、実際に著作権が存在し、侵害が行われていることを証明する責任が権利者にある。
仮に権利者が適切な根拠を持たずに削除申請を行った場合、裁判所での争いに発展するケースもある。
権利者が適切な証拠や法的根拠を持って行動していなかった場合、DMCAの不正利用と見なされ損害賠償責任を問われることすらある。
まあ、俺は普通に「自分の意思で選べていることを証明するだけの能力がない人間の投票権は剥奪されるべきである」って考えだけどな。
代理人が勝手に複数人分の投票権を自由に利用しているだけではないことを証明できないなら、それは一人一票の原則に反するよね？
なぜかと言えば、これらは投票する人が自分の意思で選んでいることは証明されているからね。
代理人が勝手にササっと書き換えてないかを本人が確認できるようにする仕組みは必要だと思うけど。
逆に以下の場合は投票する権利を持ってないとみなすべきだと思ってる
・完全にボケてしまっていて今回の選挙における立候補者のマニフェストを把握できてない
・植物状態であり自分の意思を外部に伝える手段を持っているとは言えない
この場合は、代理人がイタコごっこしているだけである疑いを拭えないので投票権を持っているとみなすべきじゃない。
「自分の意志で投票先を選べる全ての国民が投票権を持つべき」だとは俺も考えているから、投票権の基準を１５才ぐらいまで下げてもいいのかなとは思ってる。
でも「自分の意思で投票先を選べているとは言えない国民に投票権を与えるべきではない」とも同時に思っているんだよね。
なぜなら、投票先を自分で選べない人に投票権を与えると、その人の投票権を使って複数回の投票を行えてしまう人が出てくるから。
「組織票」って言われる行為は日本の選挙では完全に禁止されているはずなんだよ。
平気でやっているカルト宗教や中小企業もあるけど、あれは日本においては完全な違法行為で本当なら国家の基盤を根底からひっくり返す反社として無期懲役ぐらいにはするべきだと俺は考えている。
自分の意志で投票できない人が増えれば増えるほど、選挙があるべき姿から遠ざかっていくわけだから、もうそういう人達からは選挙権を取り上げてしまったほうが良いと思うわけ。
それにそうした方が、そういった人達も選挙のたびに自分の投票権を掠め取ろうとする不埒な連中の相手をさせられなくなって楽になるでしょ？
「自分の意志で投票ができるか」の下限が年齢制限なのもそもそもおかしい気はするんだよね。
なんとなく１５歳ぐらいになればとさっきは言ったけど、これは俺がイメージする投票権の条件を満たせるのがそれぐらいからだと考えているから。
俺が考えているのは「他人に命じられるままに投票をしてはいけないことを認識できるだけの知的能力が身についている」かどうか。
子供の場合は親に「自民党が今度の選挙に落ちたらお小遣い減らすよ」みたいに脅されたとしても、そんなの無視してシレっと自分の考える投票先に入れる程度の分別がついてるかどうか。
人生が自動的にレールに乗っかったままの小中学生はともかく、高校生ぐらいになったら受験とかも通して自分の将来について考え出すだろうから、親にただ従うだけじゃなくなってると思うのでさっきは１５歳にラインを引いたわけ。
老人や病人の場合は、ボケて介護の人の言いなりになってたらアウトって感じかな。
「自分の自由意志によって投票先を選んでいると言えるのか」がラインだから、酷い話だけど生まれつきそういうことが出来るだけの知的能力を持てない一部の知的障害者の人は一生選挙権を与えられないことになってしまうんだけど、まあしょうがないよね。
だってもしも選挙権を持った所で、本当に自分の意志で選んでいるのか、単に介護の人が入れて欲しい候補者を囁かされているだけなのか本人でさえ知覚できないんだから、もうそれは最初からないのと一緒でしょ。
うーん、改めてまとめてみたけど、やっぱいきなり「０才児に選挙権」ってよりは、「ボケた老人から選挙権を取り上げよう」からスタートするべきじゃないかな。
親が子供の分の選挙権を持ててしまうことについての問題を論じ始めたらどうやってもボケ老人と介護者の話に波及するし、そこで二正面作戦になったら議論なんてまともに進まないよ。
私は、ずーっと、勉強とか仕事とか趣味ばっかりで、録に恋愛とかしたことなかった。だから稼ぎだけは良い。その分趣味にお金をつかってて。
けれども、恋愛に興味がないとか、結婚願望がないとかそういうわけではなかった。諦めていただけで。
だから、たぶん、りりちゃんみたいな人が急に私の前に表われたらコロっと騙されると思う。
どうやったらりりちゃんに、騙されないかと考えてみた。まあ一言で言えば「夢」を見なければいい。
考えてみれば、他の多くの詐欺だってそうだ。簡単に投資で大金を稼げるだとか、簡単に痩せられるだとか。
そういうのを簡単に信じてしまうバカにならなければいい。それだけなんだろう。
うまい話はない。たぶんそれはみんな分かっている。けれども、話のうまい人は簡単に夢を現実のように錯覚させる。
りりちゃんみたいな女性は、たぶん私のような男の心理を把握してこれまで一度も恋愛に上手くいったことがない人間に対して心をつかんで、惚れさせて、相思相愛だと思い込ませるのに長けているんだろう。そして、上手くお金を引き出させる。
正直言って、恐怖だ。恐怖でしかない。
私のように恋愛したことがない人にとって騙されない自信がまったくない。
そして、そうやって人間の心をもてあそんで、平気な顔して騙してくる女性がいることが怖い。
そして、もし騙されたらと思うと怖い。
本気だと思った相手が本気じゃなかったときの絶望感はどれほどなものだろうか。
そしてそのとき誰にも相談できないと私は思う。恥ずかしすぎて。
騙すほうが悪い。けれども、騙されるのは愚かだ。詐欺の被害に合うのは自分が愚かだという証明になる。それも精神的ダメージが大きい。
恋愛詐欺に合うとそういう自尊心は木っ端微塵に吹き飛ぶ。身の丈にあった恋愛をしてこなかった良い大人になれなかった野郎だって証明することになる。
私はもちろん良い大人だと思ってはないが、たぶんそういう恥ずかしさで誰にも相談できないだろう。
「夢みさせてもらったから良かったじゃないか」という人がいることに絶望する。たぶん「恋愛できなかったものが恋愛できる経験」ができたから良かったじゃないかと思っているんだろう。そして、「相手からも好きだと思ってた人がそうじゃなくて単にお金目的だった」ことを思い知る落差を想像できないんだろう。そういう意味でも、軽々しく人に言えたもんじゃないなと思った。
自分を守るために「そういう甘い話はないんだ」と言い聞かせるしかない。ああいうのは漫画やドラマやアニメの世界だって。
諦めるしかないんだと。
けれども、そう強く思っても、やっぱり騙されない自信が全くない。
「頂き女子」みたいなロマンス詐欺師がこの世からいなくなることを切に願うしかない。
すくなくともそういう巧妙な詐欺師が私の前に出現しないことを願う。
この教科書ではフェルマーの定理を検討するために必要な材料となるそれに関係する専門知識や技術について集めることにしたい。
（１） 不定方程式とは何か？ この問題は最初に、ある種の不定方程式の解のふるまいというテーマで開始されたことから不定方程式に関して検討する。
（２） 無限降下法は技術か？ ４，３のときは既に論文があるが、 ３の場合は 補題が６つついた定理を適用するもので、難解で、哲学者の間でも、理想的な構成かどうか
はっきりしていない。しかも、３のときは、u^p+w^p+w^p=0 という式も出てきて非常に理解困難である。
（３） エレガントな技術ぬきにして、性格だけに着目した愚直な証明と言うのは存在するのか？ 証明とは何か？ 証明論
例
背理法による√２が無理数の証明 背理法とは何か？ 公理系や定義といったその界隈の致命的なところに矛盾させるもの
背理法による証明はエレガントであるか？ 学会ではまだ意見がない 話にならない
（４）発見された経緯 整数の分野に対して興味を持っていた人が発見
専門知識はほとんどない。 技術は、背理法＝無限降下法による。 受験生でも分かる部分的な議論 p^4+q^4 は 整数の2乗にならないことから開始する。
（2p）^4+q^4 は自然数の2乗にならないことを証明していく。非常に真面目な精神作業となり、苦しい。最終的に無限降下法を適用することも、それがどのような技術なのか皆目不明。
（５）関係する先生 誰もおらず何の生産性もない。 早稲田大学の雪江というごみ・・・ やる気がない。
よびのり ・・・ Youtubeで４の場合を解説しているだけで先に行かない。
二次凸多面体とは、 凸凹のうちで、普通、凸凹は数学では、凸の方を考えて、 凹多角形というのは考えません、考察対象しません、というのはあまり美しくないからだと思いますが
その基本的なものが、 逆に、凸多角形とかだといくらでも類題がありますので、凸になっているものは考える。 解析でも、 上に凸であるとはいいますが、上に凹という言い方はない。
イワンサイヴェルマンとゲルファントゲルビンスキーとの共同研究で開始されたもので、情報科学理論に応用される。 実は平成１６年頃から、慶応大学とかでもとっくに研究が開始されていたもので
今に始まったわけではない。昔からあったものであるが、当時は朽ち果てていて誰も相手にしていなかった。２００４年と言うと、こち亀に、御堂春とかが出ていて、うざいとも言われていたがまだ社会全体
はエロ落ちしていなかった。
フェルマーの問題で、 x^4+y^4=z^4に解がないというのは、事実に属するというか、 主張みたいなものであるので、専門的な議論だけをして証明できます。エレガントな証明とかそういう要素は
この個別の問題には入っていない気がする。だから真面目に議論しないとだめである。n＝３の場合の証明はいかんながらどこにも公開されていないので解説することはできない。
