式の表示、実験