formallogic (個結果)