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/

**デフォルトの名無しさん** · 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を主題とした書籍をご存知でしたら教えて下さい

**デフォルトの名無しさん** · 2016/03/24(木) 18:12:32.28

ISLisp は、Lisp言語のISO標準であり、1997年にISO規格が制定されました。
ISLispは、業界標準となっていたCommon Lisp の言語仕様の巨大さに対して、
処理系の効率と学習・利用の容易さを向上するために, Common Lispを継承
しつつ EuLisp, Le Lisp, Scheme を参考としてコンパクトで一貫性のある
言語を目標に開発されました。

とあるけど、そういえばISLispの本って見たことないかも。

**デフォルトの名無しさん** · 2016/03/24(木) 18:48:59.27

ISLisp、惹句はいいんだど、いかんせんまともな実装が無いのがな。

**デフォルトの名無しさん** · 2016/03/24(木) 23:12:30.66

著者「関数型おしえます！」(お？どれどれ)
著者「Lisp最高です！」(あ、うん)
著者「…islispﾃﾞｽ…」(は？！なにそれ？伊豆lisp?)

ブロガーA「良著なのでコードをschemeで書きなおしました」(いいねえ)
ブロガーB「haskellでかきました」(うおおおおおおお！！！！！)

という反応になるよね。一般的には。
common lispかschemeで書き直したものをHPにアップすべきだと思う。

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

せめて伊豆用slimeぐらい用意しないと女子高生には読んでもらえないと思うんだ

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

はじめてのLisp関数型プログラミング、昨日買ったばかりなんだけど
ハズレ感が半端ない

**デフォルトの名無しさん** · 2016/03/25(金) 03:50:58.11

で、ISLispなんですか？

**デフォルトの名無しさん** · 2016/03/25(金) 15:57:20.68

ISLisp でggrと「ISLISPを使うべきでないたった1つの理由」がトップに並ぶ哀しさよ

**デフォルトの名無しさん** · 2016/03/27(日) 18:34:21.16

サンプルプログラムダウンロードしてみればわかるのでは。

**デフォルトの名無しさん** · 2016/03/27(日) 18:46:04.64

ちなみに本の最初の方ではclisp導入してた。

**デフォルトの名無しさん** · 2016/03/27(日) 18:57:11.14

最近は、RHがclojureでうまく整理して、関数型含めてjsに広まる概念もあったりする。

逆の流れでいうとtransducerをhaskellで説明しようとしたけどちょっと足りない話。
https://reddit.com/r/haskell/comments/2cv6l4/clojures_transducers_are_perverse_lenses/

いまだとshapeless使えば静的な型検査通る可変な型扱うコレクションつくれるらしいので、上のやつみたいなのも着実に減っててるとは思う。
https://github.com/mandubian/scaledn

結局のところC#などにもそうやって取り込まれてるんじゃないかなと。
react(.js)もphpのテンプレートエンジンの置き換えからだそうで。

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

clojure が lisp方言として紹介されてると違和感がある

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

>>356
すまぬが理由がわからないのでkwsk解説を求む

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

>>357
・特に [ ] のあたりの文法が違うのでLispの資産を移行できないから
・Lisp の　( ) の対応に慣れた人には、罠のようにはりめくらされた文法不一致があるから
・S式だけで構成できないから
・再帰末尾最適化に制限があるから

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

>>358
1の[]に関しちゃ大昔のスーパー閉じ括弧の存在を忘れてもらっては困ると思うしschemeの一部処理系も括弧の代わりに表現力の強調で括弧と同等に扱う等に導入してるからそこまで嫌わんでもと思う
2の部分は許容してもらうしかないんじゃないのかなぁ、まぁ否定はしない
3は1と2の事だよね？
4はLispというよりscheme好きの人なら反発するのとてもよくわかる。(jvm側の問題でもあるけど)

[]に関しちゃむしろ良く出来てると思うのだよね、3が許せないとどうしようもないけど。

リーダーマクロが普通に扱えないって言う意味で怒ってるのかと思ったのでちょっとびっくりしました。>>358

**デフォルトの名無しさん** · 2016/03/30(水) 01:19:52.13

>>358
> ・再帰末尾最適化に制限があるから

「再帰末尾」じゃなくて「末尾再帰」
元の英語は "tail recursion"

