vallog: 2010/04

2010/04/30

Gauche arity 手続きの引数の数

(arity cons) ; -> 2

Gauche ユーザリファレンス: 6.16 制御

2010/04/29

TSS TLS atom?

無駄に複雑に書き直した話。

The Little Schemer, 4th Edition と The Seasoned Schemer に出てくる、atom?手続き。

上が本の序文に記載されているもので、下が書き直したもの。

TSS define?

わりとどうでも良い話です。

10章（The Little Schemer, 4th Edition）では、defineのない小さなLisp処理系を作りました。

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

20章（The Seasoned Schemer）ではdefineのある小さなLisp処理系を作るようです。そこでリストの先頭が(quote define)であるかどうかを判定するdefine?という手続きを作るわけです。

上記のようなコードが記載されています。The Little Schemer, 4th Edition でも The Seasoned Schemerでも、このスタイルです。不恰好ですよね。そこで、もう少しどうにかならないものかと考えてみるわけです。

書いてはみるものの、微妙です。微妙なので取り合えずブログに書いとけ、と思うわけです。ただそれだけです。

追記

そうでしたよ。Common Lispなら、こんなどうでも良いこと気にもならんのですよね。

On Lisp と Let Over Lambda のコード

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

On Lisp

Flatline

Let Over Lambda

例えば...

Lisp - Free Programming Books

メモメモ。

Lisp - Free Programming Books

Lisp

212. An Introduction to Programming in Emacs Lisp
Robert J. Chassell | Free Software Foundation, Inc.
Published in 2002, 314 pages
213. Basic Lisp Techniques
David J. Cooper, Jr. | Franz Inc.
Published in 2003, 100 pages
214. Casting Spells in Lisp
Conrad Barski | Lisperati.com
Published in 2008, 26 pages
215. Common LISP: A Gentle Introduction to Symbolic Computation
David S. Touretzky | Benjamin-Cummings Pub Co
Published in 1990, 587 pages
216. Common Lisp: An Interactive Approach
Stuart Charles Shapiro | W.H. Freeman & Company
Published in 1999, 358 pages
217. Common LISP: The Language, 2nd Edition
Guy Steele | Digital Press
Published in 1990, 1029 pages
218. Design of CMU Common Lisp
Robert A. MacLachlan |
Published in 2003, 122 pages
219. Exploring Randomness
Gregory J. Chaitin | Springer
Published in 2001, 164 pages
220. Let Over Lambda: 50 Years of Lisp
Doug Hoyte | Lulu.com
Published in 2008, 384 pages
221. Loving Lisp, or the Savvy Programmer's Secret Weapon
Mark Watson |
Published in 2002
222. Natural Language Processing in Lisp
Gerald Gazdar, Chris Mellish | Addison-Wesley
Published in 1989, 533 pages
223. On LISP: Advanced Techniques for Common LISP
Paul Graham | Prentice Hall
Published in 1993, 426 pages
224. Performance and Evaluation of Lisp Systems
Richard P. Gabriel | The MIT Press
Published in 1985, 294 pages
225. Practical Common Lisp
Peter Seibel | Apress
Published in 2005, 500 pages
226. Successful Lisp: How to Understand and Use Common Lisp
David B. Lamkins | bookfix.com
Published in 2004, 360 pages

2010/04/28

読んだ「入門Common Lisp―関数型4つの特徴とλ(ラムダ)計算」

@finalfusionさんに頂いた入門Common Lisp―関数型4つの特徴とλ(ラムダ)計算を読みました。読んでみたかった本です。

vallog: 本をたくさん頂きました！

入門書とあるように、ガチの入門書でした。Lisp系の言語の経験が全くない人向けだと思います。

8章が唐突にλ計算です。Lispのコードが読めればこちらも問題ないかと思います。8章だけ入門とは無関係のような気がします。だからこのタイトルなのでしょうけど。

vallog: ラムダ計算 λ...

