2011-02-17から1日間の記事一覧
ここ数日、次のような記事を書きました。 ホーア論理とシーケント計算を混ぜたような意味記述構文 CatyScript コマンド呼び出しの意味論 評価シーケントの論理計算と操作的意味論 なぜ僕は操作的意味論に傾いたか ようするに、CatyScript2.0の意味論の記述方…
このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama
メールでのご連絡は hiyama{at}chimaira{dot}org まで。
はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。
［参照用 記事］
