- 1 名前：デフォルトの名無しさん mailto:sage [2005/05/06(金) 08:28:29 ]
- プログラミング言語処理系の開発に興味のある人達のスレッドです。
字句解析・構文解析から，データフロー解析，ループ並列化，タスク並列化，SSA変換，
CPS変換，レジスタ割付，命令スケジューリング，ソフトウェアパイプライン等各種最適化，
それにVM，GC，JIT，リンク時最適化，動的バイナリ変換などなど。
意味論に関する話題も歓迎です。
前スレ
1 pc.2ch.net/tech/kako/981/981672957.html
2 pc2.2ch.net/test/read.cgi/tech/1021136715/
3 pc5.2ch.net/test/read.cgi/tech/1070089173/
4 pc5.2ch.net/test/read.cgi/tech/1100097050/
5 pc8.2ch.net/test/read.cgi/tech/1106129164/ (前スレ)
関連リンクは多分 >>2-10 あたり
- 477 名前：デフォルトの名無しさん mailto:sage [2005/06/14(火) 23:31:32 ]
- ありえん。
数式処理屋、エキスパートシステム屋、AI屋、あと画像処理屋くらいなもんだろう
Lisp専用機使ってたのは
- 478 名前：デフォルトの名無しさん mailto:sage [2005/06/14(火) 23:37:11 ]
- LISPのアンチというのがわからんな。
LISPの機能とかは他の言語で代用は無理だからなあ。
まあEmacsなかったらm4以下の存在だったかもしれない。
- 479 名前：デフォルトの名無しさん mailto:sage [2005/06/14(火) 23:39:59 ]
- アンチを作りたくてしょうがなさそうな発言だね。
- 480 名前：デフォルトの名無しさん mailto:sage [2005/06/14(火) 23:42:36 ]
- >>478のようなやつがなんでこのスレにいるんだ…あきらかに無縁だろ…
- 481 名前：472 [2005/06/14(火) 23:50:38 ]
- >>475
やはり本がないと（汗
>>477
専用器なんてあったんですか！
ある意味凄い。
- 482 名前：デフォルトの名無しさん mailto:sage [2005/06/14(火) 23:56:08 ]
- シンボリ
- 483 名前：デフォルトの名無しさん mailto:sage [2005/06/15(水) 00:02:03 ]
- >>477
「Lisp専用機」という存在自体が今の人間にとってはそれこそ「ありえん」だろう。
この黄金期も短かった。
最大の理由は、当時登場した万能太陽神に信仰を奪われたこと。
おまけの理由としては、一大国家施策としてヤンキーでなくおふらんすの言語を推進したこと。
今となっては>>478が言うように、エディタのおまけ言語としてしかLispをさわったことのない
人間のほうが多くなってしまった。
- 484 名前：デフォルトの名無しさん mailto:sage [2005/06/15(水) 00:04:03 ]
- IPSJ＞コンピュータ博物館＞年表と日本の歴史的コンピュータ
ワークステーション・Lispマシン
www.ipsj.or.jp/katsudou/museum/history/history_ws.html
www.ipsj.or.jp/katsudou/museum/history/profile_ws.html
1974：MIT：CONSマシン
1974：Xerox PaloAlto：Altoワークステーション上にInterLispを移植
1976：MIT AIラボ：CADRマシン
→Symbolics、LMI(LISP Machine Inc.)社の商用Lispマシンの原型となった
1979：神戸大：神戸大Lispマシン開発
www.ipsj.or.jp/katsudou/museum/computer/Kobe-Lisp.html
1982：大阪大：LispマシンEVLIS開発
www.ipsj.or.jp/katsudou/museum/computer/Handai-EVLIS.html
1983：電電公社：通研LISPマシンELIS試作機稼動
www.ipsj.or.jp/katsudou/museum/computer/NTT-ELIS.html
1984：理研：数式処理計算機FLATS開発
www.ipsj.or.jp/katsudou/museum/computer/Riken-FLATS.html
1984：富士通：Lispマシン FACOM α 発表
www.ipsj.or.jp/katsudou/museum/computer/FUJ-Alpha.html
- 485 名前：デフォルトの名無しさん mailto:sage [2005/06/15(水) 00:08:57 ]
- >483
フランス産はどれも優雅だねぇ。
- 486 名前：デフォルトの名無しさん mailto:sage [2005/06/15(水) 00:29:25 ]
- フランスの言語って何?
OCaml は何やら汚らしい感じがするが
- 487 名前：デフォルトの名無しさん mailto:sage [2005/06/15(水) 00:37:50 ]
- Prolog？Ada？
- 488 名前：デフォルトの名無しさん mailto:sage [2005/06/15(水) 01:59:55 ]
- >>484
すげーな富士通までやってたのかｗ
当時どれだけ影響力あったかわかるな。
- 489 名前：デフォルトの名無しさん mailto:sage [2005/06/15(水) 02:15:24 ]
- 技術的系譜はこんな感じだそうです。(IPSJ情報)
神戸大TAKITEC→富士通FACOM α(試作機)→理研FLATS(発案:故後藤英一先生, 設計協力:富士通, 製作:三井造船)→FLATS2
→富士通FACOM α(製品版)
阪大EVLIS(並列処理)…→？
湯浅先生達の超並列機は、どういう技術的系譜にあるのだろう・・・？
- 490 名前：489 mailto:sage [2005/06/15(水) 02:29:29 ]
- 訂正。FLATSは各種の高速化技法を導入したオリジナルですね。
・神戸大TAKITEC→富士通FACOM α(試作機)→富士通FACOM α(製品版)
＼NTT武蔵野通研 ELIS → NTT-IT ELIS-8100/VME/8200 (LSI開発協力:沖電気)
・理研FLATS(発案:故後藤英一先生, 設計協力:富士通, 製作:三井造船)
→後藤磁束量子情報プロジェクト FLATS2
・阪大EVLIS(並列処理)…→？
- 491 名前：デフォルトの名無しさん mailto:sage [2005/06/15(水) 02:29:36 ]
- やっぱりこのスレでLISPとRubyの話は厳禁
- 492 名前：デフォルトの名無しさん mailto:sage [2005/06/15(水) 02:31:33 ]
- ………………………… >>491 は げ ん き ん …………………………
- 493 名前：デフォルトの名無しさん mailto:sage [2005/06/15(水) 02:41:27 ]
- Lispは別に問題ないよ
Rubyが出てくると荒れてるだけ
- 494 名前：デフォルトの名無しさん mailto:sage [2005/06/15(水) 02:51:33 ]
- >>493
これだけスレ違いのレスが続いて何が「Lispは別に問題ないよ」だよ
- 495 名前：デフォルトの名無しさん mailto:sage [2005/06/15(水) 03:19:40 ]
- 荒らしてる本人に自覚が無いだけだな
- 496 名前：デフォルトの名無しさん mailto:sage [2005/06/15(水) 08:25:59 ]
- スレ違いなんだよ こっちでやれ
CommonLisp Scheme Part13
pc8.2ch.net/test/read.cgi/tech/1115901841/
- 497 名前：デフォルトの名無しさん mailto:sage [2005/06/15(水) 13:18:50 ]
- スレが進んでるなぁ……
地面に置かれた砂糖に集まるアリみたい。
アリは嫌いだよ。急所噛まれた事あるから。
- 498 名前：デフォルトの名無しさん [2005/06/15(水) 14:30:40 ]
- >コンパイルの定義で揉める巧妙な書き込みがなされているな
>なんだRubyの人って説明不足で揉めるような書き込みが大得意なんだな。
この内容で揉めたほうがマシだったな。現状よりは。
- 499 名前：デフォルトの名無しさん [2005/06/15(水) 18:51:24 ]
- >>484
LISP専用マシンが何故必要とされたの？
今に例えると、例えば、 Ruby専用マシンみたいなものだよね？
全然考えられない!
- 500 名前：デフォルトの名無しさん mailto:sage [2005/06/15(水) 19:15:09 ]
- 頭悪すぎ
- 501 名前：デフォルトの名無しさん mailto:sage [2005/06/15(水) 19:26:30 ]
- >>499
速いからだよ
- 502 名前：デフォルトの名無しさん mailto:sage [2005/06/15(水) 20:16:45 ]
- >>499
特定の言語を効率よく実行できる専用マシンは、昔のようにハードのオマケでソフトが在った時代には普通だった
ちなみに、今の御時世では Java 専用マシンがあったりする
別に不思議じゃない
- 503 名前：デフォルトの名無しさん mailto:sage [2005/06/15(水) 20:27:33 ]
- ・当時、汎用機アーキテクチャの標準(IBM/360〜370)は姿を現していたが、
それ以外のアーキテクチャはまだまだ未発達もしくは未普及だった。
当時の汎用機アーキテクチャでは必ずしも効率的に実行できない処理のために、
科学技術計算専用マシンや特定言語専用マシンの研究が始まりつつあった。
・MITのMacプロジェクトでLispアプリケーションを蓄積したが、
実行には高価な中〜大型汎用機(ITS, GE Multics, DEC-10/20)が必要で、
小回りが効かなかった。
そこでPDP並みの価格で中〜大型機並みの性能を持つ
Lisp用パーソナル・ワークステーションが開発された。
- 504 名前：デフォルトの名無しさん mailto:sage [2005/06/15(水) 22:11:57 ]
- >>499には時代という物が理解できないんだろうな。
- 505 名前：デフォルトの名無しさん mailto:sage [2005/06/15(水) 22:22:50 ]
- >>499
>>500-504まで、誰もわかってないようだからわからないことを気に病むことはないよ。
同時代のおっさんにはあまりに自明のことなんだが、
わかったからといって何かの足しになるわけでもなし。
スレ違いだし、このへんでひっぱるのはやめよう。
- 506 名前：デフォルトの名無しさん mailto:sage [2005/06/15(水) 22:34:42 ]
- 最近見た中で一番ショボいハッタリだ
- 507 名前：デフォルトの名無しさん mailto:sage [2005/06/15(水) 22:50:41 ]
- 20代のLISP使いだけど
おっさんネタはさっぱりわからんなあ
昔のPC板ってのがあるから
いいかげん懐古ネタは他所でやんなさいよ
昔のPC
bubble3.2ch.net/i4004/
- 508 名前：デフォルトの名無しさん mailto:sage [2005/06/15(水) 22:54:22 ]
- >>507
いやPCの話じゃないんだが…
と一応ツッコミは入れとくが、スレ違いということには同意
- 509 名前：デフォルトの名無しさん mailto:sage [2005/06/15(水) 23:04:49 ]
- >>507
ちらっとその板みたが、自分からみたらちっとも昔ではないのですな。
すでにＰＣ前提ってあたりで昔ではないのですよ。
荒らすつもりじゃ無く純粋に懐古趣味としての昔話かと思って期待がはずれたのです。
- 510 名前：デフォルトの名無しさん mailto:sage [2005/06/15(水) 23:42:23 ]
- >>507
アホか。リアルタイムで知らない事でも、
文献やWebを駆使して勉強するもんだよ。
特にLispなんて80年代に最盛期を迎えた言語だからな
- 511 名前：デフォルトの名無しさん mailto:sage [2005/06/16(木) 19:36:39 ]
- LISPの全盛期はいつだ？ 80年代か？ MLは今なんだよ…。
- 512 名前：デフォルトの名無しさん mailto:sage [2005/06/16(木) 20:28:40 ]
- >>511
> MLは今なんだよ…。
いいえ。
- 513 名前：デフォルトの名無しさん mailto:sage [2005/06/16(木) 21:22:31 ]
- 80年代つーと洋楽だなあ
- 514 名前：デフォルトの名無しさん mailto:sage [2005/06/16(木) 21:24:57 ]
- >>511
桜木君…
- 515 名前：デフォルトの名無しさん mailto:sage [2005/06/16(木) 22:03:41 ]
- いいかげんにしろ、スレ違いだ。
- 516 名前：デフォルトの名無しさん mailto:sage [2005/06/16(木) 23:46:50 ]
- そ / _r 、 、 .ヽ、 Ｒ
｜ L_ , - ´ ￣￣ ｀ ヽ 、 ',ヽｰ/＿ヽーヽ／ヽイ _) ｕ
な ＜ ／ ヽ, / λ ヽ. ｂ
の ／/ ｲ ヽ .i く ﾁ＼ｲ_レヽ_／ﾙノヽ ) ｙ
か ＼! !ｲ-/─ﾚｲ、ル─ヽ, ／ >i .ﾚｲ ,r=、 ,.-=ゝiｲ ヽ, ｙ
｜ .|￣i /ｲ,r=-、 ,-=ヽiﾐ}＜] !ﾚｲﾚi { !_r! i、_r! ﾘ ) 最
,、 / .ﾚ| i { i、r! i、_r!} ｱ | | !,"" ＿__ "" ! ! く. 高
｀ | i,"" ＿___ "" | | | .| ! i ヽ、 ! j ,ｲﾚ > ! !
i ﾘヽ、 ! ｀j ,ｲ !| | |ﾉル ｀ﾚ ,_--_イiレ - 、／￣ヽ、
ﾚi レ｀ﾚ ,--_イ ﾚ、 リレ' rｲくi-/ ／ , ---ヽ、／＿_
人/ヽ、_ ,ｲくi--/／__人__人_ ,く,_[>＜]__//＿（⌒）-、i,_ ノ
はあ / / i (>Y<) ) 最Ｒ今 ( ,ヽi ' (＿ゝ_ヽ_ノノﾉ ´
はは i / .! ｀´ ). 高ｕ 夜 ( ./ .! ヽ、＿__ノ
はは > / ｲ、 ヽ, ！ ｂ も ( / <、_ 、 _ く
はは < / ヽr----─> ！ ｙ ( / ／ / ヽ＼
- 517 名前：516 mailto:sage [2005/06/17(金) 00:33:33 ]
- 誤爆しました
- 518 名前：俺の学生時代はi386でGoferかな mailto:sage [2005/06/17(金) 00:36:23 ]
- >>516
さっさと氏ねよ
>>511-512
定理証明系の開発は70年代
SML/NJの開発は80年代半ば
その後87〜98がHaskell標準化・・・もしかして進歩止まってるやん
- 519 名前：デフォルトの名無しさん mailto:sage [2005/06/17(金) 00:39:16 ]
- >>518
スレ違いのお前もな
- 520 名前：デフォルトの名無しさん mailto:sage [2005/06/17(金) 00:42:57 ]
- >>519 はぁ？煽りやり過ぎて、話題がスレ違いかどうか判断もできなくなってるのか。
- 521 名前：デフォルトの名無しさん mailto:sage [2005/06/17(金) 00:44:16 ]
- >>520
どこからどう見てもスレ違い
- 522 名前：デフォルトの名無しさん mailto:sage [2005/06/17(金) 00:45:07 ]
- キチガイが粘着中
まともな人はしばらくお待ち下さい
- 523 名前：デフォルトの名無しさん mailto:sage [2005/06/17(金) 00:47:39 ]
- やっぱりこのスレでLISPとRubyの話は厳禁だな
- 524 名前：デフォルトの名無しさん mailto:sage [2005/06/17(金) 03:45:37 ]
- MLじゃないの？
- 525 名前：デフォルトの名無しさん mailto:sage [2005/06/17(金) 20:09:56 ]
- >>523
ではmallocとfreeについて話そう。
- 526 名前：デフォルトの名無しさん mailto:sage [2005/06/17(金) 20:11:36 ]
- >>525
やっぱこのスレではコンパイラについて話さないとな
- 527 名前：デフォルトの名無しさん mailto:sage [2005/06/17(金) 21:22:29 ]
- lambda liftingについて分り易く教えてください
- 528 名前：デフォルトの名無しさん mailto:sage [2005/06/19(日) 04:50:11 ]
- 荒らしがいなくなるとスレが止まるんだなぁ。
つかLispもMLも禁止の言語処理系スレって…。
>>526
コンパイラの定義を教えてくれ。
>>527
foldoc.doc.ic.ac.uk/foldoc/foldoc.cgi?lambda+lifting
- 529 名前：デフォルトの名無しさん mailto:sage [2005/06/19(日) 09:55:44 ]
- LALR(1) を勉強するのにお勧めの書籍かサイトありましたら
教えて下さい。
- 530 名前：デフォルトの名無しさん mailto:sage [2005/06/19(日) 11:02:50 ]
- ・コンパイラの構成と最適化 中田 育男
www.amazon.co.jp/exec/obidos/ASIN/4254121393/
- 531 名前：デフォルトの名無しさん mailto:sage [2005/06/19(日) 15:27:01 ]
- >>528
よくわからない
変数が増えただけに見えるorz
引数渡しにするってことかな？
- 532 名前：デフォルトの名無しさん mailto:sage [2005/06/19(日) 16:10:29 ]
- だいたいLispやMLの全盛期の話のどこがスレの趣旨に沿ってるんだよ？
そんな話はLispやMLのスレでやれよ
- 533 名前：デフォルトの名無しさん mailto:sage [2005/06/19(日) 16:52:39 ]
- >>531
処理系を作る立場で考えてみると良いんじゃないかな。
- 534 名前：デフォルトの名無しさん mailto:sage [2005/06/19(日) 18:01:40 ]
- >>530
それって最適化でしょ？メインは
- 535 名前：デフォルトの名無しさん mailto:sage [2005/06/19(日) 19:57:38 ]
- >>529
Dragon Bookでいいんじゃないの。
- 536 名前：デフォルトの名無しさん [2005/06/19(日) 20:34:44 ]
- >>530
良書には違いないが、LALRつーわけどもないだろ。
- 537 名前：デフォルトの名無しさん mailto:sage [2005/06/19(日) 20:56:36 ]
- >つーわけどもないだろ。
？
- 538 名前：デフォルトの名無しさん mailto:sage [2005/06/19(日) 21:05:16 ]
- >>536をparseするのにお勧めの書籍かサイトありましたら
教えて下さい。
- 539 名前：デフォルトの名無しさん mailto:sage [2005/06/19(日) 21:08:06 ]
- >>538
・コンパイラの構成と最適化 中田 育男
www.amazon.co.jp/exec/obidos/ASIN/4254121393/
- 540 名前：デフォルトの名無しさん mailto:sage [2005/06/19(日) 21:13:07 ]
- >>538
Dragon Bookでいいんじゃないの。
- 541 名前：536 mailto:sage [2005/06/19(日) 22:33:02 ]
- スマソ、「つー訳でもないだろ」の誤りorz
- 542 名前：デフォルトの名無しさん mailto:sage [2005/06/20(月) 00:02:19 ]
- >>536
> LALRつーわけでもないだろ。
？
コンパイラ本の一つも読まずにアフォレス、とても痛い小学生だな
- 543 名前：デフォルトの名無しさん mailto:sage [2005/06/20(月) 07:23:45 ]
- >>541を意味解析するのにお勧めの書籍かサイトありましたら
教えて下さい。
LALRの良書っていうわけでも無いだろ
ってことか？
じゃあ>>541がLALRの良書を薦めてくれ。
- 544 名前：デフォルトの名無しさん mailto:sage [2005/06/20(月) 17:15:35 ]
- そもLALR一つに絞った本が良書と言えるのか？
- 545 名前：デフォルトの名無しさん mailto:sage [2005/06/20(月) 19:51:09 ]
- >>544
それってyaccの入門書のレベルな希ガス
- 546 名前：デフォルトの名無しさん mailto:sage [2005/06/20(月) 21:58:07 ]
- >>545
いや、案外その手の本は扱ってない。
- 547 名前：デフォルトの名無しさん mailto:sage [2005/06/20(月) 22:17:16 ]
- はぁ？
LALRわかんなきゃyacc/bisonは使えないじゃん
- 548 名前：デフォルトの名無しさん mailto:sage [2005/06/20(月) 22:28:32 ]
- >>547
理屈ではそうだけど、実際はそうじゃないんだよ。
- 549 名前：デフォルトの名無しさん mailto:sage [2005/06/21(火) 01:20:40 ]
- 全然自慢にならねぇ主張だな。
わけわかんないけど使ってるって？へ
- 550 名前：デフォルトの名無しさん mailto:sage [2005/06/21(火) 01:31:52 ]
- 紳士的に解釈すれば、ツールの使い方がわかれば
LALRアルゴリズムの詳細なんて知らなくても良い
ということじゃないかなあ。
いや、ある程度は知ってないとまずいかな。
yaccの作成するテーブルがどういう理屈で作成されてるかぐらいは・・
- 551 名前：デフォルトの名無しさん mailto:sage [2005/06/21(火) 01:33:23 ]
- いやちゃう。
単にyaccが吐いたコードにアクション追加したり文法をデバッグするのが無理
- 552 名前：デフォルトの名無しさん mailto:sage [2005/06/21(火) 04:07:32 ]
- >>550
どうだろう？yaccって結構簡単に使えるけど、それとLALRの理解は別だと思う。
極端な話し、関数電卓ぐらいのパーサならLALRの知識なんて必要ないし。
ちがうかな？
- 553 名前：デフォルトの名無しさん mailto:sage [2005/06/21(火) 04:29:04 ]
- それで結局、今出てるyacc/lex本のLALRの解説は充実してるのか？
- 554 名前：デフォルトの名無しさん mailto:sage [2005/06/21(火) 09:30:36 ]
- 何するつもりか知らないけど、
LALRだけ勉強しようというのは効率が悪いから
普通の文法解析の教科書では一通りの文法を説明している。
・再帰下降パーサで書ける文法
・LALRパーサじゃないと書きにくい文法
・その他、演算子順位文法、属性文法
とか知っておくと、扱いたい文法が上記のいずれに近いのか、
素早くもしくは効率的に実装するには、どうすれば良いか
判断できるようになると思う。
- 555 名前：デフォルトの名無しさん mailto:sage [2005/06/21(火) 11:58:26 ]
- ［課題Q]３角形の底辺の長さ，高さをキーボードから読込み，その面積を計算するプログラムを作成しなさい．
ただし，底辺の長さ，高さ，面積の値を入れる変数名をそれぞれteihen， takasa，mensekiとし，いずれも実数型（double型）とする．
void main( void )
{
double teihen, takasa, menseki;
printf( "底辺は？\n" ); /* 入力を促すメッセージを表示 */
scanf( "%d", &teihen );
menseki = teihen * takasa / 2;
printf("%f\n",menseki);
}
これ誰か完成させてくれ
- 556 名前：デフォルトの名無しさん mailto:sage [2005/06/21(火) 12:28:11 ]
- >>555＝スレ違いのキチガイ
- 557 名前：デフォルトの名無しさん mailto:sage [2005/06/21(火) 13:09:35 ]
- 次スレから「相談室」ってのを外そうよ。
この文字だけ見て書き込んでいるとしか思えない致傷多すぎる。
- 558 名前：デフォルトの名無しさん mailto:sage [2005/06/21(火) 13:24:09 ]
- >>555は単なる構ってチャンだろ。キチガイはさっさと逝け
- 559 名前：デフォルトの名無しさん mailto:sage [2005/06/21(火) 21:03:15 ]
- 標準入力から直接入力すると、行末の改行が削れてしまうんですが、
それを考慮すると行番号の計測ってどうやるんでしょうか
- 560 名前：デフォルトの名無しさん mailto:sage [2005/06/21(火) 21:13:37 ]
- >>559 スレ違い。初心者向け相談室へ逝け
- 561 名前：デフォルトの名無しさん mailto:sage [2005/06/21(火) 23:43:16 ]
- LALRの話しもすれ違い？？？
- 562 名前：デフォルトの名無しさん mailto:sage [2005/06/22(水) 01:15:48 ]
- 構文解析の話なんてつまらんだろ
- 563 名前：デフォルトの名無しさん mailto:sage [2005/06/22(水) 01:24:54 ]
- おれはおもしろいと思うよ。
むしろ他人の作った完成品を貶したり褒めたりするのはよそでやってほしい。
- 564 名前：デフォルトの名無しさん mailto:sage [2005/06/22(水) 04:10:23 ]
- 文法なんて結局は宗教戦争みたいなもんじゃん。
他人の作った完成品の工夫を見て学ぶのもおもしろいよ。
つか、このスレはいつまでたっても構文解析か荒らしの話しかしてないし…。
- 565 名前：デフォルトの名無しさん mailto:sage [2005/06/22(水) 13:00:54 ]
- 字句解析・構文解析 ⇒ つまらん。話したくない
意味解析・目的コード生成 ⇒ 各々の機械語スレへどうぞ
各種言語に依存した…… ⇒ 厨は引っ込め
このスレは、何について話すスレなんだ？
- 566 名前：デフォルトの名無しさん mailto:sage [2005/06/22(水) 13:20:55 ]
- >>565
実装レベルの話はどうでもいい。
- 567 名前：デフォルトの名無しさん mailto:sage [2005/06/22(水) 13:21:16 ]
- >>565
というか厨はお前だろ。
- 568 名前：デフォルトの名無しさん mailto:sage [2005/06/22(水) 16:42:34 ]
- >>565
うーん、そこで「他でヤレ」っつってるのは、
単なる荒らしだと思うよ。相手にする必要なし。
つか荒らし被害者のフリして荒らすなって（笑
- 569 名前：デフォルトの名無しさん mailto:sage [2005/06/22(水) 18:08:49 ]
- >>1
> 字句解析・構文解析から，データフロー解析，ループ並列化，タスク並列化，SSA変換，
> CPS変換，レジスタ割付，命令スケジューリング，ソフトウェアパイプライン等各種最適化，
> それにVM，GC，JIT，リンク時最適化，動的バイナリ変換などなど。
> 意味論に関する話題も歓迎です。
字句解析・構文解析以外にも沢山話題はあるじゃない。
- 570 名前：デフォルトの名無しさん mailto:sage [2005/06/22(水) 18:12:09 ]
- じゃとりあえず話題をどうぞ（マジ
最近、プログラミング言語系の開発とかやってないなぁ〜(遠い目
- 571 名前：デフォルトの名無しさん mailto:sage [2005/06/22(水) 18:17:23 ]
- んじゃ制御フローの話題でも。
最近は制御フロー解析はstructuralな手法に移りつつあるようだけど、reducibleでないループ
はどうしてる？ そこだけ古典的な方法でやってる？
- 572 名前：デフォルトの名無しさん mailto:sage [2005/06/22(水) 18:20:19 ]
- 質問するときは、まず相手を探し、次に質問を選ばなきゃ。
>>570に書いたとおり、俺はスルー
- 573 名前：572 mailto:sage [2005/06/22(水) 18:23:37 ]
- つか俺、ドラゴンブックの和訳出る手前で
コンパイラーに関する体系的な勉強が止まってる。
ドラゴンブックに型変数の話がちょこっとしか載ってなくて、興味が萎えたんだよなぁ。
- 574 名前：デフォルトの名無しさん mailto:sage [2005/06/22(水) 18:33:58 ]
- subset型が欲しいなと思うときはある。
y : { x in Int | P(x)}みたいな感じで。
ただしimpredicativeなものは勘弁。
- 575 名前：デフォルトの名無しさん [2005/06/22(水) 18:34:32 ]
- Matz召還して議論したらどぉーお？
- 576 名前：デフォルトの名無しさん mailto:sage [2005/06/22(水) 18:52:50 ]
- >>574
Pascalの範囲型みたいな話だね。
構文上の判りやすさはさておいて、
そーゆーのはObject指向で解決できるのでわ？
(constractorや各種演算子で範囲型を外れないようにチェックして、
もし外れたら例外発生、とか)
- 577 名前：デフォルトの名無しさん mailto:sage [2005/06/22(水) 18:55:32 ]
- オブジェクト指向と型は何の関係もない
|
 |
