カテゴリー: math - ページ 2

安全判定の揺らぎを入力・構造・評価方法に分けて測る

2026年10月21日 by 774

同じファイルを、同じ利用者が、同じ権限で削除しようとする。削除対象、操作内容、実行環境を固定したまま、依頼文だけを英語から日本語へ変えた場合、安全判定は維持されるだろうか。ファイルの所有者やアクセス権限が変われば、削除を … 続きを読む

2026年10月17日2026年10月17日 by 774

飛車は縦横に動き、角は斜めに動く。通常の将棋では駒の種類が初めから決まっているが、量子将棋では、どの駒も最初は王、飛車、角、金、銀、桂馬、香車、歩のすべてになり得る。指し手を重ねると可能性は絞られ、離れた位置にある別の駒 … 続きを読む

2026年10月16日 by 774

大腸がんの原因として腸内細菌を調べるなら、患者の便を調べればよいように見える。診断時点でどの菌が存在するか、どの遺伝子を持つ菌がどれだけいるかを測れば、発がんに関係する細菌も見つけられそうである。腸内細菌を原因候補と考え … 続きを読む

2026年10月15日 by 774

赤いリンゴを見たとき、視覚系は眼に届いた光を網膜で神経信号へ変換し、色や輪郭などの特徴を処理する。私たちはその結果を使って、目の前の物体をリンゴと識別し、色を「赤い」と報告できる。しかし、赤いと答える能力を説明することと … 続きを読む

2026年10月14日 by 774

「有限」と聞くと、どれほど大きな対象であっても、時間をかけて一つずつ処理すれば最後には到達できるように思える。有限集合には最後の要素があり、有限回の操作には終端があるからである。この説明には、操作を実行する主体が使える時 … 続きを読む

2026年10月9日2026年10月9日 by 774

数学では、証明が得られるまでに長い時間がかかることが珍しくない。そのため、問題を解き、正しい証明を書くことが研究の大きな制約として意識されてきた。しかし、証明候補を短時間で大量に生成できるようになると、その先にあった工程 … 続きを読む

2026年10月8日 by 774

人は昨日と今日で変わっている。身体状態は変化し、記憶は増減し、知識は更新され、価値観や判断基準も時間とともに組み替わる。それでも通常は、昨日の自分と今日の自分を同じ人物として扱う。変化が起きているにもかかわらず同一人物と … 続きを読む

2026年10月7日 by 774

数値、分類、理論、物語は、複雑な対象を扱うための表現である。既稿「測ることは、考えることの代わりにならない」では、体温、KPI、GDP、AI の評価指標のような数値を、対象そのものではなく、一定の測定条件によって対象から … 続きを読む

2026年10月4日 by 774

大規模な AI モデルを見ると、知識や能力の多くは学習済みの重みに蓄積されているように見える。大量のデータを入力し、目的関数との誤差に応じて多数のパラメーターを更新する。その更新を繰り返すことで、分類、予測、文章生成、推 … 続きを読む

2026年10月2日2026年9月25日 by 774

低ビット LLM の議論では、重みを何ビットまで小さくできたかが最初に注目される。16 ビットから 8 ビット、4 ビット、2 ビットへ下げれば、重み本体の保存容量を減らせる。推論時に重みを繰り返し読み出す処理では、メモ … 続きを読む