Lisp Scheme Part41

**デフォルトの名無しさん** · 2018/07/15(日) 02:05:28.62

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

■前スレ
Lisp Scheme Part40
http://mevius.5ch.net/test/read.cgi/tech/1426481152/

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

■関連スレ
【Lisp】プログラミング言語 Clojure #4【JVM】 [無断転載禁止]©2ch.net
http://mevius.5ch.net/test/read.cgi/tech/1483498849/
【GNU】スクリプト言語 Guile【scheme】
http://mevius.5ch.net/test/read.cgi/tech/1239985829/
【入門】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【言語】
http://peace.2ch.net/test/read.cgi/tech/1183396621/
Lisp@UNIX版
http://mevius.5ch.net/test/read.cgi/unix/1019926525/

**デフォルトの名無しさん** · 2018/07/15(日) 03:57:54.29

乙

**デフォルトの名無しさん** · 2018/07/15(日) 04:45:43.53

(Lisp 笑)

**デフォルトの名無しさん** · 2018/07/17(火) 22:34:02.03

>>1乙

**はちみつ餃子** ◆8X2XSCHEME · 2018/07/29(日) 18:08:39.36

Racket の 7.0 が出た。
コアを chez に置き換える方向で進んでるんだね。

◆QZaw55cn4c · 2018/09/08(土) 00:00:46.97

a little schemer／「scheme 手習い」 https://www.amazon.co.jp/dp/4274068269/
を読んでいます（ずいぶんと時間がかかっています）が、次のプログラムがさっぱり理解できなくて困っています

第5章「*すごい* 星がいっぱいだ」
この章の最初の方までは困難を伴いながらも、なんとか理解できました、この章でのこんな感じのコードを、仕様をみて独力で書きおこすことはできています https://ideone.com/fPHC2z

ところが、p.92 から

＞Q: eqlist? はなんですか。
＞A: 2つのリストが等しいかどうかを決める関数です。…①

＞Q: eqlist? は、その引数についていくつ質問をしますか。
＞A: 9つです。…②

＞Q: なぜ 9 つの質問があるか説明できますか。
＞A: 自分の言葉で説明すると次のようになります。
＞「各引数は次のいずれかです。・空リスト・アトムがリストに cons されたもの・リストが別のリストに cons されたもの
＞たとえば、最初の引数が空になるのと同時に、2番目の引数は、空リストか、car の位置に1つのアトムまたはリストを持っています。…③

＞Q: eqan? を使って eqlist? を書きましょう
＞A: https://ideone.com/vjYCZ5

この解答例がさっぱりです、実は②からよくわかっていません
コードのコメントは私がつけたのですが、最後の方は混乱してしまって…何がわからないかわからない状況です。
何か理解するための手がかり足がかりヒントはないでしょうか？

**SCHEME餃子** ◆8X2XSCHEME · 2018/09/08(土) 01:10:14.26

>>6
私はその本を持ってないのでそのあたりの問題を取り上げたブログ記事を見ながら説明しようかと思ったが、
その Q&A の通りとしか言いようがないんで、何がわからないのかよくわからない。困ったな。

リストの先頭を見た時にあり得るパターンが 3 通りで、
l1 が 3 通りと l2 が 3 通りなら組合せは 9 通り。

9 通りのパターンは 3 種類に分類できて、

・ l1 と l2 の先頭が空リストなら真
・ l1 と l2 の先頭が一致すれば次の要素に対して再帰的に同じ処理をする
・ l1 と l2 の先頭が一致しないなら偽

となる。

実際のコードにするにあたって、空リストに car, cdr 手続きは適用できないんで、チェックの順番を気にするくらいかな。

**デフォルトの名無しさん** · 2018/09/08(土) 05:07:37.63

引数が2つあり、それぞれは3通りの場合があるわけだから
引数の組み合わせとしては3×3=9通りの場合がある。
※引数はリスト(空リストを含む)と仮定していいようだ。

愚直にこの9通りの場合分けを展開するとこの表↓のようになるので、それをそのままコードにしたのがその解答例。

A B 等しい?
() () #t
() (アトム . リスト) #f
() (リスト . リスト) #f

(アトム . リスト) () #f
(アトム . リスト) (アトム . リスト) (and アトム同士が等しいリスト同士が等しい)
(アトム . リスト) (リスト . リスト) #f

(リスト . リスト) () #f
(リスト . リスト) (アトム . リスト) #f
(リスト . リスト) (リスト . リスト) (and carのリスト同士が等しい cdrのリスト同士が等しい)

**デフォルトの名無しさん** · 2018/10/07(日) 02:51:53.80

