結果 : programming languages and formal methods