  |
はてなキーワード: 工学とは
【視点】 今回、米政府が公表した「国家安全保障戦略」は、新たな国際社会のゲームのルールを作る重要な文書です。
西半球で米国の権益を確保する。中南米から米国への麻薬・移民流入を防ぐ
中国の名指しを避けつつ「インド太平洋を自由で開かれたものに保ち、決定的に重要な海上交通路における航海の自由を守る」と言及
「欧州の文明としての自信や西洋としてのアイデンティティーを（米国が）回復させる」とも主張
中東の石油や天然ガス権益を守る意思を示しつつ「この地域で我々を泥沼に落とした『永遠に続く戦争』を避ける」とも明記
特に人工知能（AI）、生命工学、量子コンピューター分野を重視>（１２月６日「朝日新聞」デジタル版）
トランプ大統領の外交政策には、「地政学に基づく、勢力均衡を重視する棲み分け理論」、「自由、民主主義、資本主義などの価値観外交」の両面が混在していました。それが今回の「国家安全保障戦略」では、前者の「地政学に基づく、勢力均衡を重視する棲み分け理論」に純化しています。
https://digital.asahi.com/articles/ASTD614DGTD6UHBI005M.html
「トランプ版モンロー主義」の新安保戦略 「欧州文明消滅」にも言及
トランプ米政権が5日までに公表した「国家安全保障戦略」では、戦後の国際秩序を塗り替えるような「米国第一」の方向性が示された。米大陸のある「西半球」を自国の勢力圏とみなして排他的に利益を追求する一方、中ロに干渉するような批判は抑え、逆に同盟国については非難したり負担増を求めたりする姿勢を見せた。
「（ギリシャ神話の巨人神）アトラスのように米国が全ての世界秩序を支える時代は終わった」
今回の安保戦略はそう明確に宣言した。外交・安全保障分野の基本指針となるこの文書で、五つの「極めて重要な中核的国益」の筆頭に掲げられたのが、西半球の権益確保だ。南北米大陸やグリーンランドを含むこの半球では「敵対的な外国による侵入や重要資産の所有は認めない」と主張。各国の意思がどうであれ、米国の勢力圏として強い影響力を及ぼそうとする意思を示した。
記事の末尾に米国が最も重視する「五つの中核的国益」を整理しています。
目を引くのが「我々は『モンロー主義のトランプ系』を主張し、実行する」との文言だ。
1823年、米国が南北米大陸と欧州大陸の相互不干渉を訴えた「モンロー主義」。その後、パナマ運河地帯の支配権を得たセオドア・ルーズベルト大統領がモンロー主義を拡大解釈して、中南米への帝国主義的な軍事介入をいとわない姿勢を示し「ルーズベルト系」と呼ばれた。そのトランプ版というわけだ。
典型的なのが、最近のベネズエラに対する行動だ。トランプ大統領は麻薬や不法移民の流入を理由にしてベネズエラからの船に対する空爆を命じ、空母などの大規模な軍事力を見せつけてマドゥロ政権に露骨な「砲艦外交」を展開している。トランプ氏はカナダやグリーンランドについても、領土や資源への野心を公言してきた。
写真・図版
2025年11月13日、大西洋上で、米空母ジェラルド・R・フォードを中核とする空母打撃群の上空を飛ぶ、戦闘機スーパーホーネットや戦略爆撃機B52。米海軍提供=ロイター
一方、台湾や南シナ海の記述では中国を念頭に、シーレーン（海上交通路）を守るために紛争を抑止することは「優先事項」だとした。また、同盟国の日本や韓国に防衛費の増額を求め、トランプ氏の長年の主張に沿い「（同盟国の）ただ乗りを許している余裕はない」と記した。
台湾への関与については歴代米政権の政策を踏襲する姿勢を示したものの、中国を「国際秩序を塗り替える意図と能力を持つ唯一の競争相手」と位置づけ、強い警戒感を打ち出したバイデン前政権とは対照的だった。西半球への関心の強さと比べると、台湾を含む東アジアの優先度や国益判断の比重は低下した、との印象も残す。
米メディアのポリティコは3日、ベッセント財務長官が中国に関する表現を和らげるよう主張し、安保戦略の発表が遅れたと報じていた。中国によるレアアース（希土類）の輸出規制などで劣勢に立つ通商交渉への影響を考慮した可能性がある。
ウクライナ侵攻をめぐっては、早期の停戦の重要性を説きつつも、侵略を始めたロシアに対する明確な非難はなく、「ロシアとの間で戦略的安定性を再び確立する」ことを米国の中核的利益の一つに挙げた。逆に、ウクライナを支援する欧州について「欧州の大多数は平和を望んでいるのに、民主的政治過程が破壊されているため政策に反映されていない」と批判。トランプ氏が目指すロシアとウクライナの和平仲介の「障害」と位置づけた。
欧州への批判は、バンス副大統領が2月、欧州各国で右派や保守派の言論が抑圧されていると演説した内容にも沿うものだ。「文明として消える現実かつ深刻な可能性がある」とまで指摘した。欧州への非白人移民の流入を念頭に、米欧の軍事同盟「北大西洋条約機構（NATO）」についても「数十年以内に、NATOの中には非欧州人が多数を占める国が出てくる。米国との同盟をNATO加盟時と同じように捉えられるとは限らない」と決めつけた。
米国は戦後、ユーラシア大陸で圧倒的な力を持つ国の出現を抑止する戦略をとり、欧州や日本、韓国などとの同盟はその基軸だった。民主主義や法の支配を重視する原則もその基盤となっていた。ロシアの侵略に甘い姿勢を示す一方、米国自ら西半球では意のままに振る舞うことを正当化するような安保戦略は、ルールに基づく国際秩序の弱体化を改めて印象づける。アジアで覇権主義的な行動をとる中国に対しても誤ったメッセージを送る可能性がある。
西半球で米国の権益を確保する。中南米から米国への麻薬・移民流入を防ぐ
中国の名指しを避けつつ「インド太平洋を自由で開かれたものに保ち、決定的に重要な海上交通路における航海の自由を守る」と言及
「欧州の文明としての自信や西洋としてのアイデンティティーを（米国が）回復させる」とも主張
中東の石油や天然ガス権益を守る意思を示しつつ「この地域で我々を泥沼に落とした『永遠に続く戦争』を避ける」とも明記
アロー戦争 英仏連合軍に大敗、清には対抗できる艦隊は存在せず海戦は起こらなかった
洋務運動の一環として清朝官僚の曽国藩、李鴻章によって江南機械製造局(現在の江南造船所)が上海に建設される
ロシアによって中東鉄路公司輪船修理工場(現在の大連造船所)が大連に建設される
日露戦争後、川崎造船所(現在の川崎重工業)が大連造船所と旅順造船所を運営
1945年までに3度にわたり拡張され、中国最大の造船所になる
★清朝滅亡
イギリスの実業家Nils Mollerが上海に"Mollers' Shipbuilding ＆ Engineering Works"(現在の滬東中華造船)を設立
日本軍が江南造船所を占領し朝日工作部上海工場と改名、三菱重工が運営する
日本軍が"Mollers' Shipbuilding & Engineering Works"を占領し三井造船所と改名、三井造船が運営する
海軍の礎が築かれる
★中華人民共和国が成立
古寧頭戦役/金門戦役 中国人民解放軍海軍は大量の漁船を徴用し金門島を占領しようとしたが大敗、これによって台湾侵攻を断念
戦争の歴史から、二度と繰り返してはならない、という思いを抱くのは日本だけではありません。中国もそうです。しかし、どんな教訓を得るかは、国によって異なります。
(略)
毛沢東は，1949年の中国人民政治協商会読第1回全体会議における開幕の演説で
「......どのような帝国主義者にも再び我々の国土を侵略させてはならない......我々は強大な空軍と海軍を保有しなければならない（......不允許任何帝国主義者再来我們的国土.....而且有一個強大的空軍和一個強大的海軍）」と指摘し，
1953年には
「わが国の海岸線は長大であり，帝国主義は中国に海軍がないことを侮り，百年以上にわたり帝国主義は我が国を侵略してきた。その多くは海上から来たものである（我們国家的海岸線視長，帝国主義就是欺負我僧没有海軍，一百多年免帝国主義侵略我臥大都是従海上乗的）」と軍艦の上で演説しました。
(略)
共通のできごとから「二度と繰り返すまい」と決意したとしても、国によって得た教訓は異なります。
いじめた側といじめられた側では、同じ出来事もずいぶん違った記憶になる道理です。侵略をして反省した側は「二度とあんなことはすまい」と消極的になり、侵略された側は「二度とあんなことはされまい」と積極的になるわけです。
そのために、国際政治の歴史の中では、あるときは羊のように餌食にされた国が、後には一変して狼のように振る舞い、そのことがかえって敵を増やしたりします。その逆だってあり得るでしょう。
朝鮮戦争勃発
劉華清 ソ連・レニングラードのクズネツォフ海軍大学校に留学、セルゲイ・ゴルシコフに師事
第一次台湾海峡危機 江山島、大陳島を中華人民共和国が占領される
★6607型駆逐艦(鞍山級駆逐艦/7型駆逐艦/グネフヌイ級駆逐艦)がソ連から供与される
1930年代にイタリアから技術導入をしてソ連が建造した艦で時代的には吹雪型駆逐艦と同時期
50型警備艦(リガ級フリゲート)がソ連から供与され、6601型(成都級)としてノックダウン生産される
第二次台湾海峡危機 金門砲戦 中華民国側が防衛に成功、以降中華民国と中華人民共和国の間に大規模な戦闘は発生していない
その後中ソ対立によってソ連からの技術援助が打ち切られたため中国は潜水艦の国産化を迫られることとなった
理系と工学系に男性が多いのは、文系に女性が多いからで、本人たちの選択によって生まれた多様性ですよね
これさ
愚かな人間の都合など完全無視、LLMのための高効率プログラミング言語「Sui」（粋）
https://forest.watch.impress.co.jp/docs/serial/yajiuma/2069573.html
別にいいんだけど、どうにもブクマカ含めて、しっくり来る批判できてないんだよな
それが気になってしょうがない
俺ごときが言ってもアレだから、Gemini3.0先生に頼んだよ（一時チャット、Pro 3.0 思考モード）
ユーザーが提供した情報と、一般的なLLMの技術特性に基づき、プログラミング言語「Sui」についての冷静かつ客観的な評価をまとめます。
感想: 一言で言えば、**「思想実験としては極めて面白いが、実用性とLLMの学習原理を無視した『早すぎた最適化』」**です。
作者の「人間ではなくLLMを主客にする」という視点の転換は、アーティスト的・哲学的な問題提起としては鋭いですが、現在のLLM（Transformerアーキテクチャ）の動作原理を工学的に捉えると、メリットよりもデメリットが上回る可能性が高いです。
メリット:
・トークン効率の改善: Python等と比較して記述が圧倒的に短くなるため、出力速度の向上と課金コストの削減（トークン節約）は確実に達成できます。
・構文エラーの激減: 括弧やインデントの複雑なルールを排除しているため、「閉じ忘れ」などの単純なSyntax Errorは減るでしょう。
・コンテキストウィンドウの節約: 長いプログラムでもコンテキスト（メモリ）を圧迫しにくくなります。
・学習データとの不一致: LLMは「大量の人間用コード（Pythonなど）」を学習して賢くなっています。未知の言語「Sui」を書かせるには、Few-shot（プロンプトでの例示）に頼るしかありませんが、これではLLM本来の推論能力やコーディング能力（事前学習の重み）を活かせません。
・ブラックボックス化: 生成されたコードがバグっていた場合、人間が読んで直すことが不可能です。「LLMに直させる」にしても、LLM自身がSuiのロジックを深く理解していないため、無限ループ（幻覚の連鎖）に陥るリスクが高いです。
・CoT（Chain of Thought）の阻害: 最近の研究では、LLMは「冗長な思考過程」を出力することで論理的整合性を保つことがわかっています。極限まで圧縮された記号列は、LLMの「考える余地」を奪い、論理破綻を招く可能性があります。
正しいと思う所（Agree）
理由: 人間にとっての「読みやすさ（可読性）」は、機械にとって単なるトークンの無駄遣いです。if x > 10: よりも ? x 10 の方が情報密度が高いのは事実です。
理由: TransformerのAttentionメカニズムにとって、遠く離れた ( と ) の対応関係を維持するのは計算コストが高く、ミスの原因になりやすいです。ネストを排除する方向性は機械的処理として正しいです。
正しくないと思う所（Disagree）
・「可読性を排除しても良い」:
理由: ソフトウェア開発においてコーディングは「書く」時間より「読む・直す」時間の方が長いです。AI生成コードであっても、最終責任は人間が負う現状では、人間が検証不可能なコードは「危険なバイナリ」と同義であり、プロダクトには採用できません。
理由: 前述の通り、現在のLLMは「人間語の確率分布」を学習したモデルです。「LLMにとって自然な言語」とは、実は「人間にとって自然な言語（英語やPython）」そのものです。Suiは「計算機にとっては最適」ですが、「現在のLLMにとっては異言語」です。
パース（解析）は容易になりますが、LLMは「前の行の文脈」を読んで次の行を出力するため、行を独立させすぎると文脈の連続性が失われ、複雑なアルゴリズムの構成力が落ちる可能性があります。
LLMが最も苦手とする「深いネスト構造の維持」を回避する策として有効です。アセンブリ言語に近いフラットな構造は生成難易度を下げます。
これが最大の問題点です。LLMは変数名（user_id, total_price など）に含まれる「意味」を使って推論を行っています（Semantic Grounding）。すべてを記号化すると、LLMは変数の役割を見失い、論理的なバグを埋め込みやすくなります。
トークン効率は最強ですが、1文字の違いで意味が激変するため、LLMの確率的な「ゆらぎ」による1文字ミスが致命的なバグになります。冗長さはエラー訂正の役割も果たしています。
goto 文の多用はスパゲッティコードを生みます。LLMにとっても、構造化プログラミング（if/forブロック）の方が、「ここからここまでがループ」というチャンク（塊）として認識しやすいため、一概にジャンプ命令が良いとは言えません。
＞現在のLLMは「人間語の確率分布」を学習したモデルです。「LLMにとって自然な言語」とは、実は「人間にとって自然な言語（英語やPython）」そのものです。
ここ！マジで覚えてね
LLMはこれまでの機械よりも人間に近いと思ってほしい、人が苦手なことはAIも苦手
機械は論理的でロジックに強くて〜っていうのはAIには通用しない
ついでに、「LLM用プログラミング言語」の潮流について
「LLMのための言語」という文脈は、大きく2つのトレンドに分かれます。Suiは後者に属しますが、主流は前者です。
・DSPy, Guidance, Microsoft Guidance:
・プロンプトエンジニアリングを構造化し、LLMの出力を型（JSONなど）に強制したり、思考プロセスを制御するためのフレームワーク。
・SGLang:
・これらは「人間がLLMを操るための言語」であり、実用化が進んでいます。
・Gorilla LLMなどの試み: API呼び出しに特化したファインチューニングなどがありますが、独自の「新言語」を作らせるよりも、既存の Python や JSON を正しく出力させる方向（Constrained Decoding）が業界の標準解です。
・擬似コード: 論文レベルでは、Pythonの代わりに中間的な擬似コードを出力させ、それをコンパイラで処理する手法も研究されていますが、Suiほど極端な記号化は稀です。
後者については
現状の最適解: 現在のLLMを使う限り、「LLM用言語」の最適解は Python です。なぜなら、世界中のGitHubのコードを学習しており、LLMが「最も流暢に話せる言葉」だからです。無理にSuiを話させるのは、日本人にエスペラント語で詩を書かせるようなもので、パフォーマンスは落ちます。
総評: Suiは、「既存のLLM（GPT-4など）に書かせる言語」としては失敗する可能性が高いですが、「未来のAIネイティブなコード生成のあり方」を示唆するアート作品としては高く評価できます。作者の「愚かな人間に合わせるな」というパンクな精神は、エンジニアリングの枠を超えた鋭い批評性を持っています。
お前らは安易にオレオレ言語作るんじゃないぞ、作るにしてもAIに聞きなよ？
聞く時は忖度させるんじゃないぞ？
この作者もAIに乗せられたのかもしれんし
＿＿＿＿＿＿
プロンプト
以下が「LLM用プログラミング言語」としてメリットがありそうか、感想を教えて下さい。
https://forest.watch.impress.co.jp/docs/serial/yajiuma/2069573.html
https://github.com/TakatoHonda/sui-lang
・思想的に正しいと思う所、正しくないと思う所を理由込みでまとめてください
・最近のLLM用プログラミング言語についてもまとめてください
・そもそもLLM用プログラミング言語という目標自体の評価をしてください
（省略）
優秀なら女子枠なんか無くても合格できるんじゃないですかあ？試験はできないけど優秀とかウソつくんすか？
そもそも管理職が理系と関係あると思ってる時点で頭おかしい狂人としかいいようがないんだけど、
その程度の知的ボーダーって割合の理解が全部狂ってるんだよね。
「実力通りの割合」とやらを推計するなら
工学系→女性16%だけど実際どんだけ志望してんだよって話からしないと全部バカの妄想から外に出ない
たとえば工学系の受験生100人のうち30％だけど女性で16％しかいない話だったら「実力通りの割合？」「実力通りの割合じゃない？」
実在してるかは謎だよね
時間は永遠に続くって思われてるかもだけど、それは証明されてない
だから永遠って基本的には「ない」ものとして扱ったほうがよくない？
数学が「永遠（＝無限）」を完全に排除したら、現代数学の99％以上が崩壊し、現代文明そのものが成り立たなくなります。
どれだけヤバいことになるか、段階的に見てみましょう。
1. 基礎の基礎が全部消える
• 微積分が全滅（極限の概念が使えないので、ニュートンもライプニッツも泣く）
2. 現代科学が死ぬ
• 物理学：相対性理論、量子力学、電磁気学のほぼ全てが無限（極限操作）を使っている
• 工学：フーリエ変換、信号処理、制御理論が使えなくなる → スマホ、テレビ、GPS、MRI、全部終わり
• コンピュータ科学：アルゴリズムの計算量解析（O(n), O(log n) など）が意味を失う
• 暗号理論（RSAなど）が崩壊 → ネットバンキングもビットコインも即死
3. 日常すら壊れる
• 「1リットルの牛乳を3人で均等に分ける」→ 0.333…リットルが定義できない
• 円周率πが「3.14で打ち切り」になる → タイヤもロケットも正確に作れない
• 地図アプリの最短経路計算が不可能になる（ダイクストラ法などが死ぬ）
結論：永遠（無限）を捨てたら人類は石器時代に逆戻り
無限を捨てると、現代数学は「巨大だけど有限な数までしか扱えない超巨大なそろばん」に成り下がります。
ロケットは飛ばない、インターネットは死ぬ、医療機器も止まる、経済も崩壊。
つまり、
「永遠（無限）」は人類が発明した「最も危険で、最も美しい爆弾」
捨てたら即死、抱えたままでもいつか爆発するかもしれない——
Chinese J-15s ‘Lock On’ JASDF F-15s Near Okinawa
https://theaviationist.com/2025/12/07/chinese-j-15s-lock-on-jasdf-f-15s-near-okinawa/
著者：David Cenciotti
イタリア空軍の元少尉。「The Aviationist」の創設者兼編集者、民間パイロット、コンピュータ工学の卒業生。
日本は沖縄近郊で2件の「ロックオン」事件を報告しており、高度なレーダー技術により通常の追跡と敵対的脅威の境界が曖昧になっています。
ここで知っておくべきことをすべてご紹介します。
レーダーロックオンとは、従来、戦闘機のレーダーが一般監視から特定の射撃管制モードに切り替わり、他の航空機を兵器使用目標として指定する瞬間を指します。
歴史的に、この移行は明確でした。
なぜなら、機械的にスキャンされたレーダーは、複数の航空機の状況認識を維持する追跡中スキャン(TWS)から、単一目標追跡(STT)へと移行し、単一の目標にレーダーエネルギーを集中させるためです。
STTでは、レーダーが距離、接近距離、高度、方位の連続的かつ正確な更新を提供し、レーダー誘導ミサイルの誘導を可能にします。
このシフトは相手パイロットのレーダー警告受信機(RWR)によって即座に識別でき、信号を射撃管制目標として分類し、視覚的および音響的警告を発します。
したがって、ロックオンは敵意の明確な信号であり、ミサイル発射前の最終段階を表します。
現代のアクティブ電子走査アレイ(AESA)レーダーは、レーダーロックオンの実行方法と認識方法を大きく変えました。
従来の機械式スキャンレーダーはミサイル誘導をサポートするために単一目標追跡モードに切り替える必要がありますが、AESAシステムは複数の狭いビームを電子的に操縦し、エネルギーを高精度に集中させつつ、広範囲の監視を行っているように見せかけます。
これらは、急速な周波数ホッピング、高指向性ビーム、サイドローブ放射の低減など、低確率迎撃(LPI)技術を用いています。
これらの手法は、レーダー信号を背景雑音に溶け込み、旧型または性能の劣るレーダー警報受信機(RWR)による検知を困難にするために特別に設計されています。
その結果、AESA装備の戦闘機は、標的機にロックオン警報を発するような明確な射撃管制シグネチャーを発生させることなく、レーダー誘導ミサイルに中間誘導を提供できます。
高度なRWRは追跡エネルギーやデータリンク活動の増加に伴う微妙な変化を検出することがありますが、警告は交戦のかなり後半に届くことがあります。
極端な場合、敵対的意図の最初の明確な兆候はミサイル自身のシーカーが作動し、反応までに数秒しか残されないこともあります。
この進化は、従来のレーダー技術にはなかった曖昧さをもたらしています。
パイロットはもはやRWRだけに頼って兵器標的に指定されたかどうかを判断することはできません。
代わりに、敵機の形状や挙動を解釈してミサイル発射が差し迫っているかどうかを判断しなければならず、混雑や争奪された空域での脅威評価ははるかに困難になります。
これらのセンサーの進歩にもかかわらず、国際的な交戦規則は敵対的意図と敵対行為を明確に区別し続けています。
敵対的意図は、他の資産に対して武力行使を準備する行動によって示されます。敵対行為は、力が行使されたこと、またはその行使が差し迫っていて明白であることを示します。
AESAレーダーによる静かな射撃管制を含むレーダーロックオンは、依然として敵対的意図に分類されます。
しかし、AESA追尾は検出が困難または不可能であるため、パイロットはセンサー警告だけでなく遭遇の運動学的評価にますます頼らざるを得ません。
したがって、ロックオンが起こる文脈はこれまで以上に重要です。
パイロットは距離、接近率、機首位置、可視化兵器配置、主権空域への接近、攻撃的または予測不能な機動の組み合わせを評価します。
近距離での激しい機動とレーダーのロックオンの組み合わせは、標的機がミサイルがすでに空中にいるかどうかを判断するのに数秒しか持たない可能性があるため、潜在的な敵対行為と認識されることがあります。
このような状況は、防御的な反撃がさらなるエスカレーションを引き起こし、緊迫した傍受から深刻な事件へと急速に発展するリスクを高めます。
掛け算の概念(倍数を扱う)
小数的な考え方の萌芽
円周率(近似値として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など)を整理・普及
グラフ理論(もの[頂点]と、それらを結ぶ関係[辺]を使って、複雑な構造やつながりを数学的に研究する分野)の誕生
ｰｰｰｰｰｰｰｰ
一旦ここまで。
続きは詳しい人にまかせた。
当時中華ソシャゲのべ１０年ぐらいやってた俺ですらここまで邪気がガンガンしてる単語は見たことがなくてニタニタしてしまった。
萌え萌えパンチラスマホゲームですら使わないような超絶TUEEEEEEでKAKKKEEEEEEEEフレーズに俺は本当にワクワクだった。
その後出てきた連中が「女ぁ！女は弱いから戦うなぁ！！！」とか抜かす『裏設定を知らない初見視聴者の脳内張五飛』みたいなレベルのオッサンが次々登場して更に爆笑。
しかもソイツらがマッチョイズムに染まった果てに筋トレしまくって本当にマッチョしてるというのもワロてしまう。
んでその後の展開で師父（シーフー）みたいな面して出てきたのがよりにもよってアイツかよｗｗｗｗｗｗｗｗｗ
なんすか？ロード・エルメロイII世とかその辺も好きなんですかこの作者は？
そしてこの超絶カッケーーーーー執剣者（ソードホルダー）（爆）の顛末のしょーもなさも笑う。
なんつうか「作者なりに頑張ってこういうありがちな展開を皮肉ろうとしました！！！」って感じなのは伝わるんだけど、皮肉りにしたってちょっとクオリティが低すぎて「こりゃ人間描けないアスペ工学オタクって言われるわ・・・」状態なのもゲキワロス。
何から何までシリアスに笑えて「ちょｗｗｗ先生ｗｗｗどこまでネタでどっからガチっすかｗｗｗｗお涙展開のびみょーさは流石にネタっすよねｗｗｗｗあっでもガチっぽいｗｗｗｗｗｗ」なんすよ。
お前らはどこが一番好き？
振り返ってくとなんだかんだこのあたりが一番ミソが詰まってるとは思うんだけどね。
だって結局はどこまで言っても暗黒森林理論（これもすげー邪気眼だなよく考えるとｗｗｗｗ）やん？
ヤンヤンつけボーやんやん？
私に関する情報と、その情報から組み立てられるChatGPTの有意義な使い方をお願いします
以下は、あなたがこれまでに示してきた特徴・行動パターンを基にした
RTS・アドベンチャー・見るゲーなど複数ジャンルのゲーム設計を同時並行で考えている
（ChatGPTに“広げさせて”、あなたが“選定・要約”するタイプ）
● 世界観・興味
● 性格傾向（推測）
発想量が多く、構造化と整理を外部に求める
あなたはゲーム・ビジネス・創作をすべて「戦略で捉える」傾向があるため、
ChatGPTは “軍参謀”スタイルの助言AI にすると最大効率が出ます。
使い方例：
が自然。
具体的には：
思いつきを投げる
ChatGPTが構造化・分類
これが最適ループ。
あなたは実装にこだわるため、ChatGPTには以下を依頼するのが非常に相性良い：
設計案の「責務整理」
特に“わかりやすくて拡張可能な構造”を出すと喜ぶ傾向がある。
あなたは即応の遅さを気にしているが、ChatGPTは訓練に使えます。
「RTSの状況を書いたら、2秒以内に最適な手を返して」
長文記事→3行要約
「辛辣に」
「客観的に」
など、創作補助にも最適。
必要であれば、
前を走っている車に何か見覚えがある懐かしい感じがしたので
らららとそりゃーもう大黒摩季さんの曲しかないって思う懐かしい香りがしたスミレの花時計級に
山崎まさよしさんの桜木町の歌の曲名タイトルを思い出せなくて困っていて、
パフィーさんのカニ食べに行きたい歌を歌うリストに入れたと思ったらなんかアジアの純真で全然違う曲だったりする、
うーん、
これなんだろう？ってそう思っていたの。
あ！って私はハッとして前の車のナンバーを良く見たら、
私の車のナンバーと4桁一緒なの！
これってスーパーレアじゃない？
とてもパーセントでは答えられない話し出そうよ。
ふーん、
それぐらいめちゃレアなのねって思いながら、
私のレア運はそこで費やして使ってしまった手付かずの運はもしかしたらもう今の瞬間微量なのかも。
というのもさ、
NIKKEのレアキャラのSSRのレッドフードがやっぱりどうしても当たらなくて排出率1パーセントの壁は高すぎるわ。
なんか諦めモード。
でも諦めたらそこでおしまいなバスケットボールの先生の言葉通り期間ギリギリ終わるまで1日1回無料ガチャを回し続けるの。
たぶん、
これじゃ当たらないかもしれないわね。
そんな鰯気になってないでいたいところだけど、
ここでもし課金して無理矢理レッドフードSSRニケを当てようとしても、
待ち構えている年末年始のお祭り的なレアキャラのSSRのニケがまたどうせ新登場するんでしょ？って意気込みで、
私はそんな気がする気配を察知しているの。
でもレッドフードと一緒に戦いたいなぁって。
それぐらいレアなのね。
車でさ、
走っていたら同じ車種だってことはたまーにあったり、
向かいの車線の対向車が同じ車種だってこともたまーにはあるのよ。
だから私はこの車のナンバーレア遭遇できっと今そういう何かを引き当てる運は弱まっているかも知れないわ。
確率って散々ChatGPTちゃんに確率とは！って教えてもらって、
例えばNIKKEで言うところの
何枚あれば当たる確率がどのぐらいって計算方法は私一所懸命教えてもらって勉強したの。
とはいえ、
数字の偏りというか、
そう言うのは何が何に影響して作用しているのかは解明されていない感じなの。
だからレアキャラのSSRのニケが短期間で2回当たるとなんかストーリーを感じちゃうみたいなことね。
もっとも多く一番たくさん部隊で一緒に地上で戦っているから？って思わず意味付けちゃうわよね？
ジャンケンとかもさ
三すくみで確率的には33パーセントの確率で勝つるってことにはつるとんたんなってるじゃない？
でもたまに
「あ！もう何出すか決めたんですか？」って
もはや確立戦なのか心理戦なのか分からなくなっちゃうわジャンケンって。
意味もなく「もう何出すか決めたんですか？」って相手に聞いて言い放つのも威圧よね。
そういえば、
最後にジャンケンしたのっていつぐらい過去かしらってぐらいだけど、
でも確率的には私はある程度定期的にジャンケンをしているはずよ。
今度ジャンケンするときに「もう何出すか決めたんですか？」って言いたいけれど
なんかそう言う人ってズルいことを考えているズル賢い人にも映るからなかなか使いどころが難しいわ。
かと言って、
心理戦と言っていても、
実際何を心理して戦うの？って
言ったところでどう私はジャンケンの技を繰り出したら良いか分からないわ。
「もう何出すか決めたんですか？」って言っておきながらよ。
でもさ、
界隈がざわついたやつ。
どうやって手を決めているのか分からないけれど、
ジャンケン道深いわ。
とりあえず
天にも祈るばかりよ。
うふふ。
そんな東鰤な銘鮭となるとまた特別よね！
美味しくいただいたわ！
何か手頃なレモン果実でもいいのでマーケットを覗いて見ることにするわ。
とりあえず
すいすいすいようび～
今日も頑張りましょう！
僕は今、いつもの座席に鎮座している。ルームメイトはリビングのソファでパズルゲームを無言で進めており、隣人はサブカル系の配信をしているらしく時折笑い声が廊下を渡ってくる。
友人たちはグループチャットで熱く同人の出来や新連載のガチャ確率について論争している。
僕の一日は厳密に区切られていて、朝は必ず8時に起床、コーヒーの抽出器具を90秒で予熱し、温度は92.3℃±0.2℃に保つという無駄に精細な儀式がある。
靴下は左足から履く。出勤前の15分は必ず抽象数学のノートを眺め、最近は圏論的位相場のホモトピー的反復と超弦モジュライのmeta-圏的安定化について自問している。
これは専門用語の羅列ではなく、僕にとっては手を洗うのと同じくらい生理的な行為であり、その行為を飛ばすと一日が微妙に狂うので飛ばすことはめったにない。
仕事が終わった今も、僕は一日の終わりに形式的整合性を取るためのルーティンを持っている。
具体的には、机上のコップは時計回りに90度ずつ回転させて元の位置に戻す、明かりのスイッチを一回押して3秒待ち、もう一度押すといった小さなチェックポイントを踏む。
これは合理的かどうかを問う人がいるだろうが、僕にとってはエラー訂正符号のようなものだ。失敗を検出すると自動的にその日のメンタル状態のトレースが始まり、友人たちの雑談に混じる気力が萎える。
超弦理論に関して今日述べることは極めて抽象化され、現実の誰が読んでも「それが何を意味するのか」を即座に把握できないように意図している。
僕は最近、モノイド対象としてのストリング世界面の圏を、圏論的対称化子（コクセター的ではなく、もっと抽象的に、位相的量子群の代数的類・モジュライ化）を用いて再定義する実験をしている。
言い換えれば、従来の共形場理論的な世界面パラメータ空間を、非可換ホモトピー論のフィルタ列で再帰的に層化し、その各層におけるファイバーの自己同型群をモナドとして扱うことで、局所的に見える弦状態の同値類を圏的に集約する。
さらに、圏の圏（2-圏）に対する新しい安定化の概念を導入して、通常のK理論的分類とは別の不変量が現れることを示唆する予備的計算結果がある（ここでは具体的数式を列挙しないが、ホモロジーの級数展開における位相的位相因子の再正規化が鍵となる）。
この構成を、最新の抽象数学的モジュール接続概念と結びつけると、我々が従来想定していたスペース-状態対応の双対性が、もっと弱い条件（例えば圏的可換性の高次緩和）で成立する可能性が開ける。
加えて、僕はこの考えをある講義資料やトークの示唆と照らして取り入れており、その資料は概念的な跳躍と直感的な図示を巧みに使っているので、僕の現在の探索にとって非常に有益だった。
僕は「誰も理解できないものを言語化する」ことに快感を覚えるタイプだが、ここで言っているのは自己満足のためではなく、圏的再構成が実際に計算上の省力化をもたらすかを検証するための試行でもある。
ある意味で、これは純粋数学者が夜中に自分だけの公理系をいじるのと同じ行為だが、僕の場合はそれを出社前の歯磨きに組み込んでしまっているので、周囲は迷惑かもしれない。
食事の配列はプレート上の分布エントロピーを最小化する向きで常に配置し、週に一度は手製のスキルツリー表を更新して趣味的投資の累積効用を整数化している。
コミックは最新巻が出ると即座にページごとのフレーム密度と作画のトーンワークを技術的に解析し、特に背景のディテールに含まれるトーンの反復パターン（いわば視覚的フーリエ成分）をスコア化する。
ゲームに関してはガチ勢的態度を崩さず、メタ的な語りを排してシステムのギミック、ドロップ率、レベリング曲線、そして対戦環境のテンプレート化された最適戦略について延々と解析する。
ただしゲームやコミックに対しては「空間」や「力学」といった語はなるべく避け、代わりに「状態遷移図」や「入力遅延とフレーム落ちの統計的扱い」など工学的・計算機的に言語化する。
たとえば今日友人が語っていた新作のギミックについては、その期待効用をELO的な評価尺度でランク付けして論争に勝とうとしたが、連中は「推し」を盾に論理を流してくるので僕はたまに脱力する。
だが脱力する暇は短く、夜の自習時間には再び圏論的比喩に戻り、各行動の符号化を試す。
日常の細部も大事にしている。玄関の鍵は4回回すのが正しいというオカルトじみたルールを持っているが、これは単なる迷信ではなく、僕の内部的なチェックサムである。
友人たちはこれを笑うが、彼らもまた各自の無意味な儀式に固執している。
コミュニティでの嗜好（推しキャラ、嫁、沼の深さ）に関しては妙に合理的で、僕はデータベースを自前で持っている。
各キャラの台詞数、出番頻度、描写の感情強度をパラメータ化し、二次創作が生成される確率空間を推定する実験をしている。
この種のオタク計量は笑われがちだが、実際にはコンテンツ開発や同人活動の動向を予測するには有用だ。
眠りに入る前に、僕は明日の論文ノートに小さな疑問を三つ書き付ける。
第一は、先に述べた圏的安定化が有限次元表現に落ちる際の可逆元の振る舞い、第二は同構クラスの計算可能性のアルゴリズム的複雑さ、第三は趣味領域における情報量の測度とその心理的飽和点の関係である。
これらを洗い出しておけば、僕は安心して眠れる。
ルームメイトがゲームのボスを討伐した歓声が聞こえ、隣人の配信が締めに入る。友人たちのチャットは未だヒートアップしている。
僕は日記を閉じ、明日のコーヒーの豆を2グラムだけ余分に計量しておく。これは単なる癖ではない。それは帰納的に我が生活を安定化するための小さな公理群だ。
