「コンパイラ・スクリプトエンジン」相談室4

1 名前：デフォルトの名無しさん mailto:sage [04/11/10 23:30:50] 言語仕様や処理系の話題に関するスレッドです。 字句解析・構文解析から，データフロー解析，ループ並列化，タスク並列化，SSA変換，CPS変換， レジスタ割付，命令スケジューリング，ソフトウェアパイプライン等各種最適化，それに VM，GC，JIT，リンク時最適化，動的バイナリ変換などなど。 前スレ 1 pc.2ch.net/tech/kako/981/981672957.html 2 pc2.2ch.net/test/read.cgi/tech/1021136715/ (dat落ち) 3 pc5.2ch.net/test/read.cgi/tech/1070089173/ (前スレ) 関連リンクは多分 >>2-10 あたり 52 名前：デフォルトの名無しさん mailto:sage [04/11/12 22:52:52] はぁ？ 53 名前：デフォルトの名無しさん [04/11/12 23:06:16] ２６歳、ＶＭを覚えるまでは金無し君だったけど（ry 54 名前：デフォルトの名無しさん mailto:sage [04/11/12 23:36:08] マジお勧め。 55 名前：デフォルトの名無しさん mailto:sage [04/11/12 23:42:35] bignumのライブラリでよさげなのないですか？ ライセンスとか面倒なのは避けたいので DLL形式で使えるとうれしい。 56 名前：デフォルトの名無しさん [04/11/13 00:23:10] アフォ？ ライブラリでもライセンスは関係する罠ｗ 57 名前：デフォルトの名無しさん mailto:sage [04/11/13 00:35:36] M.B. age sugi 58 名前：M.B. mailto:sage [04/11/13 00:39:06] >>57 sage ? 59 名前：M.B. mailto:sage [04/11/13 09:37:42] いま Java で Lisp を書こうとして、禿死苦悩んでいる。 atom や car や cdr は List クラスのメソッドにするとして、 read/write や eval って何のメソッドにするんだ？ 入出力ストリームを extend して List を扱えるようにするのか？ ListProcceser とかいうクラスを定義して eval メソッドを実装するのか？ なんやらオブジェクト同士のつかみ合いみたいになって、 設計が綺麗くなんないんだが。 60 名前：デフォルトの名無しさん mailto:sage [04/11/13 10:28:53] つまんないことで悩んでるな。 Lispとしての関数と、それを実装するJavaでの話は全く関係ないよ。 簡単なLisp処理系のソースを読んでみることを勧める。 そうすればシンボルテーブルの概念も掴めるだろう。 61 名前：60 mailto:sage [04/11/13 10:47:54] 殴り書き。 class LispObject { ...} class LispCons extends LispObject {...} class LispSymbol extends LispObject {...} class LispNumber extends LispObject {...} class LispString extends LispObject {...} class LispFunction extends LispObject {...} class LispInterpreter { Hashtable obarray; public LispObject eval(LispObject form) throws LispError { if (form.isAtom()) { return (form.isSymbol() ? ((Symbol)form).getValue() : form); } else if (isList(form)) { func = ((LispCons)form).getCar(); if (func.isSymbol()) { func = func.getFunction(); if (function == null || !function.isFunction()) { throw LispError(略); } } else { func = createLambdaFunction(func); } return callFunction((LispFunction)func, form.getCdr()); } else { throw LispError("form is not a list.", form); } } 62 名前：60 mailto:sage [04/11/13 10:50:11] 殴り書きその2。 LispObject callFunction(LispFunction func, LispObject args) throws LispError { int len = getListLength(args); if (len < func.getMinArgs() || (func.getMaxArgs() != null && len > func.getMaxArgs())) { throw LispError(略); } argsarray = new LispObject[len]; // コード略。引数をargsarrayにコピー。maxargsに足りなきゃnullで埋める。 func.call(argsarray); } void initialize () { defineFunction("car", new LispFunction_car()); defineFunction("eval", new LispFunction(1,1) { LispObject call(args) { return eval(args[0]); } }); // ... } void defineFunction(String name, LispFunction func) { LispSymbol sym = intern(name); sym.setFunction(func); } 63 名前：60 mailto:sage [04/11/13 10:51:23] その2訂正: s/nullで埋める/nilで埋める/ その3。 LispSymbol intern(String name) { Obj s = obarray.get(name); if (s == null) { LispSymbol sym = new LispSymbol(name); obarray.put(name, sym); return sym; } else { return (LispSymbol)sym; } } class LispFunction_car extends LispFunction { LispFunction_car() { super(1,1); } // minargs, maxargs LispObject call(LispObject[] args) throws LispError { if (args[0].isCons()) { return ((LispCons)args[0]).getCar(); } else { throw LispError(略); } } } 64 名前：60 mailto:sage [04/11/13 10:55:09] しまった、関数かマクロかで判別して、関数のときは先に引数を評価するんだった。 直すのマンドクセ。 65 名前：デフォルトの名無しさん mailto:sage [04/11/13 12:08:03] ここはお前の日記帳じゃねえんだ(ry 66 名前：60 mailto:sage [04/11/13 14:32:11] いやなに、59の参考にでもなればと思って。 67 名前：デフォルトの名無しさん mailto:sage [04/11/13 19:14:06] SICPの「メタサーキュラ・インタプリタ」の章を嫁． あそこのコードは素のSchemeでなくOOPLだったらもっと簡潔に書ける． 68 名前：デフォルトの名無しさん mailto:sage [04/11/13 19:44:06] > メタサーキュラ・インタプリタ 関係ないが、この言葉を見るとprologスレの論争を思い出す。 結局誰が正しかったのかな。 69 名前：デフォルトの名無しさん mailto:sage [04/11/13 19:56:15] >>68 論争って何？ 70 名前：デフォルトの名無しさん mailto:sage [04/11/13 20:54:20] 記録自体はもぅ何年も前のものなのに そのまま生々しく残ってて痛々しいよね。 71 名前：デフォルトの名無しさん [04/11/13 21:07:36] まぁ、プロログ、リスプと言ってる時点で 実用的なプログラムを書いていない証拠だなｗ 72 名前：デフォルトの名無しさん mailto:sage [04/11/13 21:11:15] >>71 煽りならよそへ池 73 名前：M.B. mailto:sage [04/11/13 21:32:01] 設計で悩んでたら、eval 以外の関数だけで半日潰れちまった 甘かった　＿|￣|○ 74 名前：デフォルトの名無しさん mailto:sage [04/11/13 21:44:00] 今週は>>21の www.laplata.ne.jp/javalisp/ でも読んで、雰囲気つかんだ後、 来週の週末あたりに携帯Lispでも開発したら・・？ 75 名前：M.B. mailto:sage [04/11/13 22:21:45] あれは邪道。LinkedList なんぞ使っちゃｲｶﾝ。 結局 eq と equal の区別ができなくなって詰まってる。 現在、 中西正和『Lisp入門　システムとプログラミング』近代科学社 黒川利明『LISP入門』培風館 竹内郁雄『初めての人のためのLISP』サイエンス社 を読みながら悪戦苦闘中。 76 名前：M.B. mailto:sage [04/11/13 22:28:36] >>71 > まぁ、プロログ、リスプと言ってる時点で > 実用的なプログラムを書いていない証拠だなｗ まぁ、tsv や XML で間に合う仕事をしてる香具師には 無縁な話なのだがね。それが悪い訳ではまったくないが。 77 名前：デフォルトの名無しさん mailto:sage [04/11/13 22:29:07] なんかキチッとしたもの作り込んでるみたいなんで 完成したらサイトも作ってアップして下さい。 78 名前：デフォルトの名無しさん mailto:sage [04/11/13 22:30:53] >>75 まあ本人の自由だろうけど、そういうレベルの人が言語処理系について 知ったような口をきくのはどうかと思う（>>35とかね）。 79 名前：デフォルトの名無しさん mailto:sage [04/11/13 22:37:23] >>78 象牙の塔の中で言語論争してるわけじゃないからイイでし。 ここは78さんのために用意された花園でも、まして法廷でもないし。 そういうことをPrologスレを眺めてオモタ。 80 名前：デフォルトの名無しさん mailto:sage [04/11/13 22:38:32] >>78 お前何様だよ(^^; 81 名前：M.B. mailto:sage [04/11/13 22:53:41] >>78 前回 Lisp を書いたときは、 言語が FORTRAN （「大文字のフォートラン」、つまり60）で、 しかも再帰呼び出しが使えないので （なにせ関数呼び出し用のスタックがなく、レジスタに直接 割り当てていたので、７層までしか使えない）、 プリプロセッサの皮を被せて「再帰呼び出し可能なFORTRAN」を 実現し（RATFOR みたいなもんだ）、その上で LISP を書いて、 その上に機械翻訳システムを実現したもんだ。 とはいえ N88 BASIC 上に LISP も PROLOG も実装したことがあるのだが 内部構成が全然思い出せない　＿|￣|○ 82 名前：M.B. [04/11/13 23:00:18] なんか思い出してきたぞ。 あのころはメモリが少なくて実用的なプログラムが書けるような環境が 立てられなかったのと、LISP はあくまで数式処理なんかに使う ツールでしかなかったので、動いたところで「こんなん使えねーや」 っつーんで捨てちゃったんだ。 今なら Java で Lisp インタプリタ書いて、その上で Prolog の処理系 （Lisp で六百行くらい）を動かしても十分実用になる。 いい時代になったもんだ。 83 名前：デフォルトの名無しさん mailto:sage [04/11/13 23:11:49] だからさあ ここはお前の日記帳じゃねえんだ＞ＭＢ つーかRATFOR出てくるなんていつの時代の人間だよ >>75の文献も古すぎだぞ 古い本見ながら中途半端なLISP作るより R5RSでも読んでScheme覚えたほうがいい 84 名前：デフォルトの名無しさん mailto:sage [04/11/13 23:22:57] >>83 別にいいじゃん、興味ないから読んでないけど(汗 まあ内容はここに一応ふさわしい。 極めてスレ違いな言語論争で埋め尽くされるよりマシ。 85 名前：デフォルトの名無しさん [04/11/13 23:24:27] スモールコムパイラを作ろうのねーちゃんは何歳だ？ 86 名前：デフォルトの名無しさん mailto:sage [04/11/13 23:26:11] 10さい 87 名前：M.B. [04/11/13 23:27:01] >>83 > つーかRATFOR出てくるなんていつの時代の人間だよ 知ってんじゃねーか。 88 名前：デフォルトの名無しさん mailto:sage [04/11/13 23:33:31] >>57　プンスカプー。 89 名前：デフォルトの名無しさん [04/11/13 23:35:10] コンパイラ と コンバイナ と コンバンワ の区別が出来ない人がいるのですが、どうしたらいいですか。 90 名前：デフォルトの名無しさん mailto:sage [04/11/13 23:35:25] そういえば某スレにこんなのがあったなぁ #include <stdio.h> #include <stdlib.h> int b[2<<16],f,g,i,n;char*p,l[103][80],c[80],*q,*r,x;S(){for(;*p==32;++p);}T(){ for(r="GET \0OTO \0PUT \0RUN\0 QUIT\0IF"+5*n++;*r&&*r==*p;++r)++p;return!*r&&(S ()|1);}I(){g=atoi(p);return*p-48?g?g:b[*(short*)p]:g;}main(){for(;;){gets(p=l[i =100]);while(i<101){n=0;S();g=atoi(p);if(*(q=p)==48||g)for(p=l[g],q+=3;*p++=*q ++;)i=101;else p=!*q?l[++i]:T()?printf("?"),gets(c),b[*(short*)p]=atoi(c),l[++i ]:T()?l[i=I()]:T()?printf("%d\n",I()),l[++i]:T()?l[i=l[100][0]=0]:T()?exit(0),0 :T()?I()?p+3:l[++i]:(61-q[2]?puts("ERR"):(p=q+3,f=I(),x=p[2]-43,p+=3,g=I(),b[*( short*)q]=x?x-2?x+1?x-4?x-17?x-19?x+10?x-18?x+6?f:f%g:f==g:f!=g:f>g:f<g:f/g:f*g :f-g:f+g),l[++i]);}puts("OK");}} 91 名前：デフォルトの名無しさん mailto:sage [04/11/13 23:36:51] ネタはマ板でやると喜ばれます 92 名前：デフォルトの名無しさん [04/11/13 23:49:01] まぁ、LISPなんぞ哲学みたいなものだ。 つまり、概念なりを学には大変よい言語だが、 実用的な価値は、ほぼゼロに近いw 93 名前：デフォルトの名無しさん mailto:sage [04/11/13 23:52:10] >>92 言語論争は死滅スレでやると喜ばれます、死ね 94 名前：デフォルトの名無しさん mailto:sage [04/11/13 23:52:49] hai hai 95 名前：M.B. mailto:sage [04/11/14 00:21:32] >>88 正直ｽﾏﾝｶｯﾀ orz 96 名前：デフォルトの名無しさん mailto:sage [04/11/14 00:33:20] >>94 > >>92　でしョ。 >>95 あんた熱くなると八兵衛（ｒｙ MBのFortran話で www.google.co.jp/search?sourceid=navclient&hl=ja&ie=UTF-8&q=%E4%BC%8A%E7%90%86%E6%AD%A3%E5%A4%AB%E3%80%80%E9%AB%98%E9%80%9F%E8%87%AA%E5%8B%95%E5%BE%AE%E5%88%86%E6%B3%95 を思い出した。　哲学とも高尚な抽象概念とも関係ない使い道の例だお。 97 名前：M.B. mailto:sage [04/11/14 00:46:20] >>96 「親分！　てぇへんだ！」 「おいおい、どうしたんだ八」 「まぁまぁ八兵衛さん、朝御飯はお済みになったの？」 「すんませんお内儀さん、ってそれどころじゃ無ぇんで。 大川にお六字が……」 98 名前：M.B. mailto:sage [04/11/14 00:48:35] >>97 ……ってこんだけネタ振っといて八兵衛じゃなくて八五郎だ またやっちまった　＿|￣|○ 99 名前：デフォルトの名無しさん mailto:sage [04/11/14 01:11:08] コテハンってどうしてこんな(ry 100 名前：デフォルトの名無しさん mailto:sage [04/11/14 01:12:52] 100get!!!!! 101 名前：デフォルトの名無しさん mailto:sage [04/11/14 11:45:12] 煽り以外で >>92 に反論できる LISPer は居ない？ 102 名前：デフォルトの名無しさん mailto:sage [04/11/14 11:52:29] 誰かあの文章を紹介してやれよ。「普通のやつらを作り出せ」とかいうやつ。 103 名前：デフォルトの名無しさん mailto:sage [04/11/14 12:02:47] と、LISPのことが気になって仕方の無い>>101が語られました。 104 名前：M.B. mailto:sage [04/11/14 12:06:43] >>101 数式処理は Lisp 以外の言語で書く気がせん。 これで十分。 ……つーか Mule があるじゃん。あれって Lisp だろがよ。 105 名前：デフォルトの名無しさん mailto:sage [04/11/14 12:12:10] 竹内郁雄さんが 新しいマシンを開発するときは その上に Lisp を実装すると非常に楽だと bit の連載（TAO かなんかの開発の話）に書いてたな。 106 名前：デフォルトの名無しさん mailto:sage [04/11/14 12:26:25] その辺にしておくべし。　LISPのことばっか喋ると 怠け者の>>101がまた荒らしで知識を得ようと熱くなる。 結局スレに迷惑かかる。多様な話題のほうが楽しいし。 107 名前：デフォルトの名無しさん mailto:sage [04/11/14 12:38:50] >101 これ以上LISPerを呼ぶなよ 108 名前：デフォルトの名無しさん mailto:sage [04/11/14 13:59:01] LISPer は独自スレを立てれ。 109 名前：デフォルトの名無しさん mailto:sage [04/11/14 14:01:04] つーかLISPスレ立ってるだろ 110 名前：デフォルトの名無しさん mailto:sage [04/11/14 14:04:02] 処理系依存でない LISP スレが・・・ﾅｲ! 111 名前：デフォルトの名無しさん mailto:sage [04/11/14 14:06:15] LISPerは自体は構わんよ、下らん言語論争やフレームの元になるような事を書く奴さえこなければ。 このスレは実装技術のスレだ、個々の言語の良し悪しや独善的思想はフレームの元、 >>104 そういう奴にレスを付けると百害あって一利ないから一切書くな。 どうしてもレスを付けたければ死滅スレを立ててそこでやれ 112 名前：デフォルトの名無しさん mailto:sage [04/11/14 14:16:05] 連想配列って意外に不便。 キーワードのスペル間違えてデバッグに半日。 型なし言語も意外に不便。 評価しそこなってデバッグに半日。 PerlとPHPのソースコードレベルの検証ツールをｷﾎﾞﾝﾇ 113 名前：デフォルトの名無しさん mailto:sage [04/11/14 14:22:25] LISPのエンジン設計の話しはスレ的に歓迎なんだが・・・ LISPが気になるくせに「コンパイラ・スクリプトエンジン」の相談ができないのが頑張ると 言語論争の話題しか提供できなくてフレームの種を蒔くことになる。 114 名前：デフォルトの名無しさん mailto:sage [04/11/14 14:25:46] >相談ができないのが頑張ると 個人のレベルにイチャモンつけるようなのは良くないよ 最初はみんな初心者 115 名前：デフォルトの名無しさん mailto:sage [04/11/14 14:35:06] >>101 >>92 ↑わざわざこのスレにきて学ぶ姿を見せつける美しい初心者の例 116 名前：デフォルトの名無しさん mailto:sage [04/11/14 14:39:18] 友達いないだろう？ 死ねば〜 117 名前：デフォルトの名無しさん mailto:sage [04/11/14 14:44:17] LISPは変換が面白いと思うよ (define (f proc) (proc #t)) (f (lambda(x)(if x 0 1))) ↓ ((lambda(proc)(proc #t))(lambda(x)(if x 0 1))) ↓ ((lambda(x)(if x 0 1)) #t) ↓ (if #t 0 1) ↓ 0 コンパイラに渡すまでもなくこれぐらいの変換はユーザー関数レベルで可能なとことか まあコンパイラ自体もユーザー関数レベルで書けるけど 118 名前：デフォルトの名無しさん mailto:sage [04/11/14 14:47:02] >>112 インタープリタ系言語はインタラクティブな環境があると開発しやすい。 自分で作った言語処理系もってるけど、そういう環境ができるまでは至極面倒だった（某ゲームの移植性をあげるために中間コード使っただけなのであんまり良いものじゃないけど） perlはデバッグモードがあるが、phpはお手軽な環境が無いから面倒になったんだろう。 だいたい連想配列のキー間違いなんざインスペクタ使えば一発で解りそうなもんだよ。 119 名前：デフォルトの名無しさん mailto:sage [04/11/14 15:04:04] >>118 いや、漏れはPerlからJavaに乗り換えたのでﾓｳﾏﾝﾀｲなのだが、 「CGIはPerlかPHP」って頭っから信じてる香具師がいて そいつが管理してるプロジェクトからブツが上がってこないんで 迷惑してるんだが、下っ端のプログラマーに聞いてみると、 どうやらソースが荒れてて手がつけらんなくなってるらしいのだ。 かといって開発ツールを導入するのにも消極的なのだ。 だから、なんかしらソースコードレベルで適用できるツールはないもんかと。 120 名前：デフォルトの名無しさん mailto:sage [04/11/14 15:14:36] PerlUnit 121 名前：デフォルトの名無しさん mailto:sage [04/11/14 15:19:17] ここで聞く内容じゃないね 122 名前：デフォルトの名無しさん mailto:sage [04/11/14 16:37:38] Ruby以外の言語は糞・ 123 名前：デフォルトの名無しさん mailto:sage [04/11/14 16:53:22] eval.c を読んでから言え。 124 名前：デフォルトの名無しさん [04/11/14 20:25:46] LISPer ですが、何か？ 125 名前：デフォルトの名無しさん mailto:sage [04/11/14 20:30:01] RubyはRecursive Decentでつか？ 126 名前：デフォルトの名無しさん mailto:sage [04/11/14 20:32:33] Ｒｕｂｙ ＞＞＞＞＞＜＜＜＜＜＜＜＜＜＜＜＜＜＜＜＜＜＜＜＜＜＜＜＜＜＜＜＜＜＜＜＜＜＜＜＜＜＜＜＜＜＜＜＞＞＞＞＞＞＞＞＞＞＞＞＞＞＞＞＞＞＞＞＞＞＞＞＞＞＞＞＞ Ｌｉｓｐ 127 名前：デフォルトの名無しさん mailto:sage [04/11/14 20:32:51] >>125 ソース読んでないけどLALR(1)じゃなかったっけ？ 128 名前：デフォルトの名無しさん [04/11/14 22:05:42] emacs の弱点の１つがlispだったり擦るわけだがｗ 129 名前：デフォルトの名無しさん mailto:sage [04/11/14 22:16:27] >>128↓ pc5.2ch.net/test/read.cgi/unix/1091212668/ 　　　　　　　　（戻ってこない方向で） 130 名前：デフォルトの名無しさん mailto:sage [04/11/14 23:44:57] Emacsは元々LISP用のエディタだったんだろ？ 逆にLISPだからこそここまで生き残ったとも言える。 S式嫌いならフロントエンド作ればいいだけの話な気がするけど、 >>129のスレはそういうことじゃないみたいだな。 emacsとviがUNIXのイメージを悪くしたのは確かな様だ。 131 名前：M.B. mailto:sage [04/11/14 23:53:31] >>130 > emacsとviがUNIXのイメージを悪くしたのは確かな様だ。 現在でも UNIX 上で動くエディタの標準は emacs 互換の Mule。 「テトリス」と並ぶ有名なゲーム「rogue」の操作は vi 互換。 それを言うなら「emacs派とvi派の対立が」だろうと思うが、 実際には棲み分けができていたように思われ。 132 名前：デフォルトの名無しさん mailto:sage [04/11/15 00:33:50] >>8 >●スモールコンパイラの制作で学ぶプログラムのしくみ >www.cbook24.com/bm_detail.asp?sku=4774121770 目次とサンプルコード来てた。 www.gihyo.co.jp/books/syoseki.php/4-7741-2177-0 tiny scheme 読もうと思ってから早１年、何にもてに付けてねーや・・・。 133 名前：デフォルトの名無しさん mailto:sage [04/11/15 00:45:58] いろいろ勉強してたけど、そろそろネイティブバイナリも吐ける コンパイラを作ろうかなって気になったよ。 なんつーか、コンパイラ作成って楽しいな。 134 名前：デフォルトの名無しさん mailto:sage [04/11/15 01:03:12] 石田綾ってなにもの？ 過去の実績を知りたい。 135 名前：M.B. [04/11/15 01:03:51] >>133 つーか言語処理系の開発って、 (ﾟ∀ﾟ)ｲｲ! 136 名前：デフォルトの名無しさん mailto:sage [04/11/15 02:11:54] >>134 ttp://www.pureadult.co.jp/whtml/ishidaaya.html 137 名前：デフォルトの名無しさん [04/11/15 19:01:23] 再帰下降は仕組みが簡単だし最強っぽいのですがなんで LALRやらLLやらを使うコンパイラが多いのですか？ 138 名前：デフォルトの名無しさん mailto:sage [04/11/15 19:03:31] >>132 何その痛いサンプルコード 139 名前：ほんたま [04/11/15 20:16:29] おみゃ〜らよ、HSPはﾒﾆｭｰつくれるのか？ おみゃ〜らよ、HSPのﾍﾙﾌﾟに目を通したが、命令語の一覧眺めたが、ﾒﾆｭｰつくる命令はないっぽかったが、どうか？ おみゃ〜らよ、Windowsｿﾌﾄってﾒﾆｭｰはつきものだろう？ そのWindowsｿﾌﾄをつくるHSPにﾒﾆｭｰをつける命令がないのはどういうこっちゃ？ おみゃ〜らよ、しゃくせんのあるけん、どうじ？ 140 名前：デフォルトの名無しさん mailto:sage [04/11/15 20:27:52] ↑ 誤爆?? 141 名前：デフォルトの名無しさん mailto:sage [04/11/15 20:28:17] >>132 何かが間違っている気がする 142 名前：デフォルトの名無しさん mailto:sage [04/11/15 20:28:18] HSPスレに逝け 143 名前：デフォルトの名無しさん mailto:sage [04/11/15 21:10:34] >>137 再起下降では解析できない文法があるから。自分でLALRとか書いてるじゃん。 144 名前：デフォルトの名無しさん mailto:sage [04/11/15 21:12:05] >>137 LL の文法を解析するパーサが再帰下降型パーサだが…… 上昇型パーサを使うのは LL よりも広い範囲の文法を効率よく扱えるから。 LL だと、たとえば四則演算を次のように書くと左再帰を含むためアウト。 E -> E '+' T T -> T '*' F F -> '(' E ')' ちょっと頑張れば LL に書き直せるけど、よけいな非終端記号が増えて 面倒な上、文法が直感的でなくなる。そんな機械的な作業はプログラムに 任せたいっしょ？ 145 名前：デフォルトの名無しさん mailto:sage [04/11/15 21:37:52] >>132 目次を見たときは結構いい構成になってると思ったけど， ソースコードはかなり苦しいな 本の限られたスペースに載せるにはああしなきゃ いけないとか決まりでもあるんだろうか？ 146 名前：デフォルトの名無しさん mailto:sage [04/11/15 22:18:11] >>144 再帰下降型というのは、LLじゃなくてrecursive decentの事です。 LLは下降型ですが再帰下降とは別物じゃないですか？ 147 名前：デフォルトの名無しさん mailto:sage [04/11/15 22:20:29] でも結局左再帰の問題はつきまといそうですね。 だから難しい上昇型使うのですね。 148 名前：デフォルトの名無しさん mailto:sage [04/11/15 22:21:03] 再起加工って文法の名前なのか？ 149 名前：デフォルトの名無しさん mailto:sage [04/11/15 22:22:40] >>132のコードも別に普通の手書き再帰下降パーサですよね。 なんか問題有るんですか？ 150 名前：デフォルトの名無しさん mailto:sage [04/11/15 22:28:44] LL(k)の事を再帰下降って言ってるだけ？ 151 名前：デフォルトの名無しさん mailto:sage [04/11/15 22:35:55] 再帰下降は下降型解析法(LL)のやりかたの一つ 一度コンパイラの本でも読め 152 名前：デフォルトの名無しさん mailto:sage [04/11/15 23:22:31] LL(k), LR(k), LALR(k) etc. は *文法の* 種類分け． Recursive Decent, Top-down, Bottom-up etc. は *解析方法の* 種類分け． LLはTop-down（特にRecursive Decent）と，LR（LALR含む）はBottom-upと相性がよい． このPDFでも嫁 っ[ ttp://www.cs.vu.nl/~dick/PTAPG.html ]

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef