概念モデルをユーザに伝え、メンタルモデルをプログラマのものと一致させる