2022-04-26から1日間の記事一覧
僕は次のような構文で指標〈signature〉を書いています。 signature Semigroup { sort U operation m: U×U → U equation assoc :: (m × id_U);m ⇒ α_(U,U,U);(id_U × m);m : (U×U)×U → U }これは擬似コードで、明示的な構文定義や構文解析系〈パーザー〉があ…
このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama
メールでのご連絡は hiyama{at}chimaira{dot}org まで。
はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。
［参照用 記事］
