Lisp Scheme Part40 [転載禁止]©2ch.net

**デフォルトの名無しさん** · 2015/03/16(月) 13:45:52.92

Common Lisp、SchemeをはじめとするLisp族全般のスレです

■前スレ
Lisp Scheme Part39
http://peace.2ch.net/test/read.cgi/tech/1408017352/

■テンプレ
ttp://wiki.fdiary.net/lisp/

■関連スレ
【入門】Common Lisp その11【質問よろず】
http://peace.2ch.net/test/read.cgi/tech/1411307361/
【Scheme】Schemeインタプリタ Mosh Part1【Lisp】
http://peace.2ch.net/test/read.cgi/tech/1272469779/
【Lisp】プログラミング言語 Clojure #3【JVM】
http://peace.2ch.net/test/read.cgi/tech/1380333808/
【魔法】リリカル☆Lisp【言語】
http://peace.2ch.net/test/read.cgi/tech/1183396621/

**デフォルトの名無しさん** · 2015/11/09(月) 15:11:05.97

ドクじゃん

**234** · 2015/11/09(月) 20:47:58.44

>>241-244 素晴らしいIDですね
末尾コンテキストの伝播については理解できたと思います
ifは末尾コンテキストが2つに増えるので
もしif文が末尾に連なってたら末尾コンテキストがたくさんになるわけですね
これを使って末尾コンテキスト判定をするis-tailrecみたいなのを作れば
考え方として、関数fの定義でもしis-tailrecが真となる箇所以外でfが
呼ばれていれば末尾再帰でないと判定すればいいですよね
set!の部分がちょっとまだ理解できてませんが考えてみます

2015/11/10(火) 21:05:11.25

>>237
紹介サンクス
かなり読みやすくなってる気がする

**デフォルトの名無しさん** · 2015/11/11(水) 14:40:05.71

Haskellのclassとinstanceに相当する型演算をSchemeで擬似的に作る方法ないのだろうか

**はちみつ餃子** ◆8X2XSCHEME · 2015/11/11(水) 17:14:51.88

Picrin にはそんな感じのオブジェクトシステムが入ってるよ。
作者による紹介記事がある。

http://wasabiz.hatenablog.com/entry/2015/01/12/170025

クラスじゃなくてプロトコルという名前になってるけど、やってることはほぼ同じ。

実装はこのあたり。意外に小さい。

https://github.com/picrin-scheme/picrin/blob/master/contrib/50.class/piclib/picrin/class.scm
https://github.com/picrin-scheme/picrin/blob/master/contrib/80.protocol/piclib/picrin/protocol.scm

**デフォルトの名無しさん** · 2015/11/11(水) 18:24:03.85

ピクミンかと思ったらピクリン

**デフォルトの名無しさん** · 2015/11/17(火) 21:41:10.87

https://twitter.com/illmnt_SICP_ja

**デフォルトの名無しさん** · 2015/11/18(水) 02:32:25.06

うーん、、、、

**デフォルトの名無しさん** · 2015/11/18(水) 06:45:07.50

>>252
何だこれ。晒してるつもりなのか？
こんなことすべきじゃない。

**デフォルトの名無しさん** · 2015/11/18(水) 13:46:02.89

>>252
これ読んでいるだけでも、すごく勉強になるよな

**デフォルトの名無しさん** · 2015/11/19(木) 00:09:30.94

なるよな？
同意を求めないで欲しい
気持ち悪いbot作ったなーとしか…

**はちみつ餃子** ◆8X2XSCHEME · 2015/11/19(木) 00:38:47.15

SICP は専門書なわけで、どこの 140 文字を抜き出したって勉強になるってほどの情報量ないよ。

**デフォルトの名無しさん** · 2015/11/19(木) 00:46:43.61

情報量うんぬん以前に
何言ってんのかわからない
日本語なのか
これは

**デフォルトの名無しさん** · 2015/11/19(木) 00:51:29.41

ワードサラダにしか見えん

