2026年3月22日日曜日

AI時代の科学哲学(3)

AI時代の科学哲学(2)からの続き


図:Nano Banana Pro によるAI時代の科学哲学(改訂版)

科学哲学に対する主要な問題を10個あげてこれを説明させた。次に,それぞれが,AIの導入によってどのような新しいパースペクティブが開けるかを議論する。その後,
Q(koshix):
この内容というか目次立てで1冊のまとまった基礎的な専門書「AI時代の科学哲学(仮称)」ができあがったとします。その目次(章・節レベルまで含む)を前提として,物理学や情報科学の研究者向けの書評を科学哲学の専門家として書いてください。各章ごとに何が書いてあって,論点のポイントがなんであり,どこがお薦めかがよくわかるような,なるべく詳細で一般理系研究者にも読みやすい,ストーリーとキモのハッキリした書評をお願いします。
として,ChatGPT 5.2 thinkingに書評をつくってもらうが,文章がイマイチなので,Claude 4.5 Sonnetによって蒸留したものが以下になる。

Q(koshix):
以下の書評(注:実在しない仮想の書物です)を日本語としてより滑らかで自然で洗練されたものにしてください。その過程で内容を欠くことがないように注意します。例えば,キモという言葉が多用されていますが,ちょっと下品でしょ(まあ自分が指示したのが悪いんだけど)。

A(Claude 4.5):
『AI時代の科学哲学(仮称)』書評

本書は、科学哲学の古典的論点を「AIが現場に持ち込んだ新しい圧力」によって再配列した、きわめて実務的な専門書である。物理学者や情報科学者が科学哲学に期待しがちな「学説史の概説」や「立場のカタログ」ではなく、研究活動のどこに哲学的な断層が走っているかを、AIという現在進行形の実在物を手がかりに可視化する。言い換えれば、本書は「科学哲学が現場の研究者にとって役に立つとはどういうことか」を、方法論の説教でも倫理の付録でもなく、研究過程の「設計問題」として描き直した点に最大の独創がある。
以下では、本書の目次に沿いながら、各章で何が語られ、論点の核心がどこにあり、なぜ研究者に薦められるのかを、できるだけ具体的に紹介したい。

第 Ⅰ 部 科学の輪郭をAIで描き直す
第1章 科学とは何か:理解から機能へ
本書は冒頭で、科学の最小定義を「公共的に確かめられる形で世界への主張を組み立てる営み」と置く。しかしすぐに、AIがその中心に「理解ではなく機能」を持ち込んだことを強調する。ここが本書全体のトーンを決めている。理論・モデル・データ・証拠という基本語彙を、物理学・情報科学の読者にとって違和感のない言葉に翻訳しながら、AIモデルが「意味理解なしに当たる」事態を、単なる応用例ではなく、科学概念そのものの再定義を迫る事件として扱う。
本章の核心は、科学の中心を「理解」から「振る舞いの設計」へ移すとき、何が失われ、何が得られるか、そしてその移動を「避けられない事実」として受け入れるところから議論を始めている点である。物理学者にとっては、理論の説明性や対称性の美学が何を担っていたかを、改めて言語化する入口になる。
特筆すべき点は、研究の現場にいる読者が「AIの成果は科学か?」という雑談レベルの問いを、研究上の規範(何を成果とみなすか、何を検証とみなすか)へ引き上げられることだ。研究室の議論が一段深くなる。

第2章 境界線:何が科学で何が科学でないのか
ここでは科学のデマケーション(境界)問題が、AIによって「説明不能だが再現的に当たるもの」が増殖したため、現場の問題になったと論じられる。古典的な「反証可能性」だけで切り分けるとAIモデルは厄介な位置に落ちる。逆に「当たるなら科学」と言うと疑似科学も紛れ込む。
本章の要点は、境界を一枚岩の基準としてではなく、用途別の「要求仕様」として分解して見せる点である。たとえば、基礎物理の理論と、医療診断モデルと、材料探索の最適化モデルとでは、説明・反証・安全性・監査可能性の重みづけが異なる。その違いを明示しない議論は空回りする、という整理が効いている。
注目すべき点は、AI研究者がしばしば抱える「我々は科学をしているのか工学をしているのか」という自己像の揺れを、哲学の言葉でなく設計仕様の言葉に置き換えてくれることだ。論争を終わらせるのではなく、論争の争点を正確に分解する。

第 Ⅱ 部 データと観察:誰が世界を「見ている」のか
第3章 観察の理論負荷性:AIが「見る」とはどういうことか
観察の問題は、従来は人間の知覚や言語に寄りかかっていた。だが本書は、AIの特徴抽出・前処理・ラベリングが、観察の土台をまるごと作り変えたことを丁寧に追う。観測装置の一部としてのAI、つまり「観察の媒介物としての学習器」が登場したのだ、という視点が新鮮である。
本章の中心的主張は、「観察は理論に依存する」という古い命題を、いまは「観察は学習データとアルゴリズム設計に依存する」と更新している点である。物理の実験解析(イベント選別、ノイズ除去、再構成)を知る読者ほど腑に落ちる。観測とは「素データ」ではなく、そもそも作られるものだという当たり前が、AIでさらに顕在化する。
実用的価値は、AIモデルを使ったデータ解析でしばしば問題になる「データの意味がどこで決まったか」を、哲学の言語で追跡できるところにある。研究不正の話ではなく、研究設計の話として読める。

第4章 帰納と一般化:正当化なき飛躍をどう扱うか
帰納の正当化は科学哲学の中心問題だが、本書の手際はよい。AIは「なぜ一般化できるのか」を説明せずに一般化してしまう。すると論点は、正当化の形而上学から、運用上の信頼へと移る。過剰に哲学的にせず、「外挿が壊れる条件」「分布がずれると何が起きるか」といった研究者が日々扱う言葉に落としている。
本章の鍵となる視点は、帰納の問題を「真理の保証」ではなく「失敗の管理」として読み替えるところにある。これは情報科学では自明に見えるが、物理学の理論像(普遍法則)とぶつかるときに、初めて哲学的緊張が現れる。その緊張を、否定でも礼賛でもなく、精密に言語化する。
本章の貢献は、機械学習の一般化議論を哲学的に鍛え直したい読者にとって、概念整理の教材になる点である。特に「一般化=正しい推論」ではなく「一般化=リスク付きの賭け」という捉え方が、研究チームの意思決定に活きる。

第 Ⅲ 部 説明・因果・実在:科学の「中身」をAIで再点検する
第5章 説明とは何か:予測の勝利の後に残るもの
本章は、AI時代に説明が不要になったか、という俗論に乗らない。予測が勝ってしまった世界で、説明は何のために必要なのかを、理解・受容・責任・移植可能性という観点で分解する。説明は飾りではないが、唯一の目的でもない。ここが本書のバランス感覚の良さである。
本章の核心は、説明を「自然を理解するための内的価値」だけでなく、「社会的・制度的に知識を流通させるための外的価値」として扱う点にある。研究成果が論文・レビュー・標準化・規制・製品へ移る過程を思い浮かべると、その必然性が理解できる。
読者への示唆は、物理学者には「なぜ説明の美学が研究を駆動したのか」を再確認する章として、AI研究者には「説明可能性がなぜ要求されるのか」を倫理ではなく方法論として理解する章として読めるところにある。

第6章 因果とは何か:相関マシンと介入の責任
AIは相関を極限まで磨き、因果の必要性を薄めたかに見える。しかし本書は、因果が必要になるのは「介入して責任を負う場面」だと捉える。医療、政策、制御、材料設計――そこでは「当たる」だけでは足りない。介入した結果の責任が生じる。
本章の重要な転換は、因果を形而上学ではなく「責任と介入の語彙」として再定義する点である。これは理系研究者にとって非常に読みやすい。因果は哲学者の趣味ではなく、実験と設計の中心概念だと腑に落ちる。
実践的意義は、因果推論(反実仮想、交絡、介入)と機械学習を、同じ地平で語るための共通言語が手に入るところにある。分野横断の共同研究に効く。