他のソフトウェアに組み込むスクリプト環境でTinySchemeを使おうかと思っているんですが
スクリプトの中からファイルIO関係の機能は使えないようにしたいです。
この場合、走らせるスクリプトの前に、open-input-file等のIO関係の関数を無害な関数で再定義する部分をくっつけてしまえばOKでしょうか?

**SCHEME餃子** ◆8X2XSCHEME · 2018/10/07(日) 14:31:36.10

>>9
なんらかの方法で元の定義にアクセスできたら脆弱性になっちゃうから、
要らないなら削除する方が確実だと思う。

どのくらい確実にするかってのは程度問題だけど
削除する分にはそんなに手間でもないし。

**デフォルトの名無しさん** · 2018/10/07(日) 16:22:54.47

>>10
ありがとうございます。
削除というのは、その機能をSchemeのソースから削除して再コンパイルするということですか？

**SCHEME餃子** ◆8X2XSCHEME · 2018/10/07(日) 19:43:40.12

>>11
そう。

**デフォルトの名無しさん** · 2018/10/08(月) 11:15:35.46

>>12
ありがとうございます、やってみます！

**デフォルトの名無しさん** · 2018/10/09(火) 08:07:54.35

依存型についてのテキストが出てるよ。
Daniel P. Friedman, David Thrane Christiansen "The Little Typer"
Boro Sitnikovski "Gentle Introduction to Dependent Types with Idris"
Edwin Brady "Type-Driven Development with Idris"
Adam Chlipala "Certified Programming with Dependent Types"
Aaron Stump "Verified Functional Programming in Agda"
Idris と Pie言語ではλ関数とπ関数が同じように導入されているので相互に勉強できるのがいい。

**デフォルトの名無しさん** · 2018/10/09(火) 15:29:09.16

π算法
Robin Milner "Communicating and Mobile Systems: The Pi Calculus"
Davide Sangiorgi, David Walker "The Pi-Calculus: A Theory of Mobile Processes"
Matthew Hennessy "A Distributed Pi-Calculus"
π算法はもともとCCSの拡張としてRobin Milnerらによって考案された、並行計算（π算法はλ算法の並行版）を表すモデルであり、プロセス計算の一種。

**デフォルトの名無しさん** · 2018/10/11(木) 04:45:55.72

A Little Taste of Types - Code Mesh 2017 - David Christiansen
https://www.youtube.com/watch?v=3z9nISI4ppw
A Little Taste of Dependent Types 2018 - David Christiansen
https://www.youtube.com/watch?v=1BWYy2-WM-o

**デフォルトの名無しさん** · 2018/10/16(火) 23:34:54.71

Gaucheのリファレンスマニュアル日本語版pdfはないのでしょうか？

**SCHEME餃子** ◆8X2XSCHEME · 2018/10/17(水) 01:03:06.73

>>17
Gauche のソースツリーの doc ディレクトリで make pdf コマンドを実行すれば、
pdf 形式のドキュメントのビルドプロセスが走ることになってるよ。
ただ、 TeX を使うみたいなんで、 TeX を導入するのが面倒ってことはあるかも。

公式からは PDF 形式の日本語マニュアルは出してないっぽいね。

17 · 2018/10/17(水) 21:27:28.91

ありがとうございます。挑戦してみます。

**デフォルトの名無しさん** · 2018/11/19(月) 21:32:10.84

はちみつ餃子しかいないスレになってしまった

**デフォルトの名無しさん** · 2018/11/19(月) 22:07:56.77

よく見ろ別人だぞ。
まさか同一人物なわけがあるまい。

**はちみつ餃子** ◆8X2XSCHEME · 2018/11/19(月) 22:58:27.29

話題がなさすぎるので近頃は C++ スレばかりにいるんだけど、
なんか面白い話題があればどんどん書いてよ。

**デフォルトの名無しさん** · 2018/11/20(火) 01:03:10.36

そんなとこにいたら頭がガベージまみれになるぞ

**デフォルトの名無しさん** · 2018/11/22(木) 08:37:23.04

東方算法騎士団ってどうやって入るの

**デフォルトの名無しさん** · 2018/11/22(木) 11:14:07.32

Jupyter with Schemeってどう？

**デフォルトの名無しさん** · 2018/11/25(日) 11:38:51.25

Try Jupyter で試してみ

**はちみつ餃子** ◆8X2XSCHEME · 2018/12/21(金) 18:19:35.67

Gauche 0.9.7 がリリースされたよ～

http://practical-scheme.net/gauche/download-j.html

**デフォルトの名無しさん** · 2019/01/08(火) 17:40:17.47

WindowsでMinGWがインストールされておらずMSVCだけある状態で
C言語のhelloworldプログラムでgauche.hをインクルードすると
gauche.h内の#include <sys/time.h>の部分でエラーになります。
C言語からGaucheを利用する場合はMinGWがインストールされていることが前提という解釈であっているでしょうか？

