日本語がおかしい気がする。
> 解釈系はこの式を値 2 に名前 size を対応づける.
じゃない?