Lisp Scheme Part41 (855ﾚｽ)
Lisp Scheme Part41 http://mevius.5ch.net/test/read.cgi/tech/1531587928/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
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
73: はちみつ餃子 ◆8X2XSCHEME [] 2019/06/17(月) 21:26:53.35 ID:PcIXrAci サポートは永遠ではないんやで。 http://mevius.5ch.net/test/read.cgi/tech/1531587928/73
74: デフォルトの名無しさん [sage] 2019/07/27(土) 11:20:29.96 ID:B7vPYzXg 何か面白いことないか？ http://mevius.5ch.net/test/read.cgi/tech/1531587928/74
75: デフォルトの名無しさん [sage] 2019/07/27(土) 19:13:31.49 ID:oO/GdmlC >>72 サイトのオーナーは個人みたいだけどDNSから消えてるね アーカイブには残ってるんでそっちをみれば? http://web.archive.org/web/20120305231338/http://karetta.jp/book-cover/programming-gauche http://mevius.5ch.net/test/read.cgi/tech/1531587928/75
76: デフォルトの名無しさん [sage] 2019/07/27(土) 19:18:18.62 ID:oO/GdmlC あ、Kahuaプロジェクトの中の人か http://mevius.5ch.net/test/read.cgi/tech/1531587928/76
77: はちみつ餃子 ◆8X2XSCHEME [sage] 2019/07/30(火) 13:16:53.69 ID:1iVnacAY >>74 君が面白くするのさ！ http://mevius.5ch.net/test/read.cgi/tech/1531587928/77
78: デフォルトの名無しさん [sage] 2019/08/06(火) 11:57:55.79 ID:NEGlosyW webで公開されてるsicpのレビューを なんで翻訳者が違うamazonの書籍のところに書いてるんだ？ qiitaにでも書いとけよ http://mevius.5ch.net/test/read.cgi/tech/1531587928/78
79: はちみつ餃子 ◆8X2XSCHEME [sage] 2019/08/17(土) 02:28:56.98 ID:ePDK/uqj Chez を組み込んだ Racket が出たぞー http://mevius.5ch.net/test/read.cgi/tech/1531587928/79
80: デフォルトの名無しさん [sage] 2019/09/19(木) 02:40:36.60 ID:90sjVPq/ chicken scheme のサイト( www.call-cc.org ) が ここ数日ダウンしたままだ 流石にこのままフェイドアウトではないと信じたい http://mevius.5ch.net/test/read.cgi/tech/1531587928/80
81: デフォルトの名無しさん [sage] 2019/09/21(土) 19:25:17.46 ID:vGpgqd5W lisp一本で食っていけますか？ http://mevius.5ch.net/test/read.cgi/tech/1531587928/81
82: デフォルトの名無しさん [sage] 2019/09/23(月) 00:25:37.40 ID:yOVeMM4I パーソナルコンピュータの父アラン・ケイが選ぶ「プログラマー必読の古典本」とは？ 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」を「完璧な古典」だと絶賛しています。 http://mevius.5ch.net/test/read.cgi/tech/1531587928/82
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 773 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.026s