日本語言語技術教育を取り入れた形式手法教授法

摘要

形式手法を技術者が開発現場にて使用するうえで一番の困難は、「自然言語の表現を形式言語に翻訳する」作業である。現在の形式手法研究では、自然言語にて表現された記述を形式言語に翻訳するのは「記述者の責任」としていることがある[1]。大学の教育カリキュラムでも、数理論理、各種形式手法の紹介が中心となっている[2]。自然言語の側面からの教育は不十分である[3]。本稿では、形式手法の開発現場への適用方法を効果的に学習するためには、教材にどのような要素が必要かを明らかにすることを目的とする。