-余代数の概念は計算機科学で使われることが多い。