式と文、評価と実行、そして副作用 ―― プログラムはいかにして動くのか【前編】