Lisp Scheme Part41 (855ﾚｽ)
Lisp Scheme Part41 http://mevius.5ch.net/test/read.cgi/tech/1531587928/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
151: はちみつ餃子 ◆8X2XSCHEME [sage] 2020/02/22(土) 12:07:02.06 ID:5jIrjfcF 事実を列挙すれば解を求める処理をやってくれるってのは理想のひとつではあるよな。 実際にはには Prolog が答えを出すメカニズムを理解していないと 答えを (効率的に) 出しやすい事実を上手く与えられない場合もあるし、現実は厳しい……。 http://mevius.5ch.net/test/read.cgi/tech/1531587928/151
152: デフォルトの名無しさん [sage] 2020/02/22(土) 21:37:13.68 ID:dEZr6bBq 思うんだけどLispというと悟りとか、ゲーデル云々みたいな話がよく言われるけど Prologではあんまり関連付けて言われないですよね http://mevius.5ch.net/test/read.cgi/tech/1531587928/152
153: デフォルトの名無しさん [sage] 2020/02/29(土) 16:53:01.80 ID:RQUlgixi 上にもあるけどprologは論理がそのままプログラムになるっていわれてんだろ 似たようなもん http://mevius.5ch.net/test/read.cgi/tech/1531587928/153
154: デフォルトの名無しさん [] 2020/03/03(火) 08:38:08.45 ID:VyHc4g1O hy面白いけどlisperにはrubyの方が人気なんだ http://mevius.5ch.net/test/read.cgi/tech/1531587928/154
155: デフォルトの名無しさん [sage] 2020/03/03(火) 12:21:06.15 ID:t7WQy2vJ んなこたーない http://mevius.5ch.net/test/read.cgi/tech/1531587928/155
156: デフォルトの名無しさん [sage] 2020/03/03(火) 18:09:46.41 ID:wrUSgHR4 >>152 > Prologではあんまり関連付けて言われないですよね Prologは「論理プログラミング言語」と呼ばれたりするけれど書かれたプログラムを実行可能にするためのプログラミング言語であるために 論理のための言語（つまり論理式を記述するための言語）とはかなり違ってしまっているからね その典型がPrologで動くプログラムを書く上で不可欠なカット “!” ね あれは本来の論理には対応物がなく論理とは全く縁のないコンストラクトだが カットを使わなければほとんどのPrologプログラムはまともに動かなくなってしまうだろう その点、Schemeから命令的な言語コンストラクトおよび標準手続きであるset!とset-car!, set-cdr!を除いた部分は 弱い（weak, つまりλ抽象の本体式中のβ-簡約基(redex)は簡約せずに放置しておく） 作用的順序(applicative order)の評価戦略(reduction strategy)のλ計算そのものだ call-ccは継続(continuation)というメタな（つまり意味論上の）値を対象レベルに持ち込むmeta-circular的な拡張であり Schemeに限らずLisp一般で広く採用されているS-式という構文は自分の構文に対する抽象構文の表現になっているから プログラムが自分自身（や同じ言語で書かれた他のプログラム）のソースコードを記述している言語を対象言語として 自分自身がそれを素直な形で操作できるメタ言語レベルの存在として振る舞えることになるからね 言い換えればS-式という表現形式のために括弧をやたらと多用させられるLisp言語では ソースコードをその抽象構文（木構造）と同型な形で記述させていると言っても良い だからLispのプログラムをLispで処理する場合には、C等のような普通のプログラミング言語で書かれたプログラムを処理する場合には 不可欠な字句解析や構文解析が実質上は不要なんだよ 何故ならば処理する側のLispプログラムにとって処理される側のLispコードは最初から抽象構文木と１：１対応する形式で提供される訳だから 正にゲーデルの不完全性定理で行っている形式化された論理のゲーデル数による表現とそれを原始再帰的函数や同述語を含むメタ論理のレベルで 処理する構造が、Lispの世界に対応していると言えるわけですよ http://mevius.5ch.net/test/read.cgi/tech/1531587928/156
157: デフォルトの名無しさん [sage] 2020/03/03(火) 18:41:29.86 ID:2IitENiP 3文字で頼む http://mevius.5ch.net/test/read.cgi/tech/1531587928/157
158: デフォルトの名無しさん [sage] 2020/03/03(火) 19:41:28.30 ID:nd3HjawW マクロ http://mevius.5ch.net/test/read.cgi/tech/1531587928/158
159: デフォルトの名無しさん [sage] 2020/03/03(火) 20:29:22.74 ID:44YhJRv6 要するにPrologはメタ論理レベルのプログラミングが出来ないってこと？ http://mevius.5ch.net/test/read.cgi/tech/1531587928/159
160: デフォルトの名無しさん [sage] 2020/03/03(火) 21:31:50.71 ID:s8qGwiQH >>157 ボイド http://mevius.5ch.net/test/read.cgi/tech/1531587928/160
161: デフォルトの名無しさん [sage] 2020/03/03(火) 21:44:08.09 ID:JAknlLuJ >>157 GEB http://mevius.5ch.net/test/read.cgi/tech/1531587928/161
162: デフォルトの名無しさん [sage] 2020/03/04(水) 12:43:41.99 ID:XYd2gLmT CDR!! http://mevius.5ch.net/test/read.cgi/tech/1531587928/162
163: デフォルトの名無しさん [] 2020/03/04(水) 12:50:19.65 ID:ujdXlrHA SECD Landin’s J http://mevius.5ch.net/test/read.cgi/tech/1531587928/163
164: デフォルトの名無しさん [sage] 2020/03/05(木) 20:29:29.92 ID:h922Dn8C >>50 需要の問題だろ Lisp自体がマイナーで Common Lispでやっと本が出せる位なのに http://mevius.5ch.net/test/read.cgi/tech/1531587928/164
165: デフォルトの名無しさん [sage] 2020/03/05(木) 20:29:51.26 ID:h922Dn8C >>53 今はAIといえばPythonだろ？ http://mevius.5ch.net/test/read.cgi/tech/1531587928/165
166: デフォルトの名無しさん [sage] 2020/03/05(木) 20:30:44.79 ID:h922Dn8C >>54 昔の一時期は妥当だったんだろうけど 今ならPythonの方が向いてるだろう http://mevius.5ch.net/test/read.cgi/tech/1531587928/166
167: デフォルトの名無しさん [sage] 2020/03/05(木) 20:32:32.21 ID:h922Dn8C >>57 >>58 要は人工知能というより記号処理なんだよ http://mevius.5ch.net/test/read.cgi/tech/1531587928/167
168: デフォルトの名無しさん [sage] 2020/03/05(木) 20:34:42.44 ID:h922Dn8C >>82 >>84 MITの件もあるし 今ならPythonでいいでしょ MITレベルの頭ならLispなんて すぐ読み書きできると思うが http://mevius.5ch.net/test/read.cgi/tech/1531587928/168
169: デフォルトの名無しさん [sage] 2020/03/05(木) 20:39:40.49 ID:h922Dn8C >>146 ＞論理プログラム言語（Prolog）なんて ほとんどのプログラマが 仕事では一生使わないだろうな？ でも設計をする上で参考になる http://mevius.5ch.net/test/read.cgi/tech/1531587928/169
170: デフォルトの名無しさん [sage] 2020/03/05(木) 20:41:41.16 ID:h922Dn8C >>149 Prologの勉強は無駄ではないと思うが すぐ成果には結びつかないだろうね？ でも長期的には流行りの言語やFWに飛びつくより 地力につながる可能性もあるだろう http://mevius.5ch.net/test/read.cgi/tech/1531587928/170
171: デフォルトの名無しさん [sage] 2020/03/05(木) 20:42:43.57 ID:h922Dn8C >>150 宣言型という点では近いけど言語としては同じじゃない ユニフィケーションやバックトラックの挙動があるから http://mevius.5ch.net/test/read.cgi/tech/1531587928/171
172: デフォルトの名無しさん [sage] 2020/03/05(木) 20:44:54.71 ID:h922Dn8C >>151 AIはディープラーニングが主流になったが それはそれとしてアレでPrologがもう少し 分かりやすければ日常的に使うんだけどな これどうやって書くんだってのが多すぎる http://mevius.5ch.net/test/read.cgi/tech/1531587928/172
173: デフォルトの名無しさん [sage] 2020/03/05(木) 20:47:20.68 ID:h922Dn8C >>156 Lispはメタプログラミングしやすいって理屈は分かるが 実際にそれでものすごい作業効率が上がるかは疑問だな？ なぜんあらメジャーな言語はライブラリが充実してて それ使えば最初から書かなくても済むわけだから早い http://mevius.5ch.net/test/read.cgi/tech/1531587928/173
174: デフォルトの名無しさん [sage] 2020/03/05(木) 20:48:56.47 ID:h922Dn8C >>159 本当にできるかできないかは知らんが そういえばメタプロやってるって 声ほとんど聞いたことないな Lisp勢はマクロマクロうるさいのに http://mevius.5ch.net/test/read.cgi/tech/1531587928/174
175: デフォルトの名無しさん [sage] 2020/03/05(木) 23:31:57.86 ID:ilhNvGHV 3文字で頼む http://mevius.5ch.net/test/read.cgi/tech/1531587928/175
176: デフォルトの名無しさん [sage] 2020/03/06(金) 05:04:10.79 ID:nWpA6pnf スレチ http://mevius.5ch.net/test/read.cgi/tech/1531587928/176
177: デフォルトの名無しさん [] 2020/03/10(火) 18:23:23.35 ID:BcZoFSIR hy マクロの入力にpair入れたのに マクロ実行時にunquoteするとlistに化けるバグがある気がする http://mevius.5ch.net/test/read.cgi/tech/1531587928/177
178: デフォルトの名無しさん [sage] 2020/03/26(木) 18:40:18.93 ID:jDMenf5s 日本の理系人のLisp好きは異常 http://mevius.5ch.net/test/read.cgi/tech/1531587928/178
179: デフォルトの名無しさん [sage] 2020/03/26(木) 21:06:12.72 ID:x3TTE31H 土日はおとなしくLispでも http://mevius.5ch.net/test/read.cgi/tech/1531587928/179
180: デフォルトの名無しさん [sage] 2020/04/24(金) 18:37:15.78 ID:3QH+ANBn Clozure CL 1.12 がでてきた。 https://github.com/Clozure/ccl/releases/tag/v1.12 ぜんぜん 1.11 からバージョンあがらないから死んじゃったのかと思ったよ。 http://mevius.5ch.net/test/read.cgi/tech/1531587928/180
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 675 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.028s