**デフォルトの名無しさん** · 2016/03/30(水) 11:18:07.37

> ISLisp でggrと「ISLISPを使うべきでないたった1つの理由」がトップに並ぶ哀しさよ
これ根本的に間違えてんね．ユーザーいないし訂正する人もいないからこのページが消滅するとよいね

**デフォルトの名無しさん** · 2016/03/30(水) 23:06:00.56

算法表現論ゲット
読みやすそうで少し安心

**デフォルトの名無しさん** · 2016/04/01(金) 19:48:09.65

>>361
ちょうど、昨日、そのページ読んだばかりだった。
どこらへんが間違ってるの？

**デフォルトの名無しさん** · 2016/04/01(金) 23:04:20.67

> 「実行時情報」が使えないということは，つまり，自分で定義した関数によるマクロの展開は行えない，ということです．
ココ。つまりこのページの主張全部

**デフォルトの名無しさん** · 2016/04/01(金) 23:32:51.04

自分で定義した関数ってコンパイル時情報だよな？

**はちみつ餃子** ◆8X2XSCHEME · 2016/04/02(土) 04:27:14.45

仕様から関連しそうな箇所を抜き出してみた。

> 4.8 定義演算子
> 定義形式によって定義される名前は、最上位有効範囲全体で使うことができるが、
> ISLISP テキスト単位における実行準備された最上位形式は、左から右に順に実行される。
> (略)
> (defun function-name lambdaform*) → <symbol>
>
> defun 形式は、 function-name を、関数名前空間の識別子として定義する。 function-name は、 (lambda
> lambda-list form*) と等価な関数オブジェクトに束縛される。

> 8. マクロ
> (略)
> マクロは、実行準備時に展開される。いかなる実行時情報も使えない。使用可能な操作は、単純なデー
> タ構造の生成及び処理に制限される。すなわち、（端末への入出力のような) 環境への副作用、(記号の属
> 性リストの変更のような)外部的にアクセスできるデータ構造への副作用、及びマクロ形式自身への副作用
> を起こす操作は禁止する。

「4.6 評価モデル」も関連するけど長くなるので要約。
・まず実行準備される
・実行準備が完了してから実行される
・実行準備完了時点でマクロ展開は終わっている
・実行準備のための処理は処理系依存

断言できるほどはっきりしてないけど、関数の定義名はマクロ展開時にも見えてて、
関数名と関数オブジェクトを結びつけるのは「実行」だと解釈するのが妥当だと思う。
マクロ定義中にユーザー定義関数を使えないとする解釈を私も支持する。

ただ、全体を通して見ると副作用のない (プログラマが定義した関数を含む) 関数なら使えると想定しているっぽい雰囲気
はあるような気がする。

**363** · 2016/04/02(土) 07:29:47.03

>>364,365,366

みなさん情報ありがとう。
ISLISPの日本語の仕様書はどこかなと思ったら、ここにあった。
http://www.jisc.go.jp/app/pager?id=1759608

ダウンロードしての閲覧禁止って。変な制限かけてるなぁ。

**はちみつ餃子** ◆8X2XSCHEME · 2016/04/02(土) 12:56:38.38

>>367
その URL では見れないよ。
URL 中の番号はあなたがアクセスしたときのセッション番号。
文書に固有の番号ではないので、パームリンクとして使えない。
ダウンロード禁止なだけじゃなく、たぶんサーチンエンジンのクロールも避けてるんだと思う。

**デフォルトの名無しさん** · 2016/04/02(土) 13:43:35.05

表示中オフラインにするとpdf中のjsに怒られたような記憶がある

**デフォルトの名無しさん** · 2016/04/02(土) 15:42:26.21

普及させる気ないんだろうね

**デフォルトの名無しさん** · 2016/04/02(土) 15:51:19.10

買ってもらってるから、不公平って話だと思われる。
紙も実費で配れる財源あるといいんだけどね。

isoは販売になってるけど、他団体と共同でたまに公開されてるのがある。
草稿は公開してるところもある。

**デフォルトの名無しさん** · 2016/04/02(土) 15:59:10.41

ここで公開してたやつも草稿であって、ってリンク切れしてるのな。
http://www.open-std.org/JTC1/SC22/WG16/

http://www.islisp.com/jp/ISLisp-spec-jp.html

