カテゴリー: math

認可の安全性は権限の成立時点まで定義する

2026年11月3日 by 774

ある組織に所属する利用者だけが、その組織へ新しいメンバーを追加できるとする。組織に所属していない利用者が、自分自身をメンバーとして追加しようとした場合、現在の所属関係を調べれば操作は拒否される。ところが、追加予定の所属情 … 続きを読む

2026年11月2日 by 774

AI のモデルを小さくする際には、すべての重みを同じ精度で保存する必要はない。大規模言語モデルには、入力された情報を変換する計算用の重みと、入力に応じて必要な値を取り出す参照テーブルが含まれる場合がある。前者を低ビット化 … 続きを読む

2026年11月1日 by 774

証明の途中に誤りが見つかったとき、何が間違いと確定するのだろうか。数学の証明は、前提から結論までを正しい推論で接続することで成立する。その途中に成り立たない等式や、適用条件を満たしていない補題が含まれていれば、その推論に … 続きを読む

2026年10月29日 by 774

ある数学的な未解決問題について、新しい証明が得られたとする。その証明をすべての研究者へ同時に公開する場合と、選ばれた専門家だけに先行して提供する場合では、公開後の研究活動に異なる条件が生じる。前者では、専門知識と検証環境 … 続きを読む

2026年10月28日 by 774

一つの仕事を複数の処理へ分割すると、それぞれの役割と責任範囲を明確にできる。しかし、役割が異なっていても、判断に必要な情報まで独立しているとは限らない。注文情報を調べる処理、配送状況を確認する処理、返品の可否を判定する処 … 続きを読む

2026年10月27日 by 774

将棋の盤面を平面から立体へ広げると、王将が一手で移動できる範囲は最大 8 マスから 26 マスへ増える。盤の中央では前後左右と斜めに加え、上下の層にも移動できる。逃げ道が増えれば王将を詰ませることは難しくなるように思える … 続きを読む

2026年10月26日 by 774

機能を無効化したとき、実際には何が停止するのだろうか。例えば、サーバーが受け付ける署名アルゴリズムを許可リストで管理し、特定の方式をリストから除外したとする。管理者が期待するのは、その方式による認証要求が拒否されることで … 続きを読む

2026年10月25日 by 774

AI が間違いに気づけるなら、その間違いを避けられるようにも見える。問題文の矛盾を見つけ、安全上の危険を判定し、人間からの停止指示を理解できるなら、その情報が最終的な行動にも反映されると考えるのは自然である。実際、モデル … 続きを読む

2026年10月24日 by 774

量子化は、限られたビット数で数値を表現するために、元の値を有限個の代表値へ対応させる操作である。4 ビットなら利用できるコードは最大 16 種類であり、それより多くの値を扱うには複数の入力を同じ代表値へまとめる必要がある … 続きを読む

2026年10月23日 by 774

AI の性能を比較するとき、最初に目へ入りやすいのは正答率、F1、PR-AUC、KL ダイバージェンスのような評価値である。これらの数値には、異なるモデルを同じ尺度へ置き、改善前後の差を定量化できる利点がある。一方、評価 … 続きを読む