gauche-refj.pdf

というのがあったので眺めていました。
こういうリファレンスを上からシーケンシャルに眺めるのは結構好きです。

• filetype:pdf "gauche-refj" - Google 検索

setter, getter のこととか良く知らなかったのですが、これを読んでわかりました。clamp とか知らないとその都度自分で定義してしまいがちですよね。私のことですが。

• clamp - Gauche ユーザリファレンス: 6.2 数値
• setter - Gauche ユーザリファレンス: 4.4 代入

RnRS 年表と資料へのポインタ

ようやく R5RS を読み始めました。まだ始めの方しか読んでませんが、意外におもしろいです。
これなら R4RS や R3RS なんかもさかのぼって読んでみたい！と思いましたが、日本語訳は見当たりませんね。。やっぱり読むなら英語ですか・・・。


年号は R5RS 犬飼さん版日本語訳の P.2 「はじめに - 背景」を参考にしています。

• 1975 : scheme: an interpreter for extended lambda calculus
• Scheme: An Interpreter for Extended Lambda Calculus - Wikisource
• PDF
• 1978 : R1RS
• DSpace@MIT : The Revised Report on SCHEME: A Dialect of LISP
• 1984 : R2RS
• CiteSeerX — The Revised Revised Report on Scheme or An UnCommon Lisp
• 1986 : R3RS
• Revised(3) Scheme - Table of Contents
• CiteSeerX — Revised^3 Report on the Algorithmic Language Scheme
• 1988 : R4RS
• Revised(4) Scheme - Table of Contents
• 日本語訳
• 紫藤のWiki: R4RS
• 1998 : R5RS
• schemers.org: Documents: Standards: R5RS
• 日本語訳
• R5RS (Revised^5 Report on Algorithmic Language Scheme) 日本語訳
• Algorithmic Language Scheme
• The Scheme Programming Language 2/e
• Index of /~oiwa/pub/jr5rs
• 2007 : R6RS
• R6RS
• R6RS
• R6RS:翻訳
• ? : R7RS.Org

1975年は、TCP/IP が公開されたり、Microsoft がスタートしたりした年みたいですね。


お、Practical Scheme にこんなページが。

• SchemeCrossReference
• RRS
• RRRS
• R3RS
• R4RS
• R5RS
• R6RS

Scheme - Wikipedia の論文一覧のところにあったもの。

• 1976 : Lambda: The Ultimate Imperative/Introduction - Wikisource
• 1976 : (PDF)Lambda: The Ultimate Declarative
• 1977 : DSpace@MIT : Debunking the 'Expensive Procedure Call' Myth, or, Procedure Call Implementations Considered Harmful, or, Lambda: The Ultimate GOTO
• 1978 : The Art of the Interpreter or, the Modularity Complex
• 1978 : DSpace@MIT : RABBIT: A Compiler for SCHEME
• 1979 : DSpace@MIT : Design of LISP-based Processors, or SCHEME: A Dielectric LISP, or Finite Memories Considered Harmful, or LAMBDA: The Ultimate Opcoed

参考

• CiteSeerX — SXML Specification
• Scheme の変遷 - 月の塵
• KW · RnRS
• Scheme

追記

コメントにて R4RS は日本語訳があると教えて頂いたので、再度探してみました。

• Japan Lisp User Group: Resources: Japanese Documents (Japanese)

ここにリンクがあったのですが、リンク先は消失しているようです。

で、こちらに復刻版が！

• 紫藤のWiki: R4RS

Lisp/Scheme 読み物、メモ、よくわからないけど後で読む

Lisp関連の翻訳もの多数

• okshirai
• Tutorial on Good Lisp Programming
• Scheme 過去◇現在◇未来 前編
  
• Lispの進化
• 生まれて3週間目のArc
• 人々が送ってくれたアイディア
• Objective-LISP, ある提案
• 変数の束縛とINTERLISPスタック
• 私のLispでの経験とGNU Emacsの開発
• 言語の成長 [1]
• ・・・

社長がSchemerらしい。採用情報のページがなんかすごい。

• (株)知能情報システム｜知能コンピューティングの研究開発
• (株)知能情報システム｜ソフトウェア研究開発者の採用・人材募集
• SRFI 日本語訳

