メンタルモデルとプログラミング言語が一致する