シェルスクリプトの仕様を記述する。 過去スクリプトの使い方 1 - (新) 檜山正幸のキマイラ飼育記 メモ編

失効2022-03-7にメールが来ていた。 Title: Let's Encrypt certificate expiration notice for domain "www.chimaira.org" From: Let's Encrypt Expiry Bot <expiry@letsencrypt.org> Hello, Your certificate (or certificates) for the names listed below will expire in 1 days (</expiry@letsencrypt.org>…

definition, variant definition axiom, fact theorem, lemma, proposition, corollary proof, variant proof remark warning, caution question exercise example convention construction note, info bibliography entry lead paragraph slogan （stacks p…

ID付与単位＝参照単位をアイテムと呼ぶ。IDサーバは、その管理範囲において一意性が保証されたIDを生成発行する。必ず新しいIDが生成発行される。 IDサーバーのAPI： createID():ID IDに対してニックネームを付けられる。ニックネームは生成・改名・削除〈CU…

まずはこれから： https://ncatlab.org/nlab/show/clone [0810.3162] Clone Theory: Its Syntax and Semantics, Applications to Universal Algebra, Lambda Calculus and Algebraic Logic [1205.3050] Operads, clones, and distributive laws

https://arxiv.org/abs/1505.00048 "PROPs for Linear Systems"(2015) by Simon Wadsley, Nick Woods より

[1505.00048] PROPs for Linear Systems [2012.01847] String Diagram Rewrite Theory I: Rewriting with Frobenius Structure [2104.14686] String Diagram Rewrite Theory II: Rewriting with Symmetric Monoidal Structure [1812.05765] Graphical Regula…

Tenjinの0-指標はインターフェイス記述に使えるからIDLでもある。次が例題になる。 最小抽象ファイルシステム仕様をセミフォーマルに書いてみる - 檜山正幸のキマイラ飼育記 (はてなBlog)