>>489 LangのAlgebra