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

プログラミング言語処理系の開発に興味のある人達のスレッドです。

字句解析・構文解析から，データフロー解析，ループ並列化，タスク並列化，SSA変換，
CPS変換，レジスタ割付，命令スケジューリング，ソフトウェアパイプライン等各種最適化，
それにVM，GC，JIT，リンク時最適化，動的バイナリ変換などなど。
意味論に関する話題も歓迎です。

前スレ
1 http://pc.2ch.net/tech/kako/981/981672957.html
2 http://pc2.2ch.net/test/read.cgi/tech/1021136715/ (dat落ち)
3 http://pc5.2ch.net/test/read.cgi/tech/1070089173/
4 http://pc5.2ch.net/test/read.cgi/tech/1100097050/ (前スレ)
関連リンクは多分 >>2-10 あたり

コンパイラ等を扱ったドキュメント

色々なツールの紹介
http://catalog.compilertools.net/

コンパイラ関連のリンク集
http://www.ulis.ac.jp/~nakai/rel_web_compilers.shtml

スクリプティング言語資料室(仮) (リンク)
http://www.kt.rim.or.jp/~kbk/

Compiler Construction
http://rananim.ie.u-ryukyu.ac.jp/~kono/lecture/2000/compiler/index.html

Compiler Construction　(1997)
http://rananim.ie.u-ryukyu.ac.jp/~kono/lecture/1997/compiler/compiler.html

情報システム工学実験 III コンパイラ・コンパイラ
http://math.cs.kitami-it.ac.jp/~fuchino/proin/experimentIII-2000/jikken.html

OS/Programming 簡単な C コンパイラ
http://www.csg.is.titech.ac.jp/~chiba/lecture/os/

正規表現
http://hp.vector.co.jp/authors/VA007799/viviProg/doc_regexp.htm

コンパイラ研究・開発情報の一集積所
http://compilers.cs.uec.ac.jp/

Links and Selected Readings
http://www.gnu.org/software/gcc/readings.html

Lex(Flex) Yacc(Bison) 構文解析

UNIX板
yacc & lex
http://pc.2ch.net/test/read.cgi/unix/1031801314/

Lex and YACC primer/HOWTO （邦訳）
http://www.linux.or.jp/JF/JFdocs/Lex-YACC-HOWTO.html

Turbo Pascal Lex/Yacc
http://www.musikwissenschaft.uni-mainz.de/~ag/tply/tply.html

Jim Roskind's LALR(1) C++ Grammar
http://www.empathy.com/pccts/roskind.html

Flexと Bisonを同時に使う
http://guppy.eng.kagawa-u.ac.jp/~kagawa/1999/SysProg/both.html

KITE_ASM (yacc,lex)
http://www.arch.cs.kumamoto-u.ac.jp/project/kite/kiteasm/yacc/
http://www.arch.cs.kumamoto-u.ac.jp/project/kite/kiteasm/lex/

Cygwin
http://www.cygwin.com/

GNU utilities for Win32
http://unxutils.sourceforge.net/

その他のパーサジェネレータ等

ANTLR（非yaccのパーサジェネレータ）
http://www.antlr.org/

JavaCC(Java Compiler Compiler)
https://javacc.dev.java.net/
http://village.infoweb.ne.jp/~fwif0083/program/java/javacc/javaccgrm.html
http://www.asahi-net.or.jp/~DP8T-ASM/java/tips/JavaCCHelloWorld.html

CUP & JLEX or CUP & JFlex
CUP http://www.cs.princeton.edu/~appel/modern/java/CUP/why.html
JLEX http://www.cs.princeton.edu/~appel/modern/java/JLex/
JFlex http://www.jflex.de/

SableCC
http://www.sablecc.org/

¬＜＞＜∪∪ （notavacc）LALR(1)
http://ne.cs.uec.ac.jp/~koto/notavacc/

JavaCCはLL(k)だけど、上のはANTLR以外はLALR(1)
でもANTLRはC++なんかにも対応。

boost::spirit（C++のテンプレートでEBNFの構文を模倣）
http://spirit.sourceforge.net/
http://boost.cppll.jp/HEAD/libs/spirit/index.html（マニュアル日本語化プロジェクト）
http://www.fides.dti.ne.jp/~oka-t/cpplab-boost-spirit.html

ごみ集め

GC FAQ -- draft
http://www.iecc.com/gclist/GC-faq.html

A garbage collector for C and C++
http://www.hpl.hp.com/personal/Hans_Boehm/gc/

一般教養としての Garbage Collection
http://www.is.s.u-tokyo.ac.jp/~vu/01/jugyo/processor/process/soft/compilerresume/gc/gc.html

Garbage Collection : Algorithms for Automatic Dynamic Memory Management
http://www.amazon.com/exec/obidos/ASIN/0471941484/

参考書籍

●コンパイラ　原理・技法・ツール　１＆２
http://www.amazon.co.jp/exec/obidos/ASIN/4781905854/
http://www.amazon.co.jp/exec/obidos/ASIN/4781905862/
通称ドラゴンブック。バイブル。

●コンパイラ構成法　原田 賢一
http://www.amazon.co.jp/exec/obidos/ASIN/4320029224/
http://www.hara.cs.keio.ac.jp/kCompiler/　(ソース、正誤表のダウンロード)

●プログラミング言語処理系 岩波講座 ソフトウェア科学〈5〉 佐々 政孝
http://www.amazon.co.jp/exec/obidos/ASIN/4000103458/
一冊で済ませたい人へ。

●コンパイラの構成と最適化 中田 育男
http://www.amazon.co.jp/exec/obidos/ASIN/4254121393/
最適化がメイン。

●コンパイラの仕組み　渡邊　坦
http://www.amazon.co.jp/exec/obidos/ASIN/4254127081/
薄い奴(185p)を読みたい人に。

●21st Century Compilers (Alfred V. Aho, Sethi, Ravi Sethi, Jeffrey D. Ullman, Monica Lam)
ペーパーバック版: http://www.amazon.co.jp/exec/obidos/ASIN/0321210913/
ハードカバー版: http://www.amazon.co.jp/exec/obidos/ASIN/0321131436/

●スモールコンパイラの制作で学ぶプログラムのしくみ
http://www.cbook24.com/bm_detail.asp?sku=4774121770

処理系,スクリプト

kikyou.info (吉里吉里というゲームのスクリプト)
http://kikyou.info/

tiny C コンパイラ (C)
http://www.watalab.cs.uec.ac.jp/tinyCabs.html

6809用 Micro C コンパイラ
http://www.axe-inc.co.jp/pds/mc09.html

Portable Object Compiler (Obj-C >> C のトランスレータ？)
http://users.pandora.be/stes/compiler.html

自作コンパイラの部屋(PL/1, Pascal等)
http://www.tokumaru.org/

『Rubyソースコード完全解説』サポートページ
http://i.loveruby.net/ja/rhg/

『やさしい Lisp の作り方』と『やさしい Java インタプリタ の作り方』見つけた。
Java と C# で実装。
ttp://www.okisoft.co.jp/esc/go.html
ttp://www.okisoft.co.jp/esc/go2.html
ttp://www.okisoft.co.jp/esc/go3.html
ttp://www.okisoft.co.jp/esc/go4.html

MSによるPEフォーマット仕様書(日本語)
http://www.interq.or.jp/chubu/r6/reasm/PE_FORMAT/intro.html

>>1お疲れさま。
前スレ埋め厨お疲れさま。

以上です。

関連リンクは前スレッドのものをそのまま利用しました（手抜きです）。
追加があればお願いします。

>8
ありがとうございます。

寂しいので学会紹介を少し。

○ PLDI: http://research.ihost.com/pldi2005/
　　コンパイラの研究に関する最新成果を知りたければまずはここ。

○ POPL: http://www.cs.princeton.edu/~dpw/popl/05/
　　PLDIよりは理論寄りだが大いに参考になる。

○ ICFP: http://www.brics.dk/~danvy/icfp05/
　　関数型言語に関する学会。とても難しい。

○ OOPSLA: http://www.oopsla.org/2005/ShowPage.do?id=Home
　　オブジェクト指向言語に関する学会。最近はやや低調？

このスレッドから、この辺の学会にacceptされる人がでてくることを祈って…

>>4
JavaCCはLOOKAHED使った場合、手続き型プログラムで選択肢を自由に選べるので、
LL(k)より強力。
（https://javacc.dev.java.net/doc/lookahead.htmlのboolean_expression）
ANTLRも同じだったと思う。
¬＜＞＜∪∪は強いて言えばLALR(∞)。
ちなみに最近のbisonはGLRも選択できる。
（http://www.gnu.org/software/bison/manual/html_mono/bison.html#GLR-Parsers）
¬＜＞＜∪∪も論文だとGLRサポート版も発表されてるけど、
webに乗ってるのは違うみたい。

前スレ最後の方で話題になってた、文と式だけど
expressions を式と日本語当てたのは、まずかったかもな。
まぁ専門用語にはよくあることだけど。

>>10
PLDIのページをみたが，topicsの先頭がlanguage support for security and safetyなんだね。
時代が変わったなー。

Topics of Interest
* language support for security and safety
* languages and compilers for parallel computing
* design and processing of domain-specific languages
* effective implementation of advanced language features
* program representations
* program analysis
* program optimizations and transformations
* dynamic compilation and optimization techniques
* storage management techniques
* compilation for distributed heterogeneous systems
* techniques for embedded and of mobile code
* interactions between compilers and architectures
* software development tools
* techniques for effective compiler construction

>>12

ﾊｧ?

>>10
このスレッドでこれを忘れちゃいかんだろ。

International Conference on Compiler Construction
http://cc05.cs.berkeley.edu/