**デフォルトの名無しさん** · 2016/04/02(土) 16:12:01.04

isoやansiよりはjisの方がweb公開進んでるのだけど、
ecmaならecmascript(js)やclr(.net)みたいに公開されるのか。

**はちみつ餃子** ◆8X2XSCHEME · 2016/04/02(土) 17:41:26.10

日本の法律だと JIS 規格に著作権が認められるかどうかははっきりしない。
総合的には認められないとする説の方が有力らしいんだが、
ISO は規格の著作権を主張してるからそれに加盟してる JISC も倣うしかなくて、
間をとって閲覧だけは無料という曖昧なところでぼやかしてるらしい。

**デフォルトの名無しさん** · 2016/04/02(土) 18:45:29.01

工業規格は事実上の業界標準を後追いで規格化したのがほとんどだから、著作権どころか特許が生きてるのが混じってるので注意が必要

**デフォルトの名無しさん** · 2016/04/02(土) 23:14:35.48

> 366
> 断言できるほどはっきりしてないけど、関数の定義名はマクロ展開時にも見えてて、関数名と関数オブジェクトを結びつけるのは「実行」だと解釈するのが妥当だと思う。

入手できたISLISP Working Draft 23.0をベースにして述べるが，その理屈だと備え付けの関数も展開には使えないように思える．
備え付け関数もユーザ定義の関数もpreparation for executionの間に実行可能という記述はない．
不可能という記述もない．(定義はしないとある)

仮にユーザ定義の関数は使えないとしよう．
ローカル関数 (flet labels)が，defmacro 内で使えないようには見えないのでこれで対処できる．
また，マクロは使用場所に先行して定義があることが必須とあるということは，ユーザ定義のマクロは使えるように見えるので，補助関数の所を補助マクロとするのも良いだろう．
CommonLispでもマクロ展開の補助でユーザー定義関数の利用は必須ではないし，利用するには評価フェイズを合せなくちゃならない問題がある．(ISLISPはこれを回避したのかもしれない)
これをもって「ISLISPを使うべきでない」とするのは誇張が過ぎるし，真に受ける者が出るとしたら害悪だろう．

**デフォルトの名無しさん** · 2016/04/03(日) 00:12:06.32

そのページの害悪よりも、isLispの素晴らしさが伝わるようなページが
検索トップに来ないことの方がずっと問題だと思うけど

**はちみつ餃子** ◆8X2XSCHEME · 2016/04/03(日) 01:50:33.42

>>376
「実行準備」「実行」の繰り返しがどういう単位なのかっていう、フェイズの分離の仕方の問題だよな。
ひとつの式ごとなのかプログラム全体にわたってなのかでも解釈が違ってくる。

まあ最大限に安全な方向に見積もって未定義だと解釈しても、
それで ISLISP の有用性が全部失われるわけではないということには賛成できる。
あの記事はよくある誇張した煽り記事だろ。センセーショナルなタイトルをつけてるだけで大したこと言ってない。
しょうもない記事が上位にきてしまう程度に ISLISP に関する記事が少ないってだけ。

**デフォルトの名無しさん** · 2016/04/05(火) 19:32:30.73

ISLispを普及させるために必要な10のこと
・ISLispBoxを無償提供する
・ISLisp Hyperspecを無償提供する
・SICPをISLispで書き換える
・On ISLisp、Little ISLisper、Land of ISLispを出す
・ISLisp for Dummies、すごいISLisp楽しく学ぼう！も
・WhyのISLisp感動的ガイドを公開する

**デフォルトの名無しさん** · 2016/04/05(火) 23:12:23.26

他の実装へのトランスレータがあれば普及させる必要はない

**デフォルトの名無しさん** · 2016/04/07(木) 01:17:53.66

God Wrote in Lisp (The Eternal Flame)
http://www.catonmat.net/blog/musical-geek-friday-god-wrote-in-lisp-eternal-flame/

**デフォルトの名無しさん** · 2016/04/07(木) 02:51:00.20

>Lispを普及させるために必要なこと
括弧が少ない言語の方が好まれる傾向にある
よって括弧が一切存在しないLispが誕生すれば爆発的に普及するだろう

**デフォルトの名無しさん** · 2016/04/07(木) 03:03:03.39

