  |
はてなキーワード:実装とは
そこそこの規模の会社でITエンジニア（社員）がやってる業務の一覧（全部ではない）
| 組織レベル | タスク | AI親和性（予想） |
| Lv0：個人〜最小チーム | コーディング（実装） | 🟢 早期に大部分自動化 |
| 単体設計（クラス/API） | 🟢 早期に大部分自動化 | |
| テストコード作成 | 🟢 早期に大部分自動化 | |
| リファクタリング | 🟢 早期に大部分自動化 | |
| ログ調査・軽微なバグ修正 | 🟢 早期に大部分自動化 | |
| Lv1：役割分離（PM/Design等） | 仕様書ドラフト整理 | 🟡 補助的に自動化 |
| 要件の解釈・曖昧さ発見 | 🟡 補助的に自動化 | |
| UI/BE責務の切り分け | 🟡 補助的に自動化 | |
| PMとの仕様すり合わせ | 🟡 補助的に自動化 | |
| QAとの再現条件調整 | 🟡 補助的に自動化 | |
| チーム内認識合わせ | 🟡 補助的に自動化 | |
| Lv2：チーム間連携 | API境界整理 | 🟡 補助的に自動化 |
| モジュール責務設計 | 🟡 補助的に自動化 | |
| 影響範囲分析 | 🟡 補助的に自動化 | |
| FeatureFlag運用判断 | 🟡 補助的に自動化 | |
| 他チームとのリリース同期 | 🟡 補助的に自動化 | |
| Lv3：組織運営（10人〜） | 技術調査（SaaS/AWS等） | 🟡 補助的に自動化 |
| 技術選定 | 🟡 補助的に自動化 | |
| 非機能要件の検討 | 🟡 補助的に自動化 | |
| ADR作成 | 🟡 補助的に自動化 | |
| KPI→開発優先度変換 | 🟡 補助的に自動化 | |
| 事業計画→技術タスク分解 | 🟡 補助的に自動化 | |
| Lv4：人間系（組織的責務） | 採用（面接・評価） | 🔴自動化ビジョン不透明 |
| 育成（OJT・レビュー文化） | 🔴自動化ビジョン不透明 | |
| 勉強会・ナレッジ共有 | 🔴自動化ビジョン不透明 | |
| 社内技術広報 | 🔴自動化ビジョン不透明 | |
| チーム間政治調整 | 🔴自動化ビジョン不透明 | |
| 炎上時の説明責任 | 🔴自動化ビジョン不透明 | |
| Lv5：プロジェクト外部接続（受託/SI） | 顧客折衝 | 🔴自動化ビジョン不透明 |
| 契約仕様の解釈 | 🔴自動化ビジョン不透明 | |
| 外注管理 | 🔴自動化ビジョン不透明 | |
| 稟議資料作成 | 🔴自動化ビジョン不透明 | |
| SLA調整 | 🔴自動化ビジョン不透明 | |
| ベンダー管理 | 🔴自動化ビジョン不透明 |
AIがプログラミングできたくらいではまだ「残業を減らす」程度でしかなくなる
これお仲間のクリエイターにいい目で見てもらいたいってのが透けてるからなあ
二言目には規約違反の増加
増加は気にするけど現状ある規約違反は炎上しない限りはスルーなんだよなあ
下記の理由から実装しません。
クリエイターさんが気軽にキャンセルできなくなり、承認待ちのまま期限切れとなるリクエストが増加します。
任意選択にしたとしても「理由を教えてください。他のクリエイターさんは教えてくれました。」とDMするクライアントによる規約違反が増加します。https://t.co/8XSh1jdqEy— なるがみ (@nalgami)February 15, 2026
陰謀論者が拡散してるフェイクを訂正するノートに投票しても全然表示されないのに、嫌われてるコスプレイヤーの投稿に付いてる「この人物は以前にこんな発言をしていました」といったしょうもないノートはすぐに表示される
本理論は、プロジェクトやシステム運用における成否を成功/失敗という結果論的二元論で捉えることを拒絶する。代わりに、系を自由度とエントロピーの制御プロセスとして再定義する。
我々の目的は、勝利することではなく、敗北の余地を物理的・論理的に消滅させることにある。
従来の精神論において疑念は排除すべきノイズとされたが、本理論において疑念は高感度センサーによる誤差信号である。
マーフィーの法則（起こり得ることは起こる）に対する最強の対抗策は、「起こり得ない構造」の構築である。法則が作用する対象（事象の選択肢）そのものを消滅させる。
統計現象（確率的ノイズや外部環境のゆらぎ）を敵と見なし、それを数学的構造という檻で包囲して無力化する。
対策自体が破綻する可能性という再帰的な攻撃（メタ・レベルのマーフィーの法則）に対し、動的な安定性で回答する。
批評家は言うだろう。「完全なシステムなど存在しない。未知の抜け穴（ゼロデイ）は必ずある」と。
我々の回答はこうだ。
未知の抜け穴が観測された瞬間、我々の理論における疑念センサーが即座に反応する。その瞬間、システムは再帰的に作動し、新たな自由度を物理的に圧殺するプロセスを開始する。
マーフィーの法則が付け入る隙（エントロピーの増大）は、我々の構造理解と物理的制圧（エントロピーの減少）の速度には永遠に追いつけない。我々は常に、事象の一歩先で待ち伏せしているのである。
本当なら今書いている記事 (anond:20260215194458)にのっけようかと思ったが、思ったより長くなってしまったので、別記事に独立させることにした。
IPv6で接続しているかを手軽に確認できる。また、インターネット接続ができない原因の切り分けにもおすすめ。
ブラウザーによってはIPv4接続でも暗号化機能をオンにするとIPv6で接続できる場合がある。
"UseIPv6HTTP andyouwillwatch the dancingkame" と表示されていたらIPv4、"Dancingkameby ateliermomonga" と表示されていたらIPv6。
BSD系OSにIPv6を実装することを目的としたプロジェクトで、2006年3月以降プロジェクト完了により更新停止しているため、今となっては軽いウェブサイトのひとつとなってしまった。ただし、2010年代 (すくなくともHTML5本格始動よりは後) にDancingkameがアニメGIFからPNGをjQueryで毎フレーム書き換える方式に変更するアップデートが行われており (そのためJavaScriptをオフにするとアニメーションのなめらかさが低下するのがわかる) 、阿部寛のホームページよりは若干重い。アニメPNGでよかったのでは...。仮に今リニューアルするとしたら、WebPやAVIFとかかな。
こちらは見たまんまである。"IPv4 で通信しています" "IPv4IPv6 両方で通信しています" "IPv6 で通信しています" の3段階。
"IPv6 で通信しています" はIPv4のパケットもIPv6に通している、もしくはそもそもIPv4に接続していない、のどちらかの状態。
"IPv4IPv6 両方で通信しています" だとIPv4とIPv6を個別のパケットで通していることを示す (IPv4PPP +IPv6など) 。
こちらはより詳細に確認できる。日本のISPが提供しているとのこともあり、日本のインターネット環境に特化、フレッツIPv6閉域網 (flets-east.jp / flets-west.jp) への接続も診断してくれる。
Googleもテスト機能を提供している。しかし、インターネット速度テストといい、HTML5動画テスト (今はない) といい、Googleは色々なテスト機能を提供しているものだ...。
"問題は検出されませんでした。" と表示されたらIPv4、 "既にIPv6 を使用しているようです。" と表示されたらIPv6。接続に問題があると "お使いの接続方法はIPv6 への対応が完了していないようです。" になることもある。この場合は下の "あなたのIPv6 をテストしましょう。" をつかってより詳細なメッセージを確認するのがよい。
※ この2つはどちらもおなじ (ミラーサイト) 。
2025年まで個人勢だったにもかかわらず、IPv6接続確認ではもっとも有名。個人での運営が厳しいとのことでサービスを終了すると発表したあと、いろんなところからスポンサーのオファーがあったとのこと。重要度の高いサイトということもあり、公共性の観点から地域インターネットレジストリに移管することにしたとのことで、現在移行作業中。
現在接続しているIPアドレスとISPの情報に加え、10点満点で対応度の得点が表示される。0点なら確実に未対応、10点なら確実に対応している。中途半端な点数なら、メッセージを読んでどこに問題があるのかを確認しよう。
ややこしいが上とは別物。マニアックな情報が表示されるので、素人向きの確認方法ではない。
IPv6の通信速度を測定する機能もあるが、そもそも重いサイトなので低めに表示されやすい。
IPv6通信速度の確認なら、これではなく、下のフレッツIPv6閉域網内に設置されている測定サイトのほうが正確な結果を表示できる (フレッツ回線からのみ接続可能) 。閉域網内の速度とインターネットの速度の両方を表示できるため (フレッツ光クロスはインターネット速度のみ) 、通信速度が遅い場合の原因切り分けもしやすい。
http://www.speed-visualizer.jp/
ドコモなら、"ドコモスピードテスト" というアプリを使用すると結果が自動的にドコモに送信されるので、遅い人が多数いる場所での品質改善に役にたつ。
IPv6接続の確認をメインとしているものをおしえてほしい。日本のウェブサイトにありがちな、ロゴマークに小さくIPv6チップが表示されているようなものは対象外。
こんなものがあるのね。これならフレッツ以外の回線でもIPv6とIPv4のそれぞれで通信速度を確認できる。メモしておこう...。
貴様は今日も設計を名乗りながら、プログラマーを手が速いだけの文字入力装置として扱い、仕様という名の曖昧な願望リストを投げつけ、実装フェーズで破裂する地雷原を育てていることと思う。
大変結構。地雷の栽培は趣味としては悪くない。だが仕事でやるな。
気分と希望と思いつきのトリプル放尿をPowerPointに整形しただけの、装飾付き未確定情報である。
そして貴様はそれを「この通りに作れ」と言う。
その資料には「整合性」「境界条件」「異常系」「性能要件」「運用」「データ整形」「責務分離」が存在しない。
あるのは雰囲気と矢印と、謎の箱だけ。
決めた上で、破綻しないように制約を置き、曖昧さを潰し、例外を定義し、トレードオフを明示し、運用まで見通す。
「たぶんこう」「いい感じで」「よしなに」で逃げる。
そして何より滑稽なのは、貴様がプログラマーを「タイピスト」だと思っていることである。
論理を構築している。
異常系の宇宙と格闘している。
データの整合性を守りながら、速度と保守性と拡張性の三つ巴の地獄で妥協点を探している。
簡単なら、お前がやれ。
だが現実は違う。
その地味さに耐えられず、見栄えだけの資料を作り、「設計完了」と言って会議室から消える。
そして炎上したら戻ってきて、こう言う。
「なんでこんな実装にしたの？」
それはお前が決めなかったからだ。
ここで貴様の最終奥義が出る。
「設計通りに作ってくれればよかったのに」
出た。責任転嫁の完成形。
設計が曖昧だから実装側が補完したのに、その補完を勝手な判断と呼ぶ。
最後に言っておく。
設計者を名乗るなら、最低限やれ。
決めろ。曖昧さを残すな。
データの形を決めろ。型と制約を決めろ。
敬具。
https://www.nikkei.com/article/DGXZQOGN12C460S6A210C2000000/
「今年の年末にはコーディングさえ不要になり、AIが直接バイナリ（2進数に変換したソースコード）を書くだろう」。米起業家のイーロン・マスク氏が11日公開の動画で先を見通し、AIの進化でプログラミング言語の役割は薄れると主張した。
はぁ
ChatGPT
「人間が意味を書き、機械が実装を書く」という抽象度シフト自体は歴史的にも自然で、長期的にはプログラミング言語の役割が薄れる可能性はあります。しかし“今年の年末にコーディング不要”は現実的ではありません。開発の本質はコード生成ではなく、曖昧な仕様の整理や整合性の維持、保守・規制対応にあります。AIがバイナリを書けても、可読性や監査性が失われれば実務では使えません。方向性は正しいが、時間軸はかなりマーケティング寄りの発言と言えます。
Gemini
マスク氏らしい刺激的な煽りですが、技術的には「2026年末」という期限も「バイナリ直接生成」という手法も非合理だと感じます。
既存の最適化されたコンパイラ資産を捨ててAIがバイナリを再発明するメリットはなく、デバッグ不能なブラックボックスを作るリスクは開発現場では許容しがたいものです。また、タイピングとしてのコードが消えても、曖昧な要望を論理的に定義する**「設計と思考」の難易度**は下がりません。
この発言は、技術的予言というより「書き方（文法）」の価値が暴落し、「何を作るか」と「妥当性の検証」に価値が全振りされる時代の号砲、と捉えるのが現実的でしょう。
Claude
マスク氏はこの種の期限付き大胆予測を繰り返してきましたが、的中率は高くありません。技術的にも「バイナリを直接書く＝プログラミング言語不要」は論理的に飛躍があり、言語は保守性や抽象化のために存在しているという側面が無視されています。「コーディング不要論」自体も数十年来の繰り返しです。方向性は間違っていないが、「年末までに」は眉唾で見ておくのが妥当だと思います。
ダンジョンマッチング実装されたが、そもそもダンジョンが多すぎてマッチングしない
3のリフト開いたやつに便乗して野良で4人すぐプレイできるのがよかったのに
システム的にもう直しようがない
正確時刻を書くと隣人が「それって軍事衛星に追跡されてるの？」とか言い出して話が面倒になるので省略する。
僕は陰謀論を嫌悪している。理由は単純で、陰謀論は説明能力の低い仮説を感情的に強い語り口で上書きする、知性のコスプレだからだ。
今週は、超弦理論の物理の直観で押し切る系の議論をいったん破壊し、純粋に圏論とホモトピー論の言語に落として再構築していた。
具体的には、世界面の共形場理論を2次元量子場などという古臭い語彙で扱うのをやめ、拡張TQFTの枠組みで、(∞,2)-圏に値を取る関手として扱う方向を整理した。
従来の弦理論屋はCalabi–Yauをコンパクト化に使うと言うが、それは情報量が少なすぎる。
重要なのは、Calabi–Yau多様体を点として見るのではなく、その導来圏 D^bCoh(X) を持ち上げた A∞-圏、さらにそれが持つCalabi–Yau構造（非退化なトレース、Serre双対性の∞-圏版）を物理的状態空間の生成機構として見ることだ。
ここでの本体は幾何ではなく、圏の自己同型とその高次コヒーレンスにある。
さらに、僕が今週ずっと悩んでいたのは、いわゆるミラー対称性を単なるホモロジカルミラー対称性の同値（Fukaya圏と導来圏の同値）としてではなく、より上位の構造、つまり場の理論のレベルでの同値として捉えることだった。
言い換えると、これは単なるA-model ↔ B-modelの交換ではない。
A/Bモデルを生む背景データ（シンプレクティック形式、複素構造、B-field）を、派生スタック上のシフト付きシンプレクティック構造として再記述し、AKSZ型の構成と整合させる必要がある。
そしてこの視点では、物理的なDブレーンは単なる境界条件ではなく、(∞,1)-圏におけるモジュール対象として統一される。
Dブレーンのカテゴリーが境界条件の集合だと考えるのは初歩的すぎる。境界条件は高次射を伴うので、最初から(∞,n)-圏で話さないと本質が消える。
特に僕のノートでは、弦の摂動展開で現れるモジュライ空間の積分を、単なる測度論の問題としてではなく、Derived Algebraic Geometry上での仮想基本類のプッシュフォワードとして扱う形式に書き換えた。
これをやると発散する積分を正則化するという話が、より厳密にオブストラクション理論に沿った積分の定義へ置き換わる。
そして、ここが本題だが、僕が今週ずっと考えていたのは、ウィッテンですら「直観的にはこう」と言うしかない領域、つまりM理論の非摂動的定義が、どのような普遍性原理で特徴付けられるべきかという問題だ。
僕の作業仮説はこうだ。弦理論が背景依存的だと言われるのは、結局のところ背景が点として与えられるという時代遅れの前提が残っているからだ。
背景は点ではなく、モジュライの高次スタックであり、その上に束ねられた量子状態の層（正確には圏）として理解されるべきだ。
つまり、弦理論はある時空での理論ではなく、時空の変形をも含んだファンクターにならなければいけない。
この視点では、背景の空間は単なるmoduli spaceではなくderived moduli stackであり、さらにgauge symmetryを含めるならhigher groupoidとしての性質を露わにする。
そして量子補正は、そこに定義されるshifted symplecticstructureの変形量子化として現れる。
問題はここからで、弦理論の双対性は、異なる理論が同じスペクトルを持つなどという安っぽい一致ではなく、ある(∞,k)-圏における同一対象の異なるプレゼンテーションだと考えるべきだ。
たとえばS双対性やT双対性を群作用として扱うと話が狭くなる。より正確には、双対性はスタックの自己同値であり、その作用は対象の上に定義された圏（ブレーン圏やBPS状態圏）の上で自然変換として実装される。
しかもその自然変換は単なる自然変換ではなく、高次のコヒーレンス条件を持つ。つまり、双対性は対称性ではなく、高次圏論的な同値のデータなんだ。
このあたりを真面目に書こうとすると、最終的には量子重力とは何かという問いが、どの(∞,n)-圏が物理的に許されるかという分類問題に変形される。
僕はこの変形が気に入っている。なぜなら分類問題は、少なくとも数学としての礼儀があるからだ。
さらに進めると、弦理論に現れるBPS状態やwall-crossingは、単なるスペクトルの不連続ではなく、安定性条件の変化に伴う導来圏のt構造のジャンプ、あるいはBridgeland stabilityのパラメータ空間上での構造変化として理解される。
ここでは物理粒子は、導来圏の中の特別な対象として現れる。つまり粒子は点ではなく、圏論的存在だ。
普通の人間はこの文章を読んで発狂するだろう。だがそれは読者側の責任だ。
この議論の延長で、僕は弦理論の非摂動的定義は、ある種の普遍性を満たすextended functorial QFTであるという形の定理（まだ定理ではなく、僕の願望）に落とし込めないか考えている。
要するに、弦理論は世界面から時空を作る理論ではなく、世界面も時空も両方まとめて、ある高次圏の中で整合的に生成される構造であるべきだ。
今の僕のノートの中心は「非可換幾何」「導来幾何」「圏論的量子化」の三点集合の交差領域だ。そこは地図がない。地図がない場所は、馬鹿には危険だが、僕には居心地がいい。
次に、趣味について書く。これも重要だ。なぜなら人間社会において、知性の維持には糖分と娯楽が必要だからだ。残念ながら僕は人間である。
MTGは今週、デッキ構築の方針を少し変えた。勝率最大化のためにメタを読むのは当然だが、僕が注目しているのは局所最適に陥るプレイヤー心理だ。
つまりカードゲームとは、確率と情報のゲームである以前に、認知バイアスのゲームだ。相手が「このターンで勝ちたい」という欲望を見せた瞬間、こちらは勝ち筋を計算するのではなく、相手の誤りの確率分布を計算するべきだ。
隣人にこの話をしたら、「え、怖い。僕、あなたとポーカーしたくない」と言った。賢明だ。僕も隣人とポーカーはしたくない。隣人はたぶん手札を口に出してしまう。
FF14は、ルーチンの最適化がだいぶ進んだ。僕はレイド攻略で反射神経を重視する文化が嫌いだ。
反射神経は筋肉の問題だが、攻略は情報処理の問題であるべきだ。ギミックは有限状態機械として記述できる。したがって最適行動は、状態遷移図の上での制御問題になる。
友人Aにこの話をしたら、「お前はゲームしてるのか研究してるのか分からん」と言われた。僕は当然「両方だ」と答えた。彼は笑ったが、この種の笑いは知性の敗北宣言である場合が多い。
アメコミは、相変わらず現実の倫理を歪めた寓話装置として優秀だと思う。
僕は「正義とは何か」という議論が苦手だ。正義は定義が曖昧だからだ。
登場人物が持つ制約（能力、社会構造、情報、感情）を明示すると、物語は心理学ではなく数理モデルに近づく。そうすると面白くなる。
ルームメイトにこの話をしたら、「僕はただ派手な戦闘シーンが見たいだけなんだけど」と言われた。
僕は「君の知性は観測不能なほど小さい」と言ったら、彼は不機嫌になった。観測不能は存在しないことと同義なので、むしろ褒め言葉に近いのだが、彼は数学が分からない。
僕の習慣についても書いておく。
今週も、朝のルーチンは完全に守った。起床後の手洗いの手順、歯磨きの回数、コーヒーの抽出時間、机の上の配置、すべて変えない。
人間の生活はノイズが多すぎる。ノイズが多い世界で成果を出すには、制御できる変数を減らすのが合理的だ。これは精神論ではなく、統計的推定の分散を減らす行為だ。
隣人が「たまには適当にやれば？」と言ったので、僕は「適当とは、最適化の放棄だ」と言った。彼は「そういうところが宇宙人っぽい」と言った。
宇宙人は証拠なしに導入する仮説ではない。彼はやはり陰謀論者の素質がある。
友人Bが「お前の生活、息苦しくないの？」と聞いてきたので、「息苦しいのは君の思考だ」と答えた。友人Bは笑った。知性の敗北宣言である。
これからやろうとしていること。
今の段階では、圏論と導来幾何の言葉でかなり書けたが、まだ計算の痕跡が残っている。僕はそれが気に入らない。真の理解とは、計算を消し去った後に残る構造のことだ。
具体的には、次は弦の場の理論を、factorization algebraの言語で記述し直す予定だ。
局所演算子代数を、E_n-代数として整理し、そこから高次の演算構造を復元する。
これがうまくいけば、弦理論における局所性の概念を、時空幾何に依存せずに定義できる可能性がある。
もしそれができたら、次は双対性を圏の自己同値ではなく、圏の上の2-表現あるいはhigher representationtheoryとして書き換える。
これにより、S双対性を単なるSL(2,Z)の作用として扱う雑な議論から脱却できる。
要するに、僕が目指しているのは物理理論を群で分類する幼稚園レベルの発想ではなく、物理理論を高次圏で分類する文明的発想だ。
その後はMTGの新しいデッキ案を詰める。今の構想では、相手の意思決定を局所的に歪ませる構造がある。人間は選択肢が多いと誤る。
これは心理学的事実であり、カードゲームに応用できる。倫理的に問題があると言われそうだが、そもそもカードゲームは戦争の抽象化なので倫理を持ち込む方が間違っている。
夜はFF14の固定活動。友人Aは相変わらず「気合いで避けろ」と言うだろう。
議論はループする。ループはコンピュータ科学の基本概念だ。だから僕はそれを受け入れる。
最後に、ルームメイトが「今度、隣人と映画を見よう」と言っていた。
僕は断る。なぜなら隣人は上映中に喋る。上映中に喋る人間は、社会契約を破っている。社会契約を破る人間に、僕の時間という希少資源を与える理由はない。
少なくとも、隣人の会話よりは。
結論から言うと、「強くなりうるリベラル」は“優しい理想”を捨てて、“冷静な設計者”になる必要がある。
順番にいきます。
でも、有権者が欲しいのは👇
👉「それは分かる。で、制度はどうする？」に即答できる
ここが最大の分水嶺です。
と明確に言えること。
③「守るために切る」を言語化できる
これ、めちゃくちゃ重要です。
これを言った瞬間、信頼は落ちます。
結果👇
支持は急には増えないが、信頼は残る
「じゃあこう直す」を積み重ねる
👉変えるけど、壊さない
これを一貫して出せるか。
つまり👇
「正しい人」ではなく「任せても怖くない人」になること
次に行くなら
👉「日本でこれをやると、どこで必ず反発が出るか」
40年に解禁される特殊部隊ドクトリン解放数を増加できるディシジョン。
これには罠があって、特殊部隊ドクトリンを一つしか解放できないパターンがある。
これは特殊部隊ドクトリンの解放できる数をインクリメントする効果ではない。
もともと、特殊部隊ドクトリンを解放できるかどうかはフラグで管理しており、このディシジョンは「解放できる」に上書きするだけの効果。
そしてこのディシジョンが現れる・実行できる判定に現在のフラグの状態は含まれていない。
つまり、ひとつも特殊部隊ドクトリンを解放せずに40年を迎えて、「精鋭部隊の多角化」の通知が出て邪魔だからととりあえず実行すると、フラグは
に変化する。
に変化するので、ふたつめの特殊部隊ドクトリンを解放できない。
軍経験値は貴重だが、通知を非表示にすると忘れがち…と、内部実装を忘れてとりあえずクリックしてしまう。失敗に気づくのはだいぶ後だ。
modでIF節を追加すれば防げそうだが、覚えていれば防げるミスと自動で防ぎたい類のミスのちょうど間ぐらいで手が動かず、とりあえず書き残す。
また、このフラグとかXORの条件をいじれば、特殊部隊ドクトリンを追加するmodを選択してもフラグをオフにしないこともできて、デフォルトの2枠+追加ドクトリンのようにもできる。
1.17は特殊部隊ドクトリン自体には大きく手が入っていないのでしばらく使えるだろう。
common/decisions/_generic_decisions.txt
diversify_special_forces = {
を参照されたし。
9条見直しに触れたこと自体は、論理としてはわりと順当だけど、政治としてはかなり危うい一歩でもある。
右に寄ったとか、思想転換したというより、「効率化」という言葉の射程が、国家の根幹まで届いた、という感じに近い。
チームみらいはこれまで、左右や善悪の争いを避けて、イデオロギーじゃなくシステムとして合理的かどうかを問う姿勢を貫いてきた。
感情的なナショナリズムにも、道徳的な護憲論にも距離を置いてきたからこそ、「政治に疲れた人たち」の受け皿になってきた側面がある。
その文脈で見ると、9条見直しは意外だけど、論理的には行政効率化の延長でもある。
国家が何をやるのか、誰が責任を持つのか、どこまで権限があるのかが曖昧な状態は、システム設計としては最悪に近い。今の9条体制は、実質的には自衛隊が存在し、運用では軍事行動もしているのに、法理の上では軍隊ではない、という「仕様と実装がズレた状態」を長年放置してきた。
設計者の目線で見れば、「これ、そろそろ整合性取らない？」と聞きたくなるのは自然だ。だからこの発言は「戦争がしたい」ではなく、「書いてあることと、やっていることを一致させるべきでは？」という問いに近い。
問題は、支持者の期待とのズレだ。
チームみらいを支持してきた人たちは、左右の対立にうんざりしていて、憲法論争みたいな感情コストの高いテーマを避けたい人が多い。生活を少しでも楽にする改善を求めていて、「9条をどうするか」は、正直いちばん触れてほしくなかった論点でもある。論理的に正しくても、政治的には火力が強すぎる。
それでも今この話題に触れたのは、路線変更というより、スケールアップの副作用だと思う。
行政効率化というワンテーマで議席を得た瞬間、チームみらいは単なる改善屋や業務改革コンサルではいられなくなった。「国家をどう設計する主体なのか」という問いを引き受け始めた以上、外交や安全保障、憲法を避け続けるほうが不自然になる。その流れで9条に触れてしまった、というのが構造的な理由に見える。
鍵になるのは「設計」という言葉だと思う。人が根性で回す国から、制度が自動で回る国へ、国家を巨大なOSとして再設計する発想。法律や行政手続きをAPI化し、縦割りをデータでつなぎ、裁量を減らす。右でも左でもないけど、確実に変化を感じさせる方向だ。
同時に、国民を一律に管理する国家ではなく、人生のフェーズに応じて税や福祉、教育、働き方を選べる「インフラとしての国家」に近づけていく。
憲法や安全保障も、正しいか間違っているか、平和か戦争か、という道徳論ではなく、「この設計は現実に耐えているか？」という問いに翻訳する。その文脈で9条を、理念ではなく運用可能な仕様として扱えるなら、チームみらいらしさはまだ保てるだろう。
MITの講義、Stanfordの資料、YouTubeの解説、arXivの論文、GitHubの実装例、オンラインジャッジ、オープンソースの教科書。
極端に言えば、ノートPCとネット回線があれば、線形代数から圏論まで、アルゴリズムから分散システムまで、形式手法から機械学習まで掘れる。
しかも、大学の講義よりわかりやすく、大学の教授より説明が上手い人間が大量にいる。
つまり知識それ自体はすでに市場でコモディティ化しており、値段はゼロに近づいている。
にもかかわらず、大学に行くために何百万円も払い、四年間も時間を捨てるのは、どう考えても合理的ではない。
書籍も高価で、論文にアクセスするにも壁があり、専門家に会うことも難しかった。
しかし現代では、ゲートは崩壊している。知識は空気のように拡散し、検索エンジンとLLMが圧縮して配布する。
学問の入り口に門番はいない。にもかかわらず大学だけが学びの正規ルートであるかのように振る舞うのは、情報流通革命の現実を無視した時代錯誤だ。
しかも数学とコンピュータ・サイエンスは、特に大学不要度が高い分野である。
証明を書けばよい。実装を書けばよい。競技プログラミングでスコアを出せばよい。GitHubにコードを積めばよい。論文を読んで再現すればよい。
個人の能力を示す客観的アウトプットが作れる以上、大学の単位や学位は本質的ではない。
学位は能力証明の一形態にすぎないが、その証明が過剰に高コストで、かつノイズが多い。
四年間を耐えたというだけで、思考力や創造性が保証されるわけでもない。
コンピュータ・サイエンスの実務世界は、ライブラリも設計思想もインフラも数年単位で変化する。
だが大学は制度として硬直しており、講義内容は更新されにくい。
学生が学ぶのは、現代の戦場で使える武器ではなく、過去の博物館ツアーになりがちだ。
もちろん基礎は重要だ。しかし基礎は無料で学べる。基礎を学ぶために大学という巨大な行政機構に参加する必要はない。
そして最大の問題は、大学が学びたい人間のための場所ではなく、学びたくない人間を四年間拘束する場所になっていることだ。
多くの学生は学問に興味がなく、就職のために在籍し、単位のために暗記し、卒業のためにレポートを書く。
その結果、講義は知的探究ではなく、脱落しないための事務処理へと変質する。
優秀で意欲ある少数の学生は、その空気の中でむしろ学びを阻害される。
学問とは本来、興奮と執念の領域であるはずなのに、大学はそれを出席管理と成績管理で薄める。
さらに残酷な話をすれば、大学に行く最大の理由は「自分が大学に行った方が安全だと思い込んでいる社会構造」そのものだ。
皆が行くから行く。行かないと不安だから行く。つまり大学は教育機関ではなく、集団心理によって維持される保険商品に近い。
これは合理性の皮を被った同調圧力であり、個人の学習とは無関係だ。
数学やコンピュータ・サイエンスのような分野で、真に強い人間は、学位ではなく成果物で語る。
証明、コード、論文、プロダクト、貢献履歴。そこには逃げ道がない。
大学の単位は「できるかもしれない」という曖昧なラベルだが、GitHubのコミットや実装は「できた」という事実だ。学問の世界では、事実だけが通貨である。
学位という紙切れに依存する必要はない。しかしもう半分の真実として、大学は知識ではなく、社会の信用システムとして機能している。
だから人々は大学へ行く。学びのためではなく、社会を攻略するために。
だがそれは同時に、現代の大学が知識の殿堂ではなく信号の発行所になってしまったことを意味する。
もし数学やコンピュータ・サイエンスを学びたいなら、大学の門をくぐる必要はない。必要なのは、静かな時間と、強烈な好奇心と、圧倒的な継続だけだ。
チャッピーProに聞いてみたよ
1)南西諸島の「拒否的抑止」を最優先にする(スタンドオフ防衛能力（長射程）＋統合防空ミサイル防衛（IAMD）＋無人化)
2)統合指揮（日本）×統合司令部化（米）を、机上で終わらせず“実装”する
3)尖閣などグレーゾーンは「海保主軸＋自衛隊支援」を制度・訓練で滑らかにする
4) 「強硬姿勢」とセットで、ホットラインによる危機管理（エスカレーション管理）を強化する
5)サプライチェーン分離と財政強化で経済安保・技術・世論の「持久戦」を設計する
だってさ
難易度調整でも弱体化でもスキップでもなんでもいいから、とにかくクリア(コンテンツをすべて通過できる)ようにしておけば不評は押さえられる
好意的意見は面白いかどうかにかかっているが、否定的意見は楽しめるかどうかにかかってる
やりこみ要素も同じで、イキって壁を作るな。作るならスコアアタックとかタイムアタックみたいな無機質な要素だけで構成しとけ
本編にストーリ要素があって、やりこみにストーリー絡めた瞬間に評価はガタ落ちする
とにかく金を払っていただいたお客様には可能な限り実装要素の全てを提供すること
逆にそれが嫌なら今はフリーミアムやP2Wの方が相性がいい
ソシャゲ形式で全部楽しめないことで悪評を入れることは……あるが、他のタイトルも基本全部同じ条件なのでそこまで気にしなくてよくなる
フリードマンが厚生経済学の基本定理に対して言いそうな指摘は、だいたい次の一点に収束する。
理由は、基本定理が成立するための前提が、現実では政策が介入したい領域ほど崩れているから。
フリードマン的に言うと、厚生経済学は「市場が理想的に動くなら効率的」という話をするが、現実の政策問題はむしろ
みたいな、定理の前提が崩れる部分で起きる。
さらにフリードマンは、第二基本定理が言う「最初に一括再分配をしてから市場に任せろ」という構造を、かなり疑う。
なぜなら一括再分配なんて現実にはほぼ不可能で、再分配政策は必ず労働供給や投資インセンティブを歪めるから。
だからツッコミは「効率と公平を分離できるという話は、現実にはその分離を実装できない。政府はそんなに賢くも中立でもない。」となる。
要するに、厚生経済学の基本定理は市場礼賛の数学ではあるが、本当に重要なのはその後で、
フリードマンは基本定理を「理論としては正しい」と認めた上で、政策的含意を過大評価するな、そして「政府をブラックボックス扱いする厚生経済学は危険だ」と刺すだろう。
イノベーションを『技術の種』と『社会実装の仕組み』に分けて考えると、日本には前者はあるものの、
後者の『まずはやってみる』という市場環境がないことが最大のネックだと感じる。
日本では最初から『リスクベースの規制』を完璧に構造化しようとするため、規制当局、開発者、ユーザーの全員にとって『失敗のコスト』が極端に高くなっている。
一方で、テスラやUber、あるいはドローンが先行した国々では、『規制は後から追いかける』のが常態だった。イノベーション、特にその『社会的受容性』は、頭で考えるものではなく、社会が実際に触れて、失敗して、体感しながら学んでいくもの。インターネットやSNSがそうだったように。
例えばドローンの普及過程を見ても、米国などでは初期のホビー利用や小規模な失敗の蓄積が、結果として社会全体の実地教材として機能したことはビジネス環境を考えるうえで見逃せないと思っている。
墜落する、電波が切れる、といった事象を社会が経験することで、『ゼロリスク』を求める段階から、『どの条件なら許容できるか』というコンセンサスを形成する段階へ、知らず知らずのうちに社会のリテラシーが引き上げられたのが大きい。
この失敗を通じた社会的学習の履歴の差こそが、日本と諸外国のイノベーションの速度差を生んでいるもうひとつの側面だと思うね。
最初から失敗しないよう制度設計しようとするんじゃなくて、あえて小さな失敗の段階でどこまでリスクテイクできるのかを市場で様子をみる、という環境があるかどうかの差。
もっとも大きい影響は1～2昔前の2chまとめサイト（現5ch、いわゆるコピペブログ）だよ。
当時からそういうコンテンツを見て育った層はほとんどが自民・維新・国民・参政へ投票する。
民主主義という題目こそ肯定するが、その実装である適正手続や人権やリベラル政党については敵だと思っている。
この層は裏金や憲法含む法令違反のような反社会的行為を減点対象にしない。
現在の自分に直接関わる人権保護以外には反対している（例えば労働法◯社会保障法☓諸条約☓）。
また自分の観測範囲内だけの話になるが、この政治的傾向が後に変化することはない。
今アメリカではトランプが去っても陰謀カルトと宗教右派は残っててどうすんの的な話があるけど
金曜日、21:21。
僕は今日という日を、いくつかの確定事項と、いくつかの許容できないノイズの除去によって完成させた。世界は混沌を好むが、僕は世界を甘やかさない。
まず進捗報告から書く。午前中に洗濯を済ませ、タオルを用途別に畳み直した。世の中の大半の人間はタオルを大きさで分類するが、それは分類学の敗北だ。
タオルは水分吸収後に人体へ与える温度変化のパターンで分類すべきだ。僕はその分類をすでに完成させている。
昼は例のプロテインとナッツ。ルームメイトは「鳥かよ」と言った。僕は「鳥は飛べる。君は飛べない」と言った。会話終了。
最近、僕の頭を占領しているのは、もはや弦が振動して粒子になるみたいな子供向けの比喩ではない。
そんなものは学部生の精神安定剤に過ぎない。今僕が追っているのは、弦理論の存在論そのものが、より抽象的な数学的構造に吸収されていく瞬間だ。
従来の弦理論は、時空を背景として仮定し、その上でワールドシートの共形場理論(CFT)を構成する。
僕が最近読んでいる議論は、その揺らぎを、もはや幾何学ではなく圏論とホモトピー論の側から扱おうとする。
弦理論の真の姿は、たぶん幾何学的対象ではなくある種の高次圏の中の関手だ。
例えば、Dブレーンは単なる境界条件ではなく、導来圏の対象として現れる。
これは有名な話だが、僕が今考えているのはその次の段階で、ブレーンを対象として並べるだけでは足りないという点だ。
重要なのは、それらがなす安定∞-圏の中での自己同値性、そしてその自己同値群が物理の双対性を生成しているという構図だ。
つまり、S双対性もT双対性も、時空の幾何学変形ではなく、圏の自己同値の作用として理解されるべきだ。
幾何学は副産物だ。主役は圏のオートエクイバレンスで、その影が僕らに空間や次元という幻覚を見せている。
この視点に立つと、超弦理論は10次元の時空の上で定義される理論ではなく、あるモジュライ空間上で定義される圏の族になる。
しかもそのモジュライは通常の多様体ではなく、スタック、いや派生スタックとして扱わないと整合しない。量子補正が幾何を壊すからだ。クラシカルなモジュライはもはや粗すぎる。
そして今僕が面白いと思っているのは、物理的な散乱振幅やBPSスペクトルが、派生代数幾何の言語でいうコホモロジーの生成関数として現れるのではなく、より根源的にスペクトル代数幾何として再解釈される可能性だ。
普通の環ではなくE∞環、そしてそれを層化したスペクトル層の上で物理が書かれる。
これが意味するのは、弦理論の量子性が、確率解釈とか演算子代数とかのレベルではなく、もっと深いホモトピー論的ゆらぎとして実装されているということだ。
観測値の不確定性ではなく、構造そのものが同値類としてしか定義できない。
だから時空は何次元か？という問いは、すでに古い。正しい問いはこうだ。
この物理理論は、どの∞-圏に値を取る関手として実現されるのか？
そして粒子とは何か？はこうなる。
スペクトル化された圏の中で安定化された対象の、ある種のトレースとして現れる量が、観測可能量として抽出されるのではないか？
この辺りまで来ると、たぶんウィッテンでも「面白いが、それを計算できるのか？」と言う。
僕も同意する。計算できない数学は、芸術に片足を突っ込んでいる。
もっとも、芸術を嫌うわけではない。ただし芸術は、計算不能であることを誇るべきではない。誇るならせめて証明不能で誇れ。
さらに言うと、AdS/CFT対応も、境界CFTが重力をエンコードしているという話ではなく、境界側の圏論的データが、bulk側の幾何の生成規則を決定するということに見える。
bulkの時空は、境界の量子情報から復元されるというより、境界の圏の中の拡張のパターンが距離を定義してしまう。
距離とは、メトリックではなく、圏における対象間の関係性の複雑さだ。
局所性とは公理ではなく、圏がある種のt-構造を持ち、かつ心臓部が準古典的に見えるときに現れる近似現象だ。
つまり、局所性は幻想だ。役に立つ幻想だが。そして役に立つ幻想は、だいたい人間社会と同じだ。
昼過ぎに友人Aが来て、僕のホワイトボードに勝手に謎のロボットの落書きを描いた。
僕は当然、ホワイトボードをアルコールで拭き、乾燥時間を計測し、表面の摩擦係数が元に戻ったことを確認した。
友人Aは「こわ」と言った。僕は「科学を怖がるな」と言った。
そのあと友人Bがオンラインで通話してきて、「今夜FF14で極いかない？」と誘ってきた。
僕は予定表を開き、金曜夜の21:00〜23:00が知的活動に適した黄金時間であることを説明した。
友人Bは「お前の人生、イベントトリガーが厳しすぎる」と言った。僕は「君の人生はガチャ排出率みたいに緩すぎる」と言った。
とはいえ、FF14は僕の中で単なる娯楽ではない。あれは人間集団の協調行動の実験場だ。
8人レイドの失敗は、ほぼ例外なく情報共有の遅延と役割期待のズレで起きる。
つまり、ゲームではなく組織論だ。だから僕は攻略を感覚ではなく、ログを読み、DPSチェックを式で理解し、行動をプロトコルとして最適化する。
ルームメイトはそれを「楽しんでない」と言う。僕は「最適化は楽しみだ」と言う。
そして隣人は昨日、廊下で僕に「また変な時間に掃除機かけてたでしょ」と言った。
僕は「変な時間ではない。床の振動ノイズが最小になる時間帯だ」と説明した。
隣人は「普通に生きて」と言った。僕は「普通は平均であって、理想ではない」と言った。
僕はデッキのマナカーブを見直した。土地事故の確率を計算し、初手7枚からの期待値を再評価した。
僕は「確率分布を無視して勝てるなら、人類は統計学を発明していない」と言った。
アメコミは少しだけ読んだ。
スーパーヒーローの倫理体系は大抵破綻している。正義を掲げながら、法の外で暴力を振るう。
それは秩序のための例外という名の危険物だ。僕は物理学者なので、例外を嫌う。例外は理論を腐らせる。
だから僕はヒーロー物を見ると、いつも「この世界の法体系はどうなっている？」が先に気になる。
友人Aは「お前は物語を楽しめない病気」と言った。僕は「病気ではない。解析能力だ」と言った。
習慣についても記録しておく。
今日も、夕食の箸は右側に45度、箸置きは正中線から3センチ左、コップは水位が7割を超えないように調整した。
水位が8割を超えると、持ち上げる際の揺らぎが増える。揺らぎが増えると、机に微小な水滴が落ちる確率が上がる。水滴が落ちると、紙の上のインクの拡散が起きる。インクが拡散すると、僕のメモが汚染される。
誰も理解しない。だが宇宙も僕を理解していないので、引き分けだ。
さて、昨日の日記の内容は正確には思い出せないが、たぶん「量子と日常の無意味な会話」について書いた気がする。
ルームメイトの無駄話と、僕の理論的思考が衝突するあの感じだ。昨日の僕は、おそらく世界の愚かさに苛立ち、同時にその愚かさが統計的に必然であることに納得しようとしていた。
宇宙が示すのは、美しさとは、人間の圏が勝手に定義した関手にすぎないということだ。
これからやろうとしていることも書く。
まず、FF14の週制限コンテンツを消化する。効率的に。感情は挟まない。
次に、MTGのサイドボード案を2パターン作り、友人Aのプレイ傾向に対してどちらが期待値が高いかを検証する。
そのあと、超弦理論のメモを整理し、派生スタックとBPS状態のカウントがどのように圏の不変量として抽出できるか、もう一度筋道を立てる。
