夫婦別姓が続くと・・・というシミュレーションの式について