あと、『圏論的意味論』というのは『領域理論』の言い換えですよね？