m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ 論理 Mx 2018 気付いた 証明ストリング図のノードラベルが、メタ変数でラベルしているのか、システム内のラベルでラベルしているのが分からないという問題があった。ラベルのテキストで区別するのは現実的ではないが、ノード形状で区別ならなんとかなる。まず、ノード種別を インラインノード（クラスター含む）：そこに実際にあるノード／クラスター。 {参照ノード | 呼び出しノード}： ラベルだけがそこにあり、実体は別なところにある。 参照ノードは形状を変える。 ラベル（システム内の実際のラベル）の下に二重下線を必ず引く。 形状は基本的に四角とする。 参照ノードのラベルは、そのときの定理ライブラリによって解決される。 必要があれば、定理… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20181117%2F1542425678" title="そうか！ 参照ノードを入れればいい（他にも対策） - (保存用) 檜山正幸のキマイラ飼育記 メモ編" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2018-11-17 12:34:38 rich https://m-hiyama-memo.hatenablog.jp/entry/20181117/1542425678 1.0 100%