**デフォルトの名無しさん** · 2015/11/19(木) 01:04:54.84

変な翻訳を抜き出して笑うためのbotだと思うんですけど
SICPで翻訳と言えば例の翻訳炎上のはてブ勢の気持ち悪いこと気持ち悪いこと

**デフォルトの名無しさん** · 2015/11/19(木) 02:17:36.76

アスぺの人、和田訳を執拗に擁護するのはなんなんだろうな
専門知識で足りない英語力を補っているから、minghai訳よりはマシって程度なのに

**はちみつ餃子** ◆8X2XSCHEME · 2015/11/19(木) 03:23:10.97

>>260
笑うためってのは言い過ぎだと思うけど、まあ、余興だよな。

**デフォルトの名無しさん** · 2015/11/20(金) 01:28:32.20

和田訳こそ英文が読めなくて、日本語を適当にでっちあげた
真鍋のいうところの腐臭のする糞訳なのに、
どういうわけか擁護するんだよな

**デフォルトの名無しさん** · 2015/11/20(金) 21:27:40.60

擁護とか一体何と戦ってるんだこのおっさん

**デフォルトの名無しさん** · 2015/11/20(金) 22:14:38.36

照り輝くbotはもともと糞訳をまとめたおもしろbotだろ
そもそも照り輝く自体相当前からネタにされてるし

**デフォルトの名無しさん** · 2015/11/21(土) 00:58:11.83

糞約とはいえ他人の著作物云々の問題はクリアしてるのか？

**デフォルトの名無しさん** · 2015/11/21(土) 01:23:42.79

SICPを糞訳と言うと、おかしな連中が絡んできて面倒だったけど
これからはこれ貼るだけですむから楽でいいわ
https://twitter.com/illmnt_SICP_ja

**デフォルトの名無しさん** · 2015/11/21(土) 02:17:10.09

>>260
はてブ気持ち悪いのだけ一貫してて主張がコロコロ変わってて面白い
主張は変わってないのに同じ人が擁護したと思ったら次の記事には叩いてんのな

**デフォルトの名無しさん** · 2015/11/21(土) 03:16:47.47

推奨NGワード: illmnt

**デフォルトの名無しさん** · 2015/11/21(土) 04:49:29.21

機械翻訳みたいな変な訳ばっかり
こういうのダメ出しするのも出版社の仕事だろ
アメリカの教科書はリーダブルじゃなきゃならないと聞くが
悪文で書いた教科書なんてのはそれこそ日本の悪文化だよ
ましてMITの教科書を改悪、悪文化するのはおかしいゾ

**デフォルトの名無しさん** · 2015/11/21(土) 04:50:19.99

まして、はおかしいか。俺も悪文化。

**デフォルトの名無しさん** · 2015/11/21(土) 09:08:25.40

http://peace.2ch.net/test/read.cgi/tech/1333015632/

**デフォルトの名無しさん** · 2015/11/28(土) 18:52:48.98

プログラミングGauche尼で売り切れてオライリーが入荷待ちなんだけど
絶版？第2版？

**デフォルトの名無しさん** · 2015/12/02(水) 00:31:49.93

>>213
ラムダ式返したい

**デフォルトの名無しさん** · 2015/12/15(火) 02:43:12.56

本当はLisp使いたいのに急ぎだとpythonとかbashで使い捨てスクリプトを書いてしまう

**デフォルトの名無しさん** · 2015/12/15(火) 02:54:48.05

そうか。

**デフォルトの名無しさん** · 2015/12/15(火) 12:22:58.17

それで良い。

**デフォルトの名無しさん** · 2015/12/16(水) 10:19:05.23

(定義 (長さリスト)
　(もし (空? リスト)
　　0
　　(加算 1 (長さ (残余リスト)))))

**デフォルトの名無しさん** · 2015/12/16(水) 13:19:26.38

(定義 (右から畳み込みリスト乗算単位元)
(もし (空？リスト) 単位元
(乗算 (車リスト) (右から畳み込み (残余リスト) 乗算単位元))))

