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