月: 2026年11月

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

by

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

証明の誤りは、結論まで届くのか

by

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