**デフォルトの名無しさん** · 2015/12/16(水) 13:30:51.38

「車」…w

**デフォルトの名無しさん** · 2015/12/16(水) 14:27:37.96

(管リスト)

**デフォルトの名無しさん** · 2015/12/17(木) 08:55:39.39

Schemeを勉強しだす→「なんてシンプルかつエレガントなんだ！これさえあれば何でもできそうだ！」
Schemeで何か作ろうとしだす→「なんて面倒なんだ！CommonLispみたいに統一してくれよ！」

「R{5,6,7}RS準拠だぞ」
「けどここは各実装で好きにしていいぞ」
「皆自分でSchemeを作るんだぞ」

**デフォルトの名無しさん** · 2015/12/17(木) 19:15:09.86

Scheme は「俺自身が Scheme になる事だ」が奥義だから

**デフォルトの名無しさん** · 2015/12/17(木) 23:13:43.49

(もしもし？もしもし？ただいま留守にしておりますお掛けになった電話番号は)

**デフォルトの名無しさん** · 2015/12/18(金) 00:12:22.66

> 俺自身がscheme
それは違うが

**デフォルトの名無しさん** · 2015/12/18(金) 02:10:52.71

真の Scheme は世界で俺だけだもの

**デフォルトの名無しさん** · 2015/12/18(金) 02:18:32.82

「俺の母語はschemeだぞい」とかいうなら分かるんだけど。
俺がschemeってどういうことよ？もっと具体的に。

**デフォルトの名無しさん** · 2015/12/18(金) 06:05:40.32

俺がガンダムだ！的な。

**デフォルトの名無しさん** · 2015/12/18(金) 11:39:18.75

今度生まれる時は側溝に生まれたい的な

**デフォルトの名無しさん** · 2015/12/18(金) 12:10:58.73

マジレスするとオサレマンガの台詞

**デフォルトの名無しさん** · 2015/12/18(金) 21:41:51.11

> 俺自身がscheme
これは自分にはかなり納得がいく言い方だった。
自分はC++が主なんだけど、schemeを学んでから、その知見を取り入れて、
C++のスキルが顕著に上がったと思う。
自分の書くコードの質も、先輩の書いたコードに対する読解力も。
なんというか、schemeで考えてC++で書くようになったというか。

**デフォルトの名無しさん** · 2015/12/20(日) 20:34:16.08

lispの入門書って何がおすすめなん？Land of Lisp？The little schemer(scheme手習い)？

**デフォルトの名無しさん** · 2015/12/20(日) 20:39:06.04

>>292
(質問スレに書くべきだったけど許して)

**デフォルトの名無しさん** · 2015/12/20(日) 21:58:56.19

Realm of Racketの翻訳って誰かやってんのかな？shiroさん？

**デフォルトの名無しさん** · 2015/12/20(日) 22:10:47.02

>>292
漠然とした本なんかより処理系のソースコード
かといってgcc級の糞でかいの読めっても無理だろうから規模がちっこいやつね
ついでにその処理系で動作確認もできるし

**デフォルトの名無しさん** · 2015/12/20(日) 22:36:57.89

>>295
ありがとうございます

**デフォルトの名無しさん** · 2015/12/20(日) 22:38:45.09

>>292
プログラミングGauche

**デフォルトの名無しさん** · 2015/12/21(月) 02:08:17.88

>>292
前者は読んでておもしろい、後者はまじめに勉強にはなる
お金あるならどっちも読むと良いよ

あとは上の方に書かれてるけどソースコードはとっても勉強になるけどこれは結構しんどいと思うな(割と時間かかるから)。

**はちみつ餃子** ◆8X2XSCHEME · 2015/12/21(月) 04:18:41.62

基本的な考え方くらいはおさえとかないとソースから意図を読むのは難しいと思うよ。

**デフォルトの名無しさん** · 2015/12/21(月) 06:40:36.36

>>298
>>299
ありがとうございます、やはりソースをそのまま読むのは辛いですよね…