>>14
WordNetからの引用
> 1. (23) expression, look, aspect, facial expression, face -- (the expression on a person's face; "a sad expression"; "a look of triumph"; "an angry face")
> 2. (18) expression, manifestation, reflection, reflexion -- (expression without words; "tears are an expression of grief"; "the pulse is a reflection of the heart's condition")
> 3. (15) expression -- (the communication (in speech or writing) of your beliefs or opinions; "expressions of good will"; "he helped me find expression for my ideas")
> 4. (6) saying, expression, locution -- (a word or phrase that particular people use in particular situations; "pardon the expression")
> 5. (4) formulation, expression -- (the style of expressing yourself; "he suggested a better formulation"; "his manner of expression showed how much he cared")
> 6. (4) formula, expression -- (a group of symbols that make a mathematical statement)
> 7. expression -- ((genetics) the process of expressing a gene)
> 8. construction, grammatical construction, expression -- (a group of words that form a constituent of a sentence and are considered as a single unit; "I concluded from his awkward constructions that he was a foreigner")
> 9. expression -- (the act of forcing something out by squeezing or pressing; "the expression of milk from her breast")

CISCアーキテクチャでの効率的なレジスタ割付けアルゴリズムってありませんか？
RISCみたいにレジスタがatomicでない上、命令ごとの制約がたくさんあるため
今はものすごくad hocな実装になってしまってます。

ちなみにターゲットはH8です。

後これも。

http://compilers.iecc.com/

ニュースグループcomp.compilersの記事がアーカイブされている。
今年で20周年らしい。fjは死亡同然だが、こちらは元気だね。

>>17
CISCでのレジスタ割付けに関しては、最近だと
Andrew W. Appel, Lal George, Optimal Spilling for CISC Machines with Few Registers, PLDI, 2000.
がある（http://citeseer.ist.psu.edu/appel00optimal.html）。

けど、結局ぐちゃぐちゃになるのは仕方ない気もする。

うんこｗ

・知能障害を起こす

うんこage

う

ん？

こ

ま

俺は今起きたとこだが
君らは何時寝るんだい？

今から　ﾉﾂ

う

ん

レジスタ割付ならRamseyの
A Generalized Algorithm for Graph-Coloring Register Allocation(PLDI)
も面白そう。
確かλRTLとかいう、gcc風のRTLとλ式をあわせたような中間語を設計してた人だね。

死ねよ

う

>>19
これ面白いですね。出勤前なのに読み耽ってしまいました。
日本語版があるといいのに。

いま地震があった！

う

国産のコンパイラ共通インフラストラクチャCOINS

http://www.coins-project.org/

貼るならもっと使えるサイト貼れよな…

>>39
ならお前が張れ、詭弁厨の荒らしが。

結局あの詭弁ｺﾋﾟﾍﾟの人って2ch初心者だったのかな？

それにしても詭弁認定厨はうざかったな。
詭弁でもなんでもないものを、詭弁のガイドラインに
無理矢理あてはめようとしてるところが笑えた。

GCの気持ちがよく分かる。
せっかくsweepしても、どんどん（ry

>>41-42
スルーできない初心者ウザ

荒らしと同一人物だったとは思えん。

今前スレ見てきたが、なるほど、デビューしたての純粋クンが来てたのかよ。

オレの推理では前スレ955が
956が自分へのレスだと思い込んだ。
（時間と文脈からみてたぶん954へのレス）
その後964を無視られ、968で煽られ、971あたりから暴走開始。
41-42も前スレ955。
どう呼ぼうと作者の勝手の人とは別人。

どうやら図星された詭弁厨の自己弁護が始まったみたいね。

まだやるのかよ、ｳｻﾞ

そこまで詭弁荒らしを擁護する47っていったい…

普通、赤の他人は時間とか詳しく見ねーだろ。興味ねーし。
47=前スレ荒らしの当事者。

うんこ

詭弁厨の人が焦点をうんこ厨に移すためにガンガリ始めた様子です。

もういらないと思うので削除依頼を出してきた。

↑詭弁荒らしの傍若無人振りって、正直凄まじいと思う。。。

まあ、詭弁荒らしとか興味ないけど、作者の勝手という言い分は
正しいな。詭弁ではなく。それだけは確か。

ウルフが心と身体・メンタルヘルス板から帰ってこられた御様子です。

>>57
Rubyでは文が値を持ちますが、それについてどう思われますか？
Rubyの作者は詭弁でしょうか？

こうして新スレは
詭弁厨とうんこ厨と
放置できない厨に占拠されました。
おわり。

死ね。

う

Rubyにはif式とかif文とかある。
　　　↓
総てのプログラム言語で、「式」とか「文」とか他の言葉とかも
意味は作者が主観で勝手に定義していい。
　　　↓
ゆえに俺は詭弁荒らしでないし、
俺が昔作って人に使わせた糞言語もうんこじゃない。

( c´,_ゝ`) .｡ｏＯ(ﾓｲﾁﾄﾞ心と身体・ﾒﾝﾀﾙﾍﾙｽ板逝ｯﾃｺｲ　ｸｽｸｽ

荒らし方は変わっても、やっぱり中身はRuby厨ですか…。

>>62
反論があるなら煽りではなく論理的にどうぞ。
それから、議論とは関係ないが、「昔言語作ってた人」は別人。

>>63
文が値を持つのは、Rubyだけではない、Ioだと、文は式の一種で、全ての文は値を持つ。
探せば、文が値を持つ場合がある言語って結構あるんじゃないかな。

それと、値を持とうが持つまいが、仕様で何を文と呼ぶのか
決めているというのはいろんな言語に共通のことだね。

evalがあれば何でも式にはなるな。
あと言葉の定義だが、プログラミング言語は言語、つまり言葉だから文もあれば文法エラーもあるってだけで、
「文」という言葉には、数学的に深い意味はあんまないような気もするし。
どっちにしろ言語のことは言語学者の領分だな、字面の「言語」を尊重すれば。

>>64
なにか美味しいものでも食べて落ち着け。
トートロジー、意味の無い言葉、主観に基づく言葉に対して反論することは
それ自体ナンセンスだし、暇つぶしとしても漏れはお勧めできない。

>>66
主観ではない。
多くの言語で、仕様で何を文と呼ぶか決定している。
これは客観的事実。

COBOLはもろ言語学者が作った言語だよな。
昔のCOBOLは足し算でさえ英語の文法そのままにADDだしよ。
APLはその対極。

>>65
式や、文という言葉に対しては、仕様で数学のようにきっちり定義
されてることが多いよ。
こういう、厳密な定義をする場合って、学問の世界では
当たり前のことなんだけど、既分野によって定義が違うなんてよくあることだな。
同じように、言語によって用語の意味が違う。まさかこのことを
わからない奴がいるなんて思わなかったよ。

プログラムがそのままドキュメントになるというのかコンセプトだったね >COBOL
最近はどれも似たり寄ったりな言語ばかりで、コンセプトのしっかりした言語が少ないな。

>>67
漏れは64を主観だっていってるんじゃないよ。「・・・には反論しても無意味だから落ち着け」って言っただけ。
人の言動がなんでも自分への攻撃に見えてしまうっていうのは、何らかのストレス状態だと思うよ。

何でも攻撃に見えてる分けじゃなく君が文脈を考慮しなかったため
誤解されただけのこと
わかりやすい日本語を心がけよう

>>67で
「多くの言語で、仕様で何を文と呼ぶか決定している。
　これは客観的事実。」

とあるが、その多くの言語の仕様は数学的な基盤に沿って
設計されているのが「客観的事実」では？　その意味で
仕様書は用語の意味を勝手に改竄できる魔法の書ではないよ。

それにあなたが理論的基盤にしているRubyの仕様ってのは
実際テキトーかも…と言ったら、また暴れだすかなぁ？　ドキドキ

まぁ、大好きなRubyの投影から計算理論（？）を構築するのは
人様の自由だけど…。その出発点は「客観」ではないですね。

>>67
スルーすればいいからな。
いやスルーしてくれ、頼む。

>>73
Ruby狂信者に何言っても無駄だからヤメレ。

ここまでの展開で物事の正誤が奴の眼中にないの、分かるだろう？
詭弁でもなんでもいいからRubyにまつわるすべては正しくないと希ガスマンのだ。
コワイネ

スレ住人がココロ一つに爆発物処理班の気分で以下ドウゾ

だからあ
Rubyのリファレンスを全部修正すれば解決するだろ
誰かMLで言ってこいよ

「ここで使う用語はRuby信者（キチガイ含む）が勝手に定義したもので
世間一般のそれとは全く異なる場合があります。」

とでも補足しとけ、と

つーかここ見てるよな？＞いつも修正してる人

仕様書は用語の意味を勝手に改竄できる魔法の書ですが何か？

爆弾バッファリング中・・・

つうか、Rubyは文が値を持つ一例としてあげただけで、
Ruby信者でもなんでもないしな。
まあ、だんだん本物の馬鹿で納得させることは無理だって
事はわかったからまともに議論する気はなくなってきた。

仕様書に、「文とは〜を指します。」と書いてあったら、
その言語においては文はそういう意味になる。
何でこんな当たり前の常識もわからないんだろうか？

まあ文や式の完全に一般的な定義は存在しないし、ここで決めるのも難しいだろうな。

式は値を持つことが多い。
文は値を持たないことが多い。
正確な定義は言語によって異なる。

としか言えんでしょ。
前スレでdenotational semanticsから明らかと言ってた人は何か勘違いしてるとしか
思えない。

>>82 でファイナルアンサー。

そもそも文や式の「定義」は、大抵の言語では文法の上で定義するよね (厳密には BNF とか) 。
意味 (値を返すとか返さないとか) から「説明」することはできるけど、
それは「定義」じゃないし。
# もちろん「文とは値を返さないものです」とか定義されてる謎な仕様の言語を除く

今調べたところ、仕様書じゃないけど Ruby のチュートリアルによると
> Rubyでは任意の式をセミコロン(;)または改行で区切った並びを文とします．
らしい。なので Ruby の式は文でもあるということらしい。

メジャーな言語しか知らない香具師は
世の中には Ruby に限らずいろんな言語があるということを
肝に銘じておいてくださーい。
# とかいうと「Ruby はメジャーだ」って怒られるかな。

「文脈自由文法」の名前の意味がよくわかりません。
「文脈」とは何を意味しているんでしょう。
それから「自由」は「文脈に対して自由」？「文脈から自由」？「文脈が自由」？
おせーて。

>>84
英語は "Context-free grammar" 。
つまり「文脈がない」ってこと。

といっても、どこに何を書いてもいいということではなく、例えば
「整数が式であるならば、式を書いてもいいところには例外なく整数を書いてもいい」
って感じ。

【問】
文（Statement）と式（Expression）の違いは何ですか？
２つの違いは言語に依存しますか？

【答】
なにを式と呼ぼうが、なにを文と呼ぼうが作者の勝手。
言語に依存する。

凄いスレ発見

>>85
duty freeとかと同じだね。
関係ないが、よくwebページにある「リンクフリー」宣言は、「リンクはないよ」と言ってる
ことになるのだろうか。

>>88
英語だとそうなるね。まあ和製英語だし。

>>85
「isは動詞だけど、主語が三人称単数のときしか使えない」（特定の文脈でしか使えない）
って文法はcontext-freeじゃないってことか。

>>87
頼むからほっといて(´･ω･｀)

Cの文はCの規格が主張する文。
Cの式はCの規格が主張する式。
Cの関数はCの規格が主張する関数。
数学用語は借り物だし、日本語訳の言葉の定義は規格による。
これが現実だな。

>>82はともかくとして、>>83は何か話がずれてる。

>>86と>>91が結局正しい答えだな。

>>83
話がずれてるが、ちょっと突っ込むと、BNFで定義してるのは、構文規則であって
意味じゃない。
意味を定義するには普通は人間の言葉を使う（意味論などを使うこともある）。

Ruby厨だからどうしても斜めにずれるの >>92

>>86は>>87の煽りだろ・・イイのか(w？

意味を定義するには普通は人間の言葉を使う
↑
自然言語の話かよ

文や式は一段落がついたので、次は関数の定義でお願いします。

>>96
はぁ？

>>91
なるほど、関数も考えるとその通りだね。（数学or一般的な関数とは明らかに
意味が違う。）

式＝Expression は和声英語?

>>98
関数=プログラム

お前らのスレでは情報数学の用語は借り物でｲｲのか（ｗ？

カッコいい言語出来そうだな。最高はやっぱRubyか？

関数fとは、定義域dom(f)と値域cod(f)の間の関係であって、

∀x ∈ dom(f). ∀y, z ∈ cod(f). f x = y ∧ f x = z ⇒ y = z

を満たすものを言う。

void function(void)

>>86は凄スレアンカーのつもりだったんだが・・ｲｲﾖｲｲﾖ〜

>104と>105は別に矛盾しないな。

そしてmonadやstate transformerの話になるか。

Cの関数は最強。
だって数学厨でもCには文句つけない。

ｱｯﾀﾏﾜﾙｿｰなｽﾚ

、と思ったら実は中身はRubyスレか。

　　　　　　　　　　 　　　　　　　　　　,riTl|l.il|..ll..|ll.i..lli､
　　　　　　　　　　　　　　　　　　 　 ril l!|.|ｌ|.l||!.l|.|l|lil.l|l|l
　　　　　　　　　　　　　　　　　　 　 ||ｌ!ｉ!|州l|l|ll||lllﾐilｌll|l|
　　　　　　　　　　　　　　　　　　　　!|||ﾗ''' '´!|ll||l!lｿ|||l||　　　　　　　　　　 　 　 　 　 　　　 　 こ
　　　　　　　　　　　　　　　　　　　　　 `ｔ'_,,,ヽ　　 i´l州　　　　　　　　　　　　　　　　　　　　　の
　　　　　　　　　　　　　　　　　　　　　　 ﾞiｰ ''　 ／ｉ',ﾉ'ﾞ入　　　　　　　　　　　　　　 　 　 荒　ス
　　　　　　　　　　　　　　　　　　　　　　　`ー'､´ ／,r'´　,>､　　　　　　　　　　　　　　　　れ　レ
　　　　　　　　　　　　　　　　　　　　　　　　 ,ｲy' ／　 ／,ｒ ヽ,　　　　　 　 　 　 　 　 見　て
　　　　　　　　　　　　　　　　　　　　　　　,ｒ'// /　 ／,i' '　　ｉ ﾞ､　　　　　　 　 　 　　 え　い
　　　　　　　　　　　　　 　 　 　 　 　 　／,/ｌｉ,/　,/,i',i' ,ｒ ,ｒ7' ヽ,ｉ.　　　　 　 　 　 奥　る　る
　　　　　　　　　　　　　　　　　　　 　 〃,//ｌ/　.// ,' /'´ /　　 ﾊ.　　　　　　　　 が　が. よ
　　　　　　　　　　　　　　　　　　　　/,' / ｌ./　 ,ｉ'ｉ ｌ//　 /　　 /　ｌ　　　　　 　 　 深 　 　 う
　　　　　　　　　　　　　　　　　　　/ ,ｉ ,i ,!/　 ,i' l //　,/　　 ,/　　l.　　　　　　 　 い　案. に
　　　　　　　　　　　　　　　　　　,/ l l i l./　　!i .l / _,/　　／　　　l!　　　　 　 　 . ・　.外
　　　　　　　　　　　　　　　　 ,r'=‐､_ll_!j'_,_､-‐､‐'　　　__,,.　　　　 !l.　　　　　　　. ・
　　　　　　　　　　　　　　　 /ﾉ /´/　｀`ヽ､ ｀　 ｀`''''"´　　　　　 ,! l 　　　　 　 　 ・
　　　　　　　　　　　　　　 /´ ,/-/　　　　　｀`　　｀`ヽ､､___,,　　 i　 l
　　　　　　　　　 　 　 　 / ,.ｲl /　　　　　　 ,.r‐　｀`ヽ､,__　　　 ,! ./!l
　　　　　　　　　　　　　/　　jly'　　　　　- '´　　　　　　　　 　 i　i　!.|

値はvoidだし…

わざわざvoid用意するってことは…そういうことだな。

void関数だけ使う数学に厳しい数学厨。
文法エラーのような気もするが。

プログラムの実行過程に応じて関数の解釈が変化すると考えれば、値の一意性は
保たれるな。evolving algebraなんてのもあったっけ。

>>94
そう言ったつもりなんだけど……。

【結論】
日本人はコンパイラ・スクリプトエンジンを開発するには向いてない。

bison++2.0ﾏﾀﾞｰ？

Kripke構造を用いたpossible worlds semanticsとかもあるな。
60年代も今も余り苦労は変わらない。

>>115
だから、、普通、プログラミング言語の用語の意味は人間の言葉で「定義」してる。
これが間違い。↓

>そもそも文や式の「定義」は、大抵の言語では文法の上で定義するよね (厳密には BNF とか) 。
>意味 (値を返すとか返さないとか) から「説明」することはできるけど、
>それは「定義」じゃないし。

>>109
そりゃ、数学の関数とCの関数は別物なんだから当たり前。
分野によって言葉の定義が違うのが当たり前。
言語によっても定義が違うのが当たり前。

>>119
あ、ひょっとして

BNF exp ::= digit+ | exp + exp | exp - exp | ...

ではなくて

「『式』とは上の exp のことである」

この日本語が「定義」だ、って言ってる？
それとも、用語は普通こんな日本語では定義しない、って言ってるのかな。

>>121
>BNF exp ::= digit+ | exp + exp | exp - exp | ...

これは一応定義の一部と解釈できるかもしれないが、どちらにせよ、
「構文規則」を定義してるだけ。
意味を完全に定義してるわけじゃない。

用語の意味を定義するには、「これはここを繰り返す」「これは値を返す」
「この値がtrueの時にここを実行」等、人間の言葉で定義するのが普通。
Cもそう。

>>122
えーと。
だから「式と文の違いを意味で説明することはできるかもしれないが、
それは別に式と文それぞれの定義ではない」とゆーたんですよ。

>>121ではないが、>>122の想定してる定義は
http://swissnet.ai.mit.edu/~jaffer/r5rs-formal.pdf
の7.2節みたいな内容か？
まあすべての言語がalgolやsmlやschemeみたいな意味定義は持ってないわな。

あー！わかった。
漏れ「式とはこういう構文のことだ。そのように定義される式はこういう意味をもつ(これは式の定義ではなく式の意味の定義、のつもり)」
>122「式とはこういう構文であり、かつこういう意味をもつものだ」
とそれぞれ主張していたのか。多分。
この辺は趣味じゃないかなー。

>>123　>>125
あのね、

>そもそも文や式の「定義」は、大抵の言語では文法の上で定義するよね (厳密には BNF とか) 。
>漏れ「式とはこういう構文のことだ。そのように定義される式はこういう意味をもつ(これは式の定義ではなく式の意味の定義、のつもり)」

これがとりあえず間違いなのね。文や式の定義って言う時は、普通、「意味」の定義のこと、あるいは、意味を含んだ定義を
言ってるわけで、文法上では定義されないの。

>意味 (値を返すとか返さないとか) から「説明」することはできるけど、
>それは「定義」じゃないし。

この「それ」は「違いを意味で説明すること」だったわけね・・・・
それはこちらが誤解してました。スマソ。
俺が定義だといってるのは、「値を返す」とかの説明がまさに意味の
定義だから。定義と言ってたわけ。

>>124
そうだよ。そういうふうに意味論で定義するか、もしくは自然言語で定義するわけだけど、
これは文法とは別物。

>>124
しかしそれも今となっては古めかしいな。
言語に並行性を取り込もうとすると全面書き直しになりそうだ。

激論のとこ今更で悪いが、そもそもCの式は厳密には、値を”返さない”ぞ
operatorや関数が値を返すだけでなｗ

式は値を返すが、文は値を返さないとか言ってる奴はCでも間違いだぞｗ

>>126
うーん、考え直すとやっぱ
>122「式とはこういう構文であり、かつこういう意味をもつものだ」
の方が自然ですね。ごめん。

>>128
今度は「返す」「返さない」の意味定義の話？

どうせ例をあげるならvoid型関数の呼び出し式にでもすればよかったのに。

値を持つ・値が定まる

>>127
7.2節は意味関数で定義されてるが
それは人間の言葉で定義してるということでいいのか？

Ruby厨の脳内仕様では値を持つも値を返すも同じ

>>128
そうなのか？orz

ところで、式と文の関係は言語に関係なく、

式⊂文

でいいんだよなぁ？
これに反する言語ってある？

void がイカンのは
( void ∈ dom(f) ) = false ∧ ( void ∈ ∈ cod(f) ) = false
が常に成立するからだとおもふ

あっ、∈が一個多すぎた、まあ気にするな。

>>126
煽りじゃなくて単に見解を聞きたいんだけど、

式のセマンティクスを定義するのに式という言葉を使いたくて
式という言葉をとりあえずBNFとかで定義しておいて、
「式は値を持つ」とかいう形でセマンティクス上の意味を付加していくことがある
（特に数学的にセマンティクスを定義したい場合）。
こういう場合、「式という言葉（の意味）」はBNFで定義され
「式の（セマンティクス上の）意味」は日本語とかで定義される、
といったことになると思うんだけど、どう？

こんだけ暴れて何も学んでないんだなぁ。

「式という言葉（の意味）」はBNFで定義され
は
「式という言葉（の字面・パターン）」はBNFで定義され
じゃない？

>>137
俺の見解としては、それは普通に間違い。
「式の意味」という言葉を人間が使う時、普通は「式の（セマンティクス上の）意味」を指すから。
あくまで、BNFで使っている名前は、構文規則を定義するための記号にすぎず、
人間が「式という言葉（の意味）」と言っているときでも、そのBNF上の記号を
指しているということはまず無い。
ここでのもともとの議論も無論、前者の意味で皆「式は〜」と言っていた。

>>134の
「　ところで、式と文の関係は言語に関係なく、

　　式⊂文
」はいいの？　またRuby論理？

(ﾟ∈ﾟ )

>>132
127じゃないが、良くないよ。
人間の言葉で定義している場合が多いというだけで、
Schemeの7.2節は例外。
Schemeは人間の言葉と、形式的な意味論と両方の定義が存在するな。
後者の方がより厳密かもしれない。

>>137
僕もそんな風に考えてたんだけど、どっちも「式」の定義だし、
「普通」は式の定義というと意味論的な意味のことを指すと言われれば
反論できないし、そんな気もしてきた。

>>141
漏れがそうでない言語を定義してあげよう。

×意味論的な意味
○意味論的な定義

形式的意味論で定義していないプログラム言語は
意味関数で定義できないということを意味しているの？

意味関数の定義自体は人間の言葉で定義してるんだから
結局は人間の言葉で定義してることにならん？

>>146
意味関数で定義できるけどしてないだけの場合も。

>>144
極端なこと言えば、式の構文を定義するのに、式という言葉を使わなくてもいいわけで。
もちろん、わかりにくいからそんなことは普通しないんだけど、例えば、stmtって略したり
する時もある。
だから、BNF上の記号はあくまで言葉の（意味の）定義とは別。
構文規則を定義するために便宜上わかりやすい名前をつけた記号に過ぎない。

>>147
まあ、間接的には結局そういうことだよ。
数学だってそう言えてしまう。
でも、普通はそういう直接自然言語で定義してないものを
自然言語で定義してるとは言わないわな。

Rubyの人が言うように仕様書で自由に決めたとき
意味関数に落とすと矛盾が発生することはないの？

>>150
あるに決まってるだろ。その場合はもちろん無効だよ。
そういうバグが無いことを前提にみんな議論してるんだろ。

>>150
矛盾が発生しないように意味関数を定義していくんじゃないかな。
ひょっとして意味関数を「日本語->意味」みたいな関数だと思ってる？

Schemeの意味関数とRubyを形式意味論を用いて意味関数に落としたものは
互いに矛盾するってことはある？

>>153
意味がわからない。矛盾するもなにも、別の言語の別の定義だからなんの関係もない。

http://swissnet.ai.mit.edu/~jaffer/r5rs-formal.pdf
の7.2節の形式の意味関数を念頭においてますよ。

>>154
同じ状態機械を想定して
同じ形式の意味関数を用いたらどうです？

で？何が聞きたいの？
SchemeとRubyの間の矛盾って？

一方では文は値を持ち、他方では持たないと自由に定義されてると
抽象機械の遷移状態が異なってくることはないですか？

言語が違うんだから、形式（？）なるものが同じだとしても、意味関数や状態遷移機械は
もちろん違うし、全く関係ないんだが。

>>159
なんだか見えない相手と戦っているドンキホーテのようだな。がんがれ。

すみません、「形式（？）」って具体的にお願いします。

>>161
俺が聞きたいよ。
お前が「形式が同じだとどうです？」と言ってるだろ。
察するに、表示的意味論なら表示的意味論、操作的意味論なら操作的意味論で、
似たような記号使うということか？

意味関数の記述形式のことでいいですか？

>>163
いいですか？てなんだよ。お前が使ってる言葉だろ。

とりあえず、俺に聞く前に意味論の本読んでください。

>>140
了解。�dｸｽ。
>>139
うーんと、式＝加算or減算etcって感じ。
数学的には
式の集合＝加算の集合∪減算の集合∪etc
みたいな。

言語が違っても処理が同じなら、ターゲットの抽象機械が同じで
同じ意味関数を用いれば、おなじ記述になるはずですが、
文の定義が異なるのなら両者の遷移状態は異なることになりませんか？

同じ記述結果が出来るはずなのに、遷移状態が異なるのは
問題ではないのか？ということだな。

言質を確かめられてるだけで、意味論のことをおまえに
聞いてる訳じゃなさそうだから答えてやれ >>165

文の定義とは勿論「文」の意味論的定義な

>>167-168
偶然同じ処理で同じ記述になろうが、別の処理で別の記述になろうが、
別の世界の別の定義同士は何の関係も無いぞ。

あと、表示的意味論と操作的意味論ごっちゃになってるだろ。

同じ抽象機械で同じ目的の処理なら関係ないとホントにいえるのか？

ていうか、SchemeとRuby全然違うだろ。
同じ目的の処理とかほとんどありえない。そもそもSchemeに文なんて無いだろ。

>>173
ふふん？？

仮に、操作的意味論で、同じ抽象機械が対象で同じ目的の処理なら、同じ記述にできるよ。
違う目的なら違う記述になるよ。
で？それが何？

gcでlazy sweepについて知りたいんだけど
なにかいい文献ない？

くだらない質問なんですが、
構文解析器のことを英語で"parser"と言いますが、
字句解析器は英語で何と言うのでしょうか？

>>177
lexer

# 数時間でえらい書き込みだと思ったら案の定・・・

scannerてのも見るけど

スキャナだと意味が広すぎるんでは
知らんけど

死ね。

lexというツールもあるくらいだし、lexerですかね。
ありがとうございます。

そういえば、Schemeに文はありませんでしたね。

う

>>176
定番のあの青い本にのってない？

ん

う

なんでもいいから早く誰か俺言語さらせよ

俺言語I(cbt)

[syntax]
x ∈ Var
n ∈ Nat
Exp e ::= n | x | e1 e2 | e(x)

[semantics]
s ∈ State = Var -> Exp
[[e]]s = n iff s |- e => n

s |- n => n
s |- x => s(x)
s |- e1(x) e2 => e1[e2/x] <- capture avoiding substitution
s |- e(x) => e(x)

ぜんぜん意味わかんないから説明ｷﾎﾞﾝ。
∈ってなん？

くちばし

ちぃ言語

>190
数学、集合論の「集合に属する」を表す記号

使い道なさそう

なんか前スレにも増して役に立たないスレになってるな

最近中間言語を作るのが流行りらしいな

中間言語なんて大昔からあるけどな

VB1から使われてるpcodeも中間コードだしね

x86とJavaVMの中間言語は？

バイトコード

相変わらずの糞スレぶりだな(wwwwwwwww

Rubyyyy!の中間言語は？

無い

ただ荒らしたいだけのバカだからそんな長文は読まないよ

ψプロセッサーやOSを選ばないユニバーサル・エミュレーター登場か
http://pc5.2ch.net/test/read.cgi/pcnews/1095309232/

expression を 式 ではなく、「値」とか「表現」と読んでしまったらいいんでない？
statement は（値のある文なんて無いから）文のままでもいいよな。

代入文

>>206
「詭弁のガイドライン」より。

・自分に有利な将来像を予想する
・主観で決め付ける
・ありえない解決策を図る

今のあなたはこの辺が該当します。
予想しうる今後の展開は、

・レッテル貼りをする
・勝利宣言をする
・知能障害を起こす

辺りです。

それにしても詭弁認定厨はうざかったな。
詭弁でもなんでもないものを、詭弁のガイドラインに
無理矢理あてはめようとしてるところが笑えた。

ﾊﾊﾊﾊﾊﾊﾊﾊﾊﾊﾊﾊﾊﾊﾊﾊﾊﾊﾊﾊﾊﾊﾊﾊﾊﾊﾊﾊﾊﾊﾊﾊﾊﾊﾊﾊﾊﾊﾊﾊﾊﾊﾊﾊﾊﾊﾊﾊﾊ

保守になってねーんだよ！！！！！！！

式は y=3 のようなものが式。
y とか 3 とかを式と呼ぶのは、確かにおかしい罠

>>212
if(y)
などよく使うがな

C言語で言えばセミコロンがあれば文、なければ式です。

y = 3;
↑
文

0;
↑
文

yや3は式の構成要素の１つ
これらの構成要素と演算子を組み合わせたものが式
文というのは必ず特定のキーワードや記号が必要だと考えたら？

C言語
複文なら { ... }
if文なら　if ( 式 ) ...
式文なら　式 ; // 式の後にセミコロン
ぬる文なら　; //セミコロンだけ

Ruby
知らん

RubyのBNFみたいなのある？

てかなんで知らないのにRubyが出てくるの？

http://www.ruby-lang.org/ja/man/index.cgi?cmd=view;name=%B5%BF%BB%F7BNF%A4%CB%A4%E8%A4%EBRuby%A4%CE%CA%B8%CB%A1

>>218
無茶苦茶だな
不完全だし
信者が混乱するのもよくわかる

と、とりあえずBNFすら読めないけど書いてみた煽り屋

演算子の優先順位もそれじゃわかんないね。

よく釣れます

*1このBNFはまだ完全に1.6対応していません。執筆者募集

古すぎ

＞より詳しくは parse.y を参照してください

結局これが悪いんだよ。
平たく言えばソース読めってこと。
Ruby理解するにはC言語とyaccの知識が必要だとさ。

↑藻前池沼以下だな。bison定義ファイルなんてそのまんまEBNFなのに

てかbisonも使えないのになんでこのスレにいるのかな

煽り屋だからさ

よく釣れますね

それは釣りなのか？
このスレと直接関係ないんだけどさ、俺「釣り」とか「釣り師」っていうのは、
　　　釣り師→　○　 ／|←竿
　　　　　　　　　　ト／　 |
　　　　　　　　　 │. 　~~|~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
　　　　　　　　　 八　　 §←餌(疑似餌)　　　　　>ﾟ++<

の組み合わせだと思ってたんだけど、
最近自称釣り師がダイレクトで自分の本音を攻撃されて「釣れた！」とか
言ってるの多いよね。
　これは、どっちかというと、

　　　　　　..釣れたよ〜・・・│
　　　　　　────y──┘

　　　　　　 ・ﾟ･｡ ○ﾉノ。・ﾟ･
　　　　~~~~~~~~~~│~~~~~~~~~~~~~~~
　　　　　　　　　　　ト>ﾟ++< ミ　ﾊﾟｸｯ
　　　　　ｼﾞﾀﾊﾞﾀ 　ハ
　　　　　　　　　ノ　ﾉ

かと思うんだけど、どうだろう？

>>221
perse.y見てもわかんないですよ。

>>223
同期取れよってことですね。
あんな古いのなら置かないほうがいい。

>>225
あい、C言語の知識は必要ですね。
知っててもコード混ざってて読みにくい。
少しでも常識があればこれ見て文法わかれとはいえませんね。

↑コードなんて書かれる場所決まってるんだから
正規表現置き換えかflexでも使って機械的に除けるだろ池沼

じゃあこの機会を利用してRubyの文法誰かまとめて

>>230
parse.y見ても分からないのは勉強不足。
勉強しようとしないのはただの怠慢。

池沼に池沼と言われてもなあ

てかコードも隣に有った方が分かりやすいよ池沼ども

まあまともな言語だったらいきなりperse.y読めとはいわないよな。

rubyもそんな事は言ってない。
お客さんはリファレンスでも読みながらママのおっぱいでもしゃぶってな

pythonの文法はどうよ？

なんでスクリプトばっかなんだ？

そんな重箱の隅をつついたような言語の話ばっかりしてないで
LISPとかSmalltalkの話しようぜ

>>230
RubyはいまのとこC言語も読めない人は対象にしてないから大丈夫

てかparse.y見れば演算子の優先順位もちゃんと分かりやすく定義されてるし
煽ってる香具師はやっぱ池沼だな

C言語も読めないのになんでこのスレにいるの？

perse.y開いてprecedence tableで検索すれば優先度はわかるよ。

このスレの対象者
・flexが使える
・bisonが使える
・C言語くらいは使える
・何らかのアーキテクチャを対象としたアセンブラが使える(COMETとかの仮想環境以外の)

上記を全て満たす物のみ書込可

yaccを少しでもかじったことがあれば優先順位が分からないなんて言わないよなぁ

Ruby関係で用のある人は出てってください。

>>245
スクリプトエンジンにアセンブラの知識は必要ありませんから。
残念。

>>245
・Ruby関係者・信者以外
も加えといて
荒れるから

Ruby煽ってるような香具師はそもそも>>245の条件さえ満たしてないので
追加しなくてOK

>>243
Cは別に必須じゃないだろ。
MLでもPascalでも、とにかくコンピュータ言語が解かればよい。

bison使えないけどspiritとかANTLRとかJavaCC使える香具師もいるかもしれないぞ。

spiritはゴミ未満。C++マニアのオナニー。
使いにくい重い生成実行コードが巨大の3拍子そろってる有害廃棄物。

・flex（のようなもの）が使える
・bison（のようなもの）が使える

>>253
漏れもspiritは見切ったね。ありゃboost信者でもヤバイと思うもん。

でもbisonはC++のコードまともに吐けないからねえ。
グローバルに色々宣言しまくるから、なんか列挙子が他と被ってむかつく。

bison++は5年以上更新が無いし、bisonも一応オプションでC++のコード吐けるけど、
flexが吐くC++コードと連携できないんじゃ話にならないね。

GNUツールはお話にならないね。

bisonはいつの間にかGLR(1)すら吐けるようになってるし、
デストラクタまで自動化されてる。
日本にそういう資料無さ過ぎ。

>>257
吐いたコードはGPL適用外なんで

spiritはミニ言語のコンパイルに30分かかって5MB位の実行ファイル吐き出したﾜﾛｽ

日本人お話にならないね。

三国人よりマシだけどな

それがspiritクオリティ

てめーらどのコンパイラコンパイラなら満足なんだよ

bisonでいいや('A`)

ANTLRならC++コード吐けるぞ。使った事無いから誰か使って使い方教えてくれ。

ANTLRは左再帰駄目らしいぞ。spiritもそうだけど
文法考えるのに余計なストレスが増えて使ってられんな。
勝手に文法置き換えてくれたりはしないのかね？

bison最強論

てか紛らわしいからANTLLに改名しろよ(w

CCなんかなくてもコンパイラぐらい作れるっちゅうねん。

使った方が楽だ

禿同

てかANTLR使うくらいなら手書きでいくね？
テーブルも作らない単なる再帰下降らしいし。

もうCCの話飽きた。結局bison+flex最強って事でファイナルアンサー。

bisonはC++との親和性が…
クラスの実体渡せないのが…

↑バーカ実体毎回渡してたら重くて使ってられﾈｰﾖ。おとなしくポインタ渡しとけ。

解放するのﾏﾝﾄﾞｸｾ

そこでBoehmですよ

bison用のC++ LALR skeletonらしいんだけど、使ったことある方いますか？

http://www.bj-ig.de/software/bison/

てか標準で付いてるlalr1.ccとなんか違うのか？

Lexerが字句解析をしてる間にParserがブロッキングされないらしい…?
良く読んでないからﾜｶﾞﾝﾈ('A`)

いまのyacc/bisonだと、取りたいアクションが同じでも
還元の条件後とに、このように（↓）書かないと行けませんよね？

L1: R1 {
Action1();
}
| R2 {
Action1();
}

単純に考えて、

L1: R1
| R2 {
Action1();
}

見たいに書けない理由って何かありますか？

R1のときに何もしないという規則が書けない。
普通はルールをガーっと書いて文法がある程度できてることを確認してから
コードを入れていくし。

BNFってファイルとして持っていて、
それをコンパイル時に読み込むんですか？
それともただの設計図的なもの？

>>284 が何を言いたいのか
全然わからん。

>>284
はい。

>>286
　　　 　,一-、
　　　　 /￣　l |　　　／￣￣￣￣￣￣￣￣￣￣
　　　　■■-っ　＜　んなわきゃーない
　　　　´∀｀/ 　　　＼＿＿＿＿＿＿＿＿＿＿
　　 ＿_／|Ｙ/＼.
　Ё|＿_　| /　　|
　 　　　| У..　　|

>284
実行時に有限時間内に再構成可能なparserを読み込んで使えたら、君も人工知能の進化に貢献できる…とだけ伝えておこう。

>>287
いや、取り合えず返事しとこうかと。

>288
これを世界征服に使うかどうかは君たちの哲学次第。健闘を祈る。

>>283
R1の時に何もしないではなく、R1とR2に同じアクションを取らせたいのです。

>>282
yaccの書き方でそう決まってるだけ。
L1: R1 | R2 {A}
を
L1: R1 {A} | R2 {A}
に変換するプリプロセッサでも書け。

>>288
EarleyやCKY

>>292
LALR（１）か何かの制約だとおもてたよW

なんだ、ルールとアクションの区別もつかないアホだったんかよ。

>>285
お前馬鹿だろ？
コンパイラの前に母国語を何とかしたら？

６時間近く前の書き込みをよく煽れるな。
俺だったら恥ずかしくて絶対できねぇｗ

時間差攻撃というやつですね。

けなしはするが根拠は示さない、それが2chクオリティー

6時間前に対してのレスなんて全く普通だろ。

さすが、24時間張り付きは違うね

24時間張り付き即レスできるにもかかわらず敢えて数時間放置して焦らすのがここでのたしなみ。
もちろん、dat落ちギリギリで保守するなどといった、はしたない住人など存在しない。

http://www.fuka.info.waseda.ac.jp/~washi/SPathCC/

> SPathCC とは？
>
> Augmented BNF に従って記述された文法定義を用いて、文法定義に従って
> 文書の字句・構文解析を行う解析器（Parser）を生成する解析器生成系（Parser Generator）と、
> XPath に類似する構文経路表現 SPath（Syntax Path Language）を用いて構文木に対して
> 内容を伴う構造問合わせを実行可能な SPath 処理系の統一パッケージです。

見つけただけで、まったく使ったことない。

ちょっと戻るが、Ｃの関数（function）は、
関数でなくて機能として訳した方がよかったね。

引数取るんだから関数でいいじゃん

また馬鹿が舞い降りたか

戻り値voidでも関数？

>>304
あほなことを・・・

もし"function" を「機能」なんて訳したら、
それこそボコボコに叩かれるだろうが。

そんなことをした奴には、二度と翻訳の
仕事は廻ってこないだろう。
それどころか、頭脳労働の職に就けるか
どうかも怪しいね。

【＠】ファンクション、【変化】《動》functions | functioning | functioned、【大学入試】
【名-1】機能、作用、働き
【名-2】関数
【名-3】儀式、社交的会合
【名-4】職務
【自動】機能する、働く

だから？

お前は池沼だなってことじゃないか？

わざわざ区別するためにfunctionality
なんて単語もある

りんご畑読んだ香具師いる？

文の定義も最新の言語では変わって来てるんだね。
勉強になった。（例：Ruby）

巣に帰れ
http://pc5.2ch.net/test/read.cgi/tech/1049778124/

りんご畑は読んでるうちにあほらしくなってきた

古い定義は新しい言語によって進化する。

りんご畑を例えに使うこと自体かなり苦しい感じだった。
初めてスクリプトだのに触る人には全然イメージ湧かなそう。

勉強には向かないわ、iアプリ向けなんかに書くからソースも読みづらいわでお勧めできない。

>>318
そうか？俺は結構面白かったけどな。といっても最後まではまだ読んでない。
例えがちょっと苦しいのは同感だが、女の子らしくって説明が可愛い。
夜中でも何か目が冴えて頭に入る感じｗ

まぁ、全体を初心者が見通すにはいいんでない？

この手の本で、女性がかいてるのって珍しくない？

朝菜ﾀｿは？

りんご畑ってどの本？

>>322
スモールコンパイラ、結構可愛い

>>321
だれそれ？

>>324
私です

そんなエサで俺様が（ｒｙ

クマー！

>>321
りんご畑のねーちゃんのこと？

再帰下向きって学習や研究にはいいけど、実用的なのかな？

ANTLRは再帰下向き

>>329
CFGから外れる処理を行いたい場合超有効。

本流は、再帰上向き

>>332
同意。特に実用的なプログラムでは、多少の例外を除いてまずそう。

手書き？

>>333
「再帰」上向きってどんなプログラムだよ

再帰下向きで解析できないような構文ってどんなのですか？

>>329
331ではないが、
新しい構文を追加するときに、
LALRの制限とかCFGの限界とかに縛られなくていいのは
ある意味実用的。

左再帰も出来ない時点でウンコ

>>1の内容とは無関係のシンタックスの話ばかりですね

字句解析・構文解析から，
字句解析・構文解析から，
字句解析・構文解析から，
字句解析・構文解析から，
字句解析・構文解析から，
字句解析・構文解析から，

まぁ、２ちゃんねるっていう掲示板の型式で、この参加者のレベルで
盛りあがれるのは、せいぜい、字句解析・構文解析までってことだな。
そこら辺りまでなら、学部レベルの授業で皆なじみがあるし。

あくまで勉強として、独自スクリプトを作ってみたいんですが、
どういうアプローチで始めるのが良いでしょうか。
中間言語を生成するコンパイラと、実行用アプリケーションにわけようかと思っています。

なお、経験はJavaサーブレットを使ったシステム開発程度で、
文字列の解析はあまり経験がないです。数式程度。

っていうか、自分の研究分野のことを語り出すと身元ばれるし、誰も知らないような
有益な情報は匿名で出したらもったいないし。

ﾌﾟｯ

>>344
オナラ禁止。

研究といえるほどの分野かよ
有益な情報とはなんだよ
知る人ぞ知るマイナー知識というだけで、難しい内容なんかあるかっちゅーの
処理系作る気ないならどっか行ってくれ
読んでいてクソも詰らん

>>342
綾本のサンプルをダウンロードしていじるとか
http://www.gihyo.co.jp/books/support.php/4-7741-2177-0

>>346
実は、研究と言えるほどの分野だよ。
今もコンパイラに関する論文はかなり出てる。

(笑

>>346
面白い人ですね。芸人の方ですか？

>>346
処理系作るだけしか興味がないのか。
こんなところではまともな議論にはなるわけがない、というのは納得できるな。

…専門学校生かな？

>>351
ちょっとやればサルでも分る事を偉そうに語りまくるから、何だコイツと思ってるだけ、
それだけ。

>>342
なるほど、綾本というのはスレの頭にも載ってる本ですね。
amazon評価だと○動くサンプルコードが載ってる　×たとえがわかりにくい
とのことなので、パーサ初心者にはいいのかも。
店頭で探してみます。

>>352
ほう、サルでも解かることを一生懸命研究している人が滑稽だな。

(爆

偉そうなこと言うと、僻む奴が漏れなくセットでついてきますｗ

>>356
押売の断りかた:
要らないものは要らないとハッキリ言うこと。

妬みスレ

煽りと取られると心外だんだが、
言語系の技術って、そうめったに新しいものは出て来ていないよね。
論文にしても然り。

いろんなものは何時の時代にも出て繰るけど、
良いものは皆無。

ある意味、ＩＴ技術の窓際族かもｗ

すまん、最後の１行は無視してくれ。
（単なる煽りになる。）

>>359が何をもって新しいと認識するのかまるで解らないが、
少なくとも、まともな学会・会議や論文誌に掲載される全ての
論文に、必ず新規性がある。

>>359がその事実を否定できる程の人物である可能性は
限りなく低い。

特定の規格やデータ仕様から別の規格へデータを変換するようなもんは
インタプリタででも作ったほうがさっさと作れるのだろうか。

>>359
ちなみに、どんな分野なら新しいものが出てるの？

>>362
俺は単純にデータ仕様を構造体にして、パース次第そこへ突っ込んで書き出すだけで、
インタプリタなんて考えた事も無いな。

チミ達はどういう目的でコンパイラの勉強をしてるの？
１、新しい言語を作って有名人になる為。
２、仕事でコンパイラを作ることがあるから。
３、ただの趣味・勉強。

トンでもない駄スレになってるな、ここ。
過去スレ読んだ方が勉強になる...

ここに限らずどこもそうだろ。

>>365
ゲーム屋さんなので演出家が使いやすい記述ができるスクリプトコンパイラとか作りますです。

HSPね

>>368
もう来なくて結構です。

なんか荒れる事言いましたかねぇ。

>>371
選択肢全てが厨房じみている。

HSP程度といっしょにされるとは悲しい物だな。

>>1に騙された…

>>370
(´･ω･｀)

>>375
もう来なくて結構です。
と言ったはずですが？

>>376
なんだ、騙りまで出るのか。

ああ、一匹騙りが紛れ込んでるみたいだな。

>>372
他に選択肢がなにかあるか？

簡単なコンパイラ作るのは学習用途にはかなり良いと思うけどね
PC自体に対する理解も深まるし、アセンブリ言語の練習にもなるしな

新しい言語を作って有名になるのは･･その辺の奴には無理では･･･ｗ

HSPでも普通の奴には無理。HSPの言語仕様はともかくとして、有名になっているということは、
馬鹿にしてる奴の想像以上に手間隙はかかってるし、有名になるためのツボをうまく
捕らえていたんだよな。
この程度なら誰でも出来るんなら、今頃HSPの代わりに、もっといいものが
有名になっているはず。

> 有名になるためのツボをうまく捕らえていたんだよな。

必要な機能を必要なだけしっかり実装していたってことだな。
勘違い言語オタクにはまあムリだろうね。

マルチメディア特化言語だから
そういう物作るのには向いているだろう

HSPが有名になったのは、他が軒並み敷居が高かったところに、
極端に低い敷居でフリーソフトとして参入したからだろ。
昔は、ただ窓が出したいだけなのに、GTKだの複雑なWindowsの仕組みだの
要求される知識が多すぎたからな。

あとは、マルチメディアで五感に訴えたところだな。
極端に低い敷居で窓やコントロールやグラフィックや音楽などを操れたら
嬉しくなって飛びつく奴は絶対多い。

HSPが出たころにgtkってあったの？

ゲーム業界って独自スクリプト言語とか
結構作ってそうな気がすんだが、
どうなんだろう。

>>386
ゲームはゲームでも、ノベルゲームとかの類の紙芝居的なものに多いよね。
そして、スクリプトをただ「作りたいだけ」。
既に作られたものがあり、それを利用すれば実現したい機能が実現できるにもかかわらず
使わないというのは愚かだね。
それに、紙芝居的なゲームならコンテンツが重要なのに、しょうもないプログラマが
しゃしゃり出てきて無駄な事に時間と金を費している。
まったく、ナンセンス、非効率。

何このスレ・・・・・・・？
　　　　　　 　　　　　　/ヽ　　　　　　 /ヽ
　　　　　　　　　　　　/　ヽ　　　　　 /　ヽ
　　＿＿＿＿＿＿ /U　ヽ＿＿＿/　　ヽ
　　|　＿＿＿＿　／　　　U　　　　:::::::::::U:＼
　　| |　　　　　　 /／ ＿__　　　＼　　::::::::::::::|
　　| |　　　　　　 |　　|　　 |　　　　　U :::::::::::::|
　　| |　　　　　　.|U　|　　　|　　　　　　::::::U::::|
　　| |　　　　　　 |　├―-┤　U.....:::::::::::::::::::/
　　| |＿＿＿＿　ヽ　　　　　.....:::::::::::::::::::::::<
　 └＿＿＿／￣￣　　　　　　:::::::::::::::::::::::::|
　　|＼　　　 |　　　　　　　　　　　:::::::::::::::::::::::|
　　＼ ＼　 ＼＿＿＿　　　　　 ::::::

>>388
AAで誤魔化すな。
思うところがあるのなら、書く価値のあることだけを書け。

>>387
昨今は使ってない所が無いくらいじゃないか？
あらゆる分野のゲームについて。
しかも flex bison があれば作り捨て可能だぞ、
むしろ使いまわすだけの理由がなければ捨てたほうがいいかと。
特にオーサリング環境(開発ラインのネットワークの構成やDBの構成を含む)と
一体成型で作ったスクリプトの威力は絶大なんですがね。
そこらに転がっている単体動作のスクリプトエンジンとは一味違いますよ。

具体的にどのへんが威力絶大なのよ？

>>391
たとえば、コンパイル時に変更や依存関係を検出して、関係各位にメールを飛ばして注意喚起するとか。
たとえば、コンパイル時に必要なスクリプトから必要なデータを検出して、必要なサーバーからデータをダウンロードするとか。
その他色々

そのゲームに特化してるから効率的だし、
バグが出にくいからに決まってるだろハゲ

相変わらず低レベルなスレですね(わらい

あと、ゲームの開発も終盤になってから特殊な機能が必要になったり、
アドホックな仕様変更が必要になったりする。汎用的にしようなんて
考えてる時間が無いことも多いのよ。

汎用的な○○なんてただの神話だろ

でもそれくらいなら既存のスクリプト＆ツールでも十分出来ると思うが…

効率悪いだろ

自作するほうが効率悪いだろ。

残念ですが、ここはゲーム用スクリプトの話をする場所ではないので、ゲ製板にお戻りください。

>>399
よっぽど小規模な開発しかやった事無いんだな

>>397
やってみなよ、その既存のスクリプトと同じものを作るかそれ以上の労力が必要だから。

実際に洋ゲーのFarCryとかLua使ってたりするのもあるけど。
具体例出してもらわんと本当に自作じゃないと解決できないのか
単に無能なだけなのかわからんよ。

自作したがり厨が煽ってるだけだろ。
スルーしろよ。

ほんと小規模な開発しかやった事無いんだな

相変わらず低レベルなスレですね(わらい

開発話も感想もここでは必要ありません。マ板にお帰りください。
さて、
「字句解析・構文解析から，データフロー解析，ループ並列化，タスク並列化，SSA変換，
CPS変換，レジスタ割付，命令スケジューリング，ソフトウェアパイプライン等各種最適化，
それにVM，GC，JIT，リンク時最適化，動的バイナリ変換などなど。
意味論に関する話題も歓迎です。」
の話でもしましょうか。

↑そうしたいなら藻前がなんか話振れよ

>>405
しょぼい自作スクリプト使わされる方の身にもなってくれよ…

むしろしょぼいから余計な機能を使う心配が無くて
余計なバグが産まれなくていいんだよ

カプセル化の基本だな

自作より汎用のほうがバグ少ないと思うけど

そう思うのは素人

↑他人が作ったものは使いこなせない素人

>>408
スレ違いのレスが付くより過疎った方がはるかにマシ。

>>414
自分で作れないからって僻んじゃだめですよー

ゲームはゲームでも、ノベルゲームとかの類の紙芝居的なものに多いよね。
そして、スクリプトをただ「作りたいだけ」。
既に作られたものがあり、それを利用すれば実現したい機能が実現できるにもかかわらず
使わないというのは愚かだね。
それに、紙芝居的なゲームならコンテンツが重要なのに、しょうもないプログラマが
しゃしゃり出てきて無駄な事に時間と金を費している。
まったく、ナンセンス、非効率。

開発話も感想もここでは必要ありません。マ板にお帰りください。
さて、
「字句解析・構文解析から，データフロー解析，ループ並列化，タスク並列化，SSA変換，
CPS変換，レジスタ割付，命令スケジューリング，ソフトウェアパイプライン等各種最適化，
それにVM，GC，JIT，リンク時最適化，動的バイナリ変換などなど。
意味論に関する話題も歓迎です。」
の話でもしましょうか。

>>416 はスクリプト作るのが難しいと思ってる素人

↑素人ｷﾀ━━━━━(ﾟ∀ﾟ)━━━━━!!

>>418
いや、需要があるならその辺の最適化ねたについて語りたいところだが、
たぶんスルーされるだけだろう。このスレの最初の方みたいに。

>>409
なんでフログラマがスクリプト使うんだよ(w
チーム編成のレベルでおかしなことになってないか、おまえん所。

おまえらいい加減マ板池

>>422
いやプログラマじゃないんだが。
Luaとかを使って欲しいというお願いは却下されました。
別に自作でもいいんだけどデバッグ環境とかもしっかり作って欲しい…

>>411
ちょっと気になった、カプセルによって文法削減や拡張はどうやってやるの？

>>424
>いやプログラマじゃないんだが。
うそコケバカグラマ

自分でもしょぼいってのは分かってるみたいね(w

日本だとエログラマが作った
しょぼい自作スクリプト使ってる所も多そうだな。

>>428
flex bison が使えるようになれば、それこそC++に匹敵する文法だって不可能ではなくなる。
C++のようにする必要は無いが、それを作ってプランナーに渡すと何が起こるか知らないだろ。
ヘッポコプログラマがC++を使うと酷い事になるよな、Javaを使うとある程度解決する。
レベルの違いこそあれ同じ事情が発生するのだよ、素人君。

ずいぶんしょぼいプランナーだな(w

そんなのはデバッグ環境さえしっかりしてれば問題ないでしょ。
まあできるだけ余計な機能は無いに越した事は無いけど。
というかわかっててシンプルにしてるなら煽りはスルーしてよ。

完璧というものは、何も追加するものが無くなった時ではなく、
何も取り去るものが無くなった時に達成できるものである

アントワーヌ・ド・サン＝テグジュペリ

＞アントワーヌ・ド・サン＝テグジュペリ
誰？

>>433
本当にしらんのか？　orz

>>432
時と場合による。

文系の奴が言うことなんか信じねー

文学と共にあれとは言わないが、もうちょっと親しんだ方が良いぞ。

つか、海外の文献って章の始めに結構文学作品の引用あるんだが
バカグラマーはなぜだか考えたことも無いんだろうね。

>>437
> つか、海外の文献って章の始めに結構文学作品の引用あるんだが
どうしてなの？

>>437
正直洒落か気取ってるだけだと思ってた。俺も知りたい。

>>439
気取ってるだけだろな。アメリカ人はかっここつけるの大好きだし。
しかし不思議の国のアリスみたいなので教養見せ付けてるつもりなのって
最高にダサくない？ｗ

俺も自分の書く仕様書に東条英機の『戦陣訓』を引用しようかな。。。

今日は疲れた。また7時に起きなきゃ。おやすみ。

このスレ読むよりＧＣＣのソースコード読む方がためになる

このスレの頭にある参考文献読んだほうがいいよ

文系といえば、りんご（ry

>>7
tiny C コンパイラ (C)
http://www.watalab.cs.uec.ac.jp/tinyCabs.html

必要な人はバックアップを取っておいた方が良い。
渡辺教授の退官で今年度限りであぼーんかも。

本人来たー

本人と言うか学生だろ。

いくらなんでも本人、こんな糞スレみないだろ・・・

それを突っ込んじゃ･･ｗ

捕捉完了

volatile厨に認定して貰えるスレはここですか？

退官って言うんだから、65歳だろ。
老研究者がこのスレ見て「あぼーんかも」とか
書いてるわけか？ｗ

>>452
そりゃ2ちゃんねらなら書くだろう。

>>453
2ちゃんねらな老人か。カコイイなｗ

ここはベテラン研究者が集うレベルの高いインターネッツですねｗ

>>454
普通にいるって。そういう素振りを見せないだけ。実際知っているし。

>>455
俺も知ってる、結構お年寄りの人もいるよね。

2ちゃんねるが盛り上がるダイナミズム, 情報処理学会論文誌, Vol.45, No.3, pp.1053-1061(2004)

ていうか、老人はともかく、研究者が書き込むような内容じゃないだろ・・・・
このスレ。

>>458
分かってないな。
2ちゃんねるで暴れてストレス解消に決まってるでしょ。

>>457
そんなものが出ていたなんて知らなかった…

>>457
リンク先公開きぼん

>>457ではないが…
ttp://www.ipsj.or.jp/members/Journal/Jpn/4503/article038.html

>>459 それはお前以下少数派だ

>>462
誰も止めなかったのがすごい

ttp://www2.econ.osaka-u.ac.jp/~matumura/
こいつだ。研究業績にそれのpdfもあるよ。
統計は専門外なんでどの程度まじめな研究なのか判断できないけど。








ってスレ違いだった。

>>465
うわ、なんでトップにAAが…
この人ちゃねらだ。

なんだよこのスレ、今どきねらー発見して喜ぶ素人ばっかかよ・・・

>>467
いや、キモい。

ていうか、こいつの場合、突っ込むところが違うだろ・・・
2chどころの騒ぎではなく、2chの研究してるところに突っ込めよ・・・・

2chの研究したらいかんの？
例に挙がってるのがどんな研究かは見てないけど
面白い題材だと思うけど。

>>470
論文誌の一番最後の項だった。日陰っぽいのは2chらしくてよろしい。

>>469
どの辺が突っ込み所なの？

人減ったね

>>473
卒論・修論終わって現実逃避しなくてよくなったから。

>>474 それなら、来年の卒論へ向けてネタを練るかね？

結局コンパイラを作るのに適した言語ってどれになりますかね？

>>476
なんだっていいよ。そんなことはここでは議論にはならない。

>>476
作る言語自身

たとえばコンパイラなら自己記述可能って事だよな？>>478

>>479
自己記述するにはコンパイラが必要なので
それができるまでどの言語でコンパイラを作るかだ

適当な言語Xを作る。Xはインタプリタでよい。
↓
XでXのコンパイラX_compを書く。
↓
X_compをX_compでコンパイルする。
↓
Xのネイティブコンパイラ完成。

>476
字句解析、リスト処理、ファイル入出力などが手軽にできればとりあえずスクリプト言語でもいい。
性能を求めるなら部分的にC/C++で書け。何か問題でもあったのか？

ニューラルネットは一定のパターン認識に便利だが、パターンが変わると誤認識だらけのLDのような症状を著しく示すことに留意する。
低次の入力インタフェースから流れる信号からパターンを検出した際に発生した例外処理は低次の処理を中断することなく、結果を高次のインタフェース群に振り分けて渡すことにする。

誤爆？

言語Xのコードをコンパイルする命令"compile"を持つ言語X。

……？

てことは、一番のＣコンパイラはアセンブラで書かれてたりしたのか？

その前にアセンブラをマシン語直打ちで書かなければなりませんｗ

>>486
ハンドコンパイルだったと思う

>>481
実はインタープリタを書くだけでよい。

くわしくは
二村射影(futamura projection)・部分評価(partial evaluation)

詳しそうな人が。
ご存知でしたら教えて欲しいのですが、"offline" partial evaluationの
（onlineに対する）画期性はどういうところだったんでしょう？

>>489
それは言いすぎじゃね？

コンパイラについて深く学びたかったら
どこの大学院がもっとも進んでいるのでしょうか
ちなみにコンパイラについては全くの素人（本でかじったぐらい）
です

>>492
その程度でどうやって研究計画書書くの？

計画書段階じゃ、そんなもんだろ。
本でかじった以上の事は研究しないと無理だよ。
この分野は中間点が無さ過ぎる。

インタプリタを作ればいいなんて詭弁を弄してるのがいるが
どの言語でそのインタプリタを作るのかが問題なんだよ

いや、これから研究するテーマを書くのに、本読んだだけっていうとほとんど知識が
ないのと一緒。
最近はどんな研究がよくされているのか、とか、注目されているのはどんなことなのか
という事も知らなくてはいけない。

んなもん適当に論文のabstract読めばいいだけ

>>492
学部3年ぐらい？
図書館行って
「情報処理学会論文誌 プログラミング」
という本を探す。
その中から興味をもてそうな研究を選ぶ。
著者のうち、
肩書きが大学の教授とか助手とかになってる人をピックアップ。
その人が著者になってる論文を見て（googleとかで探す）、
興味がもてそうなものが多ければ、
その人の研究室で決まり。
入院試験受ける前に
受かったら研究室に入れてくれるようにネゴっておこうね。

>>495
速度重視ならC/C++だろうし、
実装で楽したいなら、
パーサジェネレータから決めるとか。
デザインパターンのインタプリタ・パターンを使うなら、
作りたい言語と同じ制御構造をもったものを選ぶ方がよい。
例外やtry〜finallyとか。

LISPの処理系について教えてください。

LISPの文法のBNFを探しているのですが、見つかりません。
LISPのBNF定義が載っている、本またはWebページがありましたら、教えてください。

よろしくお願いします。

Aho

>>500
ググったら一番上に出てきたけど

>500
"common lisp" (syntax OR parser OR source)でGoogle検索。

>>502-503

ご教示ありがとうございます。
Googleの結果を開けて回ったところ、日本Lispユーザ会というところに出ました。
このなかにANSIの規格書へのリンクがあったので、こちらを探してみることにします。

>>504
"lisp bnf"でウェブ全体から検索にして検索してみ

>>505

「The BNF Web」の「BNF Index of LISP」というページが一番に出てきました。
結構簡単な文法なんですね。これなら、すぐBISONに書き込めそうです。
お手数をおかけしました。

>>501
アホなのかエイホなのか

>>506
lispにbisonはoverkillじゃないだろうか。

要は(read)を書くだけでしょ？

>>508
魚雷廷沈めるのに大陸間弾道弾使う見たいなもんじゃねぇの？

>>499
やっと>>476に対する適切なレスがｗ

>>798
ドクターはともかく、マスターではネゴっただけで希望の研究室に入れるとは……

>やっと>>476に対する適切なレスがｗ
おぃおぃ・・・・
まっいいか。

コンパイラ屋さんとOS屋さんって完全に分業されてるの？
っていうかOS屋さんの存在自体がもう消滅してるか。

>>513
OSってまさかWindowsみたいなものを想像しているわけ？

>>490
ごめん、PEは専門じゃないので…
ここより関数型言語スレの方が詳しい人多いかも。

489 名前：デフォルトの名無しさん[sage] 投稿日：05/02/13 21:00:03
>>481
実はインタープリタを書くだけでよい。

くわしくは
二村射影(futamura projection)・部分評価(partial evaluation)

515 名前：デフォルトの名無しさん[sage] 投稿日：05/02/15 20:27:58
>>490
ごめん、PEは専門じゃないので…



PEのことを知らずに書いてたのかよ！

>>514
いやもうOSに目新しい技術もないし、実装でもだいたい
メジャーどころが決まってるような感じに思ってたけど。
組み込みにLinuxやNetBSDに手を入れて使うようじゃ、
マイナーなOS屋さんのやること、もうないじゃん。

>>513はあの比喩で何が言いたかったんだろ。

ああ間違えた。>>514だ。

このスレのレベルの低さの件について

↑レベルの高いレスの見本

言語屋は、収入も低（ry

高くは無いが低くも無いぞ

Perlみたいな複雑怪奇な言語でもLALR(1)文法で解析可能でしょうか？

文法はそこまで複雑じゃないだろ。

>>524
Perlはどうか知らんけど、一般に
へんてこな言語は字句解析器と構文解析器が
仲良くして構文解析をするんだよ。

そして…フラグの洪水に溺れるんだ…

>>526
すんません。最後の１行が分かりません。
どういうことですか？

文脈依存の文法を作るとかそういう話じゃないかな？

字句解析や構文解析ではジェネレータがコードを
自動で生成してくれるからいいけれど、
それ以降の部分は >>526 が手がけなければならないので、
その結果フラグの洪水となる、という話だと思う。

>>528 が正しいと思うが。要するにそういう文法を書くためには
レクサとパーサで状態を渡さないといけないのでフラグをさわりまくりになる。

>>529
「それ以降」じゃなくて、構文解析中の話じゃない？
構文解析の経過に応じて字句解析の動作を変えないといけなくて、
経過がどうだったかを大量のフラグで管理しとかないといけない、
みたいな。
字句解析で先読みをどんどんやらせて、
それによって構文解析の動作を変えたいなんてのもあるかな。

　初めまして．皆さんのお力を貸していただけませんか？現在独学で, 「スモールコンパイラの制作で学ぶプログラムのしくみ」を用いて勉強しているのですが, コンパイラの拡張として,
　( 1 )関数の引数として 1 次元配列を渡せるように機能拡張する．渡し方は C言語の方法に習い, すなわち, 配列の要素全体のコピーを渡すのではなく, 配列の先頭の番地を渡す．

　( 2 )変数の「参照渡し」を実現する．「参照渡し」つまり, 変数を関数の実引数にしたとき, 変数の中身ではなく変数自体の番地を渡すことにより, 呼び出された関数の中から呼び出し元の変数の内容を更新できるようにする．

　という 2 つの機能を追加させることを考えているのですが記述方法が解らず悩んでいます．解りましたらアドバイスをお願いいたします．

せっかくだから著者にラブレ^H^H^Hお手紙を出して聞いてみるのがいいかもw

　すみません!！ > 532 に付け足しで, コンパイラのソースコードは,

http://book.gihyo.co.jp/s-com/ からダウンロードできるようになっております．

　この本を読んだことがない方でも,
上記 2 問に対する拡張方法のプログラムが解る方からの返信もお待ちしております

フラグの洪水の件だが、今の言語は（一部の単純なやつを除き）、
みなそうなる傾向にあるのではないかな？

逆にいうと、（ちょっと飛躍しすぎかも知れんが）レクサとパーサ
による解決方法自体が、やや時代遅れになりつつあるのかも。

そろそろDCGやgraph grammerの時代になるのか。
ところで今の言語で、パースの難しい構文（の組み合わせ）って例えば何だろう？

Ruby!!!!!!!!!!

>>537 フラグの洪水でにっちもさっちもいかなくなってる言語の一つだね。

>>532
整数型を引数に取る関数と
文字列型を引数に取る関数は実装されてるみたいだから、
そこから類推して配列型を引数に取るものを追加すればいい。
function()とfactor()中の関数呼び出しを実行してる箇所を
取っ掛かりにハック。
（２）は（１）ができてからにしろ。

>>535
むしろ最近の言語の方が使用するケースは少ないかと
文脈依存なしでも必要十分な程度の複雑な文法は作れる

>>540
C#とJava以外になんかある？

>>541
ラベル名に語彙の種別をつける様な文脈依存はあるが、
フラグを引っ掻き回すのは行単位でパースしていた時代の物でもない限りもう無いと思うが……

Rubyは行指向言語

現存している言語のなかではfortranのパースが一番難しそうな気がする。

ナニ言ってんだ。
一番はる、Ru、る、


















C++

>>545 んな訳ねぇだよ

むしろ現存している実用言語で
教科書的な字句解析・構文解析が通用するような言語ってどのくらいある？
Pascal…は簡単なんだっけ。

> 教科書的な
関係ないだろ。文法のクラスの問題。

>>548
教科書的なクラス（＝LR(1)？）で収まる言語を聞いてるんだと思うが。

>>547
とりあえずCはダメだね。
typedefされた識別子は、lexerで識別子じゃなく型名かなんかにしないといけないから。
JavaもLR(1)では無理だった気が。

プログラミング言語の専門家が作った言語は大概シンプルな
文法クラスに納まっている希ガス。

>>549
>とりあえずCはダメだね。
それをそのクラスに入れるために、スキャナなんてな物を考えるのであって
>教科書的な字句解析・構文解析
という点について考えたら、その回答はギャグとしか思えないのだが……

Cはtypedef以外にもキャスト式とか、sizeofの中身とか
一意にならない場合があるけど

そういや、VCとかに導入されてる__cdeclとか__stdcallって装飾子どこに掛かってるの？
関数のポインタに掛かってる？
それとも関数自身？



__stdcall f() {
}

という書き方もできるということは関数に掛かってるんだろうけど、
関数ポインタの場合の装飾子の位置が謎。

(*(int (__stdcall *)())g)() = (int (__stdcall *)())f;

>>550
そして、大抵実用的でない言語のような気がするｗ

すまん、こうだった。

int (__stdcall *g)() = (int (__stdcall *)())f;

パースする側から見ると凄い変な気がする。
()からずいぶん離れているのに__stdcallは関数に掛かるという。

>>551
ごめん。なに言ってるかマジわかんない。
「C言語は教科書的」って言ってるの？

C言語では
「(a)+b」は
typedef a されてればキャストだし
そうでなければ足し算ってのは知ってる？

>>556
Cに単項の+演算子なんてあったっけ?
-ならわかるけど。

あるだろ。
つうか、-でもいい話じゃないのか？

int const extern * p;

「int const*」がひとまとまり。
externはpにかかる。

>>556
もちろん知っている
bisonの教科書100回よめ、実装なんか簡単だ

えと、あまり深く考えずに「教科書的」とか言っちゃったんだけど……。

字句解析と構文解析がなかよくしてフラグの洪水とか、
bisonがどういうオートマトン出力するか気にしながらトリッキーなコード書くとか
そういうことしなくてもパースできる、みたいな？
LALR(1)の教科書数回読んだだけで解析器作れるようなのを意図してました。

とりあえずCはダメという認識でいいと思います。

>>561
机上の空論ばかりやってるからそうなるんだよ、
実践してみろ、どうってことはないし、トリッキーでもないし
ましてやオートマトンなんか考える必要もない

>>560
bisonの教科書に載ってるって言いたかったのね。
やっと分かったよ。

bisonとかそういう物以前に処理系作る人間にとっては初歩中の初歩かと

(ﾟ∀ﾟ)ﾗｳﾞｨ!!

>>561
lisp。実用言語だ。汎用ではないが。

>>566
実用性のない言語の典型例だなw

「なでしこ」のような言語をもし、lex/yacc でやるとしたら、
多量の yacc ルールが必要ですかね？

なでしこ知らないけど、
ああいうのはlex(相当)の方が難しいんじゃないかな。
分かち書きを強制とかしない限り。

>>567
実用性がある言語の典型だろ。

>>567
できない奴の典型だな。

自作じぇん

lispに実用性がないってどんだけ世界狭いに住んでるんだろう・・・。
schemeならまだ説得力があったがな。

嫌LISP厨が一人粘着してるだけです
ろくな反論もできない書き込みでわかります

Rubyが一番。

schemeもライブラリや処理系がないのが実用的に問題なだけで、
言語仕様としては良い。

Rubyが新湯ｒｙてんで一番素晴らし魏、

>>５６９
識別子をちょっと凝って切り出すだけでしょ？（lex）
圧倒的に文法規則の方が難しいと思われるが？

字句解析と構文解析の難しさを単純に比べるなんてできないと思われるが？
やることちがうんだし。

しかしなでしこの構文ってそんなに複雑なんかね。
((式 助詞)* 動詞 句読点)* 程度かと思ってた。

XmlShemaの構文解析をしたいのですが、ハードの都合（200kしかメモリ占有不可）
上yaccすら乗せるのがきついため、XMLの字句解析から初めて構文解析を
しようと思うのですがyacc等使わない場合皆さんはどのようなスタイルで
書き始めますか？yacc漬けになっていて、スクラッチで字句解析構文解析
どうしようかすげー悩んでます。

昔は32ｋROM+32kRAMまたはそれ以下でBASICがエディタ付きで動いてたんだ
贅沢いっちゃいかん

XMLにyaccか、
なんとも不思議な使い方だね……
俺だったらスキャナは使ってもパーサは使わないな

ま、それはともかくフルスクラッチすればいいんじゃない、
速度さえ気にしなければXMLのパースは簡単だし、考える事なんか無いし。

フルスクラッチって何ですかpu

フルチンみたいなものです

無の状態から全てを作り上げるフルスクラッチビルド
ttp://www5f.biglobe.ne.jp/~rebro/DSCF0042kuri].JPG

りんご農園でも、日本語の変数名が扱えるYO。

実際の所、最適化のほうがはるかに難しいと思われ。

>>587
その通り。

perlでさえインライン展開ぐらいやるよ

どのレスがどのレスに対する反応なのか、さっぱりわからんのは俺だけか?

藻前だけ

>>588
同意

>>590
今に始まったことじゃない。

中田ｾﾝｾｲ (´･ω･`)

りんこのねーちゃんの本には、ケータイ画面の写真みたいたのがあったけど
（ry

>>595
いくらなんでもそれは略しすぎだろう

りｎ（ｒｙ

…あれって、ねーちゃんの携帯かなぁ？

あほきたー

モレモナー

>>600
おまえもかよ！

>>599
お前が一番の（ry

>>583->>602
この辺あぼーんしました。

>>583->>603
この辺あぼーんしました。

今日、電車乗ってたら、前にキモオタが二人乗ってきた。

なんか一人がデカイ声で「貴様は〜〜〜！！だから２ちゃんねるで馬鹿に
されるというのだ〜〜〜！！この〜〜〜！」
ともう片方の首を絞めました。
絞められた方は「ぐええぇーー！悪霊退散悪霊退散！！」と十字を切っていた。
割と絞められているらしく、顔がドンドンピンクになっていった。

渋谷でもう一人、仲間らしい奴が乗り込んできてその二人に声をかけた。
「お！忍者キッドさんとレオンさん！奇遇ですね！」 「おお！そういう君は＊＊＊＊（聞き取れず。何かキュンポぽい名前）ではないか！
　敬礼！」
「敬礼！出た！敬礼出た！得意技！敬礼出た！敬礼！これ！敬礼出たよ〜〜！」
俺は限界だと思った。

限界も何も君の友達じゃないのか。

おまいら、しっかりしろ！スレ違いも甚だしいぞ！
もう一度>>1のテンプレ貼っておくぞ！


プログラミング言語処理系の開発に興味のある人達のスレッドです。

字句解析・構文解析から，データフロー解析，ループ並列化，タスク並列化，SSA変換，
CPS変換，レジスタ割付，命令スケジューリング，ソフトウェアパイプライン等各種最適化，
それにVM，GC，JIT，リンク時最適化，動的バイナリ変換などなど。
意味論に関する話題も歓迎です。

やこしい内容にするからかえってチョッカイ出しただけの困ったちゃんが湧いてくるような気がする。
次スレはシンプルに初代の1の内容
「yaccやlexの使い方やら言語仕様やらの話題。 」
に戻すかね、周辺の話題はスレの流れで勝手に入ってくるに任せる感じで。

サンデープログラマが初めて勉強するべきコンパイラコンパイラは何かについて
英語とOOP はアリ

↑日本語でおながいします

オブジェクト指向プログラミング(OOP: Object Oriented Programming)

>>610
諦めろ。>>609は日本語を理解してないぞ。

LISP と OOP 程、やくにたたんものはない。

と、世間で役立たずの613は語った。

>>608
構文解析およびyacc,lexx　のスレ　と
>>1の内容みたいなスレを分けた方がいいんじゃないの？

わけるほどのモノじゃねえよ

>>616
最適化の話は一つ一つが長くなるとは思うが今まで一度も出てきてない気がするの俺だけ？

出てきてから考えれば？

>>615
被りまくりの上に、それほどの話題は存在しない、そんな必要はない
ただでさえ人口が少ない上、部外者だらけのこのスレをこれ以上薄めてどうする。

インライン展開の話がしたい

>>620
インライン展開の話をすることを許可する。

さぁ、存分にやりたまえ。

>>620
インライン展開ってさ、キャッシュの容量が小さすぎるCPUで泣いたことない？

組み込み系やってないとわからないかもしれん(つかイマドキのＰＣってすごすぎ）

>>620
どうぞどうぞ、ガンガン書いちゃって下さい

俺は彼女の陰ラインを展開し
その淫乱な姿に欲情した
こんなに濡れてるよ体は正直だね（ｒｙ

ロバート・Ａ・はインライン展開した幼年期の終夏への扉

　　　　　・Ａ・　ｲｸﾅｲ

りんご展開

インライン展開の話に戻しますが、
単純に展開しただけでは、

inline f(int x) { return x; }
g(int y) { return f(y) + f(y); }

↓展開

g(y) {
　int x1 = y; // f(y)
　int x1r = x1; // return x
　int x2 = y; // f(y)
　int x2r = x2; // return x
　return x1r + x2r;
}

こんな感じになって変数がいくつも必要になる気がします。
上の展開結果から
g(y) {
　return y + y;
}
を導き出すには、フロー解析しないとダメでしょうか？
または別に何か簡単な方法があるでしょうか。

不要コード除去くらいするもんだと思うが。

え、全て必要な気がするけど。

普通の最適化をさぼっているくせに、インライン展開なんかしたら
大抵は性能劣化を招く罠。

先読みしたデータを元に戻す時なんか工夫してる？

>>631
スマンが文脈からパース時の話なのか実行時プリフェッチの話なのかワカランのでもう少しフォローしてくれ。

気になるのは、文脈からパースしたときです。

1個分のバッファを作っておいていつも先読み。戻さない。
ってのが統一的でいいんじゃないかしらん。

ていうかなぜパーサを手で書かなきゃいかんのかと小一時間(ry

りんこ１個分、先読みすればよいよ。

HTMLからTeXファイルを作りたいのですが、そこらへんのノウハウが載っているサイトってありませんか？

えーとパーサー生成器で作ると遅いよ？
Boost関数で作るほうがすげー早いよ？
あとメインメモリ500ｋぐらいの環境だとそんな荷物もてないよ？

メインメモリ500k位の環境じゃ他のリッチな環境から
クロスコンパイルするのが普通だわな

>>638
ﾒｲﾝﾒﾓﾘ1M位のﾘｯﾁな環境ならありますがｸﾛｽｺﾝﾊﾟｲﾙは普通に出来ますか?

>>639
5万円くらいでメインメモリ512MBのx86マシンを自作して出直して下さい。

あの……落としものですよ？

　　　　　　　　 ∧__,,∧
　　　　　　　　（´・ω・`）
　　　　　　　　 (つ夢と）
　　　　　　　　 ｀ｕ―ｕ´

　　あなたのすぐ後ろに落ちていましたよ？

誰がネタを言ってるのかよくわからんが、
メインメモリ1Mぐらいの組み込み機器で
小さいスクリプト言語が動けば便利かも試練

メインメモリ1Mぐらいの組み込み機器なんて
入力装置がボタン数個だろうから、
スクリプト言語なんてあっても書けないぽ。

>>643
スタンドアローン開発する気？

ユーザーがスクリプト書くって事じゃないの？
そうじゃなければスクリプトである必要がないし。

スクリプト言語の利点はユーザが書けることだけじゃないよ。。

そう言いながら他の利点を書かない厨646

一から十まで教えられないとわからないか。
よく最大の利点と言われるのは手軽にプログラムが書けること。
ポータビリティが高いことも多い。

プログラマが自分のために書くプログラムは全部C言語とかですか？

>>642からの流れは「メインメモリ1Mぐらいの組み込み機器」での話ではないのか？
646や648よ。

>>648
教えられなくても分かるというやつは
天才か電波

>>642
少なくとも京ぽんのbookmarkletは激しく便利。

自ら学ぶ事もしないのか
ゆとり教育だな

>>649
>>646=>>648=俺だが、
「メインメモリ1Mぐらいの組み込み機器」では
手軽に書けることやポータビリティに意味はないと？

「メインメモリ1Mぐらいの組み込み機器にスクリプト言語あれば便利だなあ」
　「入力デバイスがなくてスクリプト書けねぇよ」
　　「スタンドアロンで開発するわけがありません」
　　　「えーできないのー？ユーザが使えなきゃ意味ないじゃん」
　　　　「んなこたない」
　　　　　「利点を具体的にいってみろよー」
　　　　「手軽さとポータビリティだろが馬鹿そんくらい分かれ」
　　　　　「言われる前に分かったらエスパーだっつーの」
　　　　　　「手前でしらべろボケ」
　　　　　「特にメモリ1M組み込み機器に限った話じゃないだろ」
　　　　　　「組み込み機器にあれば便利だなあって話だ」←いまここ

結論は最初の一行。

では、結論。
>メインメモリ1Mぐらいの組み込み機器にスクリプト言語あれば便利だなあ
クレクレ君はスレ違いです。

1MもあればCコンパイラでも作れそうだが

>>656
その 1MB を全部コンパイラ関係（中間ファイル置き場も含む）に使ったら、
組み込み機器の本業が動かんでしょ。

>>656-657
640Kbyteで全部動いた時代が懐かしいな、まあどうでもいいが雑談はマ板でやったらどうだい？

組み込み機器にスクリプト言語実装する手間考えたら
ポータビリティの意味無いじゃん。

そこでLisp

>>658
ものによってはネイティブのマシン語より、
VM＋バイトコードの方が
コード量が減るとかいう現象があったような。
さすがCISC。

そんなのVMの設計次第でしょ。
命令細かくすりゃマシンコードと変わらなくなる。

ものによってはっつってんのが目に入らんかこのバカチンが。

あ、話題としてはおもしろいかも。こういう話に詳しい人いる？

Java VM なんかはバイトコードのサイズが小さくなるように設計されてるから
最終的に動かすアプリケーションのサイズが大きければ大きいほど
ネイティブコードに比べて有利になりやすいんじゃないかな。

>>663
＞ 最終的に動かすアプリケーションのサイズが大きければ大きいほど
実用に耐える速度を出すためにＪＩＴを使うからなぁ、メモリ上の足跡はかなり大きいぞ。
まぁスタックマシンだからＶＭ用のコードが小さいのは本当だけどさ。

KVMとか組み込み向けJavaVMもJITするの？
これまでの話の中でも速度は大して重視されてこなかったような。

バイトコードで動くCPUを使えばいいじゃないか

JNIのロード時間をどうにかしろよって思っちゃうんですけどこればっかりはどうしようもないんですかね？

情報工学とか出た人ってみんなコンパイラとか作れるんですか。

少なくとも資料をあたりながらでもそれができるだけの教育は受けているはず。

実際にはできるんですか

できる人もいる
できない人もいる

りんごが好きな奴もいれば
嫌いな奴もいるってこと？

↑馬鹿注意

ちゃんと勉強した奴もいればお情けで学位を頂戴した奴もいるってことだろ。

資料をあたりながらなら誰でも作れるよなあ。コンパイラくらい。

1.現実を知らないバカ。
2.できないやつを馬鹿にして優越感に浸るやなやつ。
3.誤爆。

ていうかドラゴンブック通して読んで作れない方がおかしくない？

そりゃどんなソフトでも作れるだろうけど、後は品質の問題になっちゃうよ。

麻宮騎亜はコンパイラもアセンブラもガリガリ書いてたよな

>>679
誰？
お前の名前か？
頭大丈夫？

通して読めたのに作れないのはおかしいかもな。
作れない奴は読み通せないから。

>>670
高卒がみんな高校の学習指導要領程度の英語を読み書き聞き話しできるかという質問と同じじゃないかな。

>>679
激しくすれ違いとでも言って欲しいのか？ キモヲタくん。

本読めば作れると思ってる馬鹿がいるな

本読めば作れますが何か？

スモールコンパイラの製作で学ぶプログラムの仕組みとか読んだらわかるけど
Javaのコードと実質説明あんまりマッチしてないよ。
実際コーディングって泥臭いし、やり方は人それぞれ書けちゃうから。
本は定石を知るためにあると思うけどな。まぁでも、できるやつは本見ながら
適当に実装できるのは事実。

読んだだけで作れるなら幼稚園児でも作れるな

あの綾本の変な例え話漏れは受け入れられなかった・・・

狂大生だけど、作れなさそうなやつはわりといるよ．
曰く、「おれはプログラムなんかを組むために情報学科に来たんじゃない」だと。

>>685
その本読んだらわかるけど、まともな本じゃないよ。いわゆる俗本。

だからドラゴンブック読めよ

Tiger本でも良いと思うぞ。

>>687
ふらっと手にとってレジに持っていきそうになったが、
あの喩えのおかげで思いとどまる事ができた。いわば踏み絵。

>>688
俺も京大だけど、経験的にそいつよりおまえの方がプログラミング能力低いわ。

俺も京大だ。奇遇だな。

俺京大だけどお前ら実は三流大だろ

>> 693
まぁ、言わんとすることはなんとなく分かるけど、そいつはホントにプログラ
ミング言語の1つもまともに使えないよ．なんだかんだ行っても、情報学科の
底辺のダメさ加減はすごい．

学歴以外に自慢するものはないんかよ、このダメ人間どもは・・・・
高校卒業時が人生のピークでしたか？

>>693-695
これがほんとの三兄弟

ｼﾞｬﾝｶﾞｼﾞｬﾝｶﾞｼﾞｬﾝｶﾞｼﾞｬﾝｶﾞ

.(公)　(益)
　乂　　乂

ｼﾞｬﾝｶﾞｼﾞｬﾝｶﾞｼﾞｬﾝｶﾞｼﾞｬﾝｶﾞｼﾞｬｰﾝ

ヽ(公)ノ
　　　　ヽ(益)ノ

>>697
なんで怒ってんの？

高校卒業時が人生のピークだったんだろｗ

俺はおまえらより金も幸せも知識も技術も持っている。

そしてアソコもでかい。

でも彼女はいない。

しかし、メイドは居る。

雑談したいならマ板にいけよぉ、あっちいけぇあっちいけぇ

memphisとかiburgとか触っ照人いる?

ttp://memphis.compilertools.net/
ttp://www.cs.princeton.edu/software/iburg/

lex/yaccで作ったプログラムから呼ばれるバックエンドを
簡単に作れるものです。結構面白いよ。

ﾁｮﾄおもしろそう

>>678
素の通り、

航空機械出た奴は、そりゃ人力飛行機はつくれるだろう。
ただし、（ry

りんご本よんだら、携帯コンパイラ作れる？

数学の教科書読んだら、数学のテストで100点取れる？

りんご本て何？

綾本？

謎のりんご農園主
コンパ・イラ

コン・パイラ

教科書持ち込みでよければ取れるんじゃね?

>>716
あんたはりんご本よんだら、携帯コンパイラ作れる？

>>717
>>712
なんでそのりんご本とやらに限定されなきゃならんのか理解不能だが。

>>718
馬鹿ですね。

出た。勝利宣言。w

勝利宣言はうみねこを論破してからお願いします。

>>717
携帯コンパイラくらい簡単に作れる気になるだろ。
そして2チャンネルに「お前らそのくらいも作れんの？」と書き込めば
作った気になるだろ。

>>722
脳内妄想はどうでもいいから、現物を作れるのか？

>>723
簡単に作れる。（しかし、作ったことは無い。）
といったところだろう。

>>724
携帯単体でコンパイルして実行できるものが？へえー。

>>725
もしかしてそれが難しいとか思ってる？

>>726
ああ。
セキュリティ上、プログラムが作成したデータを実行する事ができないようになってるからな。

難しい以前に携帯の機械語が分からんので無理。

>>726
どうやんの？

りんご本て何？

>>728
判るよ(藁

>>728
CPUが分かればマシン語も分かんだろうがこのボケがぁー！

オープンソースの、Watcomコンパイラの、コンパイル方法教えてくれ

>>727
別にマシン語とは限ってないでしょ。
綾本ではスクリプトだけどコンパイルして実行してるよ。

それ以前にケータイ上で動くスクリプト作って
何に使うのかってほうがよっぽど疑問なんだけど。
良い使い道ある？

SPAM送信スクリプトとか

>>734
ユビキタスがはやりです

>>734
ごめん、徹夜明けでママン語に見えた。orz

>>737
はぁそうですか。で？

綾って呼び捨てにするな！

>>737-739
いちいち反応すんな、ﾎﾞｹｪ。

まじめな話、スモールコンパイラ本の字句解析あたりに出て来る
侍ってなにの例えですかね？

りんご農園の喩え話読まされてますますわけわかんなくなったよ（つ'Ａ`）

あれは悪書だなｗ
普通に説明すれば分かるものを、
例え話を持ち出して読者を混乱させているｗ

実行イメージに換算して5kバイト程度の短いインタプリタをCで作りたいのですが、
LISPが良いですか？
括弧に抵抗はありません。
Forthはさっぱりわかりません。
簡単な制御に使います。

Forthがいいんじゃね？

>>745
じゃね、またね。

>>744
Lispは実際に実装しようと思うと面倒だから、Schemeにしといたら？
参考になる小さなSchemeのプログラムがいっぱいあるよ。1000行ぐらいのやつとか。

じゃあSchemeにします。

セルを確保する場合、１つ１つmallocするよりも、
ブロック単位にした方が良いですよね。
最適な数がわからないから、1MBぐらい一気に配列として確保しておいて、
あとは無くなり次第reallocでしょうか。
GCは簡単そうなマーク＆スイープで作ります。
継続はたぶん使わないので、末尾再帰と適当な大域ジャンプだけ
取り付けることにします。

綾の本は初心者には良いよ。

>>749
> セルを確保する場合、１つ１つmallocするよりも、
> ブロック単位にした方が良いですよね。

ここまでいいのに

> あとは無くなり次第reallocでしょうか。

なんでこうなるんだorz

ちょっと遠回りのようでも、人の作った例をいろいろ見て勉強するのがいいよ。

>>751
とりあえずは、りん（ry

ここは本すら書けない香具師らのりんご本への嫉妬スレですね

>>753
低レベル過ぎて困っちゃうんだ。ボクみたいにレベルが高い人だと物足りないって感じ？

っつーか変な例え話されたら余計混乱して分かるもんも分からなくなるだろ普通

人による

Schemeできました。
結構速くて満足してます。

コンパイラとはちょっとずれますが、
木オートマトンについて解りやすい本ないでしょうか？

tree automataでぐぐったら先頭に出てきた
http://www.grappa.univ-lille3.fr/tata/
Tree Automata Techniques and Applications
はどうでしょう。
わかりやすいかどうかは知らない。

>>756
胴衣

洩れ的には大変参考になつた。
新しいことをちょっぴり覚えて興奮した。

興奮？

>>759
むずい．1章で挫折しますた．

あやたんの本。ドラゴンブックを読むための準備の本として立ち読みしとけばOK。
そういう意味では、存在価値があると思う。
行きつけの書籍店でソファーに座りながら読ませていただきました。

>>763
ゴッルァ〜！
慣れ慣れしく「タン」付けすんな！

彼女は、参考書籍の一つにドラゴン本やら、育男先生の本のひとつも挙げてないのは、何故

恋のライバル

>>765
参考にしてないだけだろうｗ

前提知識の中にもその本らは無かったのか

LL(1)文法で表現できる言語と
LALR(1)文法で表現できる言語を教えてください。

曖昧な質問だなぁ。日本語で書ける文章と、英語で書ける文章を
教えてくださいって聞いてると思えばいいのか？

りんご畑で説明できる言語と、
みかん畑で説明できる言語を教えて下さい。

ライ麦畑でつかまえて

>>772
相手にするなw

>>767 >>768
綾ﾀｿってﾊｶｰってことでよろしいか？
コン・パイラ君は、要所要所で、
虎の巻という、虎本か緑竜本か赤竜本かは特定できないが、読んでるようだ。

SchemeとML処理系しか作ったことない漏れでもこのスレでやっていけますか

むしろこれからはMLが旬

>>774
あれが、ドラゴンブックだったのかorz
でも何故りんご酒の作り方までのってるんだ？？？

>>774
つうか虎の巻のところだけ、中田先生が助け舟を出してるように見えたんだけど。
あるいは授業ノートの写しとか。

ジ　アート　オブ　コンパイラVolI〜IV　副題　やさしいコンパイラ
監修　中田育男　著　麻奈＆綾　分売不可
第一回配布　ジ　アート　オブ　コンパイラVolI　字句解析 \5600

文字列を認識する正規表現を考えてるんだけど、文字列の途中で出てくる\'で文字列の終わりとしないパターンはどうすればいいの？

\"[^\"]*\"だと　

"I said \"hello world\"　"を正しく認識してくれません｡

"([^\]*|[\][^"])*"

>>779
ウォ〜！！
こんどは、マナも出すのか！

>>780
lexを使っているとしたら、そんなのは正規表現でがんばるよりも、
スタート条件を使うべきじゃないのか。

flexに2バイト文字を含むソースを噛ませると止まってしまうのは
プリプロセスで取り除いたり置換する以外に、対処しようがないのでしょうか(´･ω･`)

>>781じゃ駄目なのか

>>781もだけど、正規表現でがんばっても、
「"I said \"hello world\"　"」という入力が
「I said \"hello world\"　」
になるだけじゃないのか?
本当に欲しいのは
「I said "hello world"　」
じゃないの?
\tとか\nとかはいらないの?

すいません。初心者があまり考えずに質問してしまいました｡

>>781　LEXのなかでの書き方とちがいメタ文字のエスケープをしない表現なのかな？
[\][^']は\nにマッチするけど\"にはマッチしないでいいのかな？

>>783
スタート状態とかいま調べ始めたばかりです｡すいません。

>>786
確かにそうですね。
字句解析対象のファイル中に\'を含む文字列があったときエラーを起こさないようにどうすればいいのかにばかり気が向いてました｡
最終的にはそう変換された字句値が欲しいんでした｡
もうしこしLEXとか勉強してみます｡
ありがとうございました｡

まあわからないならいいや。

マナタン
アヤタン

>>779
やさしいコンパイラと謳うからには
分かりやすい本なんだろうな？

>>790
コンパイラを作るだけならそんなに難しくないと思うけど…

写真集発売にならんかなぁ…
「イチゴ畑でつかまえて」

変なの(792など)が常駐してるおかげでスレが機能しない
荒らし認定します

中田さんっていい本出してるみたいだけど
あんまり講義はよくないんだよなぁ。

>>793
お前もナw
>>794
どこの大学？

法政だっけ？

退官されたんじゃね？

講義が苦手な教官って結構いるからな、教科書がいいなら家で勉強すればよかろうかと、
講義は下手、本を書けばクソ、研究成果は上がらない(駄目押し)なんて奴結構いるし、それよりマシ。

なんか私呼ばれませんでした？

>>799
あんた誰？ハァハァ

「大原ゆき」で検索したら京都バスが引っ掛かった(;´Д`)

おお、バス屋さんか？！

ええけつしとるのぉ(*´Д`)ﾊｧﾊｧ



うはっｗｗｗおｋｗｗｗ？？

↑トロイが仕掛けられています。

最近よく見かけるけど何のトロイ？

Firefoxのバグ利用したやつだろ。
2チャンネルに書き込むだけで、
2チャンネルが危ないってわけじゃないから心配するな。

>>806
漏れも火狐使ってるんだけど((；ﾟДﾟ)ｶﾞｸｶﾞｸﾌﾞﾙﾌﾞﾙ
いつもはJaneだけど

CreateGameー陸海空オンラインー
http://www112.sakura.ne.jp/~kaientai-project/creategame.htm
2chスレ
http://game10.2ch.net/test/read.cgi/mmominor/1109935948/

>>808
プログラマの条件が悪すぎる。
損しかしないじゃないか。
しかもC#って厨臭い…

まぁいいんじゃない？
厨が興味示さない言語で流行ったのって無いんだし。

>>810

> 厨が興味示さない言語で流行ったのって無いんだし。

そ、そうなのか？orz

関係無いけど、厨が興味示す書籍はやはり流行るのか？

さぁ？

ただ、厨が興味を示さない書籍で流行ったのは無いよ。

v(A->B)=true <=> v(A)=true のとき v(B)=true
v(A)=falseのときv(B)の値は任意

対偶を取れば、「流行った書籍には厨も興味を示す」になるかな。

>>814
なんとなく納得。

>>814
とすると、例の畑の本は大流k（ry

いいかげん本の内輪ネタはやめてくれないかなー

お前が謝るまで、このくだらないネタを止めるつもりはない。

取り合えず、墨染さくら先生を崇め讃えよう。

どなたですか

>>820

この神です。
http://www.cmagazine.jp/contents/200407.html

最先端の論文ばかり読んでる>>817も、息抜きにdqnが読んでる綾本に目を通すのもいいじゃなぁあぃ
残念〜! dqnは、綾本も理解出来ませんから〜.

つか、ネタふれば？誰もついて来れなかったりして

>>822
最先端つーても、単に新しい用語を（分かり切った）概念に割り当てる
だけでしょ？

この分野、発展してないというつもりはないが、一版のＩＴ分野において
恐ろしく改善度合が低い。（おそらく部署最低かもw）

え　　　　　っ　　　　　る　　　　　ﾊ　　　　　
　　ぇ　　　　　し　　　　　の　　　　ァ　ﾊ　　
　　　　け　　　　　と　　　　　ぉ　　　　　ァ　
うはっwww夢がひろがりんぐwwwwww　　　

>>823
黙ってペーパー読め

「これは読んどくべき！」という基本的な論文ってどういうものがあるのでしょう？
たとえば関係databaseにおけるCodd，logicでのGentzen，検証でのFloydやHoareの論文に
相当するものをあげてみませんか？　Kildall? Cousot?

AHO本

>>826
ちょっと古いような…
Chaitinのgraph coloringとかCytronのSSAのやつとか

SSAを説明してみなよ

>>826
SSAのoriginalはCytronでなくWegmanでない？
SSAとは、同一変数に対する定義点が高々一つしか存在しないという性質を持つ中間語形式のこと。
これにより定義点とその使用点の関係が明示的になるので各種最適化が簡潔になる。
その特徴は関数型言語と共通するところが多い。弱点は配列やポインタの扱い。

>>830
SSA関連の論文で参照されてるのは、ほとんど全てCytronって希ガス。

SSAで最適化書くのが楽になった、という経験が余りないなあ。
依存チェーンをたどる古典的なやり方に慣れてるだけかも知れんが。

bisonというかyaccを最近使い始めたんでスが
コンパイラのようなものを作っておるんでスが

yaccでは構文木をつくるだけにしておいて
そいつに対しvisitorパターンでホゲホゲする
ってのが定番なんでしょうか

定番なんてありません。

うはｗ
情報量ゼロｗ

思ったように作ってみなさい。そうすればきっと報われるでしょう。

オブジェクティブに作ったら逆にうっとうしくなるかもだよー。

処理系作るなら関数型がええよー
OCamlにはocamlyaccとかocamllexとかあるからええよー
Cより楽やよー

作るのが簡単なものは使うのが面倒なことが多い

使うのが面倒？？？
できあがる物は同じなのに？

アフォですか？

>>841
なに？自分の主張が分かってもらえなかったら、アホなのか？
しかも、何もしなくても言いたいことが伝わると思っている。
まるで子供だなww

＞作るのが簡単なものは使うのが面倒なことが多い
意味不明。

あと、どうでもいいけど、議論ではアホと言った方が負けなんだよ。知ってる？
なぜなら、その時その人に言えることがそれ以外無いからだ。

>>844
意味不明。

>>845
ぎゃはははははは
こんなにわかりやすくいってやってるのにわからないなんてしょうしんしょうめいのあほだなwwwwwwwwwwwwwwwwwwww

>>846
なに？自分の主張が分かってもらえなかったら、アホなのか？
しかも、何もしなくても言いたいことが伝わると思っている。
まるで子供だなww

あと、どうでもいいけど、議論ではアホと言った方が負けなんだよ。知ってる？
なぜなら、その時その人に言えることがそれ以外無いからだ

いいかげん論文の内輪ネタはやめてくれないかなー

誰だよ荒してる奴

>>849
そんな高尚（でもないか）なものがこのスレのどこに？

ゲームなどのコンソール用にpureObjectなスクリプト言語作ってみました。（NewtonScriptとかselfみたいな言語です）
自己記述も可能に作ったので（ＶＭ用のコンパイラ）デバッガ、エディタ（ANSIエスケープシーケンス端末用）
全部を自己記述で完結できたのですが、ビットマップディスプレイ用に簡易なウィンドウシステムを導入
しようとしてグラフィックの扱いをスクリプトのレイヤーとネイティブの間の粒度をどれくらいの細かさにすべきか
悩んでおります、なにかこの手の完全に閉じた環境のためのウィンドウシステムでスクリプト言語がらみの参考文献
ってありませんか？

※squeakは見てみましたがあそこまでやる気力はもうありませんorz

>>852
かなりのご年輩の方をお見受けした。
Xは駄目なの？

>>853
俺は>>852ではないけど、なんで年配だと判断できたの？？

自演だからじゃないかな

かなり美人とお見受けした。ハァハァ

>>855
自演じゃないだろ。Xなんて全然関係ないモン持ち出して来てるし。

えーと、ネタスレでしたら空気読まないで済みません、他スレに移動します。
まじめな話、独自言語と仮想マシンを用いてGUI付きの環境を構築しているものはsmalltalk以外に知らないのです。
これらを論じていてかつ入手しやすい書籍があればベストですが見かけませんでした。
(LittleSmalltalkはテキストコンソールベースですがかなり参考になりました、今はもう絶版ですが）

GUI部分の実装をどうするかというのはポリシーの問題だから、
書籍にはあまり書かれないんじゃないかと思う。

・ウインドウ一枚だけもらって後は自前のGUIシステム(Squeak)
・各ウインドウはネイティブの物をもらい、中身は自前描画(VisualWorks)
・ネイティブウィジェットを使う自前クラスを構築(Ambrai Smalltalk)
・ネイティブライブラリ使えるから勝手にしてくれ(各種スクリプト言語)

どれが優れてるって一意には決まらんよね。

>>858
あおきあつしちゃんのページいきなよ。
Smalltalkerを自認してるしWEBページも情報豊富だよ

>>859
>どれが優れてるって一意には決まらんよね。

同意。
JavaだとAWTの頃はOSのネイティブなコンポーネントを使っていたが、
Swingからは、各ウィンドウをOSからもらい中身は自前描画するようになった。
だからどのOSでも同じように見える…かというと、フォントの問題で
そうもいかんかったりするんだけど。

HSPなんかはWindowsオンリーで開き直ってるしね。

>>852の用途がよくわからないんだけど(「ゲームなどのコンソール用」って?)
絵を描いたりするのなら、GUI部品並べるだけではだめだから、
線やら円の描画が要るし、イメージの描画や、場合によってはスプライトなんかも
用意しなきゃいかんだろう。
「粒度」という言い方が適当かどうかは知らんが、俺も今悩んでるところ。

汎用的にするならXもいい選択肢だと思うが，面倒なのが問題だな。

ゲーム考えてしかも汎用適だったら、オープンGLあたりじゃだめなの？

GUIの話してるのにOpenGL

OpenGLでGUI作っちゃいかん理由でもあるのかね？

人によって考えてるレイヤーが違うような…

>>864は部品をレイアウトするレベルの話
>>862や>>863はもっと低レベルの話
をしてるんかな。

OpenGL が低レベルなのはそのとおり。
ただし、 OpenGL でうまく行ってる例多数。
どう説明できる？

GUIはスレ違いだろ。

>>869
そうだそうだ！
りんごの話に戻せ！

墨染さくらの話に戻せ！

だれそれ

CマガでOSの記事を書いてたひと？

そうだ。墨染さくら祭りがいまいちだったので改めてやる必要を感じた。

>>869
そうでもないと思うけど・・・

例えばMAX/MSPみたいなものを考えていたとしても、GUIはただのインターフェースに
過ぎないからね。

言語もインターフェースですが

>>868
その例っていうのは GL じゃなくて GLUT 使っているんじゃないの?

>>871
美人なのか？

>>879
お前はイケメンなのか？

おまえは無茶メン

プリプロセッサの扱いに困ってます。

ソースファイルをプリプロセッサに食わせて、出てきた処理済みファイルに対して
コンパイルを行うとします。

ここで、プリプロセス後のファイルは、それまでの情報を
失っている場合がありますよね。
特に、コンパイル中にエラーが起きた場合には、
行番号がずれてしまっていることがあるため、ユーザーには意味不明な
エラー行を吐いてしまうと思うんですよね。

みなさんは、ここらへんをどうやって解決しているんでしょうか？

>>882
プリプロセスの出力をccに喰わせるののなら、#line ディレクティブを
入れるという手があるよ。

無知晒してないでCのプリプロセッサについて調べてみろや。

おれはCのプリプロセッサをLISPに改造したぜ

それに通るコードを晒してみてくれ。

プリプロセスならm4とか使えば楽なんじゃないの
使った事ないけど

しったかは口をあけるな

んじゃ、>>888のおすすめのプリプロセッサは?
できればm4より記述力が高くて使いやすいやつ。

m5

ms

>>882
自分でプリプロセッサを書いてるのかな？

ターゲット言語がC/C++なら、>>883の言うように適切な#lineを挿入しましょう。

入力ファイルの行番号と、出力ファイル(ソース)の行番号を管理しておいて、
それらが一致しなくなったら自動的に
#line ほんとの行番号 "inputfilename"
という行を挿入するような出力ルーチンを用意しておけばいいと思います。

私はJava向けのプリプロセッサ(というかコード生成系)を書きましたが、
Javaには#lineがないので、エラーが出たら勘で元の場所を見つけてます。
なにかいいアイデアがあったら教えてくらさい。

似たような情報を保存しておいてエラーメッセージの方の行番号を変換したら?

>>892
> 私はJava向けのプリプロセッサ(というかコード生成系)を書きましたが、
>Javaには#lineがないので、エラーが出たら勘で元の場所を見つけてます。

この場合の「エラー」がどんなものかわからないんだけど、892が作ったのが
cpp流の、文法を理解しないプリプロセッサで、javacでコンパイルエラーを
起こし、その場所が分からなくて困る、ということなら、原始的だけど

//#line ほんとの行番号 "inputfilename"

みたいなコメントを入れるとかかね。人間がソースを見れば、
どこの場所かわかるだろ。

もし、そのプリプロセッサが、完全なパースを行いエラーのないJavaソースを
吐くようなもので、実行時エラーの行番号を知りたい、ということなら、
いっそJavaソースではなくバイトコード吐かせた方が楽なような気がする。

たとえば、javac のエラーが
Hoge.java:123: error
みたくなってたら
Hoge.org とかいうファイルの123行目を見ると元のソースと行番号が分かるようにしておく。
後は、エディタのマクロを書いて、
javacのエラーメッセージからワンキーでソースのエラー行にジャンプ。
もしくは>>893

ここの住人で、本当に言語やってる香具師（趣味除く）って
どれぐらいいるの？

もし、よかったらどんなのやってるかおしえて！

言語はあくまで道具だからな
道具を作って喰っていけるのは一握りでしょうな。

>>896
ﾉｼ

NDAがあるんでこれ以上は�_

>>896
仕事していたりすると書けない事もある。
書くとバレるぐらいドマイナーな事やっている事もあるので2ちゃんではボケ役が楽しい。
ギャグが下手くそすぎるのが悩みの種。

会社の製品に無理やりスクリプトエンジンぶち込んだことはあるが、
それ以上はやったことないわ
言語だけで食っていける人はちょいうらやましい

>>899
書いてバレないようなことやってても食えないからなー

幸か不幸か仕事でコンパイラを作ってますが、余り書いて面白いことがないですね。
仕様書作成→コーディング→単体テスト→結合テストのルーチンワーク。

ところで皆さんのところでは開発言語は何を使ってますか？
うちはまだCです……いい加減つらい。

仕事で言語って移植がほとんどなの？？
全然想像できないなぁ…

>>896
ﾉ
とはいってもパーサだけだけど

>>903
んなわけないんだけど、書いたら即バレ(w

つかちょっとでも事例書いたらバレる。

>>902
うちもCだ。せめてC++にしたいところだが、1Mstep以上のコードを今更書き直せない。

今どきCかよ。ご愁傷様。
ILのクラス階層が作れないと辛かろう。

>>905
多分携帯だろうな。
今時、活気あるところといえば、携帯ぐらいしか思い付かんw

>>900
俺も一度客先のシステムにスクリプトエンジン組み込んだことある。
別のシステムでは、スクリプトエンジンと言うほどではないが、
式を評価するパーサと評価器を組み込んだ。
Excelなんかがいい例だけど、ユーザが入力した式を評価する程度の用件なら、
結構いろいろなシステムであると思う。

ATコマンドパーサなら昔かいた事ある

コマンドラインオプションパーサならいつも書いている

getopt(getoptlong)とか使わないの?