>>366 なるほどサンクス
圏論の言葉でなされる圏論的意味論と、
圏論的にされた領域理論は、やはり何か
対応関係みたいなものがあるんですか?