僕がプログラム意味論とTQFTが関係すると思い出したのは、マーク・ホプキンスの観測と示唆がキッカケだ。マークの観測は完全に正しかった。ステファネスクがやっていたことはそれを裏付けるし、最近のシャイ・ハランのF1の研究（Non-Additive geometry） は…