**はちみつ餃子** ◆8X2XSCHEME · 2019/01/08(火) 21:15:36.70

>>28
はい。
Gauche をビルドするためには MinGW というか (MinGW を含めた開発環境であるところの) MSYS2 を要求しています。
https://github.com/shirok/Gauche/blob/master/doc/HOWTO-mingw.adoc
少し古いバージョンは (MSYS2 ではなく) MSYS を要求していました。

gauche.h もその開発環境に依存しているので、 gauche.h を include した C のコードは MSVC ではコンパイルを通りません。
つまり、 Gauche の拡張モジュールや Gauche を呼び出すプログラムを C で書こうとするなら、
Windows では MSYS2 を使う方法しか想定されていません。

ただ、過去に「VC++用ポート」を試みた記事が WiLiKi に残っていますし、
ある程度は動いていたようですので、手間を書ければ全く不可能なことというわけでもなさそうです。
https://practical-scheme.net/wiliki/wiliki.cgi?Gauche%3AWindows%2FVC%2B%2B

Gauche の実態は単なる DLL ですから、Gauche 自体を MSVC でコンパイルするのは難しくても
Gauche を呼び出すプログラムを MSVC で作る分には頑張ればなんとかなる可能性は充分にあるように思います。

**はちみつ餃子** ◆8X2XSCHEME · 2019/02/01(金) 16:27:31.29

Racket のコアを chez のに置き換える話が以前に出てたけど、
もうほとんどできたみたいね。
次のリリースあたりからはそれになるのかな。

**はちみつ餃子** ◆8X2XSCHEME · 2019/02/05(火) 04:44:00.67

R7RS-Large の Tangerine Edition は議論・投票への参加者が少なすぎてちょっとアレな状況みたいね。
積極的に参加してあげて！

**はちみつ餃子** ◆8X2XSCHEME · 2019/02/08(金) 19:33:54.35

界隈でなんだかちょっとだけ ISLISP の人気が出てきてるというか
ここ最近になっていくつか新しい実装が発表されてるんだけど、
使ってみた人いる？

**デフォルトの名無しさん** · 2019/02/10(日) 03:09:59.76

>>32
新しい実装ってどれのことよ？

**デフォルトの名無しさん** · 2019/02/11(月) 02:00:38.22

>>33
Githubを検索したらこんなん出てきた
https://github.com/nenbutsu/kiss
https://github.com/ta2gch/iris
https://github.com/sasagawa888/eisl

**デフォルトの名無しさん** · 2019/02/11(月) 03:37:14.19

日本製ばっかりなんだ

**デフォルトの名無しさん** · 2019/02/11(月) 23:47:14.75

そりゃ日本人が中心になって考えた規格だし

**はちみつ餃子** ◆8X2XSCHEME · 2019/02/12(火) 01:54:55.89

へー。そうなのかと思って経緯を調べてみたりしてたんだが、
その過程で ISLISP の IS は International Standard の略だと見つけた。
id.nii.ac.jp/1001/00003362/
仕様にも書いてないから知らんかった。

もっと古い時代に STANDARD LISP という名前の Lisp があったそうで、
http://www.softwarepreservation.org/projects/LISP/stanford/Hearn-StandardLisp-AIM-90.pdf
それ故に標準化にあたって単に Standard とは名乗れず、
Common Lisp が Common Lisp という名前になったのもこのあたりの事情があるらしい。

単に名前を付けるだけでも変な苦心をしてるんだな。

**デフォルトの名無しさん** · 2019/02/12(火) 02:23:54.71

イスラミックステートLISP
処女とヤリまくれるらしいぞ！

**はちみつ餃子** ◆8X2XSCHEME · 2019/02/13(水) 00:07:17.42

>>38
イスラミックステートにかけるなら、
支配地域が縮小してるらしいぞというところに引っかければよかったんじゃないかと思ったが、
縮小どころか元々たいして使われてなかったということに気づいた。

**はちみつ餃子** ◆8X2XSCHEME · 2019/02/13(水) 00:10:08.40

>>39
大してして使われていない (少なくとも私の観測範囲では) と思ってるけど、
今後の発展があれば面白いなとも思ってることは付け加えておく。
(ディスってるわけじゃないんだからね！ってこと)

**デフォルトの名無しさん** · 2019/02/14(木) 21:27:33.66

金払わないと正式な仕様書読めないのか、と諦めた記憶がある＞ISLISP
ドラフト？は読めたけど

**はちみつ餃子** ◆8X2XSCHEME · 2019/02/15(金) 00:25:04.04

>>41
ドラフトと正式版の差は誤字の修正程度だよ。

**デフォルトの名無しさん** · 2019/02/19(火) 03:58:50.76

餃子はISLISPerなの？