Schemeのマクロ、継続関連。

• Scheme Macro Programming
• scheme-faq-macros
• anaphoric-if
• amb
• http://web.archive.org/web/20060616054033/home.comcast.net/~prunesquallor/macro.txt
• http://petrofsky.org/src/primer.txt
• http://petrofsky.org/src/eiod.scm
• http://petrofsky.org/src/transformer-macro-blocks.scm
• http://petrofsky.org/src/alexpander.scm
• Advanced Scheme: Some Naughty Bits
• http://people.csail.mit.edu/jhbrown/scheme/macros03.scm
• http://people.csail.mit.edu/jhbrown/scheme/continuations03.scm
• [LOL] - 月の塵
• Scheme:OnLisp
• http://www.neilvandyke.org/morc/morc-lang.ss
• Matt Might
• http://matt.might.net/teaching/fall-2009-advanced-compilation/slides/
• Fast, portable, expressive vector-based records/structs for Scheme from syntax-rules
• Church-encoded numbers, lists, booleans, conditionals with fixed-point recursion in Scheme
• Compiling Scheme to C with flat closure conversion
• Implementation of the Fermat and Solovay-Strassen primality tests for RSA key generation in the Scheme dialect of Lisp
• Implementation of the RSA public-key cryptography algorithm in the Scheme dialect of Lisp
• http://okmij.org/ftp/Scheme/callcc-fixpoint.txt

コンパイラとか3impとか。

• Greenbear Laboratory - 3imp.pdfを読む
• naoyat's reading-3imp-ikoma at master - GitHub
• share - Revision 37752: /lang/scheme
• dmd.scm - dmd--0.5 - Code Search
• mattknox's nyclisp at master - GitHub

他

• vallog: Scheme マクロプログラミング ～基礎・応用～
• vallog: あとでよむ
• vallog: LISP・・・読み物？
• vallog: 読み物いくつか
• vallog: Lisp/Scheme Interpreter & Compiler

雑記

また探しに行ってみたけど、熊本の本屋さんには 実用 Common Lisp (IT Architects’Archive CLASSIC MODER) は置いてねぇーわ・・・。
ちょっと立ち読みしてみたいんだけどなぁ・・・。

熊本市内の本屋さんに「実用 Common Lisp」がなかった

今日、私の知る限りで最も品揃えの良い熊本市内の本屋さん2件を回ってみましたが、実用 Common Lisp (IT Architects’Archive CLASSIC MODER) は置いてませんでした・・・orz

「私の知る限り」なんて言わなくても、熊本市内で品揃えの良い2件と言ったら、三年坂のツタヤとダイエーのキクヤですね、はい。

ついでに、プログラミング言語SCHEME と ビューティフルコード を立ち読んだら、欲しくなりました・・・。

後者は、scheme の syntax-case が載っている25章だけでも良いので欲しいなー。などと Twitter でつぶやいたら、PDF（英語）を教えて頂きました！ありがとうございます！

• Twitter / SaitoAtsushi: @valvallow Beautiful code ...

前者は、英語版が Web 上に公開されているので、チラ見してみます。

• The Scheme Programming Language, 3rd Edition
• The Scheme Programming Language, 4th Edition

Web 上には、無料で読めるものが他にもたくさんあるしなー・・・。実用 Common Lisp (IT Architects’Archive CLASSIC MODER) は、また今度で良いかなー・・・。いや、立ち読んでみたいだけだったんだ。

• vallog: Webで読めるLisp関連書籍

syntax-rules: cond-set!

こうですか。。

• （PDF）Advanced Scheme Techniques

追記

修正しました。

• vallog: Re: update-if-true (cond-set!)

Common Lisp Quick Reference と PDF

これ、印刷しておきたい。

• Common Lisp Quick Reference

他にPDFを漁ったのでメモ。タイトルが面白そうだったというだけで、中身はどんなものか見ていません。

