>>298
computationがvalueの一つだったら
概念的に computation ⊆ value
になるけど。
少なくとも拡張しているのだから
computation ⊇ value
にならないとおかしくない？

`5 + 3`がcomputationというのは前提にもよるからなんとも言えないと思う。
計算して８（＝５＋３）を導いたなら８はcomputationだと思うが。
たとえば、掛け算だったとして、九九を唱えてゴサンジュウゴで１５を導き出したんなら計算してないからvalueだと思う。