代だい数すう理り論ろんじ字FuriganaMeanings1nounalgebraic theorycomputing›Technical term in computing and mathematics for a theory expressed in algebraic terms.この代だい数すう理り論ろんはプログラムの検けん証しょうに使つかわれる。This algebraic theory is used for program verification.
