7/20 水工研合同ゼミの名前を変更します。