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/

**はちみつ餃子** ◆8X2XSCHEME · 2019/02/20(水) 00:03:33.61

>>43
ISLISP には興味無いよ。
でも LISP 界に動きがあるのは歓迎するので、
どういう受け止められ方をしているのか聞きたかっただけ。

**デフォルトの名無しさん** · 2019/02/20(水) 02:34:03.07

>>45
ISLispってJIS規格になったんでしたっけ？

**はちみつ餃子** ◆8X2XSCHEME · 2019/02/20(水) 03:14:25.95

>>46
JIS の ISLISP は 1998 年の日付になってる。

**デフォルトの名無しさん** · 2019/02/21(木) 00:45:26.47

>>47
お返事、ありがとうございます
そうですかISLispはJIS化されてたんですね
でも日本で使われてるんですかね？　
Lispで日本で使われてるのはやっぱりCommon Lispだと思うんですけど（それと教育とかだとScheme（含Racket）が少しあるかな）

**はちみつ餃子** ◆8X2XSCHEME · 2019/02/21(木) 01:05:58.63

ISLISP のことはなんも知らんけど、
急に ISLISP 処理系が立て続けに出てきたみたいやから
なんか動きがあったんか？と思って >>32 を書いたんで、
私も質問者の立場なんやわ。

大した理由はないのであっても、
始まったならこのまま発展していくといいね。

**デフォルトの名無しさん** · 2019/02/22(金) 06:25:30.84

ISLispのプログラミングテキストや解説書って笹川賢一って人が書いたKindle用の電子的なのが２タイトルあるだけで
それ以外は海外でも何も出てないんですかね、Amazon USでタイトルを“ISLisp”で検索しても、その２タイトル以外は
ISOの規格票しか出てきませんね

とにもかくにも国際規格になったんだから、規格案をプッシュした連中がプログラミングの教科書や言語解説書や入門書ぐらいは
書いて出版するぐらいのことはやるべきなんじゃないかと思うんですが、見事なほどに何も出ていないようで驚きました

**デフォルトの名無しさん** · 2019/02/22(金) 12:52:25.98

common lispとどれくらい違うん？

**はちみつ餃子** ◆8X2XSCHEME · 2019/02/22(金) 17:25:28.63

>>51
Common Lisp の規模が大きくなってまとまらなかった中で
別の提案を整理して100 ページもないような規模の ISLISP を確立したという事情があるので、
完全なサブセットではないけど言語の考え方としては近い部分が多くて
かなり小さいサブセット「的」なものという感じ。

つっても、やっぱり別言語ではあるので、それを「どれくらい」とは一言では表せないな。
個人的には、あくまで私の感想としては Lua と JavaScript くらいの距離はあるかなぁ……と思ってる。

**デフォルトの名無しさん** · 2019/03/05(火) 05:20:40.92

昔の情報処理試験で人工知能の分野ときたらLispだったけど今違うのかな？

**はちみつ餃子** ◆8X2XSCHEME · 2019/03/05(火) 09:20:27.48

>>53
このスレ (の過去スレ) では何度も話題になっている気がするが、
「人工知能」とは何か、それに「向いている」とはどういう意味かが曖昧なので、
Yes とも No とも言えるというのがおおよその結論。

人工知能を定義するなら「人間の知的活動を代行するもの」であり、
かつてはコンパイラや数式処理なども人工知能の範疇だった。
でも、分野として確立して以降は
コンパイラはコンパイラだし、数式処理は数式処理であって、
今ではそれを人工知能と呼ぶ人なんかいない。

逆に言えば分野として確立していない知的な処理はなんだって
人工知能なので、範囲がざっくりしすぎて
どんな言語が向いているかなんて言いようが無い。

強いて言うなら、かつては人工知能の主役は記号処理を基礎に据えたものであったので、
そのときの事情を前提にするならば、
それらを記述するには (当時あった他の主要な言語よりは) LISP が向いていると
言ってもそこそこ妥当ではあった。

