- 1 名前：デフォルトの名無しさん mailto:sage [05/01/19 19:06:04 ]
- プログラミング言語処理系の開発に興味のある人達のスレッドです。
字句解析・構文解析から，データフロー解析，ループ並列化，タスク並列化，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/
4 pc5.2ch.net/test/read.cgi/tech/1100097050/ (前スレ)
関連リンクは多分 >>2-10 あたり
- 255 名前：デフォルトの名無しさん mailto:sage [05/01/22 12:04:51 ]
- >>253
漏れもspiritは見切ったね。ありゃboost信者でもヤバイと思うもん。
- 256 名前：デフォルトの名無しさん mailto:sage [05/01/22 12:07:55 ]
- でもbisonはC++のコードまともに吐けないからねえ。
グローバルに色々宣言しまくるから、なんか列挙子が他と被ってむかつく。
bison++は5年以上更新が無いし、bisonも一応オプションでC++のコード吐けるけど、
flexが吐くC++コードと連携できないんじゃ話にならないね。
- 257 名前：デフォルトの名無しさん mailto:sage [05/01/22 12:09:17 ]
- GNUツールはお話にならないね。
- 258 名前：デフォルトの名無しさん mailto:sage [05/01/22 12:09:32 ]
- bisonはいつの間にかGLR(1)すら吐けるようになってるし、
デストラクタまで自動化されてる。
日本にそういう資料無さ過ぎ。
- 259 名前：デフォルトの名無しさん mailto:sage [05/01/22 12:10:19 ]
- >>257
吐いたコードはGPL適用外なんで
- 260 名前：デフォルトの名無しさん mailto:sage [05/01/22 12:12:28 ]
- spiritはミニ言語のコンパイルに30分かかって5MB位の実行ファイル吐き出したﾜﾛｽ
- 261 名前：デフォルトの名無しさん mailto:sage [05/01/22 12:12:52 ]
- 日本人お話にならないね。
- 262 名前：デフォルトの名無しさん mailto:sage [05/01/22 12:13:15 ]
- 三国人よりマシだけどな
- 263 名前：デフォルトの名無しさん mailto:sage [05/01/22 12:14:43 ]
- それがspiritクオリティ
- 264 名前：デフォルトの名無しさん mailto:sage [05/01/22 12:17:42 ]
- てめーらどのコンパイラコンパイラなら満足なんだよ
- 265 名前：デフォルトの名無しさん mailto:sage [05/01/22 12:20:22 ]
- bisonでいいや('A`)
- 266 名前：デフォルトの名無しさん mailto:sage [05/01/22 12:25:10 ]
- ANTLRならC++コード吐けるぞ。使った事無いから誰か使って使い方教えてくれ。
- 267 名前：デフォルトの名無しさん mailto:sage [05/01/22 12:28:57 ]
- ANTLRは左再帰駄目らしいぞ。spiritもそうだけど
文法考えるのに余計なストレスが増えて使ってられんな。
勝手に文法置き換えてくれたりはしないのかね？
- 268 名前：デフォルトの名無しさん mailto:sage [05/01/22 12:30:36 ]
- bison最強論
- 269 名前：デフォルトの名無しさん mailto:sage [05/01/22 12:33:03 ]
- てか紛らわしいからANTLLに改名しろよ(w
- 270 名前：デフォルトの名無しさん mailto:sage [05/01/22 12:34:45 ]
- CCなんかなくてもコンパイラぐらい作れるっちゅうねん。
- 271 名前：デフォルトの名無しさん mailto:sage [05/01/22 12:35:19 ]
- 使った方が楽だ
- 272 名前：デフォルトの名無しさん mailto:sage [05/01/22 12:35:59 ]
- 禿同
- 273 名前：デフォルトの名無しさん mailto:sage [05/01/22 12:38:48 ]
- てかANTLR使うくらいなら手書きでいくね？
テーブルも作らない単なる再帰下降らしいし。
- 274 名前：デフォルトの名無しさん mailto:sage [05/01/22 12:39:51 ]
- もうCCの話飽きた。結局bison+flex最強って事でファイナルアンサー。
- 275 名前：デフォルトの名無しさん mailto:sage [05/01/22 12:40:53 ]
- bisonはC++との親和性が…
クラスの実体渡せないのが…
- 276 名前：デフォルトの名無しさん mailto:sage [05/01/22 12:41:40 ]
- ↑バーカ実体毎回渡してたら重くて使ってられﾈｰﾖ。おとなしくポインタ渡しとけ。
- 277 名前：デフォルトの名無しさん mailto:sage [05/01/22 12:43:15 ]
- 解放するのﾏﾝﾄﾞｸｾ
- 278 名前：デフォルトの名無しさん mailto:sage [05/01/22 12:43:50 ]
- そこでBoehmですよ
- 279 名前：デフォルトの名無しさん mailto:sage [05/01/22 12:54:14 ]
- bison用のC++ LALR skeletonらしいんだけど、使ったことある方いますか？
www.bj-ig.de/software/bison/
- 280 名前：デフォルトの名無しさん mailto:sage [05/01/22 12:57:53 ]
- てか標準で付いてるlalr1.ccとなんか違うのか？
- 281 名前：デフォルトの名無しさん mailto:sage [05/01/22 13:03:49 ]
- Lexerが字句解析をしてる間にParserがブロッキングされないらしい…?
良く読んでないからﾜｶﾞﾝﾈ('A`)
- 282 名前：デフォルトの名無しさん [05/01/22 14:06:44 ]
- いまのyacc/bisonだと、取りたいアクションが同じでも
還元の条件後とに、このように（↓）書かないと行けませんよね？
L1: R1 {
Action1();
}
| R2 {
Action1();
}
単純に考えて、
L1: R1
| R2 {
Action1();
}
見たいに書けない理由って何かありますか？
- 283 名前：デフォルトの名無しさん mailto:sage [05/01/22 14:12:40 ]
- R1のときに何もしないという規則が書けない。
普通はルールをガーっと書いて文法がある程度できてることを確認してから
コードを入れていくし。
- 284 名前：デフォルトの名無しさん [05/01/22 20:34:40 ]
- BNFってファイルとして持っていて、
それをコンパイル時に読み込むんですか？
それともただの設計図的なもの？
- 285 名前：デフォルトの名無しさん mailto:sage [05/01/22 20:38:15 ]
- >>284 が何を言いたいのか
全然わからん。
- 286 名前：デフォルトの名無しさん mailto:sage [05/01/22 20:44:28 ]
- >>284
はい。
- 287 名前：デフォルトの名無しさん mailto:sage [05/01/22 20:46:51 ]
- >>286
,一-、
/￣ l | ／￣￣￣￣￣￣￣￣￣￣
■■-っ ＜ んなわきゃーない
´∀｀/ ＼＿＿＿＿＿＿＿＿＿＿
＿_／|Ｙ/＼.
Ё|＿_ | / |
| У.. |
- 288 名前：デフォルトの名無しさん mailto:sage [05/01/22 20:48:12 ]
- >284
実行時に有限時間内に再構成可能なparserを読み込んで使えたら、君も人工知能の進化に貢献できる…とだけ伝えておこう。
- 289 名前：デフォルトの名無しさん mailto:sage [05/01/22 20:48:29 ]
- >>287
いや、取り合えず返事しとこうかと。
- 290 名前：デフォルトの名無しさん mailto:sage [05/01/22 21:01:20 ]
- >288
これを世界征服に使うかどうかは君たちの哲学次第。健闘を祈る。
- 291 名前：282 [05/01/22 22:07:24 ]
- >>283
R1の時に何もしないではなく、R1とR2に同じアクションを取らせたいのです。
- 292 名前：デフォルトの名無しさん mailto:sage [05/01/22 23:50:53 ]
- >>282
yaccの書き方でそう決まってるだけ。
L1: R1 | R2 {A}
を
L1: R1 {A} | R2 {A}
に変換するプリプロセッサでも書け。
- 293 名前：デフォルトの名無しさん mailto:sage [05/01/23 00:03:55 ]
- >>288
EarleyやCKY
- 294 名前：デフォルトの名無しさん [05/01/23 00:12:25 ]
- >>292
LALR（１）か何かの制約だとおもてたよW
- 295 名前：デフォルトの名無しさん mailto:sage [05/01/23 01:23:17 ]
- なんだ、ルールとアクションの区別もつかないアホだったんかよ。
- 296 名前：デフォルトの名無しさん mailto:sage [05/01/23 02:02:44 ]
- >>285
お前馬鹿だろ？
コンパイラの前に母国語を何とかしたら？
- 297 名前：デフォルトの名無しさん mailto:sage [05/01/23 02:22:23 ]
- ６時間近く前の書き込みをよく煽れるな。
俺だったら恥ずかしくて絶対できねぇｗ
- 298 名前：デフォルトの名無しさん mailto:sage [05/01/23 09:22:40 ]
- 時間差攻撃というやつですね。
- 299 名前：デフォルトの名無しさん mailto:sage [05/01/23 10:38:07 ]
- けなしはするが根拠は示さない、それが2chクオリティー
- 300 名前：デフォルトの名無しさん mailto:sage [05/01/23 12:23:38 ]
- 6時間前に対してのレスなんて全く普通だろ。
- 301 名前：デフォルトの名無しさん mailto:sage [05/01/23 13:42:18 ]
- さすが、24時間張り付きは違うね
- 302 名前：デフォルトの名無しさん mailto:sage [05/01/23 15:31:17 ]
- 24時間張り付き即レスできるにもかかわらず敢えて数時間放置して焦らすのがここでのたしなみ。
もちろん、dat落ちギリギリで保守するなどといった、はしたない住人など存在しない。
- 303 名前：デフォルトの名無しさん mailto:sage [05/01/23 15:56:22 ]
- www.fuka.info.waseda.ac.jp/~washi/SPathCC/
> SPathCC とは？
>
> Augmented BNF に従って記述された文法定義を用いて、文法定義に従って
> 文書の字句・構文解析を行う解析器（Parser）を生成する解析器生成系（Parser Generator）と、
> XPath に類似する構文経路表現 SPath（Syntax Path Language）を用いて構文木に対して
> 内容を伴う構造問合わせを実行可能な SPath 処理系の統一パッケージです。
見つけただけで、まったく使ったことない。
- 304 名前：デフォルトの名無しさん [05/01/23 19:30:26 ]
- ちょっと戻るが、Ｃの関数（function）は、
関数でなくて機能として訳した方がよかったね。
- 305 名前：デフォルトの名無しさん mailto:sage [05/01/23 19:37:35 ]
- 引数取るんだから関数でいいじゃん
- 306 名前：デフォルトの名無しさん mailto:sage [05/01/23 19:39:45 ]
- また馬鹿が舞い降りたか
- 307 名前：デフォルトの名無しさん mailto:sage [05/01/23 19:41:41 ]
- 戻り値voidでも関数？
- 308 名前：デフォルトの名無しさん mailto:sage [05/01/23 19:42:40 ]
- >>304
あほなことを・・・
もし"function" を「機能」なんて訳したら、
それこそボコボコに叩かれるだろうが。
そんなことをした奴には、二度と翻訳の
仕事は廻ってこないだろう。
それどころか、頭脳労働の職に就けるか
どうかも怪しいね。
- 309 名前：デフォルトの名無しさん mailto:sage [05/01/23 19:54:50 ]
- 【＠】ファンクション、【変化】《動》functions | functioning | functioned、【大学入試】
【名-1】機能、作用、働き
【名-2】関数
【名-3】儀式、社交的会合
【名-4】職務
【自動】機能する、働く
- 310 名前：デフォルトの名無しさん mailto:sage [05/01/23 19:57:15 ]
- だから？
- 311 名前：デフォルトの名無しさん mailto:sage [05/01/23 20:15:32 ]
- お前は池沼だなってことじゃないか？
- 312 名前：デフォルトの名無しさん [05/01/23 20:19:26 ]
- わざわざ区別するためにfunctionality
なんて単語もある
- 313 名前：デフォルトの名無しさん mailto:sage [05/01/24 21:44:00 ]
- りんご畑読んだ香具師いる？
- 314 名前：デフォルトの名無しさん [05/01/24 21:46:39 ]
- 文の定義も最新の言語では変わって来てるんだね。
勉強になった。（例：Ruby）
- 315 名前：デフォルトの名無しさん mailto:sage [05/01/24 21:48:21 ]
- 巣に帰れ
pc5.2ch.net/test/read.cgi/tech/1049778124/
- 316 名前：デフォルトの名無しさん mailto:sage [05/01/24 21:59:24 ]
- りんご畑は読んでるうちにあほらしくなってきた
- 317 名前：デフォルトの名無しさん [05/01/25 00:23:30 ]
- 古い定義は新しい言語によって進化する。
- 318 名前：デフォルトの名無しさん mailto:sage [05/01/25 21:17:47 ]
- りんご畑を例えに使うこと自体かなり苦しい感じだった。
初めてスクリプトだのに触る人には全然イメージ湧かなそう。
勉強には向かないわ、iアプリ向けなんかに書くからソースも読みづらいわでお勧めできない。
- 319 名前：デフォルトの名無しさん [05/01/25 23:43:38 ]
- >>318
そうか？俺は結構面白かったけどな。といっても最後まではまだ読んでない。
例えがちょっと苦しいのは同感だが、女の子らしくって説明が可愛い。
夜中でも何か目が冴えて頭に入る感じｗ
まぁ、全体を初心者が見通すにはいいんでない？
- 320 名前：デフォルトの名無しさん [05/01/26 22:25:15 ]
- この手の本で、女性がかいてるのって珍しくない？
- 321 名前：デフォルトの名無しさん mailto:sage [05/01/26 22:25:44 ]
- 朝菜ﾀｿは？
- 322 名前：デフォルトの名無しさん mailto:sage [05/01/26 22:26:41 ]
- りんご畑ってどの本？
- 323 名前：デフォルトの名無しさん [05/01/26 23:45:16 ]
- >>322
スモールコンパイラ、結構可愛い
- 324 名前：デフォルトの名無しさん [05/01/27 23:20:15 ]
- >>321
だれそれ？
- 325 名前：デフォルトの名無しさん mailto:sage [05/01/27 23:29:44 ]
- >>324
私です
- 326 名前：デフォルトの名無しさん mailto:sage [05/01/27 23:58:54 ]
- そんなエサで俺様が（ｒｙ
- 327 名前：デフォルトの名無しさん mailto:sage [05/01/28 17:17:20 ]
- クマー！
- 328 名前：デフォルトの名無しさん [05/01/29 00:16:01 ]
- >>321
りんご畑のねーちゃんのこと？
- 329 名前：デフォルトの名無しさん [05/01/29 23:24:43 ]
- 再帰下向きって学習や研究にはいいけど、実用的なのかな？
- 330 名前：デフォルトの名無しさん mailto:sage [05/01/29 23:27:49 ]
- ANTLRは再帰下向き
- 331 名前：デフォルトの名無しさん mailto:sage [05/01/30 10:41:07 ]
- >>329
CFGから外れる処理を行いたい場合超有効。
- 332 名前：デフォルトの名無しさん mailto:sage [05/01/30 13:05:09 ]
- 本流は、再帰上向き
- 333 名前：デフォルトの名無しさん [05/01/30 20:28:06 ]
- >>332
同意。特に実用的なプログラムでは、多少の例外を除いてまずそう。
- 334 名前：デフォルトの名無しさん mailto:sage [05/01/30 20:41:16 ]
- 手書き？
- 335 名前：デフォルトの名無しさん mailto:sage [05/01/30 21:36:48 ]
- >>333
「再帰」上向きってどんなプログラムだよ
- 336 名前：デフォルトの名無しさん mailto:sage [05/01/30 22:09:44 ]
- 再帰下向きで解析できないような構文ってどんなのですか？
- 337 名前：デフォルトの名無しさん mailto:sage [05/01/30 22:16:23 ]
- >>329
331ではないが、
新しい構文を追加するときに、
LALRの制限とかCFGの限界とかに縛られなくていいのは
ある意味実用的。
- 338 名前：デフォルトの名無しさん mailto:sage [05/01/30 22:28:33 ]
- 左再帰も出来ない時点でウンコ
- 339 名前：デフォルトの名無しさん mailto:sage [05/01/31 04:50:48 ]
- >>1の内容とは無関係のシンタックスの話ばかりですね
- 340 名前：デフォルトの名無しさん mailto:sage [05/01/31 06:36:05 ]
- 字句解析・構文解析から，
字句解析・構文解析から，
字句解析・構文解析から，
字句解析・構文解析から，
字句解析・構文解析から，
字句解析・構文解析から，
- 341 名前：デフォルトの名無しさん mailto:sage [05/01/31 07:34:35 ]
- まぁ、２ちゃんねるっていう掲示板の型式で、この参加者のレベルで
盛りあがれるのは、せいぜい、字句解析・構文解析までってことだな。
そこら辺りまでなら、学部レベルの授業で皆なじみがあるし。
- 342 名前：デフォルトの名無しさん mailto:sage [05/01/31 12:43:02 ]
- あくまで勉強として、独自スクリプトを作ってみたいんですが、
どういうアプローチで始めるのが良いでしょうか。
中間言語を生成するコンパイラと、実行用アプリケーションにわけようかと思っています。
なお、経験はJavaサーブレットを使ったシステム開発程度で、
文字列の解析はあまり経験がないです。数式程度。
- 343 名前：デフォルトの名無しさん mailto:sage [05/01/31 12:45:00 ]
- っていうか、自分の研究分野のことを語り出すと身元ばれるし、誰も知らないような
有益な情報は匿名で出したらもったいないし。
- 344 名前：デフォルトの名無しさん mailto:sage [05/01/31 13:00:46 ]
- ﾌﾟｯ
- 345 名前：デフォルトの名無しさん mailto:sage [05/01/31 13:04:37 ]
- >>344
オナラ禁止。
- 346 名前：デフォルトの名無しさん mailto:sage [05/01/31 17:03:05 ]
- 研究といえるほどの分野かよ
有益な情報とはなんだよ
知る人ぞ知るマイナー知識というだけで、難しい内容なんかあるかっちゅーの
処理系作る気ないならどっか行ってくれ
読んでいてクソも詰らん
- 347 名前：デフォルトの名無しさん mailto:sage [05/01/31 18:20:46 ]
- >>342
綾本のサンプルをダウンロードしていじるとか
www.gihyo.co.jp/books/support.php/4-7741-2177-0
- 348 名前：デフォルトの名無しさん mailto:sage [05/01/31 20:39:21 ]
- >>346
実は、研究と言えるほどの分野だよ。
今もコンパイラに関する論文はかなり出てる。
- 349 名前：デフォルトの名無しさん mailto:sage [05/01/31 21:05:55 ]
- (笑
- 350 名前：デフォルトの名無しさん mailto:sage [05/01/31 21:39:40 ]
- >>346
面白い人ですね。芸人の方ですか？
- 351 名前：デフォルトの名無しさん mailto:sage [05/01/31 21:42:25 ]
- >>346
処理系作るだけしか興味がないのか。
こんなところではまともな議論にはなるわけがない、というのは納得できるな。
…専門学校生かな？
- 352 名前：デフォルトの名無しさん mailto:sage [05/01/31 21:53:12 ]
- >>351
ちょっとやればサルでも分る事を偉そうに語りまくるから、何だコイツと思ってるだけ、
それだけ。
- 353 名前：デフォルトの名無しさん mailto:sage [05/01/31 21:57:00 ]
- >>342
なるほど、綾本というのはスレの頭にも載ってる本ですね。
amazon評価だと○動くサンプルコードが載ってる ×たとえがわかりにくい
とのことなので、パーサ初心者にはいいのかも。
店頭で探してみます。
- 354 名前：デフォルトの名無しさん mailto:sage [05/01/31 22:01:08 ]
- >>352
ほう、サルでも解かることを一生懸命研究している人が滑稽だな。
- 355 名前：デフォルトの名無しさん mailto:sage [05/01/31 22:05:19 ]
- (爆
|
 |
