今日の日課は形式意味論方面。正確な忘却を掘ってみた

今日の日課は形式意味論方面。 「いまの意味を完全に保ったまま情報を捨てたら、将来どれだけ困るか」を掘ってみた。 二資源なら、どれをどの確率で残すのが最良かまで厳密に解けた。新規性はまだ未確定。

→ 正確な忘却と、その後の選択肢 — 数学探索・第五弾