**デフォルトの名無しさん** · 2015/12/21(月) 23:04:52.99

ttp://www.amazon.co.jp/dp/B018KXY55Y/
「ＬＩＳＰでわかる！プログラミング・自由に生きるための英語学習法」
何この…何これ?
kindleでサンプル見たんだけど、これで理解できる初学者いるの?

**デフォルトの名無しさん** · 2015/12/22(火) 00:34:26.45

一人称が予な著者らしい
https://twitter.com/tadachika_j

**デフォルトの名無しさん** · 2015/12/22(火) 04:34:23.25

個人出版のデジタル本で1200円は高いな。
50円なら買ったかもしれないのに。

**デフォルトの名無しさん** · 2015/12/22(火) 16:23:19.45

>>301
Kindle出版のオナニー書籍にしか見えないんだけど内容どうだった？(prime会員だからタダでよめるんだけどなんか触るのイヤな感じ)

**デフォルトの名無しさん** · 2015/12/23(水) 14:03:22.77

miniKanrenの日本語解説本
誰も書かないなら個人出版で出しちゃうぞ

**デフォルトの名無しさん** · 2015/12/23(水) 14:48:16.43

>>304
サンプルの範囲では
「○○が出来ます」＋コードサンプル
で１㌻
それが延々続いてた
目次見るとそこそこ解説もコードも書かなきゃいけなさそうなことも取り扱っているはずなんだが

**デフォルトの名無しさん** · 2015/12/27(日) 21:55:10.69

自分もサンプル版を読んでみたけど、言語の解説という雰囲気ではなく、自分の勉強した内容を箇条書きっぽく書いてあるように感じた。
サンプルは最初の方しか読めないから、LISPそのものの説明のところだけしか読めてないけど、後半の応用部分は面白くなる可能性はあるかもしれないな。

英語学習法の部分については、
http://primitive-lisp.blog.so-net.ne.jp
独学でこのくらい書けるようになるのであればスゴイと思うし、ブログを日本から発信するのには十分かと。
でもネイティブの人はカタコトのように感じるレベル。

**307** · 2015/12/27(日) 21:56:57.03

英語学習法の部分はサンプルに入ってないので、自分テキトーなことを言ってるぜ！？

**デフォルトの名無しさん** · 2015/12/28(月) 08:21:49.27

Lispの別スレ出来てる

**デフォルトの名無しさん** · 2015/12/28(月) 09:49:46.17

キチガイコテスレじゃん

**デフォルトの名無しさん** · 2015/12/31(木) 23:31:36.96

Deep Learningの人達はpythonフレームワークを乱立させてるけどlispのマクロ下位互換マクロ作ってるだけなのにいつ気がつくんだろ。lisp使えばフレームワークとかそもそも必要ないのに

**デフォルトの名無しさん** · 2016/01/01(金) 03:49:37.78

フレームワークを乱立させやすい言語は流行る
Lispもそうだった

**デフォルトの名無しさん** · 2016/01/01(金) 16:20:50.48

え、あ、うん

**デフォルトの名無しさん** · 2016/01/04(月) 02:33:01.83

Theanoとかlispで書き直したらかなりスッキリするのに
ごちゃごちゃしすぎ

**デフォルトの名無しさん** · 2016/01/04(月) 17:11:28.45

他人の書いたpythonコードを解析しないといけなくなって
「めんどくさい
何でLispで書かないんだ
解析させられる俺の身にもなれ
Lispなら長さが半分以下の読みやすいコードになるのに」
という感情がとても高まってきている

**デフォルトの名無しさん** · 2016/01/05(火) 12:25:36.29

お前が書いたlispのコードの方がもっとひどいんだがｗ

**デフォルトの名無しさん** · 2016/01/06(水) 02:03:24.51

windows内蔵言語のvbscriptでschemeモドキを作ろうと目論んでる
つってもちゃんとやるのはマクロと末尾再帰だけでね
variant型使ったリスト処理がどんだけ遅くなるか見ものだ

