抽象的装置による計算