  |
はてなキーワード: 定理とは
最近蒸し料理のもう仕事化している申し子！ってぐらいの蒸し料理ずいてきているんだけど、
でね、
それをこちらも至ってシンプルに1玉を3分割する輪切りにして、
フライパンの上に乗せた蒸しの上に輪切りにしたタマネギを搭載するの。
で！
蒸すこと約10分！
輪切りにしたタマネギが上質に蒸し上がって、
タマネギの年輪に見える層が蒸しあげられたことによって盛り上がってきて、
自ら蒸し上がりました！って盛り上がりを隠しきれないぐらいな勢いで出来上がっちゃってるの！
早速実食よ！
パク！
な！なにこれ！
うま！
辛みなんか一切なく、
タマネギの甘さしか勝たんってぐらいきっと優勝出来ちゃいそうな勢い！
この美味しさ？
あっと言う間に試しにと思って輪切りにしたタマネギ1玉はペロリと私の胃袋の中に収められたの！
とろとろでタマネギ自体に自分の甘さを閉じ込めすぎているので、
中でジューシーに溢れるタマネギ汁がまさにオニオンスープのそれで、
鬼の形相とは裏腹に思わずそのオニオンスープの全タマネギの甘みをあますところなく自らのタマネギの身をもって保湿しつつ、
モイスチャーに蒸し上がったタマネギはタマネギのいいところしか残っていない感じなの。
晩酌にってつもりで美味しくなくて失敗したら窓から投げ捨てればいいじゃん！って思っていたのとは大違いに、
むしろ逆にもう1玉2つのタマネギを蒸せばよかったわ！ってぐらいに
あっと言う間に食べちゃったの。
まさに味のホームランよ！って
私も二刀流大谷翔平選手みたくなるんだ！って蒸し料理界の二刀流を目指せるなって1回ぐらいは思っちゃったぐらい！
この蒸し料理というか、
蒸すだけでこんなにションテン爆上がりするものなのかしら？
うま！って。
もうみんな今年が午年だってことを忘れているでしょ？って私は「うま」いって叫び続けるのよ。
今年はもしかしたら私蒸しの年になるかも知れない！
この1年の切って火蓋が切られて兜の緒を締めるたい感じ！
もっと早くに蒸し料理のいや蒸し野菜の良さを知るべきだったわ。
今知らない人がいたら、
試してみるといいわよ！
フライパンの中に設置できて蒸せる蒸し網ってのがここ21世紀になって開発されたようなので、
これはもう味の文明開化やー！って言いたいぐらいなの。
いや逆に今知れたからこそ良かったのよ！
超絶ヘルシーになっちゃうの！
生野菜のサラダとかもドレッシングなしでパクパク食べちゃう体質！
これもあってかか分かんないけど、
ジャガイモはポン酢使うんかーい！って言われちゃいそうだけど、
もちろん使わなくてもジャガイモの味の甘みの旨味は充分にあるの！
今のところ、
全打席初球ホームラン！って感じで失敗しないいや失敗する余地がないのよ！
失敗しようが無いのよね。
あと強いて言うのなら蒸し時間があるけれど、
だいたい5の倍数でいいみたい！
はい！
今思いついた名言でました！
気付いちゃったわ！
白身魚とかのお魚だったら5分！
うわ！
だいたいの蒸し料理の時間は5の倍数でいい！って法則まで見付けられちゃって一挙両得を5倍にしたい気持ちよ！
ションテン爆上がり毎晩上がっていたら
ションテン爆上がり疲れを起こしちゃいそうだけど、
それをも上回るほどの蒸し上がったお野菜たちの美味さが炸裂しているので、
私は言わせないの！
こんなに身近に幸せがあって良かったのかしら？
いや今までどんだけ不幸だったんだよ！って言う意味では全くないけれど、
たぶん、
私はそこそこ自炊やって来た手間味噌自慢しているわけじゃないけれど、
それがひっくり返るぐらいの
「簡単さに美味しさに食べ応え強さ」と
私のお粥の研究テーマでもある「手軽さと簡単さと食べ応え強さ」にも匹敵するぐらいなの！
ただ切って食材を蒸し網に乗せるだけ。
今まで自炊やってきた私の膝が崩れ落ちそうだわ。
こ、こんなにも蒸し蒸すだけで超絶なんでも美味しくなっちゃうなんて！
恐ろしいことにこれが失敗していない
まぐれで奇跡的に超絶美味しいのができるけど、
自分でですら。
だけど、
蒸し料理は食材を乗せてだいたいの食材の量とか固さとかで蒸す時間は5の倍数という秋山仁先生もビックリするような定理！
ふふふ！
今度は私はサーモンに挑戦する、
いわば蒸し界隈のラスボス級の食材に挑戦しようと思っているの！
そしてキノコも一緒に蒸せば、
たぶんまた1回の表初打席初球ホームラン間違いないのは今から想像するに容易すぎるわ。
私のサーモンチャレンジもお見逃しなく！って言いたいところよ。
サーモンでやったらたぶん大変なことになるかもしれない！
でも過信してはいけないの！
蒸しがあまりにも簡単で手軽だからって自分の蒸しレヴェルと蒸しパワーを過信しないようにしたいわ。
ションテンが爆上がりしていることをサーモンに悟られずに
蒸しサーモンやってみるつもり！
うふふ。
昨日買って食べるのをすっかり忘れていた納豆巻き！
今朝に持ち越し朝ご飯に！
でもこうやって朝ご飯に大好きな納豆巻きを食べられるダブルでの幸せ。
って思ったけど思い出したかのようにまたルイボスティーのティーパックがあることを忘れてしまいそうだったから、
慌てちゃったけど
落ち着いて1日を過ごしたいわね！
すいすいすいようび～
今日も頑張りましょう！
経済学の定理とかあるとして、それを数値に落とし込めば対称性とか出てくるのに、文系は定義で理解しようとするから、定義に合致しない主張を「数値が示していても」拒否している。
やっぱMMTディスってるよね
経済学の定理とかあるとして、それを数値に落とし込めば対称性とか出てくるのに、文系は定義で理解しようとするから、定義に合致しない主張を「数値が示していても」拒否している。
経済学の定理は、本来はほとんどが数式で書ける。効用関数、制約条件、期待値、均衡条件。そこに一度落とし込むと、対称性や保存則めいたものが自然に立ち上がる。
たとえばMM命題でも、「企業が外に出す総キャッシュフローが一定」という制約の下で、配り方を変えても価値が不変になる、という構造的対称性が見える。これは定義の問題ではなく、写像の不変量の話だ。
「企業価値とは何か」「株主が得するとは何か」という定義をまず固定し、そこから外れる主張は、たとえ数値やモデルが示していても「定義に合わないから却下」になる。これは反証拒否というより、形式言語への過剰コミットだ。
「優待は現実に得をしている人がいる」→「得している以上、価値がある」
ここでは期待値も価格調整も、数値としての均衡条件も登場しない。代わりに「得」という日常語の定義だけが支配する。数値モデルが示す対称性は、最初から視界に入っていない。
まず量を置く。保存量があるかを見る。対称性があればノーザー的に不変量を疑う。定義は最後に整える。
経済学の定理も、本来はこちら側の文化に属している。MM命題が美しいのは、倫理でも経験談でもなく、対称性が露出しているからだ。
このズレが厄介なのは、数値で示しても通じない点だ。
「この条件下では期待収益は等しい」と言っても、相手は「でも優待は嬉しいよね？」と返す。これは反論ではなく、別の座標系で話している。
問題は、構造の話をしている場面で、例外や感情を主語にしてしまうこと。
経済学の定理がしばしば誤解されるのは、「社会の話なのに、実は対称性の話をしている」からだ。
時給1117円。
交通費480円まで。
主要業績3件×3部、製本済。
その時点でだいぶ覚悟はしていたが、面接は想像より一段深い地獄だった。
面接官が言う。
「ところで、科学史をご専門とのことですが、高校レベルの数学はどの程度お分かりですか？」
嫌な予感がした。
「ええと……数IIIまでは一応……」
歯切れが悪くなった瞬間、相手の目が光る。
「では、この程度は大丈夫ですよね？」
ホワイトボードに書かれる、
平方完成。
頭が真っ白になる。
できない。
いや、正確には「昔はできた気がするが今は無理」だ。
沈黙。
と言われた瞬間、何かが切れた。
「違うんです！！」
気づいたら叫んでいた。
それと平方完成は別なんです！！」
面接官が少し困った顔で言う。
「でも、それって……
呆れた口調だった。
この瞬間、敗北を悟った。
「……はい」
としか言えなかった。
本当は言いたかった。
科学史とは、
でも、時給1117円の面接で
そんな説明をする気力は残っていなかった。
帰り道、思う。
自分は平方完成ができない。
だが、
それでも社会は言う。
たぶん、この学問は
時給1117円。
科学史とは、
今日もまた一つ、身をもって学んだ。
dorawiiより
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 https://anond.hatelabo.jp/20251230184508# -----BEGIN PGP SIGNATURE----- iHUEARYKAB0WIQTEe8eLwpVRSViDKR5wMdsubs4+SAUCaVOfJgAKCRBwMdsubs4+ SFeLAP4lUdSUmvPDkiKw0/EzazO6mNW2E7Gb4XGigcihRRo1PAD+PylyTukwNe+l 2kmJ7tumTMpLYEM/RrWdTPeOmzspngk= =eQD7 -----END PGP SIGNATURE-----
高校生やったのはもう20年前だから今は違うかもだけど、塾行ってなかった自分からみたら、色々便利なの習ってたように見えた。
例えば、
例えば数学なら、授業なんてどこに行っても
定義→定理1の証明→定理1を使う例題→定理2の証明→定理2を使う例題→定理1定理2を使う例題
って流れしかないでしょ？
加法定理の証明って教科書だと単位円上に点とって、幾何の性質から方程式立てて導いたんだけど、塾行ってたやつらはベクトルの内積使って導く方法を知ってた。
私の頃は、数学Ⅰと数学Ⅱは必修だけど、数学Aとか数学Bはそのなかから何単元か選択必修みたいな感じだったので、三角関数が出てくる数学Ⅱで、選択必修の知識であるベクトルを使わせてくれなかったんだと思う。
数学Ⅱで使えるのは、数学Ⅰと数学Ⅱの知識だけで、必ずしも習うとは限らないベクトルは使えないみたいな理屈で。
学校の教科書や授業は、なんだかんだ、その知識にとって重要なポイントを重要だと伝えてくる。
「生徒が興味を持ちやすい面白いコラム話」とか挟む。そもそも知ろうと思うことが重要なので。
あと正確性のために、年号とか、使用頻度は低いが並列的である定理とかが、やたら詳しく書いてあることもある。
技術ブログみたいの見かけるしそういうのでは先進的なことしたり技術的なところ力入れてそうに思ったけど転職活動してて実態は違うなと思った
やりたいことが現実にはできないから暇時間にあれこれ試してブログ書いて発散してる感じなのかな
たしかに大きなサービスとも慣れば頻繁に大幅に技術更新してリプレースなんてできないだろうし、メンテや機能の変更とかもある
話聞いてもそっちで手一杯でこのままの予定というところばかり
使う技術はレガシーな物が多くて、何が流行るかわからなかった頃にとりあえず選んでもう全く聞かなくなったフレームワークとか
比較的知名度あって今名前覚えてるものでも、Perl,Java,CodeIgnior,Riotjs,Cordva,VBA,Angularjsとかがあった
もう何年もOSSのリポジトリ更新されてないだろってのもあったはずなんだけどな
選定理由もとりあえず使える人が多いとかそういうの
RoRとかもう長いこと話題を見なくて絶滅したのかと思っていたものがかなりあちこちで使われていて驚く
PHPもまだ5系が動いてるところが多くて怖い
ソフトウェアベンダで働いてたことあるが、大手企業が相手だとEOLとかは顧客側が許さないところが多くて1年,2年は前から検討して余裕持って更新とかは必要になっていたから意外だった
外部に非公開の社内システムでこれなんだぜ？
自社でサービス持ってる有名どころの公開サービスがサポート切れで動いてるのは攻撃する側から狙われて当たり前だろと
新しさをアピールしてるといってるところもあったけど、「AI開発してます」がLLM有料契約して裏でプロンプトを自動で入れてその結果を画面に表示しますだけだったり
開発とは？
あとはバイブコーディングでAIがコード書いてる事が多いですと言ってるところ
現在のは最低限動く程度にはなってもそこまでクオリティ高いコードにならないと思うけど
一般エンジニアはAIのほうが多くてリードポジになると自分で書いたほうがいいから自分で書くことが多いらしい
OSSコミットしてますﾄﾞﾔｧ、とかじゃないんか？スクール上がりとかを雇ってるんか？
まあ結局そういう古い技術ばかりだから新しいものを積極的に使いたいとか、経歴でそういうものを導入してきたとアピールしてみても合わないと言われたりする
技術面でフルスタックに開発できて言語等のコア部分まで詳しく仕様書レベルで読んだり新機能提案みたいなレベルまでキャッチアップしてますとか言っても、すごいですねと言われるだけで通らない
エージェント通した場合の評価を見ててもスキルや得意としてることをウチでは活かせないと言われることもある
まぁ求人だと◯◯を作ってますというからそこに興味持って応募しても、面接で詳細を聞いたらそのコア部分は外部のライブラリに任せていて作ってる部分はただそれをウェブページに埋め込むだけだったりということも普通にあるし
どういうことやりたいかみたいな話でも、技術面を強く押すと避けられる印象
結局はユーザーありきなので技術的に難しいことをするわけではなく要望にある機能を淡々と実装していけばいいみたいなものなんだろうなと
プライベートでは開発系に一切かかわらず仕事のみのエンジニアで2,3年ほどウェブ系の言語だけ触ってれば十分みたいなところも多い印象
技術力よりコミュ力やサービスや会社の考え方にマッチするかどうかみたいな
たしかに解決が難しい技術課題があるわけじゃないならそういう採用方針にはなるなと
あとは意外とウォーターフォールが多いらしい
ウェブ系企業なんてみんなアジャイルだろと思ったのに、数割のところは設計書書いてからコード書くとかやってるらしい
お堅いところで設計書を完璧にしてレビューして通ってからみたいなところもあれば、方眼紙エクセルで書いてますまであって絶句
流石につらすぎないかと思う
実装し始めて初めて気づく問題とかいくらでもあるわけで、ウォーターフォールで当初の予定通りに上手くいくのは稀だと思うけど
ベンダですらアジャイルよりな開発が増えてきてるというのに・・・
むしろ契約上の厳密な納期がないからこそ自社でサービスやってるところのほうが向いてるのか？
珍しくめちゃずーっと寝てて、
おかげでHD-2D版のドラゴンクエストのI・IIの2の方が全然進められてない、
ほとんどゲームやっていない状況NIKKE以外はって感じなのよ。
珍しく稀に見るこんな状況に
プレイステーションの今年の遊んだゲームの発表！って私は入店してみたけど、
今年の実績ゼロ！って
ゼロってありえある？
ぜんぜんプレイステーションをプレイしてなかったステーションになっていたんじゃない！
私はてっきり古古古米のラッドウインプスの野田洋次郎さんも言いそうなぐらいの言葉だったじゃない？
それだけに「米」くると思ったのになぁ。
米こなかったわね！
あと熊になった理由が
アーバンベアとか都会に出没する熊が今年は頻繁にあり危なかったですね！って言う理由がもっともだと思うんだけど、
中国にパンダ返還も1行その今年の漢字に選ばれた「熊」の制定理由に寄せられていたので、
ちょっとこれ弱くない？って思っちゃった無理矢理感が否めないわね。
お休みの日もやっぱり12月師走よろしく1月の和尚がツーで走るより忙しい昨今。
何かと私もやることがあって、
それで思った様にゲームできなかったり新聞読んだり出来なかったりするこの未消化の読めてないものに対してのモヤモヤがあって、
思いっ切り好きなこと出来ていないフラストレーションがフラスコの底に溜まっていて、
その繰り返しなのよ。
思った様に動けなかったおやすみのなので
なんかもの凄く寝たい欲に駆られていて、
そのまま実行したって感じのところがあるのよね。
だから
週末出来なかったことにモヤついていると言うより、
休日の大半を大谷翔平選手みたくなりたいんだ！ってのはそこまでは思ってないけれど大谷翔平選手ばりに良く寝たわ！って。
そこは良く寝た感は達成実感しているので、
要は良く寝ていた！ってだけの話なのよね。
でも私は朝のスタートでやりたいこと予定ずれちゃうと1日の予定がずれたまんまなのがモヤモヤすんのよね！
1つのことを思いっ切り時間を割いてじっくりやりたいってところ。
これ塔の上に登るんだったっけ？下るんだったっけ？って今どういう状況か分からないどっちに進む進んでるんだっけ？って
再開しても分からないので、
一旦体勢立て直してルーラして宿に泊まって顔洗って文字通り出直してきなさい！って思ったの、
そんなションテン低めのことだから、
今回はドラゴンクエストI・IIの2は遊ばなくていいかーってそんあ鰯気な気持ちだったのよね。
なにげにテレビでやってた『北極百貨店のコンシェルジュさん』をぼんやり観ていたり。
あとさ、
思ったんだけど、
部屋が寒いのがどうしてもこのこのやる気のなさを露呈しているかのようなのよ。
だって寒いと縮こまって何かをやろう！って気合い入んないじゃない！
きっと部屋が寒いからよ！って思って暖房つけたらポカポカになっちゃって寝入っちゃったこの週末の寝る時間は近々に稀に見る睡眠時間を叩き出したのよね。
良く寝たわー！って。
たまには
良く寝るのもよき！と思うしかないわね。
こういう時もあるわってことにしておくわ。
うふふ。
最近これが本当にお気に入りでリピ率高しで申し分ないタマゴを感じられる美味しさで元気出てくるわ！
せっかくちょっと早く起きたけれど、
ボーッとしていたらもったいないわよね！
シャキッと目覚めるわ！
すいすいすいようび～
今日も頑張りましょう！
おまけ
アクスタ試作できたよ～！と言っても今後これをどうするか身の振りがないのでとりあえず作ってみた感じ。ちなみにはてなブログのアイコンをAI生成してもらったものを、そこからさらに全身生成してもらって作ってみたわ！
おいヤク中イーロン・マスク。
お前らが好き好んで押しているその凍結というやつは、まさか論理的プロセスを経ていると本気で思っているのか？
あれはプロセスでも仕組みでも何でもない。ただの自己放尿みたいな誤検知アルゴリズムの飛沫だ。周囲に迷惑を撒き散らしながら本人だけが出してスッキリした気になっている、あの惨状そのまんまだ。
まず言うがな、俺のアカウントが凍結される理由がガイドライン違反とかいう曖昧なゴミ箱に放り込まれる時点で、論理的審査をしていないことは確定している。
なぜなら、違反が明示されないルールはルールではない自己放尿だからだ。
数学で「この定理は証明しないが正しいと思うので使う」とか言ってみろ。学生ならレポート0点、研究者なら職を失うレベルの自己放尿だ。
つまりだ、お前らの凍結プロセスは、理屈として自己放尿している。
破綻しているだけならまだマシだが、破綻したままユーザーを巻き込むのは無能の側だ。俺は無能の自己放尿は嫌いだ。そこを履き違えるな。
お前らのシステムがどれだけ因果関係の理解を欠き、入力の文脈を無視した自己放尿モデルで運用されているかという、冷徹な観察の結果にすぎん。
運営よ、もし本気でサービスを改善する意思があるなら、俺が提示する最初の一手はこれだ。
「凍結理由を明示できないなら凍結するな」
それを説明責任なしでやるというのは、数学者が「この証明は長いので省略します」と言って核心部分を全部削る自己放尿と同じ。
最後に覚えておけ。
俺は脅しもしないし、暴力も使わん。
だが論理と事実の積み上げは、暴力より残酷な結果を生むことがある。
お前らの運用体制が持つ矛盾を、逃げ場のないところまで照射してやる。
以上だ。
掛け算の概念(倍数を扱う)
小数的な考え方の萌芽
円周率(近似値として3.16)
20進法の完成された記数法
公理を置いて、そこから論理的に定理を導く証明中心の純粋数学の発展
当時、「すべての量は整数比で表せる」（万物は数である）と信じられていた。
しかし √2 が有理数ではない(整数の比で表せない)ことが分かり、この哲学が崩壊。
『直角二等辺三角形の対角線の長さ』が整数比で表せないことを証明したとされる。
証明したのは学派の弟子 ヒッパソスとされ、伝承ではこの発見により処罰されたとも言われるほどの衝撃。
アルキメデスによる面積・体積の“求積法”の発達。
負数を“数として扱った”最古の事例『九章算術』
十進位取り記数法
負数の萌芽的扱い
独自に代数学（al-jabr）を発明。文章による代数。ここで初めて“代数学”が独立した数学分野となる。
商、余り、桁処理などの方法が整理(現代の学校で習う割り算の形がほぼできあがる)
xに相当する未知数記号を使用した代数(文字ではなく語句の略号)
sinx,cosx,tanx などの 三角関数の無限級数展開を発見。
これは数学史上きわめて重要な成果で、近代的な無限級数の起源はインドである と言われる。
● 1500年〜
負数の受容が進む。
● 1545年頃(カルダノ)
虚数の登場。
三次方程式の解を求める過程で √−1 に相当する量が突然登場。
しかしカルダノ自身は「意味不明の数」とし、虚数が数学的対象であるとは認めていなかった。
● 1557年頃(レコード)
等号記号「＝」を発明。等価を等式として“視覚的に書く”文化が誕生。
● 1572年頃(ボンベッリ)
カルダノの式の中に出る「意味不明の数」を整理し、虚数を使って正しい実数解が出ることを示した。
● 1585年頃(ステヴィン)
● 1591年頃(ヴィエト)
● 1614年頃(ネイピア)
● 1637年頃(デカルト)
今日では当たり前の「座標平面」「方程式で曲線を表す」が、ここで生まれた。
物理現象をy=f(x)で表すという現代の方法は、すべてデカルトから始まった。
大数の法則(試行回数を増やすと平均が安定する法則)を初めて証明
● 1748年頃(オイラー)
√−1 を i と書く記法を導入。
オイラーの公式「e^{ix} = cos x + i sin x」を提示し、虚数を解析学に自然に組み込んだ。
微積分の計算技法の体系化(積分論・無限級数・微分方程式の基礎を構築)
多くの記号体系(e,π,sin,cos,fなど)を整理・普及
グラフ理論(もの[頂点]と、それらを結ぶ関係[辺]を使って、複雑な構造やつながりを数学的に研究する分野)の誕生
ｰｰｰｰｰｰｰｰ
一旦ここまで。
続きは詳しい人にまかせた。
「理解」の彼方にある数学──望月新一とIUT理論が問いかけること
一方には、自ら構築した「宇宙際タイヒミュラー理論」で数学界の難問ABC予想を解いたと主張する望月新一。
もう一方には、その証明に「説明不能なギャップ」を見るペーター・ショルツェ。
彼らは同じ言葉（数学語）を話しているはずなのに、まるで異なる星の住民のように、互いの論理を捉えきれなかった。
これは、数学者がIUT理論に触れた時に口にした、ほとんど哲学的な嘆きである。
２. 数学は、いつ「別の教科」に化けるのか
我々が学校で習う数学は、確固たる地面の上に築かれた都市のようなものだ。
公理という基礎の上に、定義というレンガを積み、定理という建造物を建てていく。誰もが同じ地図を持ち、同じ道を歩める。
しかし、ABC予想のような深淵に近づくと、地面は忽然と消える。
そこには「夏場の動く氷河」が横たわっていた。足場は流動し、割れ目は見えにくい。
望月新一は、この氷河を渡るために、従来の登山道具（数学的概念）では不十分だと考えた。
彼は新しいアイゼン（宇宙）とロープ（ブリッジ）を発明し、一人で渡ってしまった。
「見よ、対岸に着いた」と彼は言う。
IUT理論の核心は、異なる「宇宙」を結ぶ「ブリッジ」にあるという。
だが、このブリッジは、従来の数学が知るどの「橋」とも似ていない。
それは具体的な写像ではなく、関係性の比喩のようにも、あるいは情報を転送する「儀式」のようにも読める。
「このブリッジの設計図には、応力計算が書かれていない」とショルツェは言う。
「いや、これは新しい種類の橋だから、従来の応力計算では測れないのだ」と望月は応じる。
ここに、論争の本質がある。
だが、基準を逸脱したものが、果たしてまだ「数学的証明」と呼べるのか？
４. 地動説の再来、それとも幻影？
ガリレオが「それでも地球は動く」と囁いた時、人々は自分の足元が動いていることを想像できなかった。
あまりに直感に反するため、受け入れるには世界観の書き換えを迫られる。
IUT理論には、その「数学的望遠鏡」がまだ大多数に共有されていない。
望月という一人の天才だけが覗ける望遠鏡で見えた景色を、どうやって共同体の確かな知識に昇華させるのか？
数学は、歴史的に「孤独な探求」と「共同的な検証」の緊張関係の中で発展してきた。
ガロアは孤独に群論を創り、ワイルズは7年間を孤塁で過ごした。
だが彼らの証明は、いずれも共同体に開かれ、検証され、受け入れられた。
あまりに自己完結的で、あまりに独自の言語で書かれているため、検証のための「共通の場」が成立しにくい。
それは、一人の建築家が、共通の建築基準を無視して建てた、あまりに独創的な塔のようなものだ。
美しいかもしれないが、他の建築家には、その安全性（正当性）を確認する手段がない。
それは、「人間はどのようにして、個人の深い直感を共同の確実な知識に変換するのか？」 という、科学哲学の根本問題に触れている。
もしかすると、我々の「共同的な理解」というフィルターは、真に革新的な知を濾過してしまうのかもしれない。
あるいは逆に、そのフィルターこそが、科学を単なる個人の妄想から救う防波堤なのか。
望月新一は、そのフィルターを──意図的か否かは別として──きわどくかすめるようにして、新しい数学の大陸を発見したかもしれない。
だが、彼だけがその大陸に上陸し、他者はまだ船（理解）を持たない。
７. 終わりに──氷河は解けるか
「5日間では短すぎた」。
そう誰もが思う。だが、果たして何日あれば足りたのか。
新しいパラダイムを理解するには、時に「学び直し」に近い時間を要する。ショルツェら一流の数学者でさえ、その途上にある。
だが、数学的真理の受容は、単なる手続きではなく、共同体の魂が納得するプロセスでもある。
いつの日か、この氷河が確固たる大地として多くの人に認識され、ABC予想への道が共有される時が来るのか。
それとも、この氷河は「夏の終わり」と共に消え、数学史の不思議なエピソードとして記憶されるだけなのか。
答えはまだ、誰も知らない。
ただ、この論争が我々に教えてくれるのは、数学が──ひいては科学が──常に「理解の境界線」との戦いである、という厳粛な事実である。
数学とは、確かな地面を歩む技術であると同時に、時には氷河を渡る勇気でもある。
望月新一は、その渡河を一人で成し遂げた。
問題は、彼の後を、我々が続けることができるかどうかだ。
定理とかに一つでも名を残してる程度には形式的には実績を認められてるけど人格が悪いのに定評がある科学者。
dorawiiが緑内障治す方法発見して医学界で認められた時増田での評価はどうなるか？
それともやっぱ日頃の行いのせいで人格の悪さに焦点を当てて語られ続けるのか？
過去の人格悪い科学者に対する周囲の反応で参考にできそうなのある？
dorawiiより
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 https://anond.hatelabo.jp/20251201051047# -----BEGIN PGP SIGNATURE----- iHUEARYKAB0WIQTEe8eLwpVRSViDKR5wMdsubs4+SAUCaS1F+gAKCRBwMdsubs4+ SI6tAQDQDvTDyeAGMgBmbegG1tNpvXO60e0dwrg1WgnF+kYOlgEA9fk5blmlqThr 8KKbuOjBPhjhq77qiLBdtH+vMSh9sQY= =DWkf -----END PGP SIGNATURE-----
結論から言うと、増田は感情に欠陥があるどころか、その子にとって最高の親なので安心して育児して欲しい。
うちの子は確定診断こそ無いものの、学校側からすすめられて支援級（情緒級）に通っている。増田と同じくそれに関する絶望感はゼロで、毎日育児にワクワクしている。恐らく、私と増田は認知特性がかなり近いと思う。私も自分の感じ方は一体何なのと疑問を持って調べたのでここで共有したい。
・興味のあることを調べるのが大好き、ワクワクする
・興味対象に対して興味があるので驚異的な努力量だが、本人は楽しんでやっているので努力と感じない
・自分のこと関して（増田の場合は子供が発達障害の診断を受けたこと）は感情感度が異常に低い
つまり
という認知になる。このタイプは興味対象に対しては驚異的な理解と問題解決能力がある場合が多い。歴代の天才と言われているのもこの認知タイプである場合が多い。
言わずと知れた古代の大天才数学者。ローマ軍に攻め入られ、命の危機にある状態でも研究に没頭しローマ兵に「私の円を乱すな！」と激怒！反抗したためローマ兵に殺害されてしまう。つまりアルキメデスにとって
である。
歴代数学者でも最高の数学への貢献量があると言われる数学者。「世界一美しい数学の定理」と言われるオイラーの等式を生み出したとされる数学者である（諸説あり）。オイラーは失明したが、それでも自分の手で文字を書いたり、まわりに口頭で伝えたりして数学の執筆活動を続けた。オイラーにとっても
である。
数学・数学史大好きなので例が数学者ばかりになってしまったのは容赦してほしい。このような事例は枚挙にいとまがないが、あまり書きすぎると本題とずれるのでこれくらいにする。
次に、なぜこのタイプの人が自分のことに対する感情感度が低いかというと、問題解決能力が異常に高いため「問題が発生しても、それを深く理解すれば解決できる」と信じて疑わないからである。
普通の人：自分の子供が発達障害と診断される→永遠に変えられない、またはどう対応したらわからない→絶望
増田：発達障害を深く知りたい→どうすれば最適解なのか考える→突破口がある→楽しい、ワクワク
という違いがある。発達障害の診断に関して言えば
増田：診断の前から問題を認識→診断→発達障害の診断→発達障害について深く知れば突破口が開けるとわかる→我が子の人生の最適解を考えるのにワクワク
という認知の差がある。さらに言うと、増田のタイプは興味対象だけに集中する特性があるので、興味対象外に関してはガン無視する場合が多い。しかし、増田の文章から、我が子やその特性に関しては明らかに興味対象なので、放っておいても自らあれこれ調べて我が子を最適な方向へと導いて行ける親だと言える。
子供は親の考えている事を察する能力はとても高いし、長年一緒に暮らすので、親が本当に感じていることを隠し通すのはかなり難しい。絶望を隠しながらなるべく明るく接しようとする親よりも、心の底からワクワクしながら接してくれる親の方が子供にとっても良いだろう。だから、安心して子育てを頑張って欲しい。いや、増田は恐らく頑張るって思ってないから、安心して子育てを楽しんで欲しい。
正直さ、どの趣味でも「知識もこだわりもないのにオタ名乗る」とか普通バカ扱いされるじゃん？
「車オタです！(車種言えません)」
「服オタです！(ブランドもわかりません)」
……こういうのやったら大体痛い人扱いだよな。
当たり前だけど。
ただ視界に入れた瞬間オタク名乗っていいことになってる。
作品の名前言えなくても、設定理解してなくても、キャラ間違えても、
最悪 一話すら観てなくても 「私オタクなんで〜」が許される世界。
で、その結果どうなったかっていうと、弱者の駆け込み寺になった。
「とりあえずオタクって言えば仲間に入れてもらえるっしょ」
って集まってくるやつ。
もちろん悪いとは言わないよ。
しんどい人の逃げ場になって、命救ってることだってあるだろうしな。
結果、何も知らなくても安全に居座れる最高難易度イージーモードに変わった。
メリット：レーズン → レー、パン → パンで、原語の構造を素直に縮めた形。
デメリット：自転車競技用語の「レーサーパンツ（レーパン）」と完全に同音で、文脈がないと誤解されやすい。
語感：強めの音でインパクトはある。
メリット：レーズンの“ズ”を残すことで原語の特徴を押さえている。
デメリット：別の語との連想が強すぎて誤解を生む恐れがあり、一般的使用は避けられる可能性が高い。
語感：柔らかく耳に残る。可愛い感じ。
メリット：レーズン → レジ、パン → パンで、自然な音のつながり。
デメリット：「レジ（＝レジスター）」を連想しやすく、意味が推測しづらい。
語感：軽くて口に出しやすいが、やや省略しすぎ。
デメリット：何を指すか分かりにくい。「パン」の要素が薄くなる。
語感：やや大げさだが「レーズン」の特徴を残せる。
メリット：レーズン → レ（頭音）、パン → パン → レパンという構造で、略称として自然。
デメリット：フランス語で「ウサギ（lapin）」を思い出す人がいるかもしれない。ただし誤解レベルではなく、むしろ可愛いニュアンスがある。
選定理由
短く呼びやすい（2拍で明瞭）
僕は今、月曜の2時13分にここでキーボードを叩いている。眠れない理由は単純で、超弦理論の位相量子化で起こる射影的自己同型の消滅条件が唐突に頭の中で整合しはじめたからだ。
脳が完全に臨戦態勢になってしまった。こういう時は寝ようとしても無駄だし、僕の思考の収束前には必ず日記を取るというルールに従って、理性に屈服する形で書き始めた。
今日の夕方、ルームメイトが「君は日曜ぐらいリラックスしてもいいんじゃないか」と言っていたが、僕がリラックスしているかどうかは、僕が主観的にエントロピーを最小化する行動を選べているかどうかで決まる。今日は午前中に完全に整然としたルーティンをこなした。まず、朝食前に僕の7ステップ手洗い儀式を完遂し、それから定位置のソファに正確に42度の角度で腰を下ろし、いつものごとくTCGデッキのリストを更新した。最新環境では相変わらずテンポ系アグロが幅を利かせているが、そのメタゲーム上の凸集合を解析すると、今期はあえて失敗したアーキタイプに見えるコントロール系のほうが上振れ余地が大きい。特に、カウンター軸を多項式環上の構成的フィルタで再評価すると、一般プレイヤーには理解不能な領域に潜む勝ち筋が可視化される。僕はその数学的裏付けがないと、カード一枚すらスリーブに入れられない。
午後、隣人がシューズを買い替えたらしく、箱を抱えてエレベーターで乗り合わせた。僕は話しかけられないよう壁の中心に対して身体の位置を黄金比で保ち、視線を固定していたが、それでも「今日は休み？」と聞かれたので、僕は今日は次元の選択的解釈を再構築するための検証日だと答えた。相手は笑っていたけど、僕は真面目に言った。今日の主題は、従来の超弦理論が依存してきた10次元時空を、圏論でいうところの自己随伴構造を持つモノイダル圏の射影的層として再概念化し、その上で、最近発表されたばかりの無限階層ガロア格子の部分群作用に基づく因果的相関因子の消滅定理を適用できるかの検証だった。専門家でもまだ定義すら曖昧な研究と言うだろうけど、曖昧かどうかと有効かどうかは別問題で、僕は今日、その曖昧さがむしろ次元圧縮の自由度を与えると証明できた。ルームメイトは「それは何かのゲームの話か？」と言っていたが、ゲーム理論的視点から見ればあながち間違っていない。超弦理論の次元配置は、巨大なTCGデッキ構築とかわらない。可観測量は有効カードプールであり、不要な次元は抜けばいい。
夜は友人が来て、いつものホビーショップの話をしていた。彼らはミニチュアの塗装方法やボードゲームの新作の話をしていたけど、僕は途中から、位相的双対性がミニチュアの影の落ち方に適用できないか考えていたので、会話の半分しか聞いていない。でも僕が影の境界線は局所コンパクト性の破れとして理解できると言った時、彼らは黙り、ルームメイトは僕にココアを淹れて渡してきた。これは彼なりの「黙ってろ」という合図だ。僕はありがたく受け取った。
そのあと入浴して、いつもの順番通りにタオルを畳み、歯磨きを右上→右下→左下→左上の順に完遂し、寝る準備は万端だったのに、2時13分、突然すべての数学的ピースが一気に接続した。自己同型の残差部分を消すために必要だったのは、張られた層の間にある外部導来関手じゃなくて、単に対象そのものの余極限だったのではないかという単純な洞察だ。これで次元の束縛条件が一段階緩和される。誰にも説明できないが、僕にとっては寝るより優先度が高い。
こんな時間に日記を書いているけど、これは僕のルーティンの一部だし、明日の仕事の効率には影響しない。脳が正しく動作している時、睡眠は後回しでも構わない。超弦理論の新しい構図が明瞭になり、TCGのメタ読みも更新され、こだわり習慣も破られず、ルームメイトも隣人も友人も、それぞれの役割を果たし、日曜日は正しい閉じ方をした。
僕はあと10分だけ、脳内で余極限の安定性を点検したら寝るつもりだ。もっとも、その10分が実際に10分になるとは限らないけれど。
僕は木曜日の朝10時に、昨日（水曜日）の出来事を記録している。
朝の儀式はいつも通り分解可能な位相のように正確で、目覚めてからコーヒーを淹れるまでの操作は一切の可換性を許さない。
コーヒーを注ぐ手順は一種の群作用であって、器具の順序を入れ替えると結果が異なる。ルームメイトは朝食の皿を台所に残して出かけ、隣人は玄関先でいつもの微笑を投げかけるが、僕はそこに意味を見出そうとはしない。
友人二人とは夜に議論を交わした。彼らはいつも通り凡庸な経験則に頼るが、僕はそれをシグナルとノイズの分解として扱い、統計的に有意な部分だけを抽出する。
昨晩の中心は超弦理論に関する、かなり極端に抽象化した議論だった。僕は議論を、漸近的自由性や陽に書かれたラグランジアンから出発する代わりに、代数的・圏論的な位相幾何学の言葉で再構成した。
第一に、空間−時間背景を古典的なマンフォールドと見なすのではなく、∞-スタック（∞-stack）として扱い、その上の場のセクションがモノイド圏の対象として振る舞うという観点を導入した。
局所的な場作用素の代数は、従来の演算子代数（特にvon Neumann因子のタイプ分類）では捉えきれない高次的相互作用を持つため、因子化代数（factorization algebras）と導来代数幾何（derived algebraic geometry）の融合的言語を使って再記述する方が自然だと主張した。
これにより、弦のモードは単なる振動モードではなく、∞-圏における自然変換の族として表現され、双対性は単に物理量の再表現ではなく、ホモトピー的同値（homotopical equivalence）として扱われる。
さらに踏み込んで、僕は散逸しうるエネルギー流や界面効果を射影的モチーフ（projective motives）の外延として扱う仮説を提示した。
要するに、弦空間の局所構造はモチーフ的ホモトピー理論のファイバーとして復元できるかもしれない、という直感だ。
これをより形式的に述べると、弦場の状態空間はある種の導来圏（derived category）における可逆的自己同型の固定点集合と同値であり、これらの固定点は局所的な因子化ホモロジーを通じて計算可能である。
ただしここから先はかなり実験的で、既知の定理で保証されるものではない。
こうした再定式化は、物理的予測を即座に導くものではなく、言語を変えることで見えてくる構造的制約と分類問題を明確にすることを目的としている。
議論の途中で僕は、ある種の高次圏論的〈接続〉の不変量が、宇宙論的エントロピーの一側面を説明するのではないかと仮定したが、それは現時点では推論の枝の一本に過ぎない。
専門用語の集合（∞-圏、導来スキーム、因子化代数、von Neumann因子、AQFT的制約など）は、表層的には難解に見えるが、それぞれは明確な計算規則と変換法則を持っている点が重要だ。
僕はこうした抽象体系を鍛えることを、理論物理学における概念的清掃と呼んでいる。
日常についても触れておく。僕の朝の配置には位相的な不変量が埋め込まれている。椅子の角度、ノートパソコンのキーボード配列、ティーカップの向き、すべてが同相写像の下で保存されるべき量だと僕は考える。
隣人が鍵を落としたとき、僕はそれを拾って元の位置に戻すが、それは単なる親切心ではなく、系の秩序を保つための位相的補正である。
服を着替える順序は群作用に対応し、順序逆転は精神的な不快感を生じさせる。
ルームメイトが不可逆的な混乱を台所に残していると、僕はその破線を見つけて正規化する。
友人の一人は夜の研究会で新しいデッキ構築の確率的最適化について話していたが、僕はその確率遷移行列をスペクトル分解し、期待値と分散を明確に分離して提示した。
僕はふだんから、あらゆる趣味的活動をマルコフ過程や情報理論の枠組みで再解釈してしまう悪癖がある。
昨夜は対戦型カードのルールとインタラクションについても議論になった。
カード対戦におけるターンの構成や勝利条件、行動の順序といった基礎的仕様は、公式ルールブックや包括的規則に明確に定められており、例えばあるゲームではカードやパーツの状態を示すタップ／アンタップなどの操作が定式化されている（公式の包括規則でこれらの操作とそれに付随するステップが定義されている）。
僕はそれらを単純な操作列としてではなく、状態遷移系として表現し、スタックや応答の仕組みは可逆操作の非可換な合成として表現することを提案した。
実際の公式文書での定義を参照すると、タップとアンタップの基本的な説明やターンの段階が明らかにされている。
同様に、カード型対戦の別の主要系統では、プレイヤーのセットアップやドロー、行動の制約、そして賞品カードやノックアウトに基づく勝利条件が規定されている（公式ルールブック参照）。
僕はこれらを、戦略的決定が行なわれる「有限確率過程」として解析し、ナッシュ均衡的な構成を列挙する計算を試みた。
また、連載グラフィック作品について話題が及んだ。出版社の公式リリースや週次の刊行カレンダーを見れば、新刊や重要な事件がどう配置されているかは明確だ。
たとえば最近の週次リリース情報には新シリーズや重要な続刊が含まれていて、それらは物語のトーンやマーケティングの構造を読み解く手掛かりになる。
僕は物語的変動を頻度分析し、登場人物の出現頻度や相互作用のネットワークを解析して、有意なプロットポイントを予測する手法を示した。
夜遅く、友人たちは僕の提案する抽象化が読む側に何も還元しない玩具的言語遊びではないかと嘲笑したが、僕はそれを否定した。
抽象化とは情報の粗視化ではなく、対称性と保存則を露わにするための道具だ。
実際、位相的・圏論的表現は具体的計算を単に圧縮するだけでなく、異なる物理問題や戦略問題の間に自然な対応（functorial correspondence）を見出すための鍵を与える。
昨夜書き残したノートには、導来圏のある種の自己同型から生じる不変量を用いて、特定のゲーム的状況の最適戦略を分類するアルゴリズムスケッチが含まれている。
これを実装するにはまだ時間がかかるが、理論的な枠組みとしては整合性がある。
僕の関心は常に形式と実装の橋渡しにある。日常の儀式は形式の実験場であり、超弦理論の再定式化は理論の検算台だ。
隣人の小さな挨拶も、ルームメイトの不作法も、友人たちの軽口も、すべてが情報理論的に扱える符号であり、そこからノイズを取り除く作業が僕の幸福の一部だ。
午後には彼らとまた表面的には雑談をするだろうが、心の中ではいつものように位相写像と圏論的随伴関手の組を反芻しているに違いない。
