気に入った記事をブックマーク
- 気に入った記事を保存できます
保存した記事の一覧は、はてなブックマークで確認・編集ができます
- 記事を読んだ感想やメモを書き残せます
- 非公開でブックマークすることもできます
blog.bugyo.tkエントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント1件
- 注目コメント
- 新着コメント
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
いまの話題をアプリでチェック！
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
R5RSの形式的意味論 - リリカル☆Lisp開発日記
R5RSの7.2節 Formal semanticsを読み始めました。 以前読んだときはさっぱり分からなかったのですが、 ... R5RSの7.2節 Formal semanticsを読み始めました。 以前読んだときはさっぱり分からなかったのですが、 今回は気合を入れて読んでみたところある程度分かってきました。 R5RSの形式的意味論の基本は 「式の一箇所を評価して、その値を残りの計算に渡す」 というもののようです。 "残りの計算"というものは関数になっており、 渡すというのは、関数適用することです。 全部理解するにはまだ時間がかかりそうです。 あと、実装する場合はPrologのような論理型言語ではなく、 関数型言語を使った方が簡単そうです。
ブックマークしたユーザー
すべてのユーザーの
詳細を表示します
詳細を表示します
blog.bugyo.tk
blog.bugyo.tk
blog.bugyo.tk
blog.bugyo.tk
note.com/shuzon__
www.publickey1.jp
anond.hatelabo.jp
www.afpbb.com
togetter.com
natgeo.nikkeibp.co.jp
anond.hatelabo.jp
togetter.com
konifar-zatsu.hatenadiary.jp
1tuhan.sblo.jp
www.asahi.com
2008/03/13 リンク