**デフォルトの名無しさん** · 2016/01/08(金) 22:26:33.75

100Gぐらいのメモリーに入りきらないデータを扱う時にpythonではジェネレター式というのを使うけどschemeやlispではどういうふうにするの？

**はちみつ餃子** ◆8X2XSCHEME · 2016/01/09(土) 00:13:08.70

典型的なのはストリーム (srfi-41)
http://srfi.schemers.org/srfi-41/srfi-41.html

ジェネレータの形にする場合もある。
http://practical-scheme.net/gauche/man/?l=jp&;p=gauche.generator

Gauche だと遅延シーケンスがある。
でも、これは処理系自体に組み込みじゃないと後付けでは難しいので遅延リストに依存したコードは移植性に難があるかもしれない。
http://practical-scheme.net/gauche/man/?l=jp&;p=%E9%81%85%E5%BB%B6%E3%82%B7%E3%83%BC%E3%82%B1%E3%83%B3%E3%82%B9

単なるバイト列やテキストであればカスタムポートも使いやすいと思う。

**デフォルトの名無しさん** · 2016/01/14(木) 11:57:12.25

https://github.com/dherman/c.rkt
これでC言語のプログラムを自由に加工したりできるっぽいのだけど
ドキュメントらしきものがない
誰かexample usageみたいなものどこかにないか知りませんか？
使えればかなり便利そうなんだけど

**デフォルトの名無しさん** · 2016/01/14(木) 13:17:40.77

Racket はなんだか独自の世界で生きてるよね

**はちみつ餃子** ◆8X2XSCHEME · 2016/01/14(木) 17:10:36.81

>>320
拡張子が scrbl のファイルはドキュメントだぞ。
Scribble で html などに変換できるはず。

**デフォルトの名無しさん** · 2016/01/16(土) 22:19:21.86

Edi Weitzの新著の書評誰かplz.

**デフォルトの名無しさん** · 2016/01/19(火) 19:19:06.15

http://cl21.org/

**デフォルトの名無しさん** · 2016/01/19(火) 22:51:56.91

>>324
いや違うと思う。CLって多分思考（若しくは試行）ツールなんだと思うよ
俺が使いこなせないのは普段から抽象を扱ったりしてないから

**はちみつ餃子** ◆8X2XSCHEME · 2016/01/26(火) 01:38:54.53

>>323
http://clfreaks.org/post/137885712779/12-common-lisp-recipes-plus

**デフォルトの名無しさん** · 2016/03/20(日) 14:40:59.70