• Meet the Macro - a quick introduction to Lisp macros
• Common Lisp ObjectiveC Interface
• Qlisp: Parallel Processing in Lisp
• Movitz: Using Common Lisp for kernel-level programming on commodity hardware
• Liskell - Haskell Semantics with Lisp Syntax
• D-Expressions: Lisp Power, Dylan Style
• XS: Lisp on Lego MindStorms
• Vanilla Lisp Shell (VLS)
• Nano-Lisp The Reference Manual
• Lisp Practice
• Clojure and The Robot Apocalypse
• Tutorial on Good Lisp Programming Style
• Common LISP Hints
• Common Lisp Beginner’s Guide
• Quick Guide to Lisp Implementation
• Implementing SExpression Based Extended Languages in Lisp
• A LISP interpreter in Awk
• Maintaining Portable Lisp Programs It’s a bug, not a feature

CiNii は漁ってません。

• CiNii 検索 -  lisp

先日 LET OVER LAMBDA Edition 1.0 を読み終わりました。平日毎日2時間ほど読んで、3週間以上掛かかりました。読み終わったと言っても本を読む本 (講談社学術文庫)で言うところの「分析点検読書」レベルです。コードもほとんど書いていません。続けてもう一周読もうと思います。

• vallog: 読んだ「LET OVER LAMBDA Edition 1.0」
• vallog: On Lisp と Let Over Lambda のコード

次は、1年前に挫折した On Lisp を読もうと思っています。平日に。

On Lisp や LET OVER LAMBDA Edition 1.0 をサクサク読める方々というのは何者なのでしょうか。とても同じ人間だとは思えません。思いたくありません。尊敬します。


まだまだ、手持ちの Lisp/Scheme 関連書籍だけでも後が支えています。とても 実用 Common Lisp を買う余裕はありません。高いですし・・・。

そういえば、書店によっては既に 実用 Common Lisp が平積みにされているというお話があります。今日は外出したので、書店を覗いてみました。あるはずないだろう、とは思っていました（熊本ですし）。もちろん、ありませんでした。くやしいのぉくやしいのぉ。

On Lisp と Let Over Lambda のコード

• タンブラーとは - #9LISP Pre-LOL
• タンブラーとは - #9LISP 014 メモ その3

配布されているソースなど。

• On Lisp
• Download
• onlisp.lisp
• Flatline
• On Lisp - 日本語
• onlisp_j.pdf - 日本語

• Let Over Lambda
• textmode - Let Over Lambda
• lol.lisp
• lol-orig.lisp

例えば...

• Search: lisp - GitHub
• lang:"lisp" -el - Google ソースコード検索

Lisp/Scheme Interpreter & Compiler

ようやくLOL(LET OVER LAMBDA Edition 1.0)を読了した今日この頃です。わからないことだらけです。7章のForthを実装するところから書いてみようと思っています。

本題

ただのメモです。

最近、一日のうちに何度も「PCを開くにも本を開くにも中途半端な時間」が多く発生するので、携帯で2chを見てます。

• 【SICP】計算機プログラムの構造と解釈 Part2

99 ：デフォルトの名無しさん：2008/02/18(月) 22:30:16
>>94
> Essentials of Programming Languages
> 71. Continuation Passing Interpreterで。

3章がenvironment passing interpreterで、
7.3がimperative interpreger。

Reflection
http://library.readscheme.org/page11.html
Continuations and Continuation Passing Style
http://library.readscheme.org/page6.html
あたりもいいんじゃね?
Kenichi Asai. "Reflecting on the Metalevel Interpreter Written in Direct Style"とか。

字面を見ただけの当てずっぽうですが、The Little Schemer, 4th Edition の最後にSchemeで作る「Lispもどき」は Environment Passing Interpreter なんでしょうか。環境を渡しますよね。
これを実際に書いた時、初めて「環境」というのが何なのか理解できました。

• vallog: defineないけど小さなSchemeもどきで再帰動いたよー

参考

参考になりそうなところをざっくりとメモ。