今年のscheme workshopは日本
いつもwebdbfと重なって行けなかったが今年は行けそう

**デフォルトの名無しさん** · 2016/04/07(木) 13:28:18.97

言語で使う括弧の量と、括弧打つのが面倒な場面の数ってあんま関係ないよね。

括弧使う言語を書いてるときに面倒なのは、今書いた式を引数にして別の関数を更に適用しようかとかなったときに、
後に閉じ括弧つけてカーソル前に戻して関数名書いて括弧つけて、ってやるときがほとんどなんだけど、
例: foo(x,y)_ → bar(_foo(x,y)) # "_"はそのときのカーソルの位置
Emacsなら一発で飛べる分、むしろLispの方が楽なときがある。

そういう意味だとOCamlの foo x y _ → foo x y |> bar_ は便利だった。

**デフォルトの名無しさん** · 2016/04/09(土) 00:31:51.25

Lispが普及しないのはEmacsで開発するのが当たり前ってところでしょ？それじゃ新規は増えないよ。

**デフォルトの名無しさん** · 2016/04/09(土) 01:09:17.67

それはいいんだよ
CLやscheme, Racketに比べてISLISPが普及してないのはもったいないよね
という話

**デフォルトの名無しさん** · 2016/04/09(土) 07:59:30.45

>>385
F#はVisual Studioだけど普及してないし

**デフォルトの名無しさん** · 2016/04/09(土) 12:25:09.55

>>387
F#は好きな言語ではあるが、C#と比べるとVSの動作が重くてしんどいよ。
型推論が遅いのか構文解析が面倒なのか、自動でエラー箇所表示させると凄く反応が悪くなる。
FParsecとか関数型言語ならではの便利ライブラリ使うとより顕著に。

ISLispはロクな実装無いし真面目に使っている人がいないから、どこが便利でどこに課題があるかも分からんのがね。

**デフォルトの名無しさん** · 2016/04/10(日) 00:55:16.70

>>387
なら開発環境と言語の両方に魅力がないとダメってことじゃない？

**デフォルトの名無しさん** · 2016/04/10(日) 01:04:07.52

smalltalkは普及してないけど、objective-cは普及した
つまり、Lispを普及するには中間言語をcにして、、、

**デフォルトの名無しさん** · 2016/04/10(日) 01:05:20.48

そういえばsqueakがレイヤごとに言語変えるとかどっかでチラと読んだような気がする

**デフォルトの名無しさん** · 2016/04/10(日) 09:59:42.62

>>390
Objective-Cは絶滅危惧種だったがジョブズのおかげで生き延びた

**デフォルトの名無しさん** · 2016/04/10(日) 13:13:21.92

最も愛されているプログラミング言語や技術

1. Rust(79.1%)
2. Swift(72.1%)
3. F#(70.7%)
4. Scala(69.4%)
5. Go(68.7%)

http://news.mynavi.jp/news/2016/04/07/062/

Most Loved Programming Languages Of 2016 ? Rust, Swift, F#, Scala, Go
http://fossbytes.com/loved-programming-languages-rust-swift-go/

だそうです

**デフォルトの名無しさん** · 2016/04/10(日) 14:19:08.33

>>393
愛人にしても本妻には決してしたくない言語だね

**デフォルトの名無しさん** · 2016/04/10(日) 15:37:29.95

Rustは好き。C/C++が引き受ける低レベルな領域に型システムの安全性と利便性を突っ込んでみたっていう発想は良い。

けど、コンパイル時間がコード量から予測しづらい(イテレータやジェネリクスを使ってると特に)のと、
莫大なライブラリを資産に持つC/C++と比べたときの実用性の差を考えると、
潤沢な計算資源があって、比較的優秀な人材が揃えられるところ向け。

Schemeのような、スタンドプレーの生産性を莫大に高める言語じゃあないと思う。

**デフォルトの名無しさん** · 2016/04/10(日) 16:24:09.38

俺もRust好きだな、ただObjective-Cみたいに言語のはらわたまで触れる(smalltalk由来の部分ね)緩さをもった言語も大好きなんだよな
あとはClojureが好き、これはWebアプリ書いてるとき限定だけど。

LispスレなのにLisp系がClojureとかでスマヌ

**デフォルトの名無しさん** · 2016/04/10(日) 19:11:20.69