Common Lispにしろλ計算にしろ、もっと良い資料がWeb上にたくさん転がっているかと思います。もしくは今ならこちらでしょうか。

vallog: 「初めての人のためのLISP」

そういえばあとがきに計算論計算可能性とラムダ計算 (コンピュータサイエンス大学講座)が紹介されていました。この本は評判が良さそうだったので、以前購入したのですが難しくて即挫折して即積読です。積読鋭意継続中。

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もどきで再帰動いたよー

参考

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

書籍

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 - 携帯用２ちゃんねるブラウザ

追記

AIプログラミングのケーススタディ「実用 Common Lisp」

欲しくなりますねぇ・・・。高い・・・。

@emeitch - 竹内先生曰く、「実用 Common Lisp」はSchemeの優れた再入門になっているとのこと。Schemeファンも必見ですね。

実用 Common Lisp

posted with amazlet at 10.04.28

ピーター・ノーヴィグ
翔泳社
売り上げランキング: 3499

Amazon.co.jp で詳細を見る

amazonの内容紹介より

この本が扱っているトピックは、人工知能(AI)、コンピュータプログラミング技術、プログラミング言語Common Lispの3つである。

著者Peter Nrving(ピーター・ノーヴィグ)は

アメリカ合衆国の計算機科学者。現在はGoogleの研究本部長を務めている。

だそうで。

プログラミング言語SCHEMEのKent Dybvig(ケントディヴィグ)と似てませんか。似てませんね。

The Scheme Programming Language, 4th Edition

2010/04/27

Lisp

2010/04/24

デザインパターンいろいろ

これがおもしろかった。

Togetter - まとめ「デザパタ140文字」

GoFのデザインパターン。「Gang of Four」って名前、ダサくないですか。

デザインパターン (ソフトウェア) - Wikipedia

他のパターンも140文字でやって欲しい。

GoFの半分くらいは仕事で使ったことあります。でも、今思えば必要だったのか疑問です。パターン厨（pattern happy）だったと思います。

vallog: Hello World

読み物

ある言語で頻繁に使われるデザインパターンは、他の言語ではパターンでさえない。よって「デザインパターンは言語の弱さを示すサインである」という話。

他

エンタープライズアプリケーションアーキテクチャパターン (Object Oriented Selection)

なべあつ

すごく今更なお題ですけども。

世界のナベアツにGauche(Scheme)で挑戦する - そーり日誌

なんとなく正規表現は使いませんでした。

そういえば、恥ずかしながら「正規表現」を知ったのはプログラマになってから2年以上も後のことでした。その間、社内で正規表現を見かけなかった環境って一体・・・。

vallog: [Regexp][正規表現]正規表現メモ

追記

会社のせいにしちゃあいけないですね。

defmacro!。これを書いておかないと何も始まりませんね。LET OVER LAMBDA Edition 1.0は。

まだslimeの使い方がよくわかりません。C-c C-cはコンパイルで、C-x C-eがreplに読み込む、ということくらいでしょうか。その時、コード中に見つからないシンボルがあるとアンダーラインで示してくれるなど（↑画像）、ありがたいです。

schemeにもそういうのないのかな。quack.elにはたぶんないんですよね。

Gaucheのshiroさんも以下のようにおっしゃっているので、きっとslimeって多機能なんだろうなぁ。

shiro: うーむCL+slimeで作業してるとやっぱりgauche+quackは物足りなく感じるなあ。 http://bit.ly/b35LjH

Re:部分適用, 関数合成

vallog: 部分適用, 関数合成

リファレンスを載せとくの忘れてた。

部分適用, 関数合成

cutとcompose 良い。

関係ないけどfold-right。

確かsicpの2章にcomposeと一緒にrepeatedってのが出てたような。
ところでsicpって「シックピー（sick-pea）」と読むらしいですね。srfi同様「えすあいしーぴー」って読んでました。

vallog: srfi さーふぃ