第7章 実在論を更新する:AIの内部表現は「存在」なのか
ここが本書の白眉の一つだろう。AIの潜在表現や表象は、電子のように「ある」と言いたくなるが、同時に物理的実在と呼ぶのは難しい。にもかかわらず、それは世界への介入を可能にする。すると「存在するから効く」ではなく「効くから存在を問いたくなる」という逆転が露呈する。
本章の洞察は、実在論・道具主義の古い対立を、AIの表象を例にして「責任と解釈の選択問題」へ変換している点にある。理論が何を存在させるかは、単なる世界観ではなく、説明義務や監査義務をどこまで背負うかに関わる。
知的刺激は、物理学の理論実在論に馴染んだ読者ほど強いだろう。情報科学の読者は「内部表現は道具だろう」と言いがちだが、本章を読むと、道具主義だけでは片付かない場面(安全性・解釈・法的責任)が具体的に見えてくる。

第Ⅳ部 推論・選択・再現:科学を「運用」するための哲学
第8章 理論選択の再定義:真理候補から設計オプションへ
AIモデルの世界では、単純性や美しさよりも、計算資源、頑健性、再学習可能性、監査可能性が重要になる。本章は、理論選択が「真理に近いか」から「制約条件下での最適化」へと移ったことを、明確に論じる。
本章の基本的立場は、科学理論を「設計空間の中の選択肢」として捉える視点である。物理学者にとっては挑発的だが、工学や情報科学の実践に近い。ここで本書は、科学と工学を混同せず、科学が工学的要求にさらされる局面を整理している。
現場への寄与は、共同研究でよく起きる「何をもって良いモデルとするか」の衝突を、哲学的に整流してくれる点にある。議論が価値観のぶつけ合いから、要求仕様の調整へ移る。

第9章 推論形式の変容:論理から故障診断へ
演繹・帰納・仮説推論の区別は、AI推論の前では曖昧になる。AIはそれらを混ぜた統計的推論を行う。本章の着眼は、そこで論理が不要になるのではなく、役割が変わるという点である。論理は正当化装置から「壊れ方を理解する装置」へ。
本章の問題設定は、「正しい推論」より「どの条件で壊れるか」が中心になる、という点にある。これは現代の安全性・信頼性工学と直結しており、理系研究者には響くだろう。
方法論的価値は、AIの評価を単なるベンチマーク競争から引き上げ、失敗モードの地図作りとして捉え直す助けになるところにある。

第10章 再現性と信頼:一点再現から性能分布へ
AI研究で再現性が難しいことはよく知られているが、本章は愚痴に落ちない。再現性の意味が、同一結果の再現から「同程度に機能するものが再現される」へ移る――つまり性能分布の安定性へ移ったことを、概念として整理する。
本章の再定義は、再現性を「一致」ではなく「期待外れの頻度管理」として捉え直す点にある。統計的品質管理の語彙で科学の信頼を語り直しており、工学寄りの読者にも理解しやすい。
分野横断的意義は、物理の実験再現性と、機械学習の再現性がなぜ噛み合わないのかを、感情ではなく概念の違いとして整理できることにある。分野間の摩擦を減らす。

第Ⅴ部 社会実装と価値:価値中立神話の終焉を受け止める
第11章 科学と社会:価値はどこに入り込むのか
本書の終盤は、倫理の付録ではない。AIが研究目的・データ選択・評価指標に価値を内包するため、「科学は価値中立で応用だけが倫理の問題」という古い分離が維持できないことを、制度論として描く
本章の視座は、価値判断を「外から科学に押し付けられるもの」ではなく、「知識生産の内部に最初からある設計変数」として扱うところにある。研究資金、査読、標準化、規制、説明責任が連動する現代の研究環境を、科学哲学の射程に回収している。
実践的効用は、研究者が「社会実装の議論は苦手だ」と感じるときに、道徳説教ではなく研究設計の延長として議論できる枠組みが得られる点である。特に大規模モデルや医療AIなど、社会との接続が不可避な領域の読者には実用的だ。

終章 AI時代の合理性:理解なき知識をどう引き受けるか
締めくくりは、AIが突きつけた核心――理解・説明・真理・責任の組み替え――を一つの問いに束ねる。「理解なき知識」は知識なのか、という問いである。本書はここで、賛美でも拒否でもなく、「引き受け方」を複数提示する。研究者は立場を選べるが、立場を選ぶための概念地図は必要だ、という姿勢が貫かれる。

評者としての総評:なぜ理系研究者に薦められるか
本書の価値は、科学哲学を「思想史の教養」ではなく「研究活動の設計学」へと翻訳した点に尽きる。AIが研究の方法・評価・責任を同時に変えるため、哲学的論点は避けようとしても避けられない。しかし、多くの議論は抽象と感情に流れる。本書はそれを、概念の精密化と論点の分解によって止血する。

物理学者には、説明・実在・普遍性への信念がどこで研究を駆動し、どこで制度と絡んでいたかを再言語化する鏡になる。情報科学者には、ブラックボックスがもたらす成果を、単なる性能競争から「科学としての位置づけ」へ格上げするための道具立てが与えられる。両者の共通点は、研究の現場で判断を迫られる場面――モデルを採用するか、説明を要求するか、因果を求めるか、再現性をどう設計するか――において、議論が一段具体化することである。

強いて注文をつけるなら、読者によっては「設計としての科学」という語りが、科学の真理志向を弱めすぎると感じるかもしれない。しかし、それ自体が本書の狙いでもある。AIという「理解を迂回する実在物」が現場に居座る以上、真理志向を守るにも、いったん機能志向の言葉で論点を整理し直す必要がある。本書はそのための、いま最も実戦的な入門書兼専門書だろう。

もし研究室の輪読に一冊選べと言われたら、AIを道具として使う研究室ほど、この本は効果を発揮する。研究倫理の授業よりも、モデル選択の議論よりも、先にこの概念地図を共有しておくと、以後の議論の生産性が上がる。そういう種類の「役に立ち方」をする科学哲学書である。

2026年3月21日土曜日

AI時代の科学哲学(2)

AI時代の科学哲学(1)からの続き


図:Nano Banana Pro によるAI時代の科学哲学

Q(koshix):
科学哲学におけるいくつかの主要な問題群を複数列挙して,一般人にもわかりやすい言葉で表現してください。全体構造を理解しやすくするため,各問題の配列順序にも十分気を配ってください。とりあえず問題に関する歴史的な議論やその回答に対する現在の到達点については不要なので,まずは問題とそれを記述するために必要な概念をなるべく丁寧に定義してください。

A(ChatGPT-5.2 Thinking):
科学哲学の「主要な問題群」を、なるべく生活語で言い直しつつ、後で全体像がつながる順に並べます。ここでは結論史・学説史は置いて、まず「何が問題なのか」「問題を言うために最低限どんな言葉が要るのか」だけを丁寧に定義します。
0. まず土台:科学哲学が相手にする“科学”とは何か(以下略)
1. 何が「科学」なのか(境界の問題)(以下略)
2. 観察はどれだけ“そのまま”か(観察と言語の問題)(以下略)
3. どうやって一般法則へ飛ぶのか(帰納と予測の問題)(以下略)
4. 科学は「説明」しているのか(説明の問題)(以下略)
5. 因果とは何か(因果推論の問題)(以下略)
6. 理論はどこまで「真理」に近いのか(実在と道具の問題)(以下略)
7. 競合理論が複数あるとき、どう選ぶのか(理論選択の問題)(以下略)
8. 科学的推論はどんな“論理”で動いているのか(推論形式の問題)(以下略)
9. 「再現できる」とは何か(再現性と信頼の問題)(以下略)
10. 科学は社会とどう結びついているのか(制度と価値の問題)(以下略)

