微微导航 : 世界 : () World

• Delphi2年
• 2003/08/26 (Tue) 10:00
• 报告

＞PIRO３号さん、eshellさん
そうですよねぇ。私も同感。
コンパイラー作りって、context free grammarとか正に学校のAutomataのクラスで出てくるような純コンピューターサイエンス物ばりばりで、ほんと、作ってる人を尊敬と憧れの目で見てしまいます。

• sed
• 2003/08/26 (Tue) 11:12
• 报告

フルセットのANSI Cコンパイラを考えると気が遠くなるでしょうけれど、ライブラリなし(printfとか)、プリプロセッサなし(#defineとかなし)、で、純粋にCの構文をコンパイルするだけならそんなに難しいものではないです。CSなら学部3年くらいで簡単なコンパイラ(Pascalがちょうどいい)を作る実習があると思います。

それから、上で書いたような実習でない限りコンパイラを一から作ることはなく、lexだのyaccだの（GNUのコマンド名はflexとbison)というツールを使って構文解析部は自動生成します。だからDelphiさんがおっしゃるようなCFGのことは実はほとんど考えなくてOKなのです。これで後はコード生成部を書けばいいだけになります。

オプティマイザはよく知らないので手強く感じますね。graph theoryの塊なんだろうなぁと思うだけでlinear algebraを思い出してやる気がなくなります。

• ed
• 2003/08/26 (Tue) 17:21
• 报告

emacs 使いっていっぱいいるの？
sed さんの lisp かなりすごそうだけど、私は学生時代から通しても使ってますね！って感心するくらいの人をまわりで見たことないんだよなあ。まあ、そうそう覗き込むモンでもないしなあ。

http://www.freebsdfoundation.org/press/20030825-java131.shtml
ちょっとうれしいな。

• コロケ
• 2003/08/26 (Tue) 23:21
• 报告

ちょっとトピック違いかもしれませんが、もしどなたか LA 付近でお薦めのデータセンタがあったら教えていただけませんでしょうか？

最近NYから引っ越してきたもので、あまりローカル情報に詳しくありません。近々NYからサーバ達も引っ越しさせるつもりいまして、Qwest あたりが有力かと考えていたのですが、ローカルエンジニアだからこそ知っている口コミなどありましたら、よろしくお願いします。

• PIRO３号
• 2003/08/27 (Wed) 02:25
• 报告
• 删除

