基本はフローグラフだな。フローグラフは集合圏上のモナドになる。$`\newcommand{\mrm}[1]{\mathrm{#1}} \newcommand{\In}{\text{ in }} \newcommand{\twoto}{\Rightarrow} \newcommand{\Id}{\mathrm{Id}} %`$ $`\mrm{FlGrph}:{\bf Set} \to {\bf Set}\In {\…

セオリー論 Tenjin 0-ラベル ターム, トピック 0-指標 トピック 0-コンビネーション シナリオ〈フローグラフ〉 0-手続き パッケージ〈ライブラリ〉 ターム／トピックを格納するコンテナがノート〈記述子〉／記事で、その物理的実体は： 記事の実体はMarkdown…