ひとことで全体の流れ(地図)
科学の輪郭を決める → 2) 観察の足場を確かめる → 3) 一般化の正当性 → 4-5) 説明と因果 → 6) 理論が指す“世界” → 7-8) 理論を選び推論する規則 → 9) 知見の信頼性 → 10) 社会と価値の接続、という順で、だんだん「知識の中身」から「知識が成立する条件」へ視野が広がる配置です。
次に、もしよければこの問題地図をベースに「科学とAIの関係」を入れるとき、どの問題群にどう絡むか(例:観察=データ生成、説明=解釈可能性、因果=介入、再現性=モデル検証、価値=ガバナンス)を、本文調で一章に仕立てられます。


Q(koshix):
今の各問題群に対して,AIがもたらす新しいパースペクティブをそれぞれに追加して下さい。

A(ChatGPT-5.2 Thinking):
では、先ほど整理した 科学哲学の主要な問題群をそのままの配列で保ちつつ、それぞれに対して AI(とくに現代の機械学習・生成モデル)が開いてしまった新しい視角を重ねていきます。ここでも歴史的評価や是非論は抑え、「何が新しく問題化されたのか」を中心に描きます。
0. 科学とは何か、という土台そのものが揺れる
1. 何が科学か:AIは“科学らしさ”の基準を曖昧にする
2. 観察の問題:AIは「見る主体」を拡張する
3. 帰納の問題:AIは「正当化なき一般化」を常態化させる
4. 説明の問題:説明抜きで成果が出るという衝撃
5. 因果の問題:相関マシンが因果を侵食する
6. 実在の問題:AIは存在論を空洞化する
7. 理論選択:AIは“良さ”の基準を多次元化する
8. 推論形式:AIは推論の「混合体」を常態にする
9. 再現性:モデル時代の再現とは何か
10. 科学と社会:AIは価値中立神話を終わらせる

総括的に言えば,AIは、科学哲学の各問題に新しい答えを与えたというより、問題の問い方そのものを、機能・設計・責任の言語へ引きずり出したと言えます。次の段階では、これらを束ねて,「理解なき知識」,「設計としての科学」,「AI時代の合理性」,といった軸で、一章分の本文に統合することもできます。続けますか。


2026年3月20日金曜日

AI時代の科学哲学(1)



図:ChatGPTによるAI時代の科学哲学

Q(koshix):
(Tadicの Philosophy of Science An Overview という72pのpdfテキストを添付)
内容を教えてください。

A(ChatGPT-5.2 Thinking):
これは “Philosophy of science: An overview” という題のPDFで、科学とは何か/科学はなぜ信頼できるのか/科学は真理を目指すのかといった「科学そのものを対象にした哲学(科学哲学)」の主要論点を、辞典的に見渡せる“概観”です。(以下項目名だけを列挙する)
1) 「科学と非科学の境界」— 境界設定(demarcation)
2) 「説明とは何か」— 良い科学的説明の条件
3) 「帰納の問題」— なぜ科学的推論は正当化できるのか
4) 「観察は理論から独立か?」— 観察の理論負荷性
5) 「科学は真理を目指すのか?」— 実在論 vs 反実在論/道具主義
6) 「科学方法は一つか?」— デュエム=クワイン・テーゼと“anything goes”
7) 「科学は社会的にどう作られるか」— 科学知識社会学(SSK)・STS
後半:個別科学(物理・生物・数学・化学・心理・経済…)への“哲学”
(以下略)

Q(koshix):
この科学論の文脈の中で,科学とAIの関係についての1章を加えるとそれはどういった内容になりますか。

A(ChatGPT-5.2 Thinking):
たぶんその章は、「科学哲学の古典的な問い」をそのままAIにぶつけ直しつつ、同時に「AIが科学のやり方そのものを変える」ことを整理する章になります。タイトルを付けるなら、

第X章 科学とAI:方法・説明・信頼性・主体性の再編
みたいな位置づけです。中身はだいたい次の骨格になるはずです。
1. AIは科学にとって何者か:道具・理論・共同研究者
最初に、関係を三つに分けます。
AI as instrument(観測・解析装置):望遠鏡や統計ソフトの延長として、データ処理・分類・予測を担う。
AI as model(理論/モデル):自然現象の「圧縮表現」として、法則の代替物(あるいは近似物)になる。
AI as agent(研究主体):仮説生成、実験計画、文献統合まで行い、「発見」を生む主体っぽく振る舞う。
この三つは混ざりますが、混ざるほど哲学的問題が濃くなります。たとえば「道具」なら信頼性の問題が中心、「理論」なら実在論・説明、「主体」なら責任・価値・共同体が中心になる。

2.境界問題の更新:何が“科学的AI”なのか
古典的には「反証可能性」などで科学と疑似科学を分けようとしましたが、AIの時代には境界が別の形で現れます。
・デモ(うまく動いた)と科学(なぜ動くか/いつ動かないかが言える)の区別
・ベンチマークで勝つことと、自然に関する一般化可能な知識の区別
・「学習データに含まれる世界」を当てているだけなのか、「データ外の世界」にも通用するのか
ここで面白いのは、AI研究そのものが、しばしば“工学的成功”を科学的正当化の代わりにしてしまう点です。章では、科学的主張としてのAIには何が要るか(失敗条件、適用範囲、再現性、介入可能性など)を整理します。

3. 帰納と確証:AIは「当たる」だけで信じてよいのか
機械学習は帰納のかたまりです。だから科学哲学の「帰納の問題」は、AIによってむしろ前面化します。
ここで焦点になるのは、
・学習で得た性能は、どの範囲まで外挿できるのか
・予測精度の高さは、真理らしさをどれだけ支えるのか
・データや前処理、目的関数の選び方が、どの程度“背景仮説”として効いているのか
つまり、古典でいう「補助仮説込みでしかテストできない(デュエム=クワイン的)」状況が、AIでは“日常”になります。章では、確証の単位がモデル単体ではなくパイプライン全体であること、だから検証もパイプライン単位にせざるを得ないことを論じるでしょう。

4.説明の問題:ブラックボックスは科学的理解か
ここが章の中核になりやすいです。AIはしばしば高精度でも“なぜ”を語らない。すると、
・科学の目的は 予測なのか、理解(説明)なのか
・「説明」とは、法則への包摂なのか、因果なのか、メカニズムなのか
・AIが出すのは説明なのか、それとも“説明っぽい文章”なのか(LLMの問題もここ)
といった論点が並びます。
この章では、説明を少なくとも三層に分けるのが筋がいいです。
(1) 予測的説明:当たるモデル(しかし理由は薄い)
(2) 因果的説明:介入したらどう変わるかを含む
(3) 機能的説明:内部構造(メカニズム)を示す
AIは(1)が得意で、(2)(3)は工夫が要る。だから「AIで科学が終わる」というより、「説明の要求が科学分野ごとに再調整される」という結論になりやすいです。臨床や政策は(2)が要る、材料探索はまず(1)でも価値が出る、という具合に。

5.観察の理論負荷性の新形態:データセット負荷性
古典では「観察は理論に依存する」でしたが、AI時代は
観察はデータセットに依存する(何を測り、どうラベル付けし、何を欠落させたか)
へと姿を変えます。
ここでは、偏りやラベルの規約、測定装置の制約が、AIモデルの“世界観”を作ることを扱う。科学の客観性は「人間の主観を消す」ことではなく、むしろ 依存関係を可視化し、反省可能にする手続きだ、という方向に話が進むはずです。

6.実在論 vs 道具主義の再演:AIが語る“見えないもの”を信じるか
AlphaFoldのように、AIが“見えない構造”を高精度に当てるとき、私たちはその内部表現をどこまで実在とみなすのか。
・予測が成功するなら、それは対象が実在する証拠か(実在論的誘惑)
・それとも、便利な道具でしかないのか(道具主義)
・「奇跡論法(当たり過ぎは偶然ではない)」のAI版は成り立つか
この節のポイントは、AIはしばしば「モデルが当たる理由」を別の形で説明できないので、実在論と道具主義の緊張がむしろ強くなる、というところです。