sedさん、すごいですね。コンパイラ作成がそんなに難しくないなんて。
ぼくには、まだまだ知識も根気もありません(苦笑。

• ed
• 2003/08/28 (Thu) 17:53
• 报告

おお。データセンターなら OC ならかなり回ってる。私の守備範囲です。
会社がどこかにもよるけど、Qwest バーバンクですよ？そうそう私はあそこからの帰りに事故したんですよ。

LA 付近って LA ダウンタウン付近ですか？アップタイムをあまり気にしなければダウンタウンの辺りに安いところが入ってるビルがありますよ。

• sed
• 2003/08/28 (Thu) 18:22
• 报告

LISPはemacsの設定くらいです(^^; その代わりと言っては何ですがPrologは大学時代結構使いました。人工知能が流行っていた、私も知らないその昔に持てはやされた言語です。

• ed
• 2003/08/28 (Thu) 18:51
• 报告

私もシンプルに (require 'navi2ch) だけです :P

日系の会社も昔はもっとありましたよね。やっぱ不況でかなあ。

C&W 高いけどダウンしないけど、何かあったら機械かしてくれたりするから割とお気に入り。なんか一昔前の映画みたいに手をスキャンして入るところもあるんだけど、それがわりと良く壊れる（笑）

• コロケ
• 2003/08/28 (Thu) 20:01
• 报告

> ed さん

レスありがとうございます。

C&Wからも今Quoteを貰っています。相場ってどれくらいなのでしょうか？Qwest は1M/$200ぐらいから提供しているようで、結構Good Dealだと思いましたが。

現在 Verio にコロケしていて、入る時に手をスキャンされます。でもいつも認識されなくて、全く役に立ってません（笑

会社が Santa Monica なので OC はちょっと遠いかな。アップタイムにはかなりセンシティブなのでちょっと高くてもしっかりしたDCにコロケ希望です。

Qwestの帰りに事故るとは縁起が悪いかもしれません。夜間出動も無きにしもあらず、安全な場所であることも大切ですね。お怪我はありませんでしたか？お気をつけてください。

• some computer scientist
• 2003/08/28 (Thu) 22:55
• 报告

はっきり言います。コンパイラー作りは222が言うのとは逆に、簡単ではありません。222 はPascal
Compilerが簡単であるとほのめかしますが、あそこまで大きな(javaやC++ ほどではないにしろ)、そして
洗練された言語のCompilerが簡単であるとすれば、あなたはどれだけすごいCompilerを書けるのでしょう
かね？

222の文には、しかしながら、矛盾があります：

Optimizationも知らずにどうやったらPascalのコンパイラーを作ることができるのでしょう？(というか一
般に、コンパイラー作成のほとんどの時間はoptimizationに使われるのでは？)

それに、222は"CFGのことは実はほとんど考えなくてOK なのです"とおっしゃりますが、本当ですか？

事実、lexやyaccは(もしCでCompilerを書くのであれば--javaであればjavaCC)構文解析のコード生成によ
く使用されますが(おそらく学部レベルであれば多くの教授は実際に生徒に書かせるでしょうが)、もしそ
うお思いであるのならば↓のURLへ行ってみてください：

http://www.lysator.liu.se/c/ANSI-C-grammar-y.html

CFGを知らない人がこのようなyaccコードを書けるとは思いませんが...

私は222が嫌いなためにこの反論を書いたのではありません。現に、私はあなたがたくさんの事を知ってい
ることを知っています。ただ、コンパイラー作成という難しいfieldをいかにも簡単に達成できるというよ
うなことを漂わせるあなたのstatementsに少々腹をたてたばかりであります。

よって、もし222の文が削除されたのであれば、この文はここに載せておく意味がなくなり、必然的に私が
これを削除するでしょう。ちなみに、私がここに書くのはこれが最初であり最後になります。では。

• sed
• 2003/08/29 (Fri) 03:15
• 报告

#233さん
丁寧に返信を書いていたのですけれど、随分長くなったのと、一方通行で私から書いても意味がないかと思い止めました。最低限読んでくれるでしょうけれど。以下手短に。

ご心配なく#222は矛盾していませんので消しません。私の言葉足らずで気分を悪くされた点はお詫びします。#222はコンパイラは難しそうだなぁと思っている方に是非トライしてもらいたくて書きました。この掲示板でコンパイラの作り方をするほどスペースはありませんし、ツールの紹介に留めたまでです。手間のかかる字句構文解析はlex/yaccが作ってくれるわけで、これで50%できたようなもんです。あなたが載せたURLのyaccのコードはわずか430行。それも殆どがA:=Bという文法の定義の羅列でしかない。これにlexのコード数十行追加でコンパイラの半分が書ける。(残り半分は大変だけどね)

もう一点#222で言いたかったのは困難は分割するということです。複雑に見えるコンパイラも機能を分割すればたいした事はありません。ちなみにオプティマイザもコンパイラの一部でしかないですし、オプティマイザなしでも作れます。この意味がわからなければあなたはcomputer scientistと言いつつコンパイラを作ったこともないのでしょう。そりゃ商用のコンパイラでは一番金の掛かっているところでしょうけれどね....

• sed
• 2003/08/29 (Fri) 03:34
• 报告

ちなみにPascalって大きな言語ですか？

キーワードの数で言ったら30個程度。そのうちwhileとforは本質的に変わらない演算子(+と-,*と/)などなども同様、という観点から冗長なところを削ったらシンプルなもんです。これを実装するのがそんなに大変でしょうか？

コンパイラの作り方を知らない人は何百もの関数を実装しないといけないと勘違いしている人も多いです。勘違いで余計に難しく考えちゃうのはもったいないなぁと思うので、ほらやってみたら簡単でしょって知らせたいですね。

• ed
• 2003/08/29 (Fri) 08:38
• 报告

> ころけさん

今手元にある古いクオート確かめてみたけど、 qwest 確かに安いですね。ただ私のところからだと遠かったし、場所がたしか治安悪そうなところだった気がします。C&W ならエルセグンドにあるけどあそこも場所が治安が悪そうな感じでしたね。私の基準が OC で LA 恐いと思ってる部分もあるのですが。
でもまあ何処でも bandwidth の最低使用をコミットを武器にすればわりと値段は値切れるとおもいますし、そこら辺なら、きっとマリナデルレイあたりにぽつぽつありそうな気がします。

もっとも大手はどこもがらがらで何時潰れてもおかしくないような印象ですよ。ダウンタイムより会社のカウントダウンが恐いおかしな時代ですねえ。

• sed
• 2003/08/29 (Fri) 10:49
• 报告

edさん、エルセグンドだめですか?そのあたりは私の行動範囲に完全にダブってます(^^;

コロケーションで食ってたところは今厳しいでしょうね。私のところでもクライアントが倒産したため、10Mbpsのラック一つ撤収します。

• ed
• 2003/08/29 (Fri) 11:14
• 报告

だめというか、LA1 は夜いくとなると恐そうなんでチキンな私は避けました。
コロケみたいなビジネスは結局 IBM 型みたいな商売の仕方しないとなかなか客がつかないようですね。

> ほらやってみたら簡単でしょって知らせたいですね
って場面は違えど私もよく思います。どうも先に身構えてってことが多いですね。

• ed
• 2003/08/29 (Fri) 16:02
• 报告

だれかブレード型のサーバー使ってる人いますか？ (ProLaint の BL 型みたいなやつ。)
今うちもケージ広げるか、サーバーを置き換えするか迷ってるところなんですが、どっちがいいんでしょうね？

わりとこういうのとかも良さそうな話もきくんだけど、実際にブレード型のサーバーを使ってる話きいたことないんですよね。
http://www.crossbeamsys.com/productsandtech_x40.asp

• Delphi2年
• 2003/08/30 (Sat) 09:23
• 报告
• 删除

computer scientistさん：
「ここに書くのはこれが最初であり最後」などとおっしゃらず気楽にディスカッションされるのも楽しいのでは？ 少なくとも、それを拝見している者は興味深くて楽しい(笑）。

そもそも、学校で一回コンパイラーを作っただけの範囲の知識で、「うぁ、コンパイラーエンジニア凄いっ」っていう感じで＃２２１のコメントを書いたのですが、難しいっていうのも主観のものだし、ですよね。
ヤックもレックスのことも知ってましたが（これも学校の授業で）、ツールは使っていても何か在れば、中に入って行って問題解決するだろうし、多分context free grammarを使うと勝手に想像して書きました。いや、どっちにしても彼らは凄いなと思う。他にももっと凄い物も沢山あるとは思いますが。

• コロケ
• 2003/08/30 (Sat) 21:29
• 报告

> ed さん & sed さん

やはり倒産を視野に入れつつDC選びしないと後で困ったことになりますよね。Agencyの話によれば、C&WはUSのコロケを１年以内にcloseする予定らしいです。

マリナデルレイあたりでも探してみようと思います。近場で治安が良いに越したことないですからね。

情報ありがとうございました。

• ed
• 2003/09/02 (Tue) 14:01
• 报告

> コロケさん
C&W は財源確保したみたいなんで当面大丈夫らしいです。とはいえやっぱり私も不安です。かといって今のご時世ここなら安心！と思える所もなく移動に踏み切れないでいます。
もしいいところみつかったら是非情報シェアしてください：）

• Delphi2年
• 2003/10/26 (Sun) 09:00
• 报告
• 删除

ちょっと疑問なんですが、一般にとういうか常識的に、Win32APIの経験があるっていうのはどのくらいのことをしたことがあるってことを指すのでしょうか？
あと、ウィンドウズのシステム プログラミングやユティリティープログラミング で特に多用するWin APIってありますか？