**デフォルトの名無しさん** · 2019/03/05(火) 20:46:21.78

人工知能でLISPを扱ってる本の巻末付録は大抵駅すぱあとシステムだからな

**デフォルトの名無しさん** · 2019/03/05(火) 22:17:29.86

餃子がスゲー良いこと言ったな…
> 逆に言えば分野として確立していない知的な処理はなんだって人工知能
機械学習みたいないかにも人工知能っぽいものでも、人間が理解して理論的に確立してしまえばなんてことない在り来たりな技術になるんだろうな

**はちみつ餃子** ◆8X2XSCHEME · 2019/03/06(水) 03:45:46.67

人工知能のカテゴリのひとつに「ルールベース」があるけど、
これって要するに if 文を並べて判断するようなシステムのことで、
現代的な感覚だと人工知能とは言わんよな。
ひとつのカテゴリとして名前を付けることすら馬鹿馬鹿しい。
(あくまでも現代の感覚で見ればという話なので、
当たり前のものにしてきた先人の努力を貶めるものではないことは断わっておく。)

そんなごく当たり前のプログラムも昔は人工知能と呼ばれていたんだから、
人工知能という言葉が指す範囲はとてつもなく広いし、今後も変遷を続けていくと思う。

結果的に LISP が人工知能の記述に「適していた」あるいは「適している」のが事実であってもなくても、
LISP が人工知能の記述を目指しているというわけでもないし、
(LISP 系言語は幅広いので特に人工知能を指向したものも有りはするかもしれないが)
主要な LISP 系言語は Python やら Ruby やらと並べても違和感のないごく普通の汎用言語なんで、
用途を限定してしまうような言説は、個人的にはあまり好きじゃないな。

使いたいように使っていいんだよ。

**デフォルトの名無しさん** · 2019/03/06(水) 23:50:18.20

>>57
> そんなごく当たり前のプログラムも昔は人工知能と呼ばれていたんだから、
> 人工知能という言葉が指す範囲はとてつもなく広いし、今後も変遷を続けていくと思う。

70年代前半だと数式処理（記号微分とか記号積分とか、特に記号積分はね）も立派な人工知能の一分野
ついでに言えば50年代後半だと今で言うコンパイラの研究も人工知能の１テーマだったらしい

**デフォルトの名無しさん** · 2019/03/07(木) 00:08:40.76

>>58
はちみつ餃子がすでに書いてるのに
>>54

**デフォルトの名無しさん** · 2019/03/08(金) 01:59:42.89

ごめん、見落としてた

**デフォルトの名無しさん** · 2019/03/09(土) 18:08:55.14

研究者や企業による実験段階＋アルファまでAI
商品化され一般に流通したらIT

**デフォルトの名無しさん** · 2019/03/20(水) 16:56:57.86

>>61
👍

**デフォルトの名無しさん** · 2019/03/23(土) 22:34:59.05

Scheme というか、Lisp のことを少ししか分かっていないんですども、μKanren を使ってみたくて
Sheme の処理系をインストールしたんですが Gauche、Guile、MT/GNU Sheme と、入れた全部
に assp がアンバウンドだと言われて動きません。

１．解決方法が分からなくて、自前で assp を書いて動かしてますが、本当はどうやったら assp が
使えるか教えてください。ライブラリをロードするのでしょうか？

２．せっかく書いたので、自前の関数の働きが本当の assp と同じなのか知りたいです。
みなさんならどのように書きますか？　最初に見つかったときに止める場合のセオリー
はありますか？

書いてみた関数：