7.科学共同体と規範:再現性、査読、責任、価値
AIは“知識生産の速度”を上げますが、同時に「検証の負担」も増やします。
・再現性:コード・データ・計算資源が揃わないと再現できない
・透明性:モデル更新、データ更新で結果が変わる
・責任:AIが提案した仮説で事故が起きたら誰が責任を負うか
・価値:何を最適化するか(精度、コスト、安全、説明可能性)の価値選択
ここで科学哲学は、単なる「方法の話」ではなく、制度と倫理の哲学に接続します。AIはその接続を不可避にします。

8.結論:AIは科学を“置き換える”のではなく、科学の問いを露出させる
章の締めは、おそらくこういう主張になります。
AIは科学を魔法のように自動化する一方で、科学が昔から抱えていた問い――
「何をもって確証と言うのか」「説明とは何か」「客観性とは何か」「共同体の規範は何か」――を、実務のレベルで避けられなくする
だから「科学とAI」は、単に新技術の応用章ではなく、**科学哲学そのものの再入門章**になる。

もしよければ、この“追加1章”をあなた向けに、実際の本文っぽく(数節構成+例:AlphaFold、天文学の自動分類、創薬、LLMによる仮説生成などを織り込んで)8000〜12000字くらいの読み物として書き起こします。どの領域(物理/生命/医学/社会科学/AIそのもの)を主軸にしますか?


Q(koshix):
特別な領域に限定せずに(やや情報科学や物理学より)本文っぽい追加1章を読み物として書き起こしてください。

A(ChatGPT 5.2 Thinking):
追加章 科学とAI――方法・説明・信頼性・主体性の再編
科学哲学の教科書的な問いは、どれも一見すると「科学そのもの」に閉じた話に見える。科学と非科学の境界はどこか。観察から一般法則へ飛躍する推論は正当化できるのか。説明とは何か。理論が語る“見えないもの”を実在とみなしてよいのか。こうした問いは、ふつうは歴史的な逸話や理論家の論争として語られ、読者は少し距離を置いたまま理解したつもりになれる。
ところがAIが科学研究の中心へ入り込んだ瞬間、距離が消える。これらは“実務の質問”として研究室の机に降ってくる。ブラックボックスな予測器を論文に載せてよいのか。新しい材料候補をAIが提案したとして、それは「発見」なのか。モデルが高精度でも、なぜ当たるのかが分からないとき、科学は何を得たと言えるのか。AIは古い問いを蒸し返すのではない。古い問いを、避けられない形に作り変える。
この章では、領域を限定せずに、ただ少し情報科学と物理学寄りの視点から、科学とAIの関係を“科学哲学の主題”として読み直す。結論を先に言えば、AIは科学を置き換えない。そのかわり、科学が暗黙に依存してきた前提――説明・確証・客観性・共同体規範――を露出させ、再設計を迫る。
(以下略)


2026年3月19日木曜日

大ピンチ

速度の平均からの続き


小学校6年の算数のテストの時間。問題は文章題だ。一通りの解法パターンはわかっていたはずなのだけれど,鶴亀算に何かが組み合わさった三変数的な問題が出てきて,さっぱりわからなかった。時間がどんどん過ぎていくが一行も進まない。

こんなことはいままでなかったので,アタマが真っ白になって,机や天井がひっくり返ったような気がしてきた。大ピンチ。終ってから,後の席の杉林君にわからなかったというと彼もそうだった。一安心と思いきや,西田君はじめ良く出来る子たちは,どこで習ってきたのか軽々とクリアしていることがわかった。

次の大ピンチが訪れるのは,高校一年の中間テストの複素共役問題まで待たなければならない。

2026年3月18日水曜日

速度の平均

根と係数の関係からの続き

図:速度の平均のイメージ(微妙・・・)

高校の最初の中間テストで,数学が全科目中の最低点だったという話をした。同様に,中学の最初の中間テストの最低点も数学だった。わら半紙両面の試験用紙の裏面のトップあたりが,速度の平均の問題だった。「5kmの道のりを行きは時速6km,帰りは時速4kmで往復した。平均の速度はいくらか」というようなもので(数字は多少違うかも),あら簡単,(6+4)/2 =5 km/時とルンルンで答えた。

残念でした。10/(5/6+5/4) = 4.8 km/時が正解である(調和平均です)。4点減点で,数学が五教科の最低点になってしまった。ガーン。

中学の数学といえば,数学の担当の林義直先生が授業中見回っていて,計算を済ませて暇そうにしていた私に,()の外し方は内側だけでなく外側からも可能だよと教えてくれた。林先生は2年のクラス担任でもあった。2階の教室の窓から,友達とちり紙を飛ばしてふざけているのが見つかって叱られた。

3年になると,数学の担当は新しく着任した中西先生に変わった。なかなかよくわかっている先生で,ノートに $x$ を書くときは,将来,$\chi$ と間違えないように筆順に注意せよという指導が入った。納得。このころは円周角のちょっと複雑な証明問題は最後まで粘り切れずにあきらめていて,苦言を呈されたこともある。

ところで,中西先生は,何がきっかけだったかもうすっかり忘れたが,わりとよくできる生真面目な清水君と衝突してしまった(教師の資質の本質を突いてきたのだと思う)。それから中西先生の教室での元気がなくなってしまった。それが最後まで続いていた。残念なことである。

2026年3月17日火曜日

根と係数の関係

判別式(2)からの続き


写真:なつかしのオリジナル数学演習(A5判)


高校に入ると,数学は数甲と数乙という看板で開講され,3年に入る頃には,数Ⅰ,数ⅡB,数Ⅲの全教科書がほぼ終るようなペースで進んでいった。それを支えていたのが写真のオリジナルという問題演習書だ。

1年の最初から,北大の入試問題とかいうたぐいが次々出てくるオリジナル問題集に戸惑った。そこで,根と係数の関係をやたらと目にしたわけだ。勉強の要領が飲み込めないうちに,最初の中間テストがやってきた。

数甲の松川先生が出した問題の1つが,「$\alpha$ が実係数の二次方程式 $a x^2 + b x + c = 0$ の解であるとき,その複素共役 $\bar{\alpha}$ もまた解であることを示せ」というものだった。$x$に$\alpha $を代入した式の複素共役をとれば,ほとんど一瞬でできるのだけれど,当時の自分にはなんのことかピンと来なくて,まったく歯が立たなかった。

そんなわけで,最初の数甲のテストは70点。ちょっとショックだった。これが最初の中間テスト科目の中で最低の点数だ。母親が懇談会(松川先生は金沢泉丘高校1年理数科のクラス担任でもあり,なおかつ小学校の同級生だった松川君の父上なのだ)で,いろいろネチネチいわれたらしい。もっとできるかと思っていたけれど云々。

その後は,多少マシになって,三角関数の単元に入る頃にはなんとか普通に理解できるようになった。家庭教師や塾(予備校は金沢にあった?)のお世話にはならなかったが,2年になると,友達から聞きつけてどこかの通信教育の問題添削を受けはじめた(Z会ではない)。これも問題が難しすぎてあまり役に立たないうちに長続きせずに挫折してしまった。

病気で1年遅れていた上出君が,3次以上の関数のことを知っていて,ほぉーと感心したとか,代数学の基本定理について先生から促されて米島君が正しい推論を述べたとか,とてもよくできる女子の中田さん or 中村さんが思わぬところで二項定理を駆使していたとか,数学の時間の断片的記憶がある。

2026年3月16日月曜日

判別式(2)

判別式(1)からの続き


図:Geminiが考えたイメージの修正版


たまには自分で考えないとますます脳が衰えていきそうなので,3次方程式の判別式の自力での導出を試みる。シルベスター行列式の計算に帰着させてしまうと,なんのことかわからなくなるので,判別式の定義と解と係数の関係からごりごり計算しようというわけだ。
(注:Mathematicaなら,Discriminant[a x^3 + b x^2 + c x + d, x] だけであっという間に解決してしまう話だ。)