• SECDマシン - Wikipedia
• M.Hiroi's Home Page / Common Lisp 入門：番外編
• secd machine compiler - cranebirdの日記
• 6 The SECD virtual machine
• SpringerLink - Journal Issue
• Reflection
• Continuations and Continuation Passing Style
• Reflecting on the Metalevel Interpreter Written in Direct Style
• 末尾最適化の本 : なつたん
• 物読みファイル: Essentials of Programming Languages -- 3rd Edition ([著]Daniel P. Friedman/Mitchell Wand, [版]The MIT Press)
• Three Implementation Models for Scheme (3imp.pdf) (生駒読書会)
• リリカル☆Lisp開発日記 » Blog Archive » Three Implementation Models for Scheme
• 紫ログ:Three Implementation Models for Scheme (3imp.pdf) - livedoor Blog（ブログ）
• Lisp in Small Pieces: 峯島雄治のブログ
• Lisp in Small Pieces - Google ブックス
• Essentials of programming languages - Google ブックス
• （PDF）Three Implementation Models for Scheme
• （PDF）A Rational Deconstruction of Landin’s SECD Machine

書籍

Schemeのインタプリタとコンパイラのいろんな実装が書かれているそうです。

• Lisp in Small Pieces - Google ブックス

Lisp in Small Pieces

posted with amazlet at 10.04.28

Queinnec Christian
Cambridge University Press
売り上げランキング: 78719

Amazon.co.jp で詳細を見る

こちらはContinuation-Passsing Interpretersなどが書かれている模様。

• Essentials of programming languages - Google ブックス

Essentials of Programming Languages, 2nd Edition

posted with amazlet at 10.04.28

Daniel P. Friedman Mitchell Wand Christopher T. Haynes
The MIT Press
売り上げランキング: 100724

おすすめ度の平均:

楽しいインタプリタの教科書

Amazon.co.jp で詳細を見る

（PDF）Three Implementation Models for Schemeの日本語訳がどこかに掲載されていたような記憶があるのですが、見つかりませんでした。

ところで2chは、iPhoneもAndroidも持っていませんのでこれで見ています。

• iMona - 携帯用２ちゃんねるブラウザ

追記

• Three Implementation Models for Scheme by R. Kent Dybvig - ひげぽん OSとか作っちゃうかMona-
• SECD Mania
• adhoc > memo > SECDR-Scheme を読む
• (PDF)ファーストクラス継続をもつ仮想機械

Pro Git 日本語PDF

PDFがあったのでメモ。

• Pro Gitの日本語版PDF - おれ ここ めも かきなぐる おまえ ここ よむ なぐる - subtech
• Pro Git - Table of Contents
• Pro Git 日本語版PDF (2009-10-11) - Google ドキュメント

 

ラムダ計算 λ...

みんな大好きラムダ計算。ラムだけ遺産。裸無駄ぁ。スlambdaンク！

昨日ついったーで、計算論 計算可能性とラムダ計算の話が出ました。難しいよねーと。
とっつきやすい本や資料はないかなー。

参考

• ラムダ計算 - Wikipedia
• 型付きラムダ計算 - Wikipedia
• lambda calculus
• ラムダ計算
• ラムダ計算 - assari
• なんでもλ
• Schemeでラムダ計算
• ラムダ計算基礎文法最速マスター - 貳佰伍拾陸夜日記
• JavaScriptで学ぶ・プログラマのためのラムダ計算 - 檜山正幸のキマイラ飼育記
• 絵を描いて学ぶ・プログラマのためのラムダ計算 - 檜山正幸のキマイラ飼育記
• kazkaz diary - ラムダ計算 - ラムダ計算(1) , ラムダ計算(2)
• 第16回 すべてのものは関数である - 数理科学的バグ撲滅方法論のすすめ：ITpro

 

• CiNii 検索 -  ラムダ計算

 

googleだと大学の授業の資料などが、たくさんヒットしますね。

• Ken-etsu FUJITA
  • （PDF）ラムダ計算
• Eijiro Sumii
  • （PDF）ラムダ計算入門
• 京都大学数理解析研究所 計算機科学研究分野
  • （PDF）コンピュータ・サイエンス入門 ラムダ計算第1 回目資料
• Mathematical Structures in Computation Models
  • （PDF）計算モデルの数理I: λ計算
• PPL2008
  • （PDF）対称λ計算の基礎理論
• Computational Logic
  • （PDF）ラムダ記法と(型のない) ラムダ計算
  • （PDF）型付きラムダ計算
