Lisp Scheme Part41 (855ﾚｽ)
Lisp Scheme Part41 http://mevius.5ch.net/test/read.cgi/tech/1531587928/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
43: デフォルトの名無しさん [sage] 2019/02/19(火) 03:58:50.76 ID:seNTvLzD 餃子はISLISPerなの？ http://mevius.5ch.net/test/read.cgi/tech/1531587928/43
44: デフォルトの名無しさん [] 2019/02/19(火) 09:00:07.28 ID:4kP+wC3u Racketに対応したArcが出てたのね Arc Forum | Tell Arc: Arc 3.2 http://arclanguage.org/item?id=20772 http://mevius.5ch.net/test/read.cgi/tech/1531587928/44
45: はちみつ餃子 ◆8X2XSCHEME [sage] 2019/02/20(水) 00:03:33.61 ID:C98K3aY7 >>43 ISLISP には興味無いよ。 でも LISP 界に動きがあるのは歓迎するので、 どういう受け止められ方をしているのか聞きたかっただけ。 http://mevius.5ch.net/test/read.cgi/tech/1531587928/45
46: デフォルトの名無しさん [sage] 2019/02/20(水) 02:34:03.07 ID:hNG331p8 >>45 ISLispってJIS規格になったんでしたっけ？ http://mevius.5ch.net/test/read.cgi/tech/1531587928/46
47: はちみつ餃子 ◆8X2XSCHEME [sage] 2019/02/20(水) 03:14:25.95 ID:C98K3aY7 >>46 JIS の ISLISP は 1998 年の日付になってる。 http://mevius.5ch.net/test/read.cgi/tech/1531587928/47
48: デフォルトの名無しさん [sage] 2019/02/21(木) 00:45:26.47 ID:vZ2CpAoq >>47 お返事、ありがとうございます そうですかISLispはJIS化されてたんですね でも日本で使われてるんですかね？ Lispで日本で使われてるのはやっぱりCommon Lispだと思うんですけど（それと教育とかだとScheme（含Racket）が少しあるかな） http://mevius.5ch.net/test/read.cgi/tech/1531587928/48
49: はちみつ餃子 ◆8X2XSCHEME [sage] 2019/02/21(木) 01:05:58.63 ID:9MRHAYbl ISLISP のことはなんも知らんけど、 急に ISLISP 処理系が立て続けに出てきたみたいやから なんか動きがあったんか？ と思って >>32 を書いたんで、 私も質問者の立場なんやわ。 大した理由はないのであっても、 始まったならこのまま発展していくといいね。 http://mevius.5ch.net/test/read.cgi/tech/1531587928/49
50: デフォルトの名無しさん [sage] 2019/02/22(金) 06:25:30.84 ID:6MhIDIeu ISLispのプログラミングテキストや解説書って笹川賢一って人が書いたKindle用の電子的なのが２タイトルあるだけで それ以外は海外でも何も出てないんですかね、Amazon USでタイトルを“ISLisp”で検索しても、その２タイトル以外は ISOの規格票しか出てきませんね とにもかくにも国際規格になったんだから、規格案をプッシュした連中がプログラミングの教科書や言語解説書や入門書ぐらいは 書いて出版するぐらいのことはやるべきなんじゃないかと思うんですが、見事なほどに何も出ていないようで驚きました http://mevius.5ch.net/test/read.cgi/tech/1531587928/50
51: デフォルトの名無しさん [sage] 2019/02/22(金) 12:52:25.98 ID:+Ub0CFOo common lispとどれくらい違うん？ http://mevius.5ch.net/test/read.cgi/tech/1531587928/51
52: はちみつ餃子 ◆8X2XSCHEME [sage] 2019/02/22(金) 17:25:28.63 ID:PAJj2OJU >>51 Common Lisp の規模が大きくなってまとまらなかった中で 別の提案を整理して100 ページもないような規模の ISLISP を確立したという事情があるので、 完全なサブセットではないけど言語の考え方としては近い部分が多くて かなり小さいサブセット「的」なものという感じ。 つっても、やっぱり別言語ではあるので、それを「どれくらい」とは一言では表せないな。 個人的には、あくまで私の感想としては Lua と JavaScript くらいの距離はあるかなぁ……と思ってる。 http://mevius.5ch.net/test/read.cgi/tech/1531587928/52
53: デフォルトの名無しさん [sage] 2019/03/05(火) 05:20:40.92 ID:1ASLdeDU 昔の情報処理試験で人工知能の分野ときたらLispだったけど今違うのかな？ http://mevius.5ch.net/test/read.cgi/tech/1531587928/53
54: はちみつ餃子 ◆8X2XSCHEME [sage] 2019/03/05(火) 09:20:27.48 ID:mHzXPPXa >>53 このスレ (の過去スレ) では何度も話題になっている気がするが、 「人工知能」とは何か、それに「向いている」とはどういう意味かが曖昧なので、 Yes とも No とも言えるというのがおおよその結論。 人工知能を定義するなら「人間の知的活動を代行するもの」であり、 かつてはコンパイラや数式処理なども人工知能の範疇だった。 でも、分野として確立して以降は コンパイラはコンパイラだし、数式処理は数式処理であって、 今ではそれを人工知能と呼ぶ人なんかいない。 逆に言えば分野として確立していない知的な処理はなんだって 人工知能なので、範囲がざっくりしすぎて どんな言語が向いているかなんて言いようが無い。 強いて言うなら、かつては人工知能の主役は記号処理を基礎に据えたものであったので、 そのときの事情を前提にするならば、 それらを記述するには (当時あった他の主要な言語よりは) LISP が向いていると 言ってもそこそこ妥当ではあった。 http://mevius.5ch.net/test/read.cgi/tech/1531587928/54
55: デフォルトの名無しさん [sage] 2019/03/05(火) 20:46:21.78 ID:XYJ+jVyT 人工知能でLISPを扱ってる本の巻末付録は大抵駅すぱあとシステムだからな http://mevius.5ch.net/test/read.cgi/tech/1531587928/55
56: デフォルトの名無しさん [sage] 2019/03/05(火) 22:17:29.86 ID:Wd2YNpFb 餃子がスゲー良いこと言ったな… > 逆に言えば分野として確立していない知的な処理はなんだって人工知能 機械学習みたいないかにも人工知能っぽいものでも、人間が理解して理論的に確立してしまえばなんてことない在り来たりな技術になるんだろうな http://mevius.5ch.net/test/read.cgi/tech/1531587928/56
57: はちみつ餃子 ◆8X2XSCHEME [sage] 2019/03/06(水) 03:45:46.67 ID:7/fqDaVy 人工知能のカテゴリのひとつに「ルールベース」があるけど、 これって要するに if 文を並べて判断するようなシステムのことで、 現代的な感覚だと人工知能とは言わんよな。 ひとつのカテゴリとして名前を付けることすら馬鹿馬鹿しい。 (あくまでも現代の感覚で見ればという話なので、 当たり前のものにしてきた先人の努力を貶めるものではないことは断わっておく。) そんなごく当たり前のプログラムも昔は人工知能と呼ばれていたんだから、 人工知能という言葉が指す範囲はとてつもなく広いし、今後も変遷を続けていくと思う。 結果的に LISP が人工知能の記述に「適していた」あるいは「適している」のが事実であってもなくても、 LISP が人工知能の記述を目指しているというわけでもないし、 (LISP 系言語は幅広いので特に人工知能を指向したものも有りはするかもしれないが) 主要な LISP 系言語は Python やら Ruby やらと並べても違和感のないごく普通の汎用言語なんで、 用途を限定してしまうような言説は、個人的にはあまり好きじゃないな。 使いたいように使っていいんだよ。 http://mevius.5ch.net/test/read.cgi/tech/1531587928/57
58: デフォルトの名無しさん [sage] 2019/03/06(水) 23:50:18.20 ID:pTvDqBNf >>57 > そんなごく当たり前のプログラムも昔は人工知能と呼ばれていたんだから、 > 人工知能という言葉が指す範囲はとてつもなく広いし、今後も変遷を続けていくと思う。 70年代前半だと数式処理（記号微分とか記号積分とか、特に記号積分はね）も立派な人工知能の一分野 ついでに言えば50年代後半だと今で言うコンパイラの研究も人工知能の１テーマだったらしい http://mevius.5ch.net/test/read.cgi/tech/1531587928/58
59: デフォルトの名無しさん [sage] 2019/03/07(木) 00:08:40.76 ID:3nOoPCck >>58 はちみつ餃子がすでに書いてるのに >>54 http://mevius.5ch.net/test/read.cgi/tech/1531587928/59
60: デフォルトの名無しさん [sage] 2019/03/08(金) 01:59:42.89 ID:PoFzWHgZ ごめん、見落としてた http://mevius.5ch.net/test/read.cgi/tech/1531587928/60
61: デフォルトの名無しさん [sage] 2019/03/09(土) 18:08:55.14 ID:AFl9pnGp 研究者や企業による実験段階＋アルファまでAI 商品化され一般に流通したらIT http://mevius.5ch.net/test/read.cgi/tech/1531587928/61
62: デフォルトの名無しさん [sage] 2019/03/20(水) 16:56:57.86 ID:Cy24MG6x >>61 👍 http://mevius.5ch.net/test/read.cgi/tech/1531587928/62
63: デフォルトの名無しさん [] 2019/03/23(土) 22:34:59.05 ID:xopjuNQ8 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)) http://mevius.5ch.net/test/read.cgi/tech/1531587928/63
64: はちみつ餃子 ◆8X2XSCHEME [sage] 2019/03/23(土) 23:08:12.36 ID:ByL/s3eU >>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 にしたりもしている。 http://mevius.5ch.net/test/read.cgi/tech/1531587928/64
65: 63 [] 2019/03/24(日) 10:14:45.86 ID:UnbL980K >>64 ありがとうございます。Gauche は find があるみたいなので、早速置き換えてみました。 Scheme の規格は、過去のものを包括しているわけでもなく、なかなか難しいものなんですね。 μKanren だけに限らないかもしれませんが、μKanren の Scheme のコードは、普通の オブジェクト指向言語と違って型を作って使い分けするのでなくて、そういう意図でベクトルや ドット対やリストを使い分けていたり、戻す値が何を意図したものなのかわかりにくくて、 短いけど難しいですね〜 http://mevius.5ch.net/test/read.cgi/tech/1531587928/65
66: デフォルトの名無しさん [sage] 2019/03/24(日) 12:59:34.15 ID:0UFOFyyE μKanrenてユニフィケーションの亜種みたいなもんだから多分どの言語でも大丈夫だぞ http://mevius.5ch.net/test/read.cgi/tech/1531587928/66
67: 63 [sage] 2019/03/26(火) 10:45:46.30 ID:qv9oqtep >>66 μKanren や miniKanren はいろんな言語に移植されていますね。 実は私も、ある超マイナー言語に移植することでその言語の勉強と、移植したライブラリで なんかしてみようと始めたんですけど、スタック系言語なんで、なかなかすんなりいきません。 あと、コア部分はいいとしても、Shceme でマクロを使っているところをどうするかって ところが悩みどころ。他の言語の移植をみても、そのへんはつくってないものも多い様で。 http://mevius.5ch.net/test/read.cgi/tech/1531587928/67
68: デフォルトの名無しさん [sage] 2019/03/26(火) 12:30:38.77 ID:rfZeS/lQ powershell上のC#で持っとくと捗りそう http://mevius.5ch.net/test/read.cgi/tech/1531587928/68
69: デフォルトの名無しさん [sage] 2019/05/17(金) 11:21:22.79 ID:5wW1YVrN なんか書けよおまえら http://mevius.5ch.net/test/read.cgi/tech/1531587928/69
70: デフォルトの名無しさん [sage] 2019/05/17(金) 20:28:12.22 ID:yF96juLt Racket 7.3 でたね。上げ http://mevius.5ch.net/test/read.cgi/tech/1531587928/70
71: はちみつ餃子 ◆8X2XSCHEME [] 2019/06/16(日) 17:10:40.09 ID:NdE++jZZ Gauche も 0.9.8 が出たよー http://mevius.5ch.net/test/read.cgi/tech/1531587928/71
72: 通りすがりの名無しさん [] 2019/06/17(月) 15:39:20.44 ID:GZApyxPH プログラミングGaucheのサポートぺーじ ずっと落ちてるのなんで？ http://karetta.jp/book-cover/programming-gauche http://mevius.5ch.net/test/read.cgi/tech/1531587928/72
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 783 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.009s