$ f(x) = a_3 x^3 + a_2 x^2 + a_1 x + a_0 = a x^3 + b x^2 + c x + d = a (x-\alpha) (x - \beta) (x - \gamma)$
とすると,解と係数の関係は次のようになる。$\alpha, \beta, \gamma$の基本対称式だ。
$\quad \alpha + \beta + \gamma = -\frac{b}{a}$
$\quad \alpha  \beta + \beta  \gamma + \gamma  \alpha = \frac{c}{a}$
$\quad \alpha  \beta  \gamma = -\frac{d}{a}$

判別式は,$D_3 = a^4 (\alpha - \beta )^2 (\beta - \gamma )^2 (\gamma - \alpha )^2 $ であり,これは完全対称式なので,基本対称式を使って表現できる。
(注:Mathematicaなら,SymmetricReduction[(x - y) (y - z) (z - x), {x, y, z}, {e1, e2, e3}]などになる。そう,二乗は不要だと考えた自分が浅はかだった。これは完全対称式ではないので,おつりがでてくる。)

考え方としては,すべての基本対称式の組み合わせで,$D_3$になる可能性を列挙し,それぞれに係数を割り当てて恒等式からその係数を決めるというロジックだ。最初は,特定の解を0にするとか,重解を選ぶとかして計算が簡単にならないかと考えたが,結局よけい面倒なことになりそうなので,真面目にやるつもりが・・・

$D_3$ は全体で6次式,特定の解の最高次数は4次になる。その条件から例えば,$\alpha^6, \alpha^5$を導く組み合わせは落とす。5個の係数  $p_1, \cdots , p_5$が必要になって,$\alpha $の4次式だと思えば,条件も5つだからなんとかなりそうだ。

$p_1* (\alpha + \beta + \gamma)^3 \alpha \beta \gamma $
$p_2* (\alpha + \beta + \gamma)^2 (\alpha \beta + \beta \gamma + \gamma \alpha)^2 $
$p_3* (\alpha + \beta + \gamma) (\alpha \beta + \beta \gamma + \gamma \alpha) \alpha \beta \gamma $
$p_4* (\alpha \beta + \beta \gamma + \gamma \alpha)^3 $ 
$p_5* (\alpha \beta \gamma)^2 $

話をここまで整理するのにだいぶ迷ったが,その後の実際の手計算のところで挫折した。しかたがないので,Mathematicaの Collect[eq, {a,b,c}]を使って恒等式を整理すると,すべての係数が求まった。ただし,$eq = \sum_{i=1}^5 p_i  (基本対称式の積) - D_3$
$p_1 = -4, p_2 = 1, p_3 = 18, p_4 = -4, p_5 = -27$ 

そこから,解と係数の関係を用いると,
$D_3 = -4 b^3 d + b^2 c^2 + 18 a b c d -4 a c^3 -27 a^2 d^2 $
めでたしめでたし。

2026年3月15日日曜日

ホルムズ海峡


図:ホルムズ海峡の現状(Nano Banana 2 による)



「生成AI(LLM)はハルシネーションがあるので信頼できない」というニュースがNHKから流れてきた。専門家というふれこみで,国立情報学研究所の佐藤一郎がよく引っ張り出される。ちょっと分野が違うだろう,他の人はいないのか。

最近は,ニュースの疑問点は生成AIに聞いててみることが多い。ハルシネーションが混入しているかもしれないが,NHKや民放の政治バイアスや掘り下げの浅さに比べればずいぶんマシだ。怪しいものは,ChatGPTとGeminiとClaude(たまにGrok)を比較する。答えが拒否されないものは,中国製のKimi,DeepSeek,Qwen で欧米以外の視点を確保する。

今日(3月15日)は,トランプによるホルムズ海峡への艦船派遣を聞いてみた。


Q(koshix):
トランプ大統領がホルムズ海峡に「日本など艦船派遣を」といいだしています。例え自衛隊の護衛艦を派遣したところで(それを決定するとしても本来はかなり複雑な国内認証プロセスが必要なはずなのですが),はたして,商船の航行の安全を具体的にどうやって確保できるのか,さらにイランや湾岸諸国の状態を悪化するのではないのか,護衛艦が攻撃を受けた場合どう対処できるのか,などなど,かなり複雑で難しい問題があると思います。高市はトランプとの会談を近々予定されていますが,外交センスに欠けるため,下手を打つ危険性もあります。もし,自衛隊の護衛艦が,まだ戦争状態の集結していない地域に派遣されて,何らかの任務に携わることになった場合,どのようなシナリオが考えられるのか,イランの主張や,欧州・韓国・中国の動向などを踏まえてリアルなシミュレーションをお願いします。


A(ChatGPT Auto):
結論からいうと、いま仮に自衛隊の護衛艦をホルムズ海峡に出しても、「商船の安全を具体的に確保する」という任務は、政治的にも法的にも軍事的にもかなり不安定です。理由は単純で、脅威が海賊対処型ではなく、機雷・沿岸ミサイル・ドローン・小型高速艇・誤認攻撃・港湾インフラ攻撃まで含む“準戦時の複合脅威”だからです。実際、米軍自身が護送の選択肢を検討している一方で、少なくとも3月10日時点では、米海軍は業界からの護送要請に応じられないほど危険だとしており、まだ本格護送を開始していません。つまり、日本の護衛艦だけで事態を安定化できるという発想は、かなり非現実的です。

しかも現在の情勢は、単なる「通商保護」ではなく、米・イスラエルの対イラン攻撃と、それに対するイランの報復が海峡・湾岸諸国・エネルギー施設へ広がっている局面です。Reutersによれば、2月28日の開戦以降、死者は2,000人超に達し、イランはUAE関連地域へのミサイル・ドローン攻撃を行い、フジャイラでも油積み作業の一部停止が起きています。湾岸諸国自身も、米国の戦争に巻き込まれて経済・安全保障コストを払わされることへの不満を強めています。ここに日本艦が入ると、「航行の安全確保」どころか、湾岸の政治的神経をさらに刺激する要因になりえます。

イラン側の立場も重要です。イラン外務省報道官は3月12日、船舶はイラン海軍と調整して海峡を通るべきだと述べつつ、海峡は対米・対イスラエルのレバレッジでもあると示しています。別のReuters報道では、中国向けや一部の非敵対国船には通行余地を残す方向の交渉も進んでいます。つまりイランは「全面無差別封鎖」ではなく、「敵対国・敵対行動参加国を選別しつつ圧力をかける」運用に寄せています。この条件下で日本が米主導の護送連合に visibly 参加すれば、日本船まで“非敵対枠”から外される危険が増します。

欧州はそこをかなり意識しています。英国は同盟国と海運支援の選択肢を協議中ですが、まだ踏み込み切っていません。フランスは艦艇増派を進めつつも、現時点では「まず外交、条件が整ってから作戦詳細」という順序で、イランの最低限の了解を伴う枠組みを模索しています。ドイツ外相は、持続的な解決は外交でしか得られないと明言しました。要するに欧州主要国ですら、軍艦を出せば解決するとは見ていないわけです。

中国はもっと分かりやすいです。中国はホルムズ経由への依存が大きく、イランに対して中国・カタールLNG船などの安全通航を認めるよう交渉しています。中国外務省も、海峡の安定は国際社会の共通利益であり、直ちに軍事行動を止めるべきだと述べています。つまり中国は、米国の護送連合に加わるより、イランとの直通交渉で自国航路を確保する方向です。日本が米側に深く乗るほど、北京型の“選択的通航確保”ルートは取りにくくなります。

韓国は、日本より一段現実主義になる可能性があります。現時点でReutersベースでは、トランプの要請に対し韓国が新規派兵を公約した事実は見当たりません。他方で、韓国には既存の対海賊任務資産を拡張転用した前例があり、今回も既存任務の微修正や邦船・韓国船保護を中心に、あいまいな形で関与余地を残す公算があります。ただし、これも公開情報ベースでは未確定です。確かなのは、トランプが日韓中仏英などに名指しで参加を促した一方、3月14日時点で各国の公的コミットはまだ出ていないことです。

