量子力学的測定の定式化と部分系・部分トレース - 物理とか