このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama

メールでのご連絡は hiyama{at}chimaira{dot}org まで。

はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。

参照用 記事

2023-05-17から1日間の記事一覧

構文的モナド

項・式など(と呼ばれる記号的存在物)の生成や操作に関連してモナドが現れることがあります。この種のモナドについて述べておきます。「構文論 vs. 意味論」という文脈で、構文機構の扱いやすい定式化が必要になりますからね。$`\newcommand{\cat}[1]{\math…