アルゴリズム記法としての言語 より正確に より簡潔に より抽象度高く