// GUI(設定画面)用の変数 int window; // ウィンドウのIDを格納する int periodSlider; // 周期設定スライダーのIDを格納する int wavelengthSlider; // 波長設定スライダーのIDを格納する int amplitudeSlider; // 振幅設定スライダーのIDを格納する int speedSlider; // アニメーション速度スライダーのIDを格納する int infoLabel; // 設定値を表示するラベルのIDを格納する int timeLabel; // 時刻表示ラベルのIDを格納する