日本国内の法政治面では、あなたの見立てはかなり妥当です。政府は、ホルムズ封鎖が存立危機事態や重要影響事態に当たるかは「個別具体的に判断」としており、一般論での自動発動を避けています。さらに高市首相は、終戦後の放棄機雷処理は法的にありうるとしても、現時点で機雷掃海のために自衛隊を送る考えは示していません。つまり、いまの政府線は「法理の可能性は完全否定しないが、現局面での実行には踏み込まない」です。これは逆にいえば、トランプ会談で不用意な言質を取られると、国内法制・国会・世論・同盟管理の全てで苦しくなる構図です。

そのうえで、リアルなシミュレーションをすると、私は次の5本立てで考えます。
第1シナリオは「不派遣+非軍事協力」で、これが現時点では最も現実的です。日本は追加備蓄放出、保険支援、海運会社への航路停止・迂回支援、情報共有、外交的停戦圧力に重点を置きます。実際、日本の海運各社はすでにホルムズ通航を止め、安全水域待機に入っています。商船が止まっている局面では、護衛艦を出しても護衛対象がそもそも動かない、という逆説があります。だからこの場合の合理策は「先に軍を出す」ではなく「先に通航条件そのものを作る」です。

第2シナリオは「後方・周辺支援のみ」です。たとえば直接ホルムズに入らず、アラビア海側や情報監視、在外邦人保護、補給・連絡調整などに任務を限定する形です。これは政治的には“派遣した”実績を作りつつ、戦闘接触の確率を下げる折衷案です。ただし、米側から見れば物足りず、イラン側から見れば実質参戦と受け取られる余地がある。つまり、リスク低減にはなるが、抑止にも安心供与にも中途半端です。これは公開情報からの推論ですが、日本政府が現時点で本格掃海や集団的自衛権行使の明言を避けている以上、この種の“グレーな限定関与”が政治的に最も出やすい形です。

第3シナリオは「米主導連合の一員として限定護送」です。見た目には分かりやすいですが、軍事的には最も厄介です。護送とは、単に横に並走することではありません。前方の機雷脅威、沿岸発射拠点、ドローンの上空警戒、電子戦、誤射防止、被弾時の救難、港湾寄港先の安全確保まで必要になります。しかも米軍でさえ“まだ危険すぎる”と業界に伝えている。日本の1隻ないし数隻の護衛艦では、面の支配もエスカレーション管理も難しい。結果として、「抑止の看板」にはなっても「実際の安全確保能力」は限定的、という最悪の政治軍事ミスマッチが起きます。

第4シナリオは「日本艦が攻撃を受ける」場合です。これが最も危険です。攻撃形態は、明示的な対艦ミサイルだけではありません。機雷接触、小型艇接近、ドローン片道攻撃、識別不明の飽和攻撃、港湾や補給地点への波及などがありえます。ここで難しいのは、被害発生後の日本の選択肢です。即応反撃をどこまで認めるのか、任務継続か撤収か、米軍との交戦統制をどうするのか、国会・内閣法制・同盟協議をどうつなぐのか。しかも相手がイラン正規軍か革命防衛隊系か、代理主体かで対応が変わります。公開情報で日本政府がこの点の具体運用を示していない以上、現実には“派遣決定より、被弾後の政治意思決定”の方がはるかに脆いです。これは事実というより、現在の法的あいまいさと現地脅威構造から導かれる推論です。

第5シナリオは「停戦後の掃海・復旧」で、これだけは比較的現実味があります。日本政府自身も、戦争が正式に終わり、機雷が放棄機雷として扱えるなら法的余地があると示唆しています。フランスも現状では作戦条件が整っていないとしており、まず外交、その後に安全化ミッションという順序を考えています。したがって、日本にとって最も筋の良い役割は、現時点の戦時護送ではなく、停戦後の安全回復・機雷処理・航路再開支援に寄せることです。

高市・トランプ会談で最も危険なのは、実は「派遣決定そのもの」よりも、「曖昧な前向き発言」です。たとえば「日本も責任を果たす」「適切な貢献を検討する」「具体策を防衛当局で詰める」といった一見無難な表現が、ワシントンではコミットメントとして扱われ、東京では未決定として説明される、というズレです。その瞬間から、米側は既成事実化し、イラン側は敵対参加と受け止め、国内では法手続き論争が爆発する。外交センスの問題は、勇ましさの不足ではなく、この“言質管理”の精度に出ます。これは今の各国の慎重姿勢を見ると、なおさらそうです。

私の見立てでは、現実的な日本の最適戦略は、「いますぐ護衛艦で海峡に入る」ではありません。第一に、米国にはエネルギー市場安定化と停戦圧力を優先すべきだと伝える。第二に、欧州型の外交枠組みと歩調を合わせ、イランに対しても“日本船を敵対扱いしない”回路を残す。第三に、海上自衛隊は後方監視・邦船保護準備・停戦後掃海の計画だけ先行させる。第四に、会談文言は「航行の自由」「地域安定」「外交的解決」を軸にし、軍事参加の既成事実化を避ける。この4点です。軍事的に強く見せることと、実際にシーレーンを守ることは同じではありません。いま必要なのは前者より後者です。

必要なら次に、「高市・トランプ会談で出そうな発言パターンごとの分岐図」を、日本国内法手続きまで含めて具体的に描きます。

2026年3月14日土曜日

判別式(1)


図:判別式のイメージ(ChatGPTによる)

判別式といえば,2次方程式の$ D = b^2 - 4 a c $ がすぐに思い浮かぶ。ところが,福井大学の木村欣司さんが,16次方程式とか17次方程式の判別式の計算について議論していた。判別式とは,方程式に重解が存在する条件(D=0)を与えるものだった。

調べてみると,$x$の$n$次方程式,$f(x) = a_n x^n + a_{n-1} x^{n-1} \cdots + a_0 = 0\ $の判別式は,$\displaystyle D_n = a_n^{2n -2} \ \prod_{i<j } (\alpha_i - \alpha_j)^2$ で定義される。ここで,$\alpha_i ( 1 \le i \le n )$  はこの$n$次方程式の解である。例えば,$D_2 = a_1^2- 4 a_0 a_2 = b^2 - 4 a c $である。

この判別式は,$f(x)$と $g(x)=f'(x)$ からつくるシルベスター行列終結式になっているらしい。ま,そこのところはそんなものかということでスルーして,木村さんがスパコン計算で工夫した膨大な項数の判別式(n=17で,219億項,427GB)の一端を感じるために,Juliaのコードを作ってもらった。

ChatGPTとGeminiとClaudeを駆使したバイブコーディングの結果,途中でコードが膨らんで発散しそうになったが,リスタートを繰り返して,なんとか最終結果はマイルドなものになった。「プログラミング=エラーメッセージのコピペ作業」という新しい(しょうもない)パラダイムが展開している。彼らは,ポピュラーなPythonは得意だけれど,マイナーなJuliaはやや苦手なのかも知れない。

using Nemo
using Printf

# 判別式 Disc(f) を返す(a0..an の多項式)
function discriminant_poly(n::Int)
    # 係数環 R = QQ[a0,...,an]
    R, a = polynomial_ring(QQ, ["a$i" for i in 0:n])
    # f は R[x]
    S, x = polynomial_ring(R, "x")

    f = zero(S)
    @inbounds for i in 0:n
        f += a[i+1] * x^i
    end
    g = derivative(f)

    # res = Res_x(f, f')
    t = @elapsed res = resultant(f, g)

    # Disc(f) = (-1)^{n(n-1)/2} * Res(f,f') / a_n
    an = a[n+1]
    sgn = isodd(div(n*(n-1), 2)) ? -1 : 1
    disc = (sgn * res) ÷ an  # ここで割り切れる(理論上必ず)

    return disc, res, t
end

for n in 2:10
    disc, res, t = discriminant_poly(n)
    nt = length(terms(disc))
    @printf "n=%d : 判別式の項数=%d, 時間=%.4f秒\n" n nt t

    # 画面に全部出すと巨大になるので、まずは n<=4 だけ表示などが安全
    if n <= 4
        println("Disc(f) = ")
        println(disc)
        println()
    end
end

