多重代入法・Rubinの統合則