今日の日課は形式意味論方面。意味を保つ圧縮を掘ってみた

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

→ 意味を保つ圧縮と、将来の選択肢 — 数学探索・第五弾