「群の作用がナントカ -- おぼえられない」において、（脚注で）次のように書きました。 自然言語だと曖昧だし...[snip]... 実際、自然言語文が曖昧で free の意味を論理式に翻訳するのに苦労しました。 で、その曖昧な free の定義というのは、だいたい次の…