俳句の意味を形式的に解釈する方法を、函数型文法の考え方をベースに示した。俳句を構成する文には通常、２つの核文Ｋ１とＫ２を認めることができ、Ｋ１とＫ２の関係Ｒを同定することが、形式的解釈の要諦となる。