Noise.dに埋め込みドキュメントを追加
StepWaveformクラスに不変条件を追加