m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ 圏一般論 モナド 形式言語理論 多圏 オペレーション＝オペラッド射＝複射 をテンプレートと考えて、文法規則をテンプレートにより扱う。 形式言語 テンプレート ガード文字記号 定数ワイヤーラベル 文字記号（終端） 定数（ソリッド）ボックスラベル 変数記号（非終端） 穴ボックスラベル 規則の右辺（式） テンプレート（穴あきワイヤリング図） 規則の左辺（非終端） 穴ボックスラベル 式の集合 テンプレート集合 文法 テンプレートモナドのクライスリ射 右線形規則（右辺） 前結合テンプレート 左線形規則（右辺） 後結合テンプレート 文脈自由規則（右辺） 一般的なテンプレート モノイド圏があれば、それから複圏（オペラッド）、余複圏（余オペラッド… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20151114%2F1447484974" 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 2015-11-14 16:09:34 rich https://m-hiyama-memo.hatenablog.jp/entry/20151114/1447484974 1.0 100%