Lisp系言語のネックは言語実装じゃなくて実行環境だと思う

**デフォルトの名無しさん** · 2016/04/10(日) 20:22:50.36

>>397
マルチプラットフォームでコンパイラで実行バイナリも吐けるし何が問題?

**デフォルトの名無しさん** · 2016/04/10(日) 20:44:51.47

>>398
「Common Lisp なら問題なく安定して高速な実行バイナリを吐ける」　という前提が必要かと

**デフォルトの名無しさん** · 2016/04/10(日) 21:07:38.87

マルチプラットフォームとかより.NET Frameworkとか使えるかが問題

**デフォルトの名無しさん** · 2016/04/10(日) 21:42:33.45

Biglooは高速なんじゃないの？

**デフォルトの名無しさん** · 2016/04/11(月) 19:30:23.23

Hyper Specが日本語に翻訳されたら増えるかもね。
日本語の情報が少なすぎだよ。

**デフォルトの名無しさん** · 2016/04/12(火) 07:35:10.05

Racketからpython使うだいぶ楽になったけど、逆はどうすればいいんだ？

**デフォルトの名無しさん** · 2016/04/15(金) 16:27:17.39

Deep Learningライブラリkeras
がニューラルネットワークのグラフ処理と数式処理を組み合わせた
ちょっと気の利いた自動処理をやってくれてたんだけど，バグだらけで
pyrhonで数式処理やるの無茶だしこんなものだろうと思ってたら
最新版で気の利いたグラフ処理を全部削除してきた

数式処理をLisp以外でやるのは，やっぱり無理だったんだな

**デフォルトの名無しさん** · 2016/04/15(金) 17:44:56.79

sympy ないからね～♪

**デフォルトの名無しさん** · 2016/04/15(金) 18:27:07.12

SymPyはテンソル処理できないし

数式を評価して数値にしないで式のまま扱うには
どうあってもマクロの機能が必須

**デフォルトの名無しさん** · 2016/04/15(金) 18:29:44.90

もうちょっと具体的に言うと
x_iのiも数値じゃなくて数式になってるような処理がmaxima以外じゃできないんだよ

**デフォルトの名無しさん** · 2016/04/16(土) 09:53:49.06

ややスレ違いで申し訳ないのですが、
Common Lispで記述されてるMaximaのWindows版バイナリの
GCLやSBCL版がDEPの対象からから外さないと動かないのって、
多分fasl絡みだと思うのですけど、これってどうしようもないのでしょうか？

**408** · 2016/04/16(土) 09:55:12.62

をを専ブラじゃなくってIEで書き込めたぞ

**デフォルトの名無しさん** · 2016/04/16(土) 22:21:58.39

windows10のubuntuサブシステムってguile動くのかな？

**デフォルトの名無しさん** · 2016/04/17(日) 12:42:24.64

ubuntu subsystemはterminal関連やプロセス情報周りまだ調節してるみたいなので、起動で使ってるととまるかも。

cygwinと違いlinuxのバイナリがwindowsのシステムコールに変換してそのまま動くらしいが、プロセスfork周りとか安定するのかな。

docker for windowsでも結構いろいろ出来るけど、
こちらはファイル連携の効率が鬼門？

**デフォルトの名無しさん** · 2016/04/18(月) 00:23:19.09

schemeでSDL使ってなんかやってみたいのだが
guileでもgaucheでもうまく使えるようになってくれん・・・（´・ω・｀）

週末おわったからまた来週までおあずけ・・・

**デフォルトの名無しさん** · 2016/04/24(日) 20:26:59.87

>>374
規格そのものには著作権はない
規格書にはある
JISはお役所っぽいとはいえ
規格書は著作権法の除外対象である
「憲法その他の法令」「告示・訓令・通達等」「判決等」などには含まれない

**はちみつ餃子** ◆8X2XSCHEME · 2016/04/24(日) 23:36:40.58

>>413
というはっきりした根拠がないという話な。

**デフォルトの名無しさん** · 2016/04/25(月) 02:32:42.65

著作権法の保護対象は、思想や感情などを創作的に表現したものだから、規格書が該当する可能性は低いんだよね。
執筆者の思想や感情に染まった創作的な規格書とかアレだし。

**デフォルトの名無しさん** · 2016/04/25(月) 02:51:04.57