• 2007年度前期・数理科学展望III/自然数理特論２
  • （PDF）ラムダ計算の構文論
  • （PDF）型付きλ計算
  • （PDF）型付きλ計算(続)
• 講義一覧 | 現代論理学の諸問題 | 慶應OCW|
  • （PDF）第２章 タイプ付ラムダ計算(Typed ¸-calculus)
  • （PDF）2.2 積タイプを持つタイプ付ラムダ計算
  • （PDF）2.3 ラムダ項を用いたデータ型の定義の例(Nat タイプ)
• Makoto Hamana Home Page
  • （PDF）型付きラムダ計算の停止性
• PublicationBySequence - PukiWiki
  • （PDF）型付き対称ラムダ計算の基礎理論
• プログラミング言語特論（2009年度）
  • （PDF）第2章ラムダ計算（λ-calculus）

 

以前amazonのレビューを読んでこの本を購入しました。

計算論 計算可能性とラムダ計算 (コンピュータサイエンス大学講座)

私個人の感想は「難解・・・」。

 

同じ頃、ここ↓で見かけた論理と計算のしくみという本が気になります。

• おとうさん、ぼくにもYコンビネータがわかりましたよ！ - きしだのはてな

 

関連

• gist: y-combinator -  GitHub
• vallog: [The Little Schemer]Y Combinator（再）
• vallog: Y Combinator

Webで読めるLisp関連書籍

書籍じゃないのもありますけども。
他にあったら教えて欲しいです。よろしくお願いします。

エッセイ

• ハッカーと画家 コンピュータ時代の創造者たち
  • Practical Scheme - 文書
    • 「翻訳文書」のところ

Emacs Lisp

• Programming in Emacs Lisp
• ぷよぷよを作ろう

Common Lisp

• Common Lisp Documentation
• Common Lisp the Language, 2nd Edition
• Successful Lisp - Contents
• The Common Lisp Cookbook
• License Agreement for 'Loving Lisp - the Savy Programmer's Secret Weapon'
• マンガで分かるLisp(Manga Guide to Lisp)
• 逆引きCommonLisp

 

• Common Lisp: A Gentle Introduction to Symbolic Computation
  • pdf
  • ps

• 実践Common Lisp
  • Practical Common Lisp

• LET OVER LAMBDA Edition 1.0
  • Let Over Lambda

• Common Lisp: An Interactive Approach (Principles of Computer Science Series)
  • Common Lisp: An Interactive Approach

• On Lisp
  • On Lisp
  • pdf
  • On Lisp日本語訳 草稿置き場
  • On Lisp Download

• Partial Evaluation and Automatic Program Generation (Prentice-Hall International Series in Computer Science)
  • Jones, Gomard, Sestoft: Partial Evaluation
    • ps
    • pdf

Scheme

• Bibliography of Scheme-related Research

• 計算機プログラムの構造と解釈
  • Structure and Interpretation of Computer Programs
  • sicp.pdf
  • 訳者によるヒントと解答

• The Scheme Programming Language, 3rd Edition
  • The Scheme Programming Language, 3rd Edition

• The Scheme Programming Language, 4th Edition
  • The Scheme Programming Language, 4th Edition

• How to Design Programs: An Introduction to Programming and Computing
  • How to Design Programs

• 入門Scheme―Scheme入門からXツールを使ったアプリケーションプログラミングまで
  • 入門Scheme

• プログラミングGauche
  • Karetta|Gaucheプログラミング(立読み版)

参考

• ネットで読める無料書籍 - Replore wiki
• 195 Free Online Programming Books | TechToolBlog
• vallog: [Book][Site]Webで読める名著【追加】
• vallog: Lisp - Free Programming Books

その他

読み物

• vallog: プログラマが好きそうな読み物100

PostScript

• vallog: PostScript書籍（PDF）
• vallog: PostScript 書籍 PDF 追加
• vallog: PostScript - PDF,Web まとめ

Erlang 他

• ネットで読める無料書籍 - Replore wiki
• 195 Free Online Programming Books | TechToolBlog
• vallog: Erlang PDF 他
• vallog: [メモ] SICP, Gauche, Haskell, PDF, 描画, PostScript

Webで読めないけど

Lisp 関連書籍