(define (assp fn assoc)
(let ((rtn #f))
(for-each (lambda (x)
(if (not rtn)
(if (fn (car x))
(set! rtn x))))
assoc)
rtn))

**はちみつ餃子** ◆8X2XSCHEME · 2019/03/23(土) 23:08:12.36

>>63
μKanren のことはよくしらないけど、
assp は R6RS (※1) では rnrs lists ライブラリに含まれるので、
R6RS 処理系ではこのライブラリを import すると使えるようになる。
R6RS 以外には無い。

自分で書くとしたら SRFI-1 (※2) を使える状況なら
こんな感じで書くなぁ

(define (assp proc alist)
(find (lambda(x)(proc (car x)))
alist))

※1
　RnRS は Scheme の仕様書の通称。
　n に改定番号が入る。

※2
　小さい言語である Scheme では日常的に使うにはライブラリが足りなさげなので、
　ユーザーコミュニティとしてライブラリの仕様を考えて文書化したものの集合体が SRFI 。
　(RFC みたいな感じ？)
　SRFI-1 はその最初期のもので、リスト操作系のライブラリ。
　仕様の一部ではないので処理系によって SRFI の採用の程度は色々だけど、
　実用嗜好の処理系は主要なものはまあまあ取り込んでいる。
　今では仕様の検討の前段階として一旦 SRFI にしたりもしている。

63 · 2019/03/24(日) 10:14:45.86

>>64
ありがとうございます。Gauche は find があるみたいなので、早速置き換えてみました。
Scheme の規格は、過去のものを包括しているわけでもなく、なかなか難しいものなんですね。

μKanren だけに限らないかもしれませんが、μKanren の Scheme のコードは、普通の
オブジェクト指向言語と違って型を作って使い分けするのでなくて、そういう意図でベクトルや
ドット対やリストを使い分けていたり、戻す値が何を意図したものなのかわかりにくくて、
短いけど難しいですね～　

**デフォルトの名無しさん** · 2019/03/24(日) 12:59:34.15

μKanrenてユニフィケーションの亜種みたいなもんだから多分どの言語でも大丈夫だぞ

63 · 2019/03/26(火) 10:45:46.30

>>66
μKanren や miniKanren はいろんな言語に移植されていますね。
実は私も、ある超マイナー言語に移植することでその言語の勉強と、移植したライブラリで
なんかしてみようと始めたんですけど、スタック系言語なんで、なかなかすんなりいきません。

あと、コア部分はいいとしても、Shceme でマクロを使っているところをどうするかって
ところが悩みどころ。他の言語の移植をみても、そのへんはつくってないものも多い様で。

**デフォルトの名無しさん** · 2019/03/26(火) 12:30:38.77

powershell上のC#で持っとくと捗りそう

**デフォルトの名無しさん** · 2019/05/17(金) 11:21:22.79

なんか書けよおまえら

**デフォルトの名無しさん** · 2019/05/17(金) 20:28:12.22

Racket 7.3 でたね。上げ

**はちみつ餃子** ◆8X2XSCHEME · 2019/06/16(日) 17:10:40.09

Gauche も 0.9.8 が出たよー

**通りすがりの名無しさん** · 2019/06/17(月) 15:39:20.44

プログラミングGaucheのサポートぺーじ
ずっと落ちてるのなんで？
http://karetta.jp/book-cover/programming-gauche

**はちみつ餃子** ◆8X2XSCHEME · 2019/06/17(月) 21:26:53.35

サポートは永遠ではないんやで。

**デフォルトの名無しさん** · 2019/07/27(土) 11:20:29.96

何か面白いことないか？

**デフォルトの名無しさん** · 2019/07/27(土) 19:13:31.49

>>72
サイトのオーナーは個人みたいだけどDNSから消えてるね
アーカイブには残ってるんでそっちをみれば?

http://web.archive.org/web/20120305231338/http://karetta.jp/book-cover/programming-gauche

**デフォルトの名無しさん** · 2019/07/27(土) 19:18:18.62

あ、Kahuaプロジェクトの中の人か

**はちみつ餃子** ◆8X2XSCHEME · 2019/07/30(火) 13:16:53.69

>>74
君が面白くするのさ！

**デフォルトの名無しさん** · 2019/08/06(火) 11:57:55.79

webで公開されてるsicpのレビューを
なんで翻訳者が違うamazonの書籍のところに書いてるんだ？
qiitaにでも書いとけよ

**はちみつ餃子** ◆8X2XSCHEME · 2019/08/17(土) 02:28:56.98

Chez を組み込んだ Racket が出たぞー

**デフォルトの名無しさん** · 2019/09/19(木) 02:40:36.60

chicken scheme のサイト( www.call-cc.org ) がここ数日ダウンしたままだ
流石にこのままフェイドアウトではないと信じたい

**デフォルトの名無しさん** · 2019/09/21(土) 19:25:17.46

lisp一本で食っていけますか？

**デフォルトの名無しさん** · 2019/09/23(月) 00:25:37.40

パーソナルコンピュータの父アラン・ケイが選ぶ「プログラマー必読の古典本」とは？
https://gigazine.net/news/20190813-alan-kays-best-classic-book-programmers/

アラン・ケイ氏が「大ファンだ」と絶賛する本が、プログラミング言語LISPを生み出した
ジョン・マッカーシー自身の手による解説書「LISP 1.5 Programmer's Manual」です。
アラン・ケイ氏によると、この本を読んで成長するためには「どうすべきなのか」
「実際にどうしているのか」を意識しながら本を読むだけではなく、13ページに書かれた
例を「自力で書き直す」ことが重要とのこと。

アラン・ケイ氏は「LISPは単なるプログラミング言語にとどまらず、思考を鍛えるのに最適な言語です」
と述べており、「LISP 1.5 Programmer's Manual」を「完璧な古典」だと絶賛しています。

**デフォルトの名無しさん** · 2019/09/23(月) 06:18:18.85

Smalltalkのオッサンだっけ

**デフォルトの名無しさん** · 2019/09/23(月) 13:19:32.86

LISP知らん人に勧めても判るのかね
MITってschemeやめてpython教えてるんでしょ

**デフォルトの名無しさん** · 2019/09/24(火) 15:17:40.15

これマジ？

**デフォルトの名無しさん** · 2019/09/25(水) 09:30:17.28

紫のSICPやめてpythonの教科書になったのは知ってたけど
何年か前のことだよね

**デフォルトの名無しさん** · 2019/09/26(木) 01:23:29.85

> chicken scheme のサイト( www.call-cc.org ) がここ数日ダウンしたままだ
> 流石にこのままフェイドアウトではないと信じたい

この件、googleの最新キャッシュ日付(2019年9月24日 12:18:42 GMT )を考えると
もしかして "おま国" 的なアクセス制限されちゃってる？

**デフォルトの名無しさん** · 2019/09/26(木) 02:15:15.69

昨日見られたけど

**デフォルトの名無しさん** · 2019/09/26(木) 02:15:57.93

今やってみたら普通に表示されてるみたいだけど。

**デフォルトの名無しさん** · 2019/09/26(木) 02:26:34.15

確認ありがとうございます。
"おま環" (お前の環境だけだろ) のようですね...

**デフォルトの名無しさん** · 2019/09/26(木) 02:31:17.21

ぼくも今見られたけど…

**デフォルトの名無しさん** · 2019/09/26(木) 21:05:13.34

chicken scheme ( www.call-cc.org ) にアクセスできない件、スレ違い気味で申し訳ありません。

0. Googleのキャッシュから ⇒ ◯ (見えないよりマシ...)
1. ルーターのアクセスポート制限を解除 ⇒ ×
2. プロバイダー設定( plala ネットバリアベーシック) をフィルタリングOFFに ⇒ ×
3. VPN (L2TP/IPsec) で接続 ⇒ ◯ (繋がった！)

とりあえず、こういう結果になりました。
plalaが規制してる/ plalaが規制されているどっちにせよこれ以上はどうにもならなそうです。
見れるようになったのでヨシとします。

**デフォルトの名無しさん** · 2019/09/27(金) 12:20:26.81

sicpはそんなに良い本？
どういうふうに良い本なのか教えてほしい

**はちみつ餃子** ◆8X2XSCHEME · 2019/09/30(月) 19:15:16.39

>>92
俺もつながらん。プロバイダは Biglobe

**デフォルトの名無しさん** · 2019/10/03(木) 21:39:01.39

jpドメインは拒否されてるのかもね
契約してる激安海外VPS経由でアクセスしたら見れたけど、プロバイダ経由だとpingも通らんわ

**デフォルトの名無しさん** · 2019/10/04(金) 01:18:49.35

>>95
私の場合は日本のISP（海外の出版社のサイトとかでアクセスした側の国を自動判別している場合は日本と判定される形の接続法）で
インターネット接続しているけれどwww.call-cc.orgのHPやその下の様々なページは普通に見えるよ

**デフォルトの名無しさん** · 2019/10/04(金) 16:00:04.95

Common lispよりschemeの方がユーザ多いの？
一番人が多そうなのはracket?

**デフォルトの名無しさん** · 2019/10/04(金) 16:48:57.33

https://www.european-lisp-symposium.org/2019/index.html#programme
common lispの方が発表多いですね

**デフォルトの名無しさん** · 2019/10/05(土) 12:25:09.41

schemeは実装多すぎてどれを選べばいいのか分からん、特定実装に依存するといつか廃れたときに困る。RnRSやらsrfi-xx どこまで使えるのかマチマチだからね。
common lispは今のとこ sbcl にしとけば間違いなさそうな安心感がある

**デフォルトの名無しさん** · 2019/10/05(土) 12:32:44.20

ほんとぉ？

**デフォルトの名無しさん** · 2019/10/05(土) 20:42:35.85

>>99
ちゃんとメンテされている商用以外のフリーの処理系はSBCLしかないという…

**はちみつ餃子** ◆8X2XSCHEME · 2019/10/06(日) 01:02:08.24

Scheme で安心感の強い処理系っていうと Racket とか Guile とかかな。
そう簡単に廃れなさそう。

**デフォルトの名無しさん** · 2019/10/06(日) 03:01:34.82

Schemeの無料で使える処理系で例の大顰蹙買ったR6RS対応してるのってあるの？

**はちみつ餃子** ◆8X2XSCHEME · 2019/10/06(日) 09:12:01.09

>>103
あるよ。

Racket
Chez
Vicare
Sagittarius
Ikarus
IronScheme
Ypsilon
Mosh
Larceny

R6RS に準拠ってほどではないけど一部をサポートしているものとしては

Guile
BiwaScheme

もある。
Sagittarius と Larceny は R7RS もサポート (R6RS と R7RS を混在させることも出来る) しているよ。
Vicare, Ikarus, Ypsilon は実質的に動きが無くなっているのでこれから使うのはやめた方がいいかもね。

**デフォルトの名無しさん** · 2019/10/06(日) 13:53:35.26

なんでGaucheが出てこないんだ？
R7RS準拠と書いてあるよ

**はちみつ餃子** ◆8X2XSCHEME · 2019/10/06(日) 15:28:01.43

>>105
ここでは >>103 に対する回答なので R6RS の話をしてる。

**デフォルトの名無しさん** · 2019/10/06(日) 19:19:12.92

>>104
お教え下さり、どうも有難うございました。
RacketもR6をサポートするようになってたんですね。
R6発表後も数年間はRacketはR6対応じゃなかったようなのでサポートする気がないのかと勝手に思い込んでました。

**デフォルトの名無しさん** · 2019/10/06(日) 21:38:25.02

R7RS⊃R6RS⊃R5RS
ではないんだっけか
CommonLISPから何も学んでねーな

**はちみつ餃子** ◆8X2XSCHEME · 2019/10/06(日) 22:34:51.75

Scheme はまだ未完成という意識がある気がするな。
だから実務指向な言語と違って現段階では互換性を重要視してない。

重要視はしてないけど突飛な変更が入ってるわけでもなくて、割と正統進化してると思うよ。
R6RS が異端なだけ。
その R6RS にしたところで R7RS と共存が可能な程度に近しいわけだし。

**デフォルトの名無しさん** · 2019/10/10(木) 09:50:54.15

Gauche の作者さんの話がバズってた、schemeと全然関係ないけど。
https://b.hatena.ne.jp/entry/s/twitter.com/anohana/status/1181858642217197570
https://twitter.com/5chan_nel (5ch newer account)

**デフォルトの名無しさん** · 2019/10/10(木) 13:13:17.58

手口が巧妙やなあ

**デフォルトの名無しさん** · 2019/10/15(火) 22:29:00.84

バズではないでしょ

**デフォルトの名無しさん** · 2019/10/24(木) 14:55:50.74

関数の値が最も０に近くなる引数を求めたい時、どう書けばいいんでしょう？
繰り返しで引数を少しずつ変えていけばいいのはわかるのですが、定石とかあるんですか？

**デフォルトの名無しさん** · 2019/10/24(木) 20:55:13.50

その関数が線形なのかとか微分可能なのかとか分からんとなぁ

**デフォルトの名無しさん** · 2019/10/25(金) 01:02:52.70

微分可能ならニュートン法が簡単

そうでないなら、範囲 [ a , b ] をステップ幅 (b-a)/n で暫定値を探る。(n:分割数)
それが範囲の左右半分どちらにあるかに応じて値 a, b を更新、あとは再帰的に投入。
ステップ幅が指定誤差未満になったら a を返して脱出

そのまま愚直に組むだけならそんなに長くならない。

**デフォルトの名無しさん** · 2019/10/26(土) 10:42:36.27

>>113の言ってる関数は数学の関数じゃなくてプログラムの関数の事でしょ…
多分線形でも微分可能でもないだろう
乱数使って適当な範囲で試行してずらしながら一番近そうな範囲を選択して絞り込んでいくという位しか思い付かない

**デフォルトの名無しさん** · 2019/10/26(土) 22:25:16.53

どちらの関数にせよ考え方は一緒じゃないかな。
値の変化が連続的でなければそのやり方では求められないし、連続的であっても極小値に落ち込んでしまう可能性がある。
関数がハッシュ計算するようなものだったら総当たりしかないのでは？

**デフォルトの名無しさん** · 2019/10/28(月) 06:02:05.57

bel
http://www.paulgraham.com/bel.html

グラハムの新しい方言だって

**デフォルトの名無しさん** · 2019/10/28(月) 06:33:09.38

誰かと思ったらグレアムか
奴は口だけのポンコツになって久しいよ
もう実装は無理

**デフォルトの名無しさん** · 2019/10/28(月) 18:32:21.08

Yコンビネーターも辞めたとかなんとか…
詳しく知らないけど、引退かな？

**デフォルトの名無しさん** · 2019/10/30(水) 22:48:20.29

ポール・グレアム (54歳)
庵野秀明 (59歳)

引退するような歳か？

**デフォルトの名無しさん** · 2019/10/30(水) 23:12:22.65

ポールグレアムそんなに若いんか

**デフォルトの名無しさん** · 2019/10/31(木) 22:39:19.62

arcだかはどうなったの
まあどうでもいいんだけど

**はちみつ餃子** ◆8X2XSCHEME · 2019/11/08(金) 14:53:51.74

グレアムは金には困らんのだから残りの人生は全部が趣味みたいなもんだろ。
引退もクソもねぇよ。

**デフォルトの名無しさん** · 2019/11/08(金) 18:39:03.97

おらもLisp書いてカリフォルニアで城買うだ

**デフォルトの名無しさん** · 2019/11/09(土) 02:36:07.91

才能もねぇ金もねぇお巡り毎日ぐーるぐる

**デフォルトの名無しさん** · 2019/11/09(土) 15:47:48.43

闇の書を永久封印するために暗躍しているのかもしれん。

**デフォルトの名無しさん** · 2019/11/09(土) 18:42:51.61

テレビもねえ

**はちみつ餃子** ◆8X2XSCHEME · 2019/11/10(日) 01:15:03.78

>>127
それはギル・グレアム提督だろ！

**デフォルトの名無しさん** · 2019/11/10(日) 01:51:30.40

fooもねえ、barもねえ
hyperspecナニモノだ

**デフォルトの名無しさん** · 2019/11/10(日) 06:23:28.13

グラハムはハーバード、MIT人工知能研、イタリアの美術大出てるんでしょ？
アメリカの大学は学費も相当かかる
ビジネス始める前から「普通の奴等の上」を行ってる人なんだと思うなぁ
頭さえ良ければ、とか思うかもしれないが環境、友人は大事だよ
ビアウェブのパートナーはMITの教授だよね、確か

**デフォルトの名無しさん** · 2019/11/10(日) 14:00:02.99

いまPLAIの8章をよんでいるんだけど、次のExerciseの不変条件と言うのがよく分からん・・
ttp://cs.brown.edu/courses/cs173/2012/book/mut-struct-vs-var.html#%28elem._%28chunk._~3cms-setbox.C-case~3e~3a1%29%29

ソースコードはこれ　https://bitsend.jp/download/d7ebf31e84a7dc5d8b55a3e3b66ce803.html

Storeに束縛を追加するのはbox、その束縛を参照するのはset-box!とunboxだけだから、
set-box!を評価するときに、ロケーションがStoreに存在しないことは無いように考えているんだけど、もっと数学的に
証明しなきゃいけないんですよねこれ・・

**デフォルトの名無しさん** · 2019/11/18(月) 17:16:59.42

Emacs hy-modeがバグってて動かない

**デフォルトの名無しさん** · 2019/11/22(金) 03:17:25.81

Lispworks 8いつ頃出ると思う？

**デフォルトの名無しさん** · 2019/12/06(金) 00:43:20.37

$ ros run
* (+ 31000 33500 1000 2300 16500 300 1000 10100)
64700

おいおい，なんだこのメチャクチャな値
こんなんじゃ，まったく信頼できないんだが
どうなってんだ
しかも再現できないし

$ ros version
roswell 19.09.12.102(NO-GIT-REVISION)

**135** · 2019/12/06(金) 03:21:18.04

正しい値は 95700 なのだが
(- 95700 31000)
が 64700 になることに気づいた

最初の引数，抜かしてんじゃん...
REPL の + 関数，バグってるんだが

それとも WSL がいけないのか? tmux がいけないのか?

**135** · 2019/12/06(金) 04:20:18.39

$ ros run -- --version
SBCL 1.5.5

**はちみつ餃子** ◆8X2XSCHEME · 2019/12/15(日) 17:37:59.94

Gauche の 0.9.9 がリリースされたよー

＿ · 2020/01/17(金) 14:26:20.97

Guile 3.0 でたよー JIT化されたのが一番大きいかも
https://lists.gnu.org/archive/html/guile-devel/2020-01/msg00080.html

SBCL も 2.0 になったよー久しぶりに Windows のインストーラーも更新されてるね
http://www.sbcl.org/news.html

**はちみつ餃子** ◆8X2XSCHEME · 2020/01/17(金) 16:25:06.09

Ypsilon の派生で R7RS にも対応した処理系が出た！

https://github.com/fujita-y/digamma

＿ · 2020/01/17(金) 18:22:11.13

>>134
Lispworks 8 でる情報あったんですか？
てっきり次は 7.2 かと。

＿ · 2020/02/14(金) 11:14:07.86

Racket 7.6リリースされたよー
https://blog.racket-lang.org/2020/02/racket-v7-6.html

Chez Schemeの取り込みが進んで、プロダクション・レディになったそうな。
デフォルトにはまだなっていないようです。

**デフォルトの名無しさん** · 2020/02/14(金) 20:28:20.26

Chezか
スレッデドコードとか懐かしいな

**デフォルトの名無しさん** · 2020/02/14(金) 23:19:09.23

SICPを勉強したくてschemeを一通り勉強したけど
schemeが本当に好きになった
綺麗な言語だなと思ったのはschemeが初めて

**はちみつ餃子** ◆8X2XSCHEME · 2020/02/15(土) 13:53:27.59

Chez はパッケージマネージャがなぁ……。