  |
はてなキーワード: 驚愕とは
サイレントジェネレーター（静かに生成する装置）とは、株式会社デンヨーが開発したもので、驚愕的な技術によって構成されている箱型の、要するに、コンセントを挿して電気を取る箱ですが
箱の中身をみたら訳の分からん構成になっていますので、そこまでいくというか。逆に、 荒川緑道に設置している物の中でも、構成がそこまで行っていないものもあるので、鉄で作った
赤羽ゴルフ場占有であることを書いているただの杭とか、ガードレールとか、そもそも、物として構成していないし、鉄で形状を作ってそこに設置しているだけのものもある。
だから分かるわけねえって言ってんだよな。糞が。
犯罪について、専門的に、 既遂と未遂という概念を設定し、 既遂は、やってしまったもので、未遂は、 やろうとしたが失敗した、と言う程度のもの。
中止未遂とか中止犯というのもあるが、これは、結果発生を狙ったが、途中で驚愕翻意して、犯罪を自ら中止した場合で、減刑の対象となる。
刑法の規定に、 この章における未遂は罰する、というものがあるが、 法学部では、 未遂は罰する、という規定の技術的な立て方すら教えていない。
その章における、既遂未遂というのは、一々、規定に書いていない。 未遂は罰する、という規定は、特に設けられたもので、この規定をここに置くことも技術的思想としては難しい
斎藤秀司は整数論の専門家とエキスパートで、人格的に、受験数学が嫌い、インターネットにフェルマーの小定理の講義のビデオが一本上がっている。住所はおそらく板橋区だが確定していない。
自転車に乗っている姿を見たことがある。東京理科大流動機構研究科教授をしていて東大にいるのかどうかすら疑わしい。
フェルマーの定理は、 a^n+b^n=c^n が無限個の解を持つのは、 １，２のときだけであるという定理か、もしくは、 ｎ≧３では存在しないなど様々な解釈がされているが、
前者の解釈は類似の問題があることから親和性があり、後者の解釈で、存在しないこと自体が驚愕される定理は考え難いため、後者と解釈した場合は、不審であるということになる。
あれは、４ｋ＋１→４ｋ＋２→４ｋ＋９というちょっとぶっとんだ定理を発見して証明しなければいけない問題ですので、さすがにそれなりのところで訓練を受けた人ではないと無理です。
他にも色々な証明がありますが理想的なのはこれで、左半分はできますが、右半分は専門的な議論になるので、読んだだけではすぐには分かりません。ただしそれが出来たら
満点ということになります。あれはＩＭＯでもほとんどの人が解けなかった奴ですので、誰がやっても解けないと思います。ここの
上の定理を発見するのを驚愕的な技術つって、こういうのがあるのが面白いから数学者は数学をしてるわけです。 問題自体の方も凄いが、技術の方が凄いからやるわけです。
１０個の仕事と１０人の部下がいる場合であって、 熱意と能力と言う実数値が定まっている場合の、最適組み合わせという問題で、 １０人と１０個という、１０という数であれば
部下がぐちぐち不満を述べないし、通報もされないような仕事の割り当て方が存在する、ということで驚愕された、日本数学オリンピックの問題である。
しかしその証明に関しては、表を書いてしらみつぶしに探索すれば存在することを言えるようなもので、難しいものではなかった気がするし、日本数学オリンピックは、ヌケモノである。
ここで、結論自体は真理に属し、特に数学の問題は驚愕される。しかし時間が経過すると他にも問題があるから誰も美しいとは思わなくなる。他方、証明の構成については、常に驚愕的なものが
あるわけではない。
特に、日本のJMOの問題は、技術美は必要ないのではないか？というようなラインナップで、 IMOとは違う。 IMOは、設問ごとに、必要な技術美のレベルが最初から設定されているが
JMOの場合は、 出題者が興味のある問題を発見してきて出して、必要な証明の構成はなんでもいいという漢字があるので、特に、もはんかいとうも出回っていないし、上記の問題に関しては
数学的帰納法はそれ自体が光殺法なんだよ。それも知らないとは可哀想な奴。 数論でも組み合わせでも、これで出来る場合がある。詳細は宮地先生とか斎藤先生に質問しないと
分からないが、カールソンの概収束の定理は定理であって驚愕されるものにすぎない。証明とは違う。証明はスマートに実行されていて、凄いところはどこにもない。
複素数はデカルト座標の座標を決定してしかも回転させられるなどするが、これは、驚愕の一要素から出ている技術であって、驚愕そのものであるかどうかについては争いがあるしまだ判明していない。
整数論をひたすら研究すると、 自然数と素数はこの世界で別なセットであり、 お互いに関係していない。 だから、自然数と素数の間に関係を見出すのはないだろうと言われていた。
しかし、 自然数と素数は、整数論の世界で、基本的な真理であり、これだけいたるところに出て来るのであれば、何かあるべえではないか？と思われていたところに、普通にありました
というのが、 a^p-1 ≡ １ mod p であり、
俗本では、 素数の現れ方に規則性はなく、 云々と書いているが、 その素数と互いに素な自然数 a であれば、上のような関係が存在する。
なお
互いに素などと言われるといかにも酷いように思われるが、 ｐ以下の、１からｐ－１までの自然数は、ｐと互いに素であるので、 自然数と素数と言う一見無関係なものの間には
このような美しい定理がある。しかし、 小中学生の世界では、 この定理は、フェルマーの発見時代に驚愕されたもので、今の整数論の世界ではあって当たり前だから別に美しいとは思われていない。
現代法令は、フランスにおける１６世紀の血を流した市民革命以降に、フランスで成立した第一王朝期のフランス法やドイツ法を基礎として、１８世紀のマルクス主義革命以降の
修正資本主義をアメリカで検討して、アメリカで成立した自由主義国家の内容となっているところ、法令は、近代の生産社会を専門的に研究し、必要な概念を創設し、それらを法的確実性
があるように技術的に構成したものであるところ、これらの概念は、高度であって、なおかつ、その技術的構成の構造も、驚愕的に高度なものも含まれる複雑な体系となっていることが予想される。
一方、平成２年から裁判官をしている任介辰哉は、それが理解できないのはヌケサクであり、吉崎佳弥は、ヌケモノであると主張する。 高等学校で基本的な論理則のドリルを入れているはず
であるから、そこで習ったものを縦にすれば、自然と分かるはずであるという。 しかし、地区担当員の宮脇が、まなくろB型作業所で、数学１Aの、排他的論理和などを教えることができる、などというが、
前野町１丁目のB型作業所は、すでに解体されて更地になっており、 センター試験でドリルに付しておいた、メネラウスの定理の計算が出来るようになっていれば、法律の論理は分かるはずである
というが、メネラウスの定理は基づかれる定理であって、パスカルの定理のように、適用される定理ではないのであり、さらに、パスカルの定理が適用される場合にはそれこそに驚天動地の証明構成手段
ということとなり界隈でも絶賛されるが、フェルマーの小定理の場合は、定理自体は驚愕されても、これに基づく場合は、単に、必要最小限な技術であって特段に界隈でも最高レベルに技術とまでは
評価されていない。
だから品田もぐらが受け付けて今読んでいるその書面に書いているとおりだって言ってんじゃん、他に言うことがねえんだよ
書面中、 現代法は現代数学と同じような技術的構成となっていて驚愕的に高度で一般性の高いものである可能性が高いと解されるところ、一般人がこのようなものを理解できる余地は
品田もぐらは、 判例六法は、３，４０００円程度で一般人の閲覧に共用されているし、誰でも理解できる状況に付していると主張するが、前記判例六法と言われるものは
出来上がった法令の言葉だけを平板に並べてあるだけの、いわば、新鮮だったころの法令という糞を乾燥させて陳列した、糞で作ったビスケットのようなものであって読むに堪えない。
一方、
ええ確かにそうだと思いますけれども、判例六法以外に、２０２２年度版の、ポケット六法とかだったら、糞で作ったビスケットではなく、専門的知識や技術的側面が分かるような書体で
書いている書籍もありますよというが、ポケット六法は、 明朝体で書いているというだけで、これで、民訴法の内容が理解できるとは考えられない。
英語話者の傲慢さという、大正義の巨大テーマの存在感が大きすぎるのはわかる。わたしもそういう傲慢な英語話者は嫌いだ。
でも、今回のケースが、「こんにちは」「ありがとう」「ごめんなさい」くらいの初歩日本語をちゃんと覚えてきた善良な観光客カップルが、最初に店主からの先制攻撃を食らって萎縮しまくった上での、「Sososo, sorry... (you mean,) nnn no English menu...(´;ω;`)？」だったという解釈の余地とか、は、1ミリもないものかな？
いや、あなた自身が「そんな解釈はできない！傲慢観光客だ！」という解釈をするのもまた、ありだとは思うんだけど、それがはてなーの多数派だったことに、私は悲しくも驚愕しているよ…。
ハーディ空間で有名な数学者のハーディは何でも数学は驚愕しないと駄目なのだと述べているが、東大理系数学は別に驚愕的な体験がなくても出来ますので、
北予備の田辺先生から教わった、 数列が a(n)になっているものがあったらそれを、ｎ等分して、AMGM不等式をかませればいいのだ、ということを講義で口頭で教わっただけでも
似たような問題に使えるようになりましたので、私は何もその辺のことが驚愕しないとできないとは思いません。
法律学においては、教わったというか、猪股辰之警部補から、刑訴法においては、あまり時間が経過していると使用窃盗ではなくなる、という説明を受けましたが
言われただけで何を言ってるか分からなかったので。それからなんか、六法の条文は、一般的な概念で技術的に制定されているのでそれだけであると思います。
あとなんか、わざわざ大それた驚愕的な証明をしなくても、スマートで簡潔な証明の方が経済的で合理的というかそれしかないから構成においてそれが選択されている場合もあるので
二日前にMetaがオープンソースの大規模言語モデルのLlama3を出した。
一つ前のモデルLlama2は色々なオープンソースモデルの基となっていたモデル。このモデル性能良いねと思って見たら、Llama2をいじったモデルだったことがよくあった。
今回も、２つのモデルが発表された。70Bと8Bモデル。70Bモデルともなると、ほぼ個人のパソコンでは動かないだろうけど、性能については、LLM のリーダーボードで最初期のGPT-4 を超えている。
LLMの最重要論文とも言われる"Attention is all you need."の著者の一人の会社が出したモデル"Command R+"が性能が良くて話題になっていた。これもオープンソースだが、今のところこのモデルにも勝っている。このレベルのモデルがオープンソースであるということはとても価値がある。
ここ一、二ヶ月でようやくGPT-4 と互角に戦えるモデルが出てきた。一時期はClaud3がGPT-4を追い抜いた程だ（OpenAI が本気を出してGPT-4を強化して追い抜き返したんだけど）。もうGPT-4が出て１年が過ぎた。研究者やリソースなどは過去に類を見ない程注ぎ込まれたと思うが、GPT-4と同じ性能のモデルはほぼ１年経たないと出てこなかった。OpenAIの凄さがわかる。GPT-4か出てきた当初はあまりの性能の良さに本当にシンギュラリティが起きたんじゃないかと驚愕したが、一年使い続けると、粗やら推論能力の低さに気が付いてくる。今年中に出るであろう、GPT-5に期待だ。
だよな、１０００回出てきて何も教える気ないからなこいつら。
実際に教えたのは黒羽刑務所で、シャバの警察は何も教えていない。
（１） 法の規定は法的確実性のものであり、複雑に関係しているが、全ての規定が全部関係しているかどうかは分からないし、孤立しているものも想定しうるが、誰も習っていないから
その技術的構造については分からない 仮に警官が１０００回出てきても分かるものではない
（２） 大体今時誰も知らないのに誰でも知っていると平気で抜かす。
（３） 警察官が出て来ること自体が驚愕であるというが、事実と違う。確かに警官は驚愕的なようにみえるが、 定理は関係で、発表されたときに驚愕され後日陳腐化する。
逆に、証明技術の中に出て来る技術は永遠の輝きをもつものがある。しかしこれは非常に魅力的なテクニックに該当するので教えられない。
2度の妊婦生活と数年の幼児連れ生活をしてみて、主語はデカイが日本人の思いやりのなさに本当に辟易している。
妊娠期間中、電車に乗って優先席を見渡すも空いていることは稀で、座っている人たちは譲る気ゼロ。
これは老若男女に当てはまるし、なんなら小学校高学年くらいの子供も普通に優先席座ってスマホしてて譲らないので驚く。
中には本当に体調悪い人もいるんだろうけど、明らかに元気そうで優先席座る必要ある？という人たちばかり見かける。
個人的には妊娠期間中や具合が悪いとき以外は席が空いていようとも優先席には基本座らないので、譲れないならそもそも座るなよと思う。
しかも先日、ホームで先に並んでいた私を押しのけて優先席に駆け寄って座ったジジイがいてそんなに元気なら立ってろよと。
ちなみに一度、松葉杖の方と同じタイミングで乗ったがその方にも席を譲る人がいなくて驚愕した。
とにかく優先席であっても席は譲ってもらえない。
そしてもう一つ。
ベビーカーで出かけるときいつも遭遇するのがエレベーター乗れない問題。
デパートや駅などどこでもなのだが、エスカレーターか階段で行けるだろう人たちがエレベーターに乗ってしまうためベビーカーと車椅子の人間が乗れない。
1回見送るのは当たり前で、酷いときはエレベーター待ちが並んでしまって数回見送ることも。
頼むからエスカレーターで行ける人はそっちで行ってください…ベビーカーや車椅子はエレベーターしか乗れないんだよ。
もちろん中には「こちらどうぞ」と席を譲ってくださる人もいるし、エレベーターで車椅子やベビーカーに気づき慌てて離脱してくださる方もいます。
そのたびに本当にありがたいと思って懇切丁寧お礼を言うようにしてるんだけど、そういう人は圧倒的に少なくて譲らない人ばかりが目に付くのが現状。
ヨーロッパに在住していて帰国した友人からも「日本の席の譲らなさや子育てを全く歓迎していない風潮は異常」と聞いて、他人に積極的に関わろうとしない日本人の気質もあるんだろうけど、海外から見れば異常なんだろうなと。
これがめちゃくちゃ偉そうに読めるだろうことはわかってる。ごめん。
妊婦って初期はつわりで死ぬほど辛いし、中期は様々なマイナートラブルで体ガタガタだし、後期はお腹重すぎて背中も腰も痛くて動悸息切れもあって立ってるのしんどい。ましてや上の子連れて出かけないとならないときは(ベビーカーでも)尚更キツイ…。
だから譲ってくださってる方々には本当に頭が上がりません。ありがとうございます。とてもとても助かってます。
主語が死ぬほどデカイのは重々承知して書いてるし、譲られて当然！みたいな妊婦様になりたいわけでもなくて、別に私じゃなくても松葉杖ついてる人とか車椅子の人とか乳幼児連れとか老人とか、そういう人たちに席やエレベーターを譲ることがなんでできないのだろうと公共交通機関に乗るたびに日々考えてしまう。
もう少しそういう風潮が変わるといいな。
地方創生をしている佐藤富美男が、フェルマーの定理の講義をする場合に、授業展開は次のようになると予想される。
① さてみなさん、黒板に、 a^n+b^n=c^n という式があります。これに当てはまる、a,b,cは存在しないという定理があります。
女子生徒甲・・・ だからなんなんですか？ そんなの論外だし面白くねえだろ。
先生 あ？お前何が論外なんだよ。バカか。ただのパズルだろ。そんなことも理解できねえのかよ。確かにさー、行列の定理で、 det(AーλI）＝０
とか言われて、行列だよ。論外に決まってるじゃん。行列なんて。なんで論外かって、何言ってるか分からないし。でも上の定理だったら驚愕だし必死で探すだろ。面白いだろ。
何が論外なんだよ。こっちが論外だと思ってるのは微分方程式とかだろ。種類も多いしあんまりきれいなかたちをしていないし暗記作業だしめんどくせえんだよ。
男子生徒乙 ・・・ 先生さー、数学何かやりたくねーんだよ、こっちはえろいことやりたいんだよ。
先生 ・・・ そういうのは家でやれよ、こっちは面白い問題を紹介してるだけなんだよ、わかんねえのかお前。
生徒B ・・・ 今１個１個、代入してるけど、確かになさそうっす。そういうのを発見した人がいて、証明できた人も歴史上いること自体は面白いと思ったっす。でもどうやって証明するのか
１つも思い浮かばないので、出来るかどうかで言うなら、さっぱりわやです。
ピコン
・・・ どうも、 竹内力です。佐伯は、山から送られてくる、ミネラルに富んだ水が、はるか昔から、守られてきました。 もうすぐ、佐伯駅です。
解答例
（１） お前に操作されてやることはウソであり、人のやる気をなくさしめ、価値がないので、語る価値がないから。
（２） 品田は終わっているから。
（３） 平成３０年４月４日以降は、板橋区に住めるようになった感激から、当初は色々なところを走っていた可能性があるが、平成３０年の具体的な記録は残っておらず
（４） 自動車と言うのは、いくつかの驚愕的な着想を経由して出来上がったものであり、人間がそれを運転することでどこかに到達するものであり、
（５） 昨日今日と、メゾンときわ台の３階の電灯がついていて筋肉男が動き回っているのがみえるが、それをみたときに、そうであるということと、他の電気を消している家にも同じような者
