に対し、formula_52のフォン・ノイマンエントロピーをformula_135を