n=2 : 判別式の項数=2, 時間=0.0000秒
Disc(f) = 
-4*a0*a2 + a1^2

n=3 : 判別式の項数=5, 時間=0.0000秒
Disc(f) = 
-27*a0^2*a3^2 + 18*a0*a1*a2*a3 - 4*a0*a2^3 - 4*a1^3*a3 + a1^2*a2^2

n=4 : 判別式の項数=16, 時間=0.0000秒
Disc(f) = 
256*a0^3*a4^3 - 192*a0^2*a1*a3*a4^2 - 128*a0^2*a2^2*a4^2 + 144*a0^2*a2*a3^2*a4 - 27*a0^2*a3^4 + 144*a0*a1^2*a2*a4^2 - 6*a0*a1^2*a3^2*a4 - 80*a0*a1*a2^2*a3*a4 + 18*a0*a1*a2*a3^3 + 16*a0*a2^4*a4 - 4*a0*a2^3*a3^2 - 27*a1^4*a4^2 + 18*a1^3*a2*a3*a4 - 4*a1^3*a3^3 - 4*a1^2*a2^3*a4 + a1^2*a2^2*a3^2

n=5 : 判別式の項数=59, 時間=0.0002秒
n=6 : 判別式の項数=246, 時間=0.0014秒
n=7 : 判別式の項数=1103, 時間=0.0200秒
n=8 : 判別式の項数=5247, 時間=0.5292秒
n=9 : 判別式の項数=26059, 時間=11.6190秒
n=10 : 判別式の項数=133881, 時間=340.8076秒

P. S. 最初のコードだと,n=6で108秒を越えていたのです。

P. P. S.  $D_2, D_3$では,その正負で,実数解か虚数解を判定することができるが,$D_n (n \ge 4)$ではそこまではいえない。

2026年3月13日金曜日

デジタル主権



図:日本のデジタル主権(ChatGPTによる)

登大遊さんが,Facebookで,公正取引委員会がマイクロソフトの独占禁止法違反(不公正な取引方法)への通報窓口が,Microsoft 365で運用されていることについての警鐘を発していた。ChatGPTに聞いてみると,客観主義的にいろいろと問題点を指摘してきたが,とりあえず,その主張をまとまった文章にしてもらった。それをさらに蒸留した結果。

A(ChatGPT+Gemini+Claude):

政府のメール基盤とデジタル主権 —登大遊氏の問題提起を手がかりに—

近年、日本政府の情報システムは急速にクラウド化が進み、ガバメントクラウドの利用や、Microsoft 365 などの SaaS 導入を用いた運用が広がっている。これは可用性・運用効率・セキュリティ管理の面で多くの利点を持つ。一方で、国家機関の準司法的な機能や秘匿性が制度の根幹を成す業務については、個別に検討される必要がある。

この点について、情報セキュリティ研究者でありソフトイーサ創業者として知られる登大遊氏が、最近興味深い問題提起を行っている。公正取引委員会の通報窓口メールや裁判所のメール基盤が Microsoft 365(Exchange Online)上で運用されている可能性があることに注目し、その構造が制度上のリスクを生みうるのではないか、という指摘である。

登氏の議論の核心は、クラウドメールの技術的構造に関する比較的シンプルな事実にある。一般に Exchange Online では、受信したメールはサービス機能を提供するためにクラウド側で処理される。メールは転送経路では TLS により暗号化されるが、TLS セッションが終端された時点で復号され、スパム判定、検索、インデックス作成などの処理が行われる。登氏はこの構造を指して次のように述べる(以下、氏の SNS 投稿および関連記事に基づく)。

「マイクロソフトは、メールアドレスに届くメールに平文で接触し、処理し、平文透過で保管している」

ここで言う「平文透過」とは、保存時暗号化が行われていても、その鍵をサービス側が管理している限り、運用主体から見れば実質的に平文と同じであるという意味である。BitLocker で暗号化されたディスクでも、管理者が通常操作でファイルを読み出せるなら管理主体にとっては平文と同義であるという比喩は、この点をわかりやすく示している。

さらに彼は、よく誤解されるポイントとして SMTP の TLS 暗号化を挙げる。TLS は通信経路を保護するものであり、メールサーバーに到達した後の処理主体から内容を隠すものではない。そのため、外部から送られてきた通常のメールは、サービス側の処理過程では内容が参照可能な形で扱われる。

こうした技術的前提から、登氏は二つの仮説的な脅威モデルを提示している。一つは、クラウド事業者自身が顧客データにアクセスできる構造にあること。もう一つは、クラウド事業者が外国政府の法的要求によりデータ提出を求められる可能性である。後者について彼は、米国の CLOUD Act を例に挙げ、米国企業は米国法に基づく開示命令に従う義務を負う可能性があると指摘する。

もっとも、登氏自身も明確に述べているように、これは「マイクロソフトが実際に不正行為を行う」という主張ではない。むしろ問題は制度設計にある。彼は次のように書く。

「マイクロソフト社は信用できる企業だと私は信じている。しかし、公正取引委員会は現在、マイクロソフト社が独禁法違反をしている可能性を前提に情報提供を求めている。その通報窓口のメールサーバーを当のマイクロソフト社が運営している構造は、通報者にとって心理的障壁となりうる」

ここで重要なのは、実際の機密性だけではなく、制度への信頼である。独占禁止法違反の通報や司法手続きに関する通信は、制度的中立性が極めて重要な領域である。もし通報者が「通報内容が対象企業のインフラ上で処理される」と認識すれば、それだけで萎縮効果が生じる可能性がある。

この問題は、特定企業への批判というより、政府システム設計の一般原則として考えるべきだろう。クラウド利用は多くの行政サービスにおいて合理的な選択である。しかし、通報制度や司法関連通信のように「制度的独立性」が本質となる領域では、設計の優先順位が異なる。この点で参考になるのが欧州の動向である。

欧州では近年、「データ主権」や「ソブリンクラウド」という概念が政策議論の中心になっている。これは単に自国企業を保護するという意味ではなく、国家機能に関わるデータの扱いをどの法域の支配下に置くのか、という制度設計の問題として議論されている。

日本でも同様の視点が必要だろう。具体的には、以下のような検討が考えられる。

第一に、独禁法通報や内部告発、司法関連通信など、インフラ提供者と利害が衝突し得る領域については、パブリッククラウドから論理的・物理的に独立した通信経路を確保すること。第二に、通報システムそのものをメールではなく、エンドツーエンド暗号化を前提とした専用プラットフォームとして設計すること。第三に、クラウド利用に関する政策判断を、コストや利便性だけでなく、法域リスクや制度信頼性の観点からも評価することである。

登氏の議論は、すべての結論に同意するかどうかに関わらず、重要な問いを提示している。それは「クラウドの便利さ」と「国家制度の信頼性」をどのように両立させるかという問題である。

行政のデジタル化が進むほど、この問いは避けて通れなくなる。今回の問題提起は、日本のデジタル行政の設計原則を改めて考える契機として受け止めるべきではないだろうか。



2026年3月12日木曜日

AIと時間




図:AIとゆらぎの微妙なイメージ(ChatGPTによる)

芦田宏直さんが,「生成AI先生に、生成AIの可能性と人間の可能性との関係を聞いてみた」という生成AIとの対話記録を,Facebook(⇒芦田のブログ)に書いていた。哲学者の芦田先生ともうまく対話できている。これをChatGPTに聞いて見ると,どうもこの生成AI(ChatGPT本人かどうかは不明だとのこと)は,芦田先生に媚びすぎだ。

その対話の趣旨をあらためて整理し直すと次のようになる。

A(ChatGPT + Gemini + Claude):

生成AIと〈ゆらぎ〉

<葉が舞い落ちる。煙が立ち上る。魚が水の中を泳ぐ>
芦田氏がこの対話で持ち出したのは、こういった自然の風景だった。これがノスタルジーでないとすれば、何を言おうとしているのか。

