Logic Machines and Diagrams isbn:0226282449 全体的感想 - 言語ゲーム
素晴らしい本すぎてどこから書いていいやら分からない！とりあえずメモ 論理機械の歴史概観 前4C: アリストテレスの論理学。次の四つの型を組み合わせる。 A : all S is P (universal affirmative) E : no S is P (universal negative) I : some S is P (particular affirmative) O : some S is not P (particular negative) 13C ルルスの円盤。ただの組み合わせ。 1772 オイラーが初めて論理を図形的に解釈。 1779 Stanphope の Demonstrator。 アリストテレスの機械的解釈。二つのカードが重なっている大きさで論理が繋がっているか知る単純な仕組みだが、数量的な論理も扱える。 1854 ブール代数。ブールは OR の代わりに XO
LISPの進化
Lispの進化 Guy L. Steele Jr. Richard P. Gabriel Thinking Machines Corporation Lucid, Inc. 245 First Street 707 Laurel Street Cambridge, Massachusetts 02142 Menlo Park, California 94025 Phone: (617) 234-2860 Phone: (415) 329-8400 FAX: (617) 243-4444 FAX: (415) 329-8480 E-mail: gls@think.com E-mail: rpg@lucid.com 要約 Lispは世界で最も偉大な言語である - いや、支持者はそう考えている。 Lispの構造は、言語を拡張することや、何もないところから始めることなしに 完全に新しい方言を実装す
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
