スマートフォン用の表示で見る

soutaroブログ

2008-05-21

わかった?

small-stepは式→式の関数で、big-stepは式→値の関数なのか。

soutaro 2008-05-21 00:24

わかった?
この記事をはてなブックマークに追加
Tweet
広告を非表示にする
  • もっと読む
コメントを書く
« operational semantics operational semantics »
プロフィール
id:soutaro id:soutaro
読者です 読者をやめる 読者になる 読者になる
検索
リンク
  • ヘルプ
  • はてなブログ
  • お知らせ
最新記事
  • 型付き ⊄ 型なし
  • Type Checking Ruby Programs with Anntations
  • 2017年はFigmaである
  • Nullarihyon 1.7
  • Objective Cでnilと向き合う

はてなブログをはじめよう!

soutaroさんは、はてなブログを使っています。あなたもはてなブログをはじめてみませんか?

はてなブログをはじめる(無料)
はてなブログとは
soutaroブログ soutaroブログ

Powered by Hatena Blog | ブログを報告する

スターをつけました

引用をストックしました

引用するにはまずログインしてください

引用をストックできませんでした。再度お試しください

限定公開記事のため引用できません。

読者です 読者をやめる 読者になる 読者になる