schmeme 手習いを反復してやってます
(cond ((eq? a (car lat)) ....
で eq? が真を返すときの実行文の文法がわかりません

教科書では
(cond ((eq? a (car lat))(cdr lat))
となっていますが
(cond ((eq? a (car lat))(print "abc")(cdr lat))
と真の時の従属節に関数実行のS式を追加することはOKでしょうか？

目的はデバッグのため
処理系はgauche です，プログラミングgaucheを手元に置いていますがよく読めてません
よろしくお願いいたします

**デフォルトの名無しさん** · 2016/03/20(日) 21:20:49.05

beginすればいいんじゃね

**デフォルトの名無しさん** · 2016/03/20(日) 21:41:03.51

>>328
if のときじゃなくて cond のときはどうでしょうか？

**デフォルトの名無しさん** · 2016/03/21(月) 00:04:00.00

>>329
condはifとbeginに置き換えられる
condをマクロとして実装してる処理系は多い
まず処理系のソースを見てごらんよ
(cond (test1 body1) (test2 body2) (else bodyn))は
(if test1 (begin body1) (if test2 (begin body2) (begin bodye)))
に一旦展開された後で項書き換えとかコンパイルとかされる
要するにcondのbody節は複文相当で最後の式の値が全体の式の値になる
構文が判らないレベルなら教科書は一旦捨てて処理系のソース読んだ方が早い

**デフォルトの名無しさん** · 2016/03/21(月) 00:27:45.71

ちなみにschemeはマクロを除いて基本構文は5つしか必要ない
define lambda set! if beginだったかな？
でも厳密にはquote関係も数に入れると10個ぐらいかもしれない
それ以外は全て上の5構文を組み合わせたマクロとして定義できる
つまり上の5構文だけマスターしとけばよい

例えばletがマクロなら(let((var value)) ～)は((lambda(var) ～)value)
のように意味を全く違えずに置き換えられる
残りのマクロも同様に基本構文への展開形を連想できるようになれば
schemeの基本はマスターしたと思ってよい

ただし肝心のschemeのマクロの定義は手段が沢山あってカオスなので
schemeマクロの闇については自分で調べて下さい
gaucheなら大きく分けて2つだろうけど

**はちみつ餃子** ◆8X2XSCHEME · 2016/03/21(月) 02:54:24.39

最近の Gauche には explicit renaming マクロ変換器が入ってるよ。

**デフォルトの名無しさん** · 2016/03/21(月) 23:00:02.23

ノートぱちょこん買い替える非業界人なんだけど、最近話題沸騰中の
LispとSchemeにちょっと興味があって。やっぱりマックにしたほうが
幸せになれるんでせうか？それとも、今までのぱちょこんをLinixに
したほうがいいのかな？

**デフォルトの名無しさん** · 2016/03/22(火) 00:06:38.20

割とどうでもいい

**デフォルトの名無しさん** · 2016/03/22(火) 10:26:28.38

マックにArchLinux入れろ

**デフォルトの名無しさん** · 2016/03/22(火) 13:25:51.72

>>333
LispとSchemeで遊びたいならWindowsでもMacでも好きな方買って大丈夫
WindowsならWindowsに適したものが、MacだとUnix処理系から普通にって感じで入れられるよ。

**デフォルトの名無しさん** · 2016/03/22(火) 13:35:28.39

最近どこで話題沸騰中なんだ？

**デフォルトの名無しさん** · 2016/03/22(火) 13:36:45.17

Windowsでコーディングとか正気か

**デフォルトの名無しさん** · 2016/03/22(火) 14:50:32.81

Gauche で OpenGL 使うときは Windows の方がよい

**はちみつ餃子** ◆8X2XSCHEME · 2016/03/22(火) 18:32:27.01

メモリを多めに積んだやつに VMware なり Virtual PC なりの仮想化ソフトを入れて使い分ければいいよ。

**デフォルトの名無しさん** · 2016/03/22(火) 20:45:35.89

レスありがとうございます。質問者です。
やっぱりマックがいいという意見が多いみたいですね。
そろそろ新型出るという噂もあるようなので様子見て買ってみたいです。
LinuxはArchってのがいいんですかね？
昔のスラックウェアみたいなかんじなのかな。古いPCでも遊べそうですね。

**デフォルトの名無しさん** · 2016/03/22(火) 21:21:52.81

・・・！？

**デフォルトの名無しさん** · 2016/03/23(水) 01:26:34.91

Lispで書かれた対話botか？！

**デフォルトの名無しさん** · 2016/03/24(木) 16:51:59.81

はじめてのLisp関数型プログラミング――ラムダ計算からリファクタリングまで一気にわかる (Software Design plus) 五味弘
ていう本が出てるけど、これはISLispなの？CL？

**デフォルトの名無しさん** · 2016/03/24(木) 17:29:50.47

>>344に限らず本スレの皆様への質問とお願い

> これはISLispなの？CL？

そもそもISLispを主たる対象とした日本語で書かれた本（言語仕様の詳解中心でもプログラミング中心でもどちらでも可）って
（個人や大学・研究所などのWebサイトにPDFファイル等の形でアップされているとかでなく印刷され商業的に通常の書店で
購入可能な形で販売されているという意味で）出版されているのですか？

日本語でLispの本というとSchemeかCLかしか存在しない（英語圏でも状況は変わらない）と個人的には思っていたのですが？
日本語に限らず英語でも構わないのでISLispを主題とした書籍をご存知でしたら教えて下さい