規格化されたから安心して使えるよね、ってのが長所だろうに
なぜ規格書を半クローズドにするのか全然意味が分かんないｗ
パンピーから見て「馬鹿なんじゃねえの？」ぐらいある

**はちみつ餃子** ◆8X2XSCHEME · 2016/04/25(月) 03:49:21.76

Wikipedia にもそのあたりの経緯は書かれてる。

https://ja.wikipedia.org/wiki/%E6%97%A5%E6%9C%AC%E5%B7%A5%E6%A5%AD%E6%A8%99%E6%BA%96%E8%AA%BF%E6%9F%BB%E4%BC%9A

公官庁が作ってるとは限らない (つまり原案が民間からの提案による) というのが著作権が保護される根拠になってるな。
でも、規格票やハンドブックの売り上げは規格団体の活動資金であって (原案の) 著作者に還元されてるわけでもないみたいなので、
その点でも説得力に欠ける気がする。

**デフォルトの名無しさん** · 2016/04/25(月) 10:21:16.35

誰かが法廷で争って白黒付けん限りはどうにもならん

**デフォルトの名無しさん** · 2016/04/25(月) 18:12:09.23

>>417
それは権利が移譲されてるだけ

**デフォルトの名無しさん** · 2016/04/25(月) 18:33:02.98

権利守るためには普及しなくてもいいや、ってことか

**はちみつ餃子** ◆8X2XSCHEME · 2016/04/25(月) 18:47:45.03

>>419
手続き上どうなってるか知らんけど、民間の権利を保護することを理由にしてるのに
権利を移譲させているのなら保護する理由として説得力が欠けることにはかわらん。

**デフォルトの名無しさん** · 2016/04/25(月) 21:57:50.21

問題は特許の方だったりする
規格化されてる技術でも、民間企業の特許権が放棄・委譲されてない場合があるから注意ね

**デフォルトの名無しさん** · 2016/04/27(水) 01:17:14.13

いつのまにか Chez がオープンソース化されとるんやけど。
https://github.com/cisco/ChezScheme

**デフォルトの名無しさん** · 2016/04/27(水) 09:36:40.00

ライセンスは Apache License 2.0 か

**デフォルトの名無しさん** · 2016/05/01(日) 12:07:59.87

匿名通信（Tor、i2p等）ができるファイル共有ソフトBitComet（ビットコメット）みたいな、
BitTorrentがオープンソースで開発されています

言語は何でも大丈夫だそうなので、P2P書きたい！って人居ませんか？

Covenantの作者（Lyrise）がそういう人と話したいそうなので、よろしければツイートお願いします
https://twitter.com/Lyrise_al

ちなみにオイラはCovenantの完成が待ち遠しいプログラミングできないアスペルガーｗ

The Covenant Project
概要

Covenantは、純粋P2Pのファイル共有ソフトです

目的

インターネットにおける権力による抑圧を排除することが最終的な目標です。そのためにCovenantでは、中央に依存しない、高効率で検索能力の高いファイル共有の機能をユーザーに提供します

特徴

Covenant = Bittorrent + Abstract Network + DHT + (Search = WoT + PoW)

接続は抽象化されているので、I2P, Tor, TCP, Proxy, その他を利用可能です
DHTにはKademlia + コネクションプールを使用します
UPnPによってポートを解放することができますが、Port0でも利用可能です(接続数は少なくなります)
検索リクエスト、アップロード、ダウンロードなどのすべての通信はDHT的に分散され、特定のサーバーに依存しません
7

**デフォルトの名無しさん** · 2016/05/17(火) 17:05:48.70

The Little Prover (MIT Press)
by Daniel P. Friedman et al.
Link: http://amzn.com/0262527952

**デフォルトの名無しさん** · 2016/06/17(金) 14:09:15.00

>>426
https://github.com/the-little-prover/j-bob
http://the-little-prover.github.io/

**デフォルトの名無しさん** · 2016/06/19(日) 15:31:25.37

Scheme workshopに間に合わなかった論文を投稿できる国際会議って他にないものでしょうか？

**デフォルトの名無しさん** · 2016/06/19(日) 19:41:59.96

elispで"で囲まれる文字列をエディター上で複数行にわたって一行の
文字列を作るにはどうやりますか？