基本的道具は： Composing Hidden Information Modules over Inclusive Institutions (2004) Joseph Goguen, Grigore Rosu 25p https://fsl.cs.illinois.edu/publications/goguen-rosu-2004-dahl.pdf 特に、"3 Inclusive Institutions" 。$`\newcommand{\cat…