774::Blog

量子計算の受理確率は古典計算でも多項式回の問い合わせで近似できる

2026年11月10日 by 774

量子計算機は、古典計算機よりどれほど速く問題を解けるのか。この問いに答えるには、両者が解く問題、入力の条件、正解と認める基準、計算費用の測り方をそろえる必要がある。例えば、ある量子アルゴリズムが入力への問い合わせを 10 … 続きを読む

2026年11月9日2026年11月9日 by 774

あるプログラムには機密ファイルを読み取る権限があり、別の利用者にはそのプログラムの設定ファイルを書き換える権限だけがあるとする。設定ファイルには読み取り対象と送信先を指定できる。プログラムが設定内容をそのまま処理に反映す … 続きを読む

2026年11月8日 by 774

試験で同じ 70 点を取った二人が、同じ能力を持つとは限らない。一方が計算問題に優れ、もう一方が文章読解に優れている場合でも、合計点は一致し得る。さらに難しいのは、合計点が一致しなかったときである。80 点と 75 点の … 続きを読む

2026年11月7日 by 774

文章を作るのに 10 時間かかっていた人が、新しい道具を使って同じ文章を 5 時間で完成できるようになったとする。内容、正確性、確認手順が同じであれば、この作業の所要時間は半減し、時間当たりの処理能力は 2 倍になった。 … 続きを読む

2026年11月6日 by 774

ソフトウェアが扱う状態や入力の候補は、システムを構成する要素が増えるにつれて急速に増える。二つの値しか取らない変数が \(n\) 個あるだけでも、入力の組み合わせは \(2^n\) 通りになる。変数が 10 個なら 1, … 続きを読む

2026年11月5日 by 774

学習済みの AI に、あるデータを忘れさせたとする。そのデータについて正しい回答を返せなくなれば、忘却に成功したと言えるだろうか。分類器なら正答率が低下し、文章生成モデルなら対象の情報を含む回答が減る。この変化は観測でき … 続きを読む

2026年11月4日 by 774

一人で動かしたときに安全だった仕組みを、百人で同時に動かしたらどうなるだろうか。各人が同じ規則に従い、使える機能も変わらなければ、個々の振る舞いは変わらないように見える。しかし、百人が情報を交換し、作業を分担し、他人の成 … 続きを読む

2026年11月3日 by 774

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

2026年11月2日 by 774

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

2026年11月1日 by 774

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