202520501

射影測定を式で明示的に書いたのって、もしかしてフォン・ノイマンが最初なんだろうか。