一般的な再帰からnamed-letに書き直せない病。（letrecを経由するといける）

2010/04/22

コンパイラの別名を「マクロ」という。

LET OVER LAMBDA Edition 1.0の6章「コンパイラの書き方とベンチマーク」P.235より。この本は終始こんなノリ。

コンパイラを作るのは、Lispを知らなければぞっとするような仕事なのだろう。

コンパイラを書く際のLispの優位性は、他の言語に比べてちょっと優れているという類のものではない。

コンパイラはやさしい。

マクロはプログラムをある言語から他の言語へとコンパイルする。

副音声がずっと「LISP最強！！」。

2010/04/21

Pythonを突っ込んでEmacsで書けるようにしてみた

Pythonを入れてみました。Emacs言うてもMeadowですけども。
参考にしたのはここ。

『python-mode.el』と『pymacs』と『pycomplete.el』と - 牌語備忘録

.emacsに適当にC-cpythonなどを追加。

(defun python-other-window ()
  "Run py-shell on other window"
  (interactive)
  (python-mode)
  (split-window-horizontally 90)
  (let ((buf-name (buffer-name (current-buffer))))
    (py-shell)
    (get-buffer-create "*python*")
    (switch-to-buffer-other-window
     (get-buffer-create buf-name))))
(define-key global-map "\C-cpython" 'python-other-window)

Pythonは、GAEで2.5.xが要求されたので、win用インストーラのある2.5.4を選択しました。

Emacs 画面端で折り返さない

切り替えたいことって、そんなに無い気もしますが。

(setq truncate-lines t)
(setq truncate-partial-width-windows t)

(defun togle-truncate-line ()
  (interactive)
  (let ((p (null truncate-lines)))
    (setq truncate-lines p)
    (setq truncate-partial-width-windows p)
    p))

(define-key global-map "\C-Q" 'togle-truncate-line)

2010/04/20

オブジェクト指向の達人ってどんだけ凄いの?

オブジェクト指向の達人ってどんだけ凄いの？

9 ：仕様書無しさん：2007/11/23(金) 04:57:39
日常会話でオブジェクト指向用語が出てくるぐらいすごい。 

この間、俺とワイフの多重継承したチルドのインスタンスがニューされたよ。 
目元は俺を継承して、口元はワイフを継承している。 
きっと多彩なクラスをインプリメンツしたクレバーなチルドになるぞ。 
フューチャーが楽しみだ

10 ：仕様書無しさん：2007/11/23(金) 05:06:18
ルー語じゃねぇかｗｗｗ

12 ：仕様書無しさん：2007/12/03(月) 20:27:04
昨日彼女と一緒にメメント観てたらいつのまにかチムポがブリッジしちまってさー 
そしたら彼女が俺の上にビジターしてきてアダプタしちゃったよ 
まあ全部俺の妄想で本当はシングルトンな毎日なんだけどさ

デザインパターン (ソフトウェア) - Wikipedia

参考

イクラちゃんってBoolean型だよな

イクラちゃんってBoolean型だよな

1 ：仕様書無しさん：2008/12/08(月) 15:47:21
ハーイ：true 
バブー：false


7 ：仕様書無しさん：2008/12/08(月) 19:56:04
ちゃーん＝null

3値論理 - Wikipedia

参考

2010/04/19

プログラマーになってよかったと思うこと

プログラマーになってよかったと思うこと

9 ：仕様書無しさん ：2008/10/18(土) 16:34:29
ここまで低コストで、思い通りに動くモノが作れる世界は
実際問題、そうはないだろ

無料CSVデータ

無料でダウンロードできる（っぽい）CSVを、ざっくり探してみました。

16の「海軍兵学校卒業者数一覧」と17の「ガンダムカラー」はなかなかストレンジ。

こっちが良いかも。

追記

vallog: FXヒストリカルデータ

Gauche CSV

勝手がわからなかったのでmemoがてら。サンプルに使ったデータはこちら。

郵便番号データダウンロード - 日本郵便

今回のサンプルにはちょっと大きかった。

参考

今更ながら、どう書く？orgすげーな。shiroさんのコードがあるある。

2010/04/18

邪悪なPostScriptコード

clmemo@aka: PostScript... 更なる深淵へ

%!OPS-1.0 %%Creator: HAYAKAWA,Takashi
/A/copy/p/floor/q/gt/S/add/n/exch/i/index/J/ifelse/r/roll/w/div/H{{loop}stopped
Y}def/t/and/C/neg/T/dup/h/exp/Y/pop/d/mul/s/cvi/e/sqrt/R/rlineto{load def}H 300
T translate(V2L&1i2A00053r45hNvQXz&vUX&UOvQXzFJ!FJ!J!O&Y43d9rE3IaN96r63rvx2dcaN
G&140N7!U&4C577d7!z&&93r6IQO2Z4o3AQYaNlxS2w!!f&nY9wn7wpSps1t1S!D&cjS5o32rS4oS3o
Z&blxC1SdC9n5dh!I&3STinTinTinY!B&V0R0VRVC0R!N&3A3Axe1nwc!l&993dC99Cc96raN!a&1CD
E&YYY!F&&vGYx4oGbxSd0nq&3IGbxSGY4Ixwca3AlvvUkbQkdbGYx4ofwnw!&vlx2w13wSb8Z4wS!J!
c&j1idj2id42rd!X&4I3Ax52r8Ia3A3Ax65rTdCS4iw5o5IxnwTTd32rCST0q&eCST0q&D1!&EYE0!J
&EYEY0!J0q!x&jd5o32rd4odSS!K&WCVW!Q&31C85d4!k&X&E9!&1!J!v&6A!b&7o!o&1r!j&43r!W)
{( )T 0 4 3 r put T(/)q{T(9)q{cvn}{s}J}{($)q{[}{]}J}J cvx}forall 270{def}H
K{K{L setgray moveto B fill}for Y}for showpage

邪悪過ぎませんか・・・。

私も、PostScriptはちょっぴり書くことがあるのですが、とても読めません・・・。そもそも読めるようなものなんでしょうか・・・。

vallog: PostScript 階乗

%!PS-Adobe-3.0 
% factorial

/fact { 
    1 dict begin 
        /n exch def 
        n 1 eq n 0 eq or { 
            1 
        } { 
            n 1 sub fact n mul 
        } ifelse 
    end 
} def

5 fact % 120

gif

こっちもすごいなぁ。gifにできるんですね。

clmemo@aka: orz.ps |PostScript|

%!PS-Adobe-3.0
%%BoundingBox: 0 0 100 20
%%Title: orz.ps
%%Creator: @aka
%%CreationDate: Thu May 19 23:06:30 2005
%%EndComments

64 dict begin

/dots 14 def
/Helvetica-Bold findfont 18 scalefont setfont

/orz {
  0 1 dots {
    /head exch def
    0 0 moveto
    dots head sub { (.) show } repeat
    (o) show
    head { (.) show } repeat
    (rz) show
    showpage
  } for
} def

orz

end
showpage
%%EOF

9LISP

9LISPでは、LOLの「第7章 Lispを動かすForthを動かすLisp」を参考にPostScriptを実装してみたい、というのも当面の目標の一つです。最終的にはS式で書けるPostScript的な何かができたら良いなーなどと。

vallog: 9LISP - 012, 013, 014

たまには、スタック指向な言語もいかがですか。

LispとPostScriptさえあれば私はハッピーになれる。

2010/04/30

2010/04/29

追記

例えば...

Lisp

関連

2010/04/28

本題

参考

書籍

追記

2010/04/27

Lisp

関連

2010/04/24

読み物

他

追記

2010/04/22

2010/04/21

2010/04/20

参考

参考

2010/04/19

参考

2010/04/18

gif

9LISP

関連