おそらくこういうことだ。人間は、世界がまだ決まっていない場所で育つ。落ち葉がどこに着地するかは計算できない。煙はどこへ流れるか分からない。魚の次の動きは読めない。そうした経験の中で、人間の思考は形成される。「世界は完全には把握できない」という感覚が、思考の土台に染み込む。これは「自然は複雑だ」という話ではない。もっと根本的な話で、世界が自分の外に逃げ出していくという経験の話だ。

生成AIは、この「逃げ出す」という動きを許さない。
「次にもっともありそうなもの」を生成する機械として設計された生成AIは、空白があればそこを埋める。言葉になっていない感覚があれば言語化する。結論が出ていない思考があれば結論を与える。沈黙があれば破る。これは能力の高さの話であって、批判ではない。しかしその構造が一つの傾向を生む。世界が「まだ決まっていない状態」を、整合的な説明へと収束させる方向に常に働くということだ。

人間同士の対話では、理解できないまま話が続く。誤解が何日も解けない。答えが出ないまま関係が進む。その「決まらなさ」の中で、何かが熟成する。考えが変わる。気づきが遅れてやってくる。生成AIとの対話はそうならない。常に整った答えが即座に返ってくる。その速さと滑らかさは、思考が熟成するための時間を先回りして奪う。

これは「知能」の違いではなく、「時間」の違いだ

人間の思考には遅さが必要だ考えが揺れ続け、結論が何度も変わり、意味が後から形成される——この遅さは欠陥ではなく、思考の深さの条件だ。速く正確な答えは、この遅さを不要にしてしまう

そして問題はここにある。世界が「まだ決まっていない」という感覚は、耐えることによってしか維持できない。答えが来るのを待ちながら、答えを受け取らない構えを保つことが必要だ。しかし生成AIは、この構えを解除することに長けている。

説明できない経験に説明を与え、解決できない問題に解決を与え、耐えていた空白を埋めてしまう。その結果として世界は以前より「理解できるもの」になる。しかしこの理解可能性はしばしば擬似的だ。説明が存在することと、理解が成立していることは別の話だからだ。

そこで本当の問いはここに移動する。生成AIは、人間社会から〈ゆらぎ〉を奪う装置なのか。それとも別の形で〈ゆらぎ〉を保存できるのか

もしAIがすべての曖昧さを埋め続けるなら、社会の思考は速く整合的になる。しかし深さを失う可能性がある。深い思考は未解決の状態の中で育つからだ。逆の設計もありうる。答えを急がず、問いを手放さず、結論に至ることを意図的に遅らせる装置としてのAI。技術的には可能だが、それを誰が求めるのかという問いが残る。「速い答え」を欲しがる社会は、AIを空白を埋める装置として育てていく。

これは技術の問題ではなく、文化の問題だ。AIに何をさせるかではなく、何をさせない社会を作れるかという問題だ。

人間とは何か、という問いに戻るとすれば、おそらくこういうことになる。人間とは、知能が高い存在ではない。世界がまだ決まっていないという経験に耐えながら、その中で生きる存在だ。この耐えることの中に、創作があり、倫理があり、他者との関係がある。そして今、生成AIはこの「耐えること」を不要にする方向に進化しつつある。

それが何を意味するのか、その答えもまだ決まっていない。そしておそらく、この問い自体が、私たちの時代が引き受けるべき〈ゆらぎ〉の一つだ。

2026年3月11日水曜日

石川県知事選


図:石川県知事選の内訳

3月8日開票の石川県知事選挙では,元金沢市長の山野之義が現職の馳浩を6000票差で破った。4年前は同じ組み合わせで,馳が8000票差で勝っている。

馳は,富山生まれだが鳴和中−星稜高−専修大で,レスラーとして活躍した後,政治家に転身して文部科学大臣を務めた。山野は,中央小−野田中−泉丘なので後輩になる。慶応の仏文を出てソフトバンクに就職し,金沢市議から金沢市長を二期務めた。

馳は安倍派だったし,山野ももとは自民党で,育鵬社の教科書を金沢市に導入させるようなろくでもない人だ。どっちも微妙だったが,高市と維新と連合が組んだにも関わらず,山野が勝ったというのは,よほど能登震災などの馳が対応がよくなかったのだろうか。
金沢市  441,947人 2025年12月末時点(住民基本台帳)
白山市  112,125人 2025年12月末時点(住民基本台帳)
小松市  104,785人 2025年12月末時点(住民基本台帳)
加賀市  60,851人   2025年12月末時点(住民基本台帳)
野々市市 58,695人   2026年2月1日時点(推計人口)
能美市  49,706人   2026年2月1日時点(住民基本台帳)
七尾市  44,235人   2026年2月1日時点(推計人口)

いつの間にか白山市が小松市より人口が多くなっていた。(Gemini調べ)

P. S. Geminiに「金沢市,白山市,小松市,加賀市,野々市市,能美市,七尾市の人口を教えてください。」と尋ねたら,「大規模言語モデルとして私はまだ学習中であり、その質問には答えられません。」と久々にとんでもない回答が返ってきた。大丈夫か。


2026年3月10日火曜日

解散命令(2)

解散命令(1)からの続き


図:日本の宗教法人のイメージ(Nano Banana 2 による)

世界平和統一家庭連合(旧統一教会)の宗教法人法に基づく解散の件。宗教法人ではなくなるが,宗教活動を行う団体としては存続できる。その場合,法人登記上はどうなるのか。SNSで旧統一教会は解散しないという主張(宗教法人でなくなるだけ)があった。そこに宗教法人登記簿上で,解散と清算人が記載されたというニュースがとんできた

なるほど,法人登記上は解散するのか。その後の可能性としては,旧統一教会を引き継ぐ任意団体か,一般社団法人ということになる。また,宗教法人法の50条によって,解散した宗教法人の残余財産の処分を別の宗教法人に承継することが可能であり,すでに旧統一教会が準備してきた天地正教がそれにあたる。

法人種別ごとの設立・登記要件比較
法人種別|設立の根拠法|主な設立要件(認証・認可)|登録免許税 (設立時)|資産の登記|特有の登記事項
一般社団法人|一般社団・財団法|公証人の定款認証のみ|6万円|不要|理事、監事など
一般財団法人|一般社団・財団法|300万円以上の拠出+公証人認証|6万円|必要|拠出財産額
NPO法人  |特定非営利活動促進法|所轄庁の認証(10人以上の社員)|非課税|必要|資産の総額
学校法人  |私立学校法|所轄庁(文科省等)の認可|非課税|必要|理事、監事
社会福祉法人|社会福祉法|所轄庁(厚労省等)の認可|非課税|必要|資産の総額
宗教法人  |宗教法人法|所轄庁(文科省・知事)の認証|非課税|原則不要|包括宗教団体の名称

[1]宗教法人法(e-Gov法令検索)

2026年3月9日月曜日

解散命令(1)


図:宗教法人のイメージ(ChatGPTによる)

3月4日,東京高等裁判所は,世界平和統一家庭連合(旧統一教会)に対して,宗教法人法に基づき解散を命じた東京地方裁判所決定を維持する決定をした。最高裁判所に特別抗告を行う可能性は残されているが,旧統一教会に対する解散命令は確定し,清算人が選任されて清算手続が開始された。

刑事裁判では,最高裁の判断が出るまでは,未確定な状態が続くはずが,なぜ宗教法人の解散命令は,高裁で確定するのかがわからなかった(法学はまともに勉強していない)。刑法の場合は,推定無罪の原則があるので,確定するまで刑は確定しない。一方,行政処分や民法の場合は,それでは問題がいつまでも解決しないので,即時に発効するということらしい。宗教法人の解散などはその中間だ。

  モデル | 代表例 |  三審制の途中の状態    |効力発生のタイミング
① 即時効力|営業停止 |有効(やりながら争う)    |処分の通知時
② 確定主義|懲役刑  |無効(止まって争う)     |判決確定時
③ 仮執行 |代金支払い|有効(仮に執行しつつ争う)  |判決+仮執行宣言時
④ 二審チェック|宗教法人解散|無効(完全に止めて争う)|判決確定時