シンボリックリストを計算として

シンボリックリストを使用した計算の代数的モデルを提案し、その複雑さに関連するChowランクを確立します。