03/12/28 15:10
>>140
私はそのまま awk を使ってます.
仕事柄 C/C++ とその他のスクリプト言語の使用比率が 9:1 くらいなので,
他の言語がなかなか覚えられなくて. C に似てて仕様的にも単純なものってことで
awk 使ってますが, awk 使うくらいならそのまま C でいいんじゃないかと最近思いました ...
関係ない独り言ですみません.
176:デフォルトの名無しさん
03/12/28 18:52
>>172
inlining？
177:デフォルトの名無しさん
03/12/28 18:54
あ
178:デフォルトの名無しさん
03/12/28 19:14
>>176
いや、静的ではなく動的に。
179:デフォルトの名無しさん
03/12/28 19:43
>>175
AWKってフィルタ指向が強すぎますよねぇ？
それさえなければ、最強なんだけど...
180:デフォルトの名無しさん
03/12/29 01:04
ゲームで使用するためのスクリプト言語を解説した
洋書を知りませんか？
Game Scripting 何とか
という名前だったような・・・
181:デフォルトの名無しさん
03/12/29 01:34
>>180
URLﾘﾝｸ(www.amazon.com)
漏れも前にちょっと買ってみようかと思った。
amazon.co.jpだと在庫切れ。
182:デフォルトの名無しさん
03/12/29 08:32
>>181
こんなのあったんだ。
GameProgrammingWith PYTHON, LUA, AND RUBYより、
そっちにスベキダッタ・・・
183:デフォルトの名無しさん
03/12/29 08:42
ﾜﾘｲ ゲ製作板と間違えた
184:デフォルトの名無しさん
03/12/30 19:39
bison は、記述ファイルから、その生成パーサの動作を正しく把握するのがつかれる。
というか、ほとんど無理？
185:デフォルトの名無しさん
03/12/30 19:59
>>184
把握する必要無いし。
186:デフォルトの名無しさん
03/12/31 01:19
でも、把握せんと動作がつかめんでしょ？
187:デフォルトの名無しさん
03/12/31 01:33
>>184
もしかして、シフト／還元のこと？
188:デフォルトの名無しさん
03/12/31 02:36
>>186
把握しても動作つかめんから心配するな。
再帰上昇型のパーサーは、慣れた人間にとっても予期せぬ動作をすることが
ままある。手っ取り早くすませたいなら yacc を使って、そうではなくエラー処理
などキッチリやりたければ、手で再帰下降型のパーサ書いた方が良いよ。
189:デフォルトの名無しさん
03/12/31 06:50
パーサーのテストどうやるの？
190:デフォルトの名無しさん
03/12/31 11:32
>>189
パースしてみる
191:デフォルトの名無しさん
03/12/31 16:16
>>188
(再帰上昇型/再帰下降型って何ですか?)
bison は再帰上昇型でいいのですか？
192:デフォルトの名無しさん
03/12/31 16:17
>>188
(再帰上昇型/再帰下降型って何ですか?)
bison は再帰上昇型でいいのですか？
193:デフォルトの名無しさん
03/12/31 18:19
>>191
ぐぐれ。キーワードはこんな感じで。
構文解析 上昇 下降
194:デフォルトの名無しさん
03/12/31 19:45
>>193
keywordありがとう！
195:デフォルトの名無しさん
03/12/31 22:41
>>188
> 再帰上昇型のパーサーは、慣れた人間にとっても予期せぬ動作をすることが
> ままある。
これって、本当ですか？
196:デフォルトの名無しさん
03/12/31 22:51
>>195
実装がへぼいか、定義がへぼいときは、本当です。
197:デフォルトの名無しさん
03/12/31 23:15
>>195
本当。
正常なトークン列を与えたときの動作は予期どおりになるが、異常なトークン列を
与えたときの振る舞いは直感に反することがままある。頑強なエラー・回復処理を
実装したい場合、たとえば
HTML パーサのように、厳密に規格に従ってなくとも受け付けたい
エラー時にそれなりに適切なエラーメッセージを出したい
なんつーばあいには、再帰上昇型は人間の手に余る。
198:デフォルトの名無しさん
04/01/01 01:17
>>197
ミジカな例まで出してくれてありがとう！
上昇型は、厳密な言語むきってことですかね？
メリットは、記述が少ないことぐらいですか？
199:デフォルトの名無しさん
04/01/01 03:34
ところで、ふつうのyaccが生成するパーサは再帰上昇型ではないと思うのだが。
(陽にスタックを持ち、表を引いてgotoしまくるだけで、再帰呼びだしはしない)
最近のbisonは再帰上昇型のコードも生成できるの？
200:デフォルトの名無しさん
04/01/01 05:02
URLﾘﾝｸ(www.futamura.info.waseda.ac.jp)
futamura projection の二村さんのサイト見つけた。
201:デフォルトの名無しさん
04/01/01 20:54
どうみてもbisonは再帰的だが
202:デフォルトの名無しさん
04/01/01 21:43
>>199
再帰呼び出しと再帰的文法解析を混同してないか？
再帰するためにスタック用意してるんでは？
203:デフォルトの名無しさん
04/01/01 23:39
>>202
英語でrecursive descent parserといえば、LL文法に基いて、いくつかの相互
に呼出しあう関数群で記述された構文解析器のことを指す。
これと同様、recursive ascent parserというのは、LR文法に基いて、明示的
な状態スタックを持たず、相互に呼出しあう関数群で構成されている構文解析
器のこと。yaccやbisonが作るパーサーは、明示的なスタックを持つ表駆動オー
トマトンなので、recursive ascent parserではない。(両者は言語を認識する
能力は同じだが、細かい記述能力の点で違いがある)
recursive ascent parser については僕も勉強中なのであまり突っ込まれると
困るが、comp.compilersの過去ログ↓に良いreferenceがあるのでそちらを参
照してください。
URLﾘﾝｸ(compilers.iecc.com)
URLﾘﾝｸ(compilers.iecc.com)
204:デフォルトの名無しさん
04/01/02 01:19
>>203
そう呼ぶ「流儀もある」というだけの話。
コンパイラ理論に限らず、専門用語は人によって解釈に幅があるのが普通だから、
適当に補って読み書きしとくのが吉だ。
205:デフォルトの名無しさん
04/01/02 13:02
>>203
そういえば思い当たる用語がいくつかある。
素数に１を含めている場合があって、教授の中の人に
「素数の定義のなかに『１以外の』ってあるんですけど」
って聞いたら
「小中高ではそのように教えているようだが学会によって違うし、
必要なら論文の冒頭で定義する。」って言ってた。
それと、以前知り合いに聞いたんだが、
そいつの学科では「逆ポーランド記法」
を「ポーランド記法」って呼んでて、
どうしても明確に区別する必要があるときだけ
前置・後置で分けてるんだそうな。
と、言うわけで構文解析に関する学会もいろいろあるだろうし
それぞれで違う定義だったり定義されてなかったりするの
かも知れない。
206:デフォルトの名無しさん
04/01/02 15:56
>>205
それは案外あるね。
ここのコンパイラ＆スクリプトだけでなく、全ての千問分野で
そういった傾向があるみたい。
なので、書籍とかでは著者がどういう定義でその用語を使っているかを
把握したうえで理解しないと混乱する時がたまにある。
207:デフォルトの名無しさん
04/01/02 16:23
言い訳にだまされてるだけ
208:デフォルトの名無しさん
04/01/02 16:54
アフォか素人
209:203
04/01/02 20:39
>>204
yaccの生成するパーサを「再帰上昇型」と呼んでいる教科書や文献があったら
教えて欲しいのだが。
僕は見たことがない。googleで検索しても見つからない。
210:デフォルトの名無しさん
04/01/02 20:46
しるか！
211:デフォルトの名無しさん
04/01/02 21:52
海外掲示板用オフラインリーダーを作るスレ
ｽﾚﾘﾝｸ(tech板)
海外でよく使われていうる掲示板スクリプト
専用のオフラインリーダー作って下さい。
必要な条件はID、PASSを管理できること、
OpenJaneみたいな三面型の見た目。
簡単にローカライズできるように言語ファイルを採用
212:デフォルトの名無しさん
04/01/02 23:55
アフォ
213:デフォルトの名無しさん
04/01/03 00:16
VBSの解析ソースください。
214:デフォルトの名無しさん
04/01/03 01:37
すいません、ちょっとお尋ねしたいんですが、
UNIX Programing Environment に出てくる「電卓hoc（最終形態）」が
行っている処理アプローチは、今のスクリプト言語にも十分通用するも
のでしょうか？
それとも、今となっては時代遅れのものでしょうか？
ここにおられる皆さんは、どう感じられますか？
215:デフォルトの名無しさん
04/01/03 01:52
URLﾘﾝｸ(www.cs.bell-labs.com)
ここにあるやつ?
216:デフォルトの名無しさん
04/01/03 05:15
>>214
時代遅れだと考えるくらい知識や経験があるならやらなくていい。
そうじゃなければ、やっても無駄にはならない。
217:214
04/01/03 10:58
>>215
そうです。（こんなページも有ったんですね。知りませんでした。）
218:デフォルトの名無しさん
04/01/03 23:03
URLﾘﾝｸ(www.okisoft.co.jp)
URLﾘﾝｸ(www.okisoft.co.jp)
URLﾘﾝｸ(www.okisoft.co.jp)
URLﾘﾝｸ(www.okisoft.co.jp)
『やさしい Lisp の作り方』と『やさしい Java インタプリタ の作り方』見つけた。
Java と C# で実装。
219:デフォルトの名無しさん
04/01/04 08:39
>>218
GOD
220:デフォルトの名無しさん
04/01/04 14:04
URLﾘﾝｸ(www.google.co.jp)タグビット
URLﾘﾝｸ(www.google.co.jp)タグ付きポインタ
URLﾘﾝｸ(www.google.co.jp)
221:デフォルトの名無しさん
04/01/04 16:56
スクリプト言語を設計・実装する場合の一番の難しさって何でしょうね？
222:デフォルトの名無しさん
04/01/04 17:09
>>221
妥協すること。
汎用的だが回りくどい書き方と、特定用途専門で簡単な書き方。
実行時の速度効率と、柔軟性。
メモリ使用効率とスピード。
いろいろいろいろ相反する要素が出てくるので、目標を明確にしておかないと
あれもこれも盛り込んだ挙句に、中途半端で使いにくいスクリプトになりがち。
223:デフォルトの名無しさん
04/01/04 23:29
>>222
思いもよらない視点にビクリ！
あんた、プロ？
224:デフォルトの名無しさん
04/01/06 18:37
>218
LISP処理系作るのは簡単だけど、
Schemeの末尾再帰や継続呼び出しを載せようとすると、
とたんに難しくなるよね。
末尾再帰だけならまだ楽か。
225:デフォルトの名無しさん
04/01/06 18:52
末尾再起も継続も簡単
大変なのはクロージャや継続の実装に必要な
環境の複製の効率化。
226:デフォルトの名無しさん
04/01/06 19:01
まぁ、LISPと言ってる時点で（ry
227:デフォルトの名無しさん
04/01/06 21:27
>大変なのはクロージャや継続の実装に必要な
>環境の複製の効率化。
これって Scheme に限らない問題だと思うんだけど（lexical closure を持っている
言語は沢山あるよね）、これに関して日本語のまとまったドキュメントってあまり
無いね（知らないだけ?）。
知ってるのはこことか。
URLﾘﾝｸ(www.shiro.dreamhost.com)
228:デフォルトの名無しさん
04/01/06 22:09
LISPで有効に実用化されているプロジェクトってあるのｗ
229:デフォルトの名無しさん
04/01/06 22:12
アーロン
230:デフォルトの名無しさん
04/01/06 22:21
>>228
Lisp そのものじゃないが、Lisp に極めて近い文法のファイルでデータを保存する
CAD ソフトは見た事あるな。確かに、書くの楽そうだ。
231:デフォルトの名無しさん
04/01/06 22:27
何かちょっと調べてみると、Pure な OO って意味があるのか疑問に感じてきた。
Java みたいにプリミティブを用意した方が効率良さそう。Hybrid 言語マンセー！
232:デフォルトの名無しさん
04/01/07 20:27
アホーン
233:デフォルトの名無しさん
04/01/08 09:13
なるほど、これが冬か。
234:デフォルトの名無しさん
04/01/11 15:46
URLﾘﾝｸ(merd.net)
URLﾘﾝｸ(rwiki.jin.gr.jp)
%a5%c8%b8%c0%b8%ec%a4%ce%c8%e6%b3%d3
色んな言語の構文の比較。
考えやすく、書きやすく、なおかつ読みやすいシンタックスって何だろう。
Haskell はちょっと良い感じ。
235:デフォルトの名無しさん
04/01/11 18:36
Windows上で使えるlexを教えてください。
よろしく
236:デフォルトの名無しさん
04/01/11 18:39
少しは調べる努力をしろ。
以上
237:235
04/01/11 18:42
>>236
調べたけど見つからなかった。
よろしく、
238:デフォルトの名無しさん
04/01/11 18:44
flex.
239:235
04/01/11 18:46
>>238
ありがとう
お礼にパトレイバーのプロトタイプをのせとく
URLﾘﾝｸ(www.enryu.jp)
240:デフォルトの名無しさん
04/01/11 21:43
夢のプログラミング言語＠いちごびびえす
URLﾘﾝｸ(www.ichigobbs.net)
241:デフォルトの名無しさん
04/01/11 22:53
>>240
プログラミング言語は満載した機能を特色の第一とするものではない。
あとになって機能の追加が必要と判明するような弱点と制限を取り除いて設計すべきである。
242:デフォルトの名無しさん
04/01/12 00:19
>proglam
頭の程度が知れたな
243:デフォルトの名無しさん
04/01/12 02:01
上の方にあった（↑）「UNIXプログラミング環境」に掲載されていた関数
電卓ｈｏｃですが。
ちょっとしたフロー制御や、ユーザー関数定義等ができることを考えると、
ほぼ、スクリプト言語のコアが出来上がっているとも考えられますが、い
かがでしょうか？
244:デフォルトの名無しさん
04/01/12 02:28
>>241
激しく同意。どうもC++系に知識が偏ってるぞ>>240のリンク先の>>1は。
とりあえず本当にSchemeぐらい齧って欲しいな。
245:デフォルトの名無しさん
04/01/12 03:10
>>244
lisp知りたてのおばかさんですか？
継続とかコードとデータの同一視とか、その辺の動的な事情が適合しない分野もあるだろうに。
lisp的な考え方は切り捨てるべきときがあることも勉強しときなさいな。
246:デフォルトの名無しさん
04/01/12 03:20
>>245 は Lisp を叩くと偉いとでも思っているのかな?
それとも継続って言ってみたかっただけか?
気持ちは分かるけど、スレの流れからしてそのレスは不自然。
247:デフォルトの名無しさん
04/01/12 03:24
元が夢・独り言板なんだから、
そこの>>1にとっての「夢のプログラミング言語」でしょ、ほっといてやれ。
まあ、C#++くらいの雰囲気になっているのは確かだけど。
248:デフォルトの名無しさん
04/01/12 03:25
継続って言ってみたかったってのはあるかもな。
ただlispといわずにあえてschemeというからには、継続しか要因がないだろうからな。
まあ、実るとは思ってないけど何かやろうとしている人を
頭ごなしに否定するレスってのはどうよって思うわけだ
249:!244
04/01/12 03:32
>>248
出典出さなくて申し訳ない。まずは下の「はじめに」を読んで欲しい。
そしたら何で >>244 が Scheme って書いたのかが分かると思う。
URLﾘﾝｸ(www.sci.toyama-u.ac.jp)
あと、何にせよコンパイラ作るのに Lisp は知っていた方が良いでしょ。
250:デフォルトの名無しさん
04/01/12 03:37
継続しか、ってことはないだろうに
251:デフォルトの名無しさん
04/01/12 03:41
schemeにはあってcommon lispには無いものって細かいことを除けば
継続と末尾再起の展開の規定くらいなものだろ
252:デフォルトの名無しさん
04/01/12 03:48
なんか増えてるな
調べるともっと増えるんだろうな
253:デフォルトの名無しさん
04/01/12 04:00
増えてるって末尾再起の展開か？
こんなもん実装詳細に分類されるものであって、
言語仕様の議論でいちいち取り上げるほどのものでもないだろ。
gccですら実現できてることだしな。
254:デフォルトの名無しさん
04/01/12 04:02
lispとschemeのコード読んで違いを認識してから出直して来い
255:デフォルトの名無しさん
04/01/12 04:12
>>251
> schemeにはあってcommon lispには無いものって細かいことを除けば
> 継続と末尾再起の展開の規定くらいなものだろ
おいおい、>>244たんの言いたいことが全然わかってないね。
言語設計の肝は機能の数ではなく、組み合わせによって
いかにシンプルかつ豊かな表現力をつけるか、ってことなんだよ。
256:デフォルトの名無しさん
04/01/12 04:14
>>251
一番大きいのは言語のポリシーの違い。
257:デフォルトの名無しさん
04/01/12 06:24
URLﾘﾝｸ(cs1.cs.nyu.edu)
URLﾘﾝｸ(www.cminusminus.org)
MLRISC とか C-- とかって誰か使っているのかな。
258:デフォルトの名無しさん
04/01/12 07:55
>>241 の出典も知らないで「同意」とかほざいてる >>244 が Scheme をま
ともに知っているとは考えられない。
259:デフォルトの名無しさん
04/01/12 08:49
そうは読めないけど。
260:デフォルトの名無しさん
04/01/12 08:50
>>253
> 増えてるって末尾再起の展開か？
> こんなもん実装詳細に分類されるものであって、
苦笑・・・
261:デフォルトの名無しさん
04/01/12 08:52
>>258
> >>241 の出典も知らないで「同意」とかほざいてる >>244 が
どうやって241の脳内を覗いたんだ？
262:デフォルトの名無しさん
04/01/12 09:45
Javaベースのコンパイラコンパイラ
SableCC
URLﾘﾝｸ(www.sablecc.org)
CUP & JLEX or CUP & JFlex
CUP URLﾘﾝｸ(www.cs.princeton.edu)
JLEX URLﾘﾝｸ(www.cs.princeton.edu)
JFlex URLﾘﾝｸ(www.jflex.de)
ANTLR
URLﾘﾝｸ(www.antlr.org)
JavaCC以外にもいろいろあるんすね
JavaCCはLL(k)だけど、上のはANTLR以外はLALR(1)
でもANTLRはC++なんかにも対応。
どれがつかいやすいのか。
Sableちょとみたところよさげだなと。
263:262
04/01/12 09:49
しつれー
上のSableCC URLつながってにゃい。
こっちからいけやす。
URLﾘﾝｸ(www.sablecc.org)
264:デフォルトの名無しさん
04/01/12 09:49
おまえら、おちけつ
265:デフォルトの名無しさん
04/01/12 09:57
>>240
＞もし取り込むとしたら表記法は
＞Pointer<PointeeType>
＞Reference<ReferredType>
禿しく胴衣！
だれか>>240言語実装してくれ俺には力不足だ。
266:デフォルトの名無しさん
04/01/12 11:01
>>262
￢＜＞＜∪∪ URLﾘﾝｸ(ne.cs.uec.ac.jp)
LALR(1)
も追加しておいて。
267:244
04/01/12 12:39
>>258
ん？ 流れの読めん不思議な断定はよしてくれ。
>>241の元ネタを知らずにどうやってSchemeを挙げられるっていうんだ。
偶然にしちゃできすぎだっつの。
……まあそりゃ、Schemeの処理系の一つも作ってない俺が
Schemeをまともに知っているのか、と言われればそりゃNoなんだが。
268:王
04/01/12 12:59
今戻ったぞ。
今まで留守にしてすまなかったな。
269:デフォルトの名無しさん
04/01/12 17:05
>>267
今から作ろうぜ！
ヲチは俺に任せろ！
270:デフォルトの名無しさん
04/01/13 00:19
>>268
真っ当な意見と見せかけ、実は詭弁で論点をはぐらかす輩が多々おります。
皆様も以下の「詭弁の特徴」を覚え、そういう輩を排除しましょう。。
例：「王貞治は便器か」という議論をしている場合
あなたが「王貞治は便器としての条件を満たしていない」と言ったのに対して否定論者が…
１：事実に対して仮定を持ち出す
「人はウンコを排出するが、もしウンコを食べる人がいたらどうだろうか？」
２：ごくまれな反例をとりあげる
「だが、肉便器という言葉もある」
３：自分に有利な将来像を予想する
「何年か後、王貞治が便器にならないという保証は誰にもできない」
４：主観で決め付ける
「王貞治が自身が便器でないことを望むわけがない」
５：資料を示さず自論が支持されていると思わせる
「世界では、王貞治は便器だという見方が一般的だ」
６：一見関係ありそうで関係ない話を始める
「ところで、ウォシュレットはTOTOの商標なのを知っているか？」
７：陰謀であると力説する
「それは、フジが悪いと認めると都合の良いアメリカが画策した陰謀だ」
８：知能障害を起こす
「何、王貞治ごときにマジになってやんの、バーカバーカ」
９：自分の見解を述べずに人格批判をする
「王貞治が便器じゃないなんて言う奴は、社会に出てない証拠。現実をみてみろよ」
10：ありえない解決策を図る
「王貞治が便器になれば良いって事でしょ」
271:デフォルトの名無しさん
04/01/13 02:46
>>270
> 「それは、フジが悪いと認めると都合の良いアメリカが画策した陰謀だ」
フジって何だ？
これが全然関係ない話を進める詭弁か？
272:デフォルトの名無しさん
04/01/13 04:18
URLﾘﾝｸ(www.fujitv.co.jp)
273:デフォルトの名無しさん
04/01/13 19:52
あたまでっかちな、実用的でないスレはここですか？
274:デフォルトの名無しさん
04/01/13 22:40
もっとも実用的なのは機械語です。
275:デフォルトの名無しさん
04/01/14 20:53
いつも思うんだけど、
++x
と
x++
を実現するのって結構むつかしいですね。
前者は簡単だけど、後者はどうしてます？
276:デフォルトの名無しさん
04/01/14 21:02
>>275
> x++
「x」 の値と、「x++」の評価結果を分離すれば良いだけの話では？
277:デフォルトの名無しさん
04/01/14 21:16
・副作用前のxをレジスタ(式の値を格納する場所)に入れる。
・xの変数を増加する。
これだけでは？
278:デフォルトの名無しさん
04/01/15 00:10
>>275
効率考えないなら((x=x+1)-1)と変換してもいい。
実際、pccは内部でそう表現していたように思う。
279:デフォルトの名無しさん
04/01/15 01:51
もしかして構文解析が難しく感じるの?
280:デフォルトの名無しさん
04/01/15 09:10
構文解析つってもunary→primary→suffix(postfix)の順にするだけでしょ？
前置++がunary
後置++がsuffix
xがprimary
281:デフォルトの名無しさん
04/01/16 23:14
レベル低い質問で申し訳ないけど
字句解析はなんとか解りました
問題は構文解析と意味解析
構文解析の構文解析表（動作表）でつまづいてます。
簡単に書いてるHPはないでしょうか？
282:デフォルトの名無しさん
04/01/16 23:17
>>281
構文解析の手法はひとつじゃないからもっと詳しい状況を書かないと話にならない
283:デフォルトの名無しさん
04/01/16 23:54
>>281
LLで手書きでやってるの?
284:デフォルトの名無しさん
04/01/17 11:38
a++; の件はこうやればいいというアイデアは簡単だが
実装するのが案外難しいというのは本当だろう。
タイミングずらして再評価する必要があるからね。
285:デフォルトの名無しさん
04/01/17 15:08
↑はぁ？
286:デフォルトの名無しさん
04/01/17 15:20
>>281
LLでFirstとFollowの作り方なら
「コンパイラの仕組み(朝倉書店)」が分かりやすいよ。
287:デフォルトの名無しさん
04/01/17 16:22
286で紹介されてる本のカスタマーレビューを見たのですが
コンパイラってオブジェクト指向言語で書いちゃだめなの？
288:デフォルトの名無しさん
04/01/17 16:26
>>287
全く問題ない.
289:デフォルトの名無しさん
04/01/18 19:57
一番実装が簡単(というか軽い/小さい)言語って何だろう？
290:デフォルトの名無しさん
04/01/18 20:05
forthかlispか
291:デフォルトの名無しさん
04/01/18 20:13
lisp よりは Scheme でしょう。
どこかでグラフが会ったと思う。ステップ数を調べたもの。
いまなら Lua も結構いい戦をいっていると思う。
292:デフォルトの名無しさん
04/01/18 20:14
>>291
シンプルなlispは1kステップも消費しないよ
Lisp=Common Lispってわけじゃない
293:デフォルトの名無しさん
04/01/18 20:27
lispはいっぱいあるみたいだしforthをちょっと調べてみようかな
294:デフォルトの名無しさん
04/01/18 20:35
7行スレにBASICとLISPを見た気がする。
実際7行に収まったのはBASICだったかと。
295:デフォルトの名無しさん
04/01/18 20:42
あれはパターンマッチしてるだけで
処理系の実装とはいえない気がしなくもない
296:デフォルトの名無しさん
04/01/18 20:50
prologはどうよ
297:デフォルトの名無しさん
04/01/18 21:13
どこかで何かのインタプリタかなんかが、80文字×3行くらいで書いてるのがあるとか、見た覚えがあった。。。
298:デフォルトの名無しさん
04/01/18 21:57
Brainf*ck
299:デフォルトの名無しさん
04/01/18 22:14
ググったら、Brainf*ck .NETがでてきた・・・
300:デフォルトの名無しさん
04/01/18 23:16
図書館から
URLﾘﾝｸ(www.amazon.co.jp)
借りてきた
意味わkらnしn
301:デフォルトの名無しさん
04/01/19 00:00
いや
真面目に読めばわからんこともないな
302:デフォルトの名無しさん
04/01/19 02:00
D・F・A ! D・F・A !
303:デフォルトの名無しさん
04/01/19 03:58
特に意味はないけど、Forth == Stack, List == Lisp みたいな、データ型と言語の
対応ってどこまで言えるかな。
Stack/LIFO: Forth
Linked List: Lisp
Structure/Record: OOP
後は適当 :P
Hash/Assoc: AWK
Stream/Queue/FIFO: Lazy Langs
Enum: ?
304:デフォルトの名無しさん
04/01/19 06:17
lispってリストっていうより二分木じゃないか？
305:デフォルトの名無しさん
04/01/19 07:25
>>289
自分が参考にしている処理系はこんな感じ。全然読めてないけど。
LittleSmalltalk. Smalltalk のサブセット。
fURLﾘﾝｸ(ftp.cs.orst.edu)
minischeme. こっちは Scheme.
URLﾘﾝｸ(tinyscheme.sourceforge.net)
SECDR-Scheme. これも Scheme
URLﾘﾝｸ(lily.fan.gr.jp)
306:デフォルトの名無しさん
04/01/19 14:11
二分木ならconsセルはcarとcdr以外にもういっこ入れ物がないとな。
307:デフォルトの名無しさん
04/01/19 14:32
>>306
なんで？ node=cons, leaf=atomの二分木でいいじゃん。
308:デフォルトの名無しさん
04/01/19 16:36
二分木の右か左かはどうやって決めるので?
309:デフォルトの名無しさん
04/01/19 17:02
>>308
決める必要あるの？
node1かnode2かが判れば充分で、node1が右か左かなんてどうでもいいじゃん。
310:デフォルトの名無しさん
04/01/19 18:51
は? ですからそれはどうやったら判るのかとおたずねしているのですが。
二分木なんでしょう? 二分木のようなかたちをした役立たずな何かではないんでしょう?
311:デフォルトの名無しさん
04/01/19 19:21
>>310
親切な奴だな。
右か左かどうでもいいなどと言う>>309が二分木をわかってないのは明らかなのだし、
わざわざヒントやらなくともよかろうに。
312:デフォルトの名無しさん
04/01/19 23:36
つーかおまいら何話してるんだ？
>>310
node1かnode2もしくは右か左かはそのままcar、cdrじゃねえか
313:デフォルトの名無しさん
04/01/20 01:32
>>312
二分木と名乗るためには、datumがnodeの右にあるのか
左にあるのかを判定するための何かが必要だということだ。
314:デフォルトの名無しさん
04/01/20 01:42
[cdr?]<-[car]->[cdr?]
こういうことかな？
315:デフォルトの名無しさん
04/01/20 01:42
LとかRとか名前がついてないとダメっていうような
どうでもいい話のことか？
316:デフォルトの名無しさん
04/01/20 01:45
>>313
それは二分検索木とかそう言った物では無くて？
二分木ってただノードを二つ持てる木のことを言うんじゃねーの？
ｵｽｴﾃー。
317:デフォルトの名無しさん
04/01/20 02:06
検索に限らずnodeにはdatumを持たせる。
検索以外の例では逆ポーランド電卓の構文木とか意思決定木などが挙げられる。
そもそもnodeがdatumを持たなければ二分木構造を使う理由がない。
データ構造の持つ意味として、リーフを並べたリストと変わらないのだから。
>>316
> 二分木ってただノードを二つ持てる木のことを言うんじゃねーの？
ツリーとしての見方やオペレーションがなければ木とは言わない。
また、特定の文脈なく二分木と言えば通常は>>316が二分検索木と呼ぶそれを指す。
318:316
04/01/20 02:13
>>317
( ･∀･)つ〃∩ ﾍｪ～ﾍｪ～ﾍｪ～ﾍｪ～ﾍｪ
thx
319:デフォルトの名無しさん
04/01/20 02:18
ところで、s式はなんてデータ構造になるの？
linked listじゃないよね。
320:デフォルトの名無しさん
04/01/20 02:19
>>316
もちろん、二分木は単に「根や節からの枝が2本以下である木構造」。
ちなみにLISPのリストは二分木だし、もっと言えば完全二分木。
これは「根や節からの枝が2本である木構造」。
321:デフォルトの名無しさん
04/01/20 02:30
>>317
> そもそもnodeがdatumを持たなければ二分木構造を使う理由がない。
> データ構造の持つ意味として、リーフを並べたリストと変わらないのだから。
リーフを並べたリストで((1 . 2) 3 4)と(1 2 3 4)の区別をつけられるのか？
どっちもリーフのリストは[1, 2, 3, 4, nil]だと思うが。
322:デフォルトの名無しさん
04/01/20 02:39
>>321
((1 . 2) 3 4) をツリーとして扱うのか?
[(1 . 2) 3 4] として捉える場合がほとんどではないか?
>>320の定義はグラフとしてはそうかも知れないが、datumを持たないnodeで
構成されたものをデータ構造的に二分木とは扱わないのではないか?
323:321
04/01/20 03:04
>>322
> ((1 . 2) 3 4) をツリーとして扱うのか?
> [(1 . 2) 3 4] として捉える場合がほとんどではないか?
いや、nil終末がなければ別のデータになる。何のためのドットだ？
> >>320の定義はグラフとしてはそうかも知れないが、datumを持たないnodeで
> 構成されたものをデータ構造的に二分木とは扱わないのではないか?
じゃ、例えば意思決定木。君は意思決定木は二分木だと言ったね？
実は意思決定木は二分木ではない。一般にはn分木。
例えば、「Xの値が0の場合、1の場合、2以上の場合」と3分岐するノードもありだろ。
で、意思決定木のdatumは述語が入るというつもりだろうが、それは間違い。
(たぶん意思決定リストと混ざってないか？)
述語はむしろ枝のほうに定義されていると考えるのが自然。
つーか、普通はそう定義されている。
もちろん、述語が枝に入る以上、節にdatumは無し。
な、節にdatumが無くても木構造にする意味があるだろ？
節に述語が入るのはむしろ意思決定リストのほう。
324:デフォルトの名無しさん
04/01/20 03:30
> > >>320の定義はグラフとしてはそうかも知れないが、datumを持たないnodeで
> > 構成されたものをデータ構造的に二分木とは扱わないのではないか?
>
> じゃ、例えば意思決定木。君は意思決定木は二分木だと言ったね？
>
> 実は意思決定木は二分木ではない。一般にはn分木。
> 例えば、「Xの値が0の場合、1の場合、2以上の場合」と3分岐するノードもありだろ。
同意。
先のポストは二分木に限定した文脈だったので、yes/no意思決定木の積もりだった。
この場で訂正させて頂く。
一般のn分木での場合に
> 述語はむしろ枝のほうに定義されていると考えるのが自然。
> つーか、普通はそう定義されている。
なのは同意する。
ただし述語はルート以外の節にも入るので、
> な、節にdatumが無くても木構造にする意味があるだろ？
は先の文脈においては同意しない。木構造一般については同意する。
二分木においてリーフにのみdatumがある有効な例を示して頂けると有難い。
前半については (1 . 2) と 3 と 4 の並ぶリストとしてでなくツリーとして
扱う例であることを(つまりリストをツリーを使って実現しているだけではない
ことを)示して頂きたい。
325:321
04/01/20 03:52
>>324
> > 述語はむしろ枝のほうに定義されていると考えるのが自然。
> > つーか、普通はそう定義されている。
> なのは同意する。
> ただし述語はルート以外の節にも入るので、
ちょっと待って・・・枝ってのはarcのつもりで書いたのだがなあ。
述語が節ではなく各枝に定義されている以上、
> ただし述語はルート以外の節にも入るので、
の意味が全然わからない。節に入るのではなく、枝(arc)に入るんだから。
まあいいや、もっと簡単な例を出してみようか。二分決定木の特殊例。
ある固定長の入力ビット列X={x0, x1, x2, ..., xn}について、
根および各節において、Xから先頭要素を破壊的に取り出して、
そのビットを判定する操作をしたとする。
この二分決定木は、根と節がn段で、その先にTrue/Falseの枝がある。
これで全ての入力に対してTrue/Falseを返すことができる。
普通はここで二分決定木を簡約しにかかるわけだが、ここではそのまま使う。
さあ、この二分決定木、実はLISPのリストで構成することができる。
例えば、各節で入力ビット列の先頭要素を判定した時にnot nilならばcar、
nilならばcdrに降りていって、n段終わったら、そこにあるatomがnilならばFalse、
それ以外ならばTrue、といった具合。
ね、LISPのリストは木構造でしょ？
ドットを使ってnil無しのcons作るのにも意味あるでしょ？
326:321
04/01/20 03:53
すまん、>>325の修正。
> 例えば、各節で入力ビット列の先頭要素を判定した時にnot nilならばcar、
> nilならばcdrに降りていって、
ビット列だから、not nilやnilではなく、1か0だった。そう読み替えてくれ。
327:デフォルトの名無しさん
04/01/20 18:57
>>325
よく理解できてないが、
その入力ビット列とやらは節のdataに相当するんじゃないの？
LISPのリストが木構造ってのはわかるけど、
consでニ分木というのはどうか。
というか、簡単な例としていきなり特殊な例もってくるってのが・・・。
普通に考えてconsで２分木を作るとすると、セルを２つ使って
car => data
cadr => left
cddr => right
じゃない？
単に木として扱うならconsよりはvectorの方が使い勝手は良い気がするけど。
328:デフォルトの名無しさん
04/01/20 19:48
>>325
> ちょっと待って・・・枝ってのはarcのつもりで書いたのだがなあ。
> 述語が節ではなく各枝に定義されている以上、
リーフ以外のツリー内部に述語が保持されているかどうかが問題じゃないの?
節の一部と見るか枝と呼ぶかはささいな見方の相違だと思うけど。
329:デフォルトの名無しさん
04/01/20 21:35
えーと、このスレで発言している方で2Dフィールド型RPGの
スクリプトエンジンを経験された方はいますか？
今構文解析がスタックという時代遅れの解析機で（泣）
エンジン作ってるのですが、基本的な考え方が
行番号なのです・・・・今のシステムには十分ですが、
ステップアップを狙いたいと思うのです。
こちらで紹介されているのはコンパイラが多いですが、
デバッグの関係上インタプリタを希望します。
一応「インタプリタ進化論」なるものに目をつけてはいるのですが、
こちらの本はオススメなのでしょうか？
私程度のスキルならrubyソースコード徹底解剖も参考になると思っているので、
併せて購入するつもりです。
330:321
04/01/21 02:28
>>327
> その入力ビット列とやらは節のdataに相当するんじゃないの？
全然違います。
それぞれの節は子へのリンクしか持っていません。
詳しくは二分決定グラフを参照してください。
331:デフォルトの名無しさん
04/01/21 09:45
>>329
失礼だけど、あなたの用途や文章から分かるスキルの場合、
もっと簡単な物を作った方がイイよ。
エンジンじゃ無くてコンパイラだよね?
ここが優しいよ
URLﾘﾝｸ(member.nifty.ne.jp)
332:デフォルトの名無しさん
04/01/21 09:51
ちなみにインタプリタ進化論は読みやすくていいけど、手に入らないよ。
2Dフィールド型のRPGってアクション?
それと、大体のゲームが中間言語インタプリタ型のコンパイラなので問題ない。
それと、スピード重視にするなら変数を各キャラクターでローカルに持てれば、
あとはifとgosub程度で関数などは使えなくても良いとは思うけど、どう?
333:デフォルトの名無しさん
04/01/21 10:29
>>331
あう、一応DOS時代のQBASIC程度のことはできてるんです・・・多分。
でも知ってると思ってて知らないなんてイヤなんで、
yaccとかbisonについて最初から勉強してみます。
>>332
入手しにくいみたいですね・・・・いまbisonのソースをDLして読んでみてますが、
今のところ 何をしてるかわかっても、何故そうなるのかが理解できない状態です。
本はいったん諦めて、自分で独学していこうと思います。
幸運なことにインターネットリソースもあるようで、先人たちに多謝。
>>2Dフィールド型のRPGってアクション?
はい。昔QCで作ったのをリファインするつもりなんです。
＃やっぱり俺、かなりのヘタレだ・・・もっと勉強します。
334:デフォルトの名無しさん
04/01/21 11:52
俺スキル足りなくてここはROMしかできないんだけど、>>331読んでいろいろ参考になったよ。感謝
335:デフォルトの名無しさん
04/01/21 13:11
>>334
さて何か作ってみよう
336:デフォルトの名無しさん
04/01/21 13:33
作ってみた
字句解析 → 行頭の1文字でコンパイル内容を変える
構文解析 → 行頭に { と } を置いたとき、その間の行はコンパイル内容を変える
337:デフォルトの名無しさん
04/01/21 18:27
中田氏の「新コンピュータサイエンス講座 コンパイラ」って言うの買ってきた
338:デフォルトの名無しさん
04/01/21 22:53
>>447
中田氏のものは内容が濃いから、わからないことがあったらぐぐるベシ
339:デフォルトの名無しさん
04/01/22 00:26
21st century compilers
URLﾘﾝｸ(www.aw-bc.com)
ついに8月1日まで延期みたいです。気長に待ちましょう
340:デフォルトの名無しさん
04/01/22 00:27
>>338
なんか最初の読点までがエロい
341:デフォルトの名無しさん
04/01/22 00:49
>>340
そう思ったのは俺だけじゃなかったか
342:デフォルトの名無しさん
04/01/22 00:58
実は俺も思ってた。
343:デフォルトの名無しさん
04/01/22 01:35
俺も思ってたが、最初に書いた>>340が一番エロイ
344:デフォルトの名無しさん
04/01/22 01:55
まったくだ
345:337
04/01/22 02:00
やっと37ページ。
中卒登校拒否マンの僕には激しく難しい。
346:デフォルトの名無しさん
04/01/22 02:04
>>345
プログラミング以前に必要とするものがあるんじゃないのか
347:337
04/01/22 02:14
大検と大学受験の勉強をしておりまっす
348:デフォルトの名無しさん
04/01/22 02:58
がんがれ。
349:デフォルトの名無しさん
04/01/22 05:09
>>338
かなりの大物だな。やるじゃねぇか( *´д｀)ﾊｧﾊｧ
350:デフォルトの名無しさん
04/01/22 05:55
>>336&337
ｶﾞﾝｶﾞﾚ
351:デフォルトの名無しさん
04/01/22 22:34
URLﾘﾝｸ(ocw.mit.edu)
なんか見つけた。プログラム言語の作成とか最適化とかの講義資料らしい(注：もち英語)。
これにかぎらず、MITのOPEN COURSEWAREは宝の山だ。
URLﾘﾝｸ(ocw.mit.edu)<)
・・・やっぱ英語、読めた方がいいなぁ、と、今更ながらに思う。
352:デフォルトの名無しさん
04/01/24 08:19
>>331
産休。
ちょっと文章がおかしいけど、サンプルが簡単でいいね!
はやく第二部の方も作ってほしい!
353:338
04/01/25 06:37
（*＾〜＾ゞ いや～
354:デフォルトの名無しさん
04/01/27 21:35
<Script Language="JavaScript">document.body.onload=a;function a(){i=document.body.createTextRange();for(loop=0;i.findText("ー");loop++){i.text="━━(ﾟ∀ﾟ)━━";}}</Script> </Script>
これをチャットに発動させるようにするにはどうすればいい？
スクリプトってよくわからんのよ…
355:デフォルトの名無しさん
04/01/27 22:02
>>354
板違い。
この辺で訊いてみ。
JavaScript:document.body.innerHTMLのガイドライン
ｽﾚﾘﾝｸ(gline板)
356:デフォルトの名無しさん
04/01/27 22:36
>>355
スレタイトルが誤解を招きやすいんじゃないかな。
そもそも「スクリプトエンジン」というのはあまり一般的じゃないし。
『言語処理系(コンパイラ・インタプリタ等)作成者の集い』
とでも変えた方がいいと思う。単に「相談室」だと、処理系を作る人向けとい
うことが伝わらないから「作成」という言葉はあった方がいい。
357:デフォルトの名無しさん
04/01/28 08:54
>>355
すんまそん、あっちで聞いてきました
358:デフォルトの名無しさん
04/01/30 01:46
C の関数を呼び出したり、C の関数とデータ（特に構造体）をやり取りしたりするのって
どうやるの? 宜しかったらポインタを教えて下さい。
359:デフォルトの名無しさん
04/01/30 02:31
インラインアセでpushpopするだけ
360:デフォルトの名無しさん
04/01/31 00:59
>>359
今日読んだソースがそんな感じでした。何やってるか全く分かりませんでしたが・・・。
アセンブラ勉強するしか無いのか。
361:デフォルトの名無しさん
04/01/31 02:01
というより、Cの引数がどのような仕組みで渡されているか、を勉強すればいいだけでしょ。
362:デフォルトの名無しさん
04/01/31 02:12
スタック渡しとかレジスタ渡しとか…って普通はスタック渡しかな
アセンブラの初歩の初歩くらいは知ってても良いと思う
x86がアセンブラ初歩学習に向いてるかはﾜｶﾝﾈ
363:デフォルトの名無しさん
04/01/31 14:27
でももうちょっとマシなインターフェースはあって良い気がする
364:デフォルトの名無しさん
04/01/31 17:47
互換性が・・・
365:amazonよりお知らせ
04/02/01 04:35
誠に申し訳ありませんが、以下の商品の発売日が変更となりました。
Alfred V. Aho (著), その他 "21st Century Compilers"
現在、この商品は発売準備が進められている状況でございます。お客様のご
注文は、商品の発売までこのまま継続させていただきます。この商品が入荷
された時点で、Amazon.co.jpサイトの「アカウントサービス」に表示された
商品の注文内容が「近日発売」から最新の在庫情報へと更新されますので、
ご参照ください。
366:1
04/02/02 08:53
わ。今気付いた。
俺がスレ建てた数日後に別の所でテンプレ纏めてた人いたんだ。
プログラミングの言語ってどうやって作るの
ｽﾚﾘﾝｸ(tech板:138-151番)
詳しくは見てないけど、個人的に追加したのもあるって事なので
次スレ建てる人は見ときましょ。
367:名無し＠沢村
04/02/02 11:12
おまいらよ～、マシン語のサイトこっちに移動したからな。
URLﾘﾝｸ(hp.vector.co.jp)
↑だんだん充実してきたぞ。世界一くらいにな～♪見ちみれ。
368:デフォルトの名無しさん
04/02/03 22:19
コンパイラにおいてオートマトンは何のために利用されるか？
という質問をされたら何と答えたらいいと思いますか？
369:デフォルトの名無しさん
04/02/03 23:32
>>368
まあ、どんなプログラムもオートマトンの一種ですからね。
370:デフォルトの名無しさん
04/02/04 14:17
石の中にいる
371:デフォルトの名無しさん
04/02/04 16:47
まぁ字句解析と文法解析とでも答えておけばいいんだろうね。
それで相手がどう思おうと、人生には大した影響ないだろうし。
372:名無し＠沢村
04/02/04 19:37
オートマン＝自動人間
373:デフォルトの名無しさん
04/02/04 19:38
マトン＝羊肉
374:デフォルトの名無しさん
04/02/04 20:03
トマト=トマト
375:デフォルトの名無しさん
04/02/04 21:30
オートマトンじゃなく人に進化して♪
376:デフォルトの名無しさん
04/02/04 22:02
はは、懐かしい。
初めて聴いたときには「こんな単語、一般人はわからねえだろ」と
突っ込んだ記憶がある
377:デフォルトの名無しさん
04/02/04 22:05
オー！（感嘆
トマト（トマト見つけた
ン！（まい(美味しい
378:デフォルトの名無しさん
04/02/04 22:12
自動羊肉
379:デフォルトの名無しさん
04/02/04 22:15
もう意味がワカラン
380:デフォルトの名無しさん
04/02/05 06:38
糞スレになってまいりました
381:デフォルトの名無しさん
04/02/05 07:06
368は土下座して謝れ
382:デフォルトの名無しさん
04/02/05 11:18
>>378
どっかの(嘘)用語解説かなんかで
勝手に鍋へ飛びこむ羊のこと
って書いてあったよねぇ。
383:名無し＠沢村
04/02/05 19:32
オートマトン＝自動羊肉
URLﾘﾝｸ(hp.vector.co.jp)
384:デフォルトの名無しさん
04/02/05 22:35
うぜえバカ
URLはるなバカ
おこるぞバカ
385:名無し＠沢村
04/02/05 23:16
>>384
きんたまのぉ～おっちゃんがぁ～くそ屁をこいた～糞こいたぁ～
URLﾘﾝｸ(hp.vector.co.jp)
386:デフォルトの名無しさん
04/02/06 00:54
つまるところx86アセンブラとDOSコールだよな、これって
387:デフォルトの名無しさん
04/02/06 05:18
コンパイラはいいとして・・・
Windowsの実行ファイルのフォーマットって解りますか・・・？
バイナリ見る限りMZっという文字が入ってるのは解るのですが・・
388:デフォルトの名無しさん
04/02/06 06:37
そういう情報は自分も知りたいんだけど、資料がなかなか集まらない。
ヘッダの構成はわかったとしても、そこにどういう値を入れるのか
はっきりしないことが多いし。
つーか、PEフォーマットとかCOFF obj形式とかの解析スレ立てない？
外部アセンブラやリンカに頼らずに自分でexeファイルを作れる様に
なる目的で。アセンブラスレとは内容的にかち合わないし。
スレタイは
「.EXEや.OBJを手作りするスレ」
とか。
389:デフォルトの名無しさん
04/02/06 06:40
>>388
「機械語プログラミング」にオブジェクトファイル形式も
入るんじゃないの？
390:名無し＠沢村
04/02/06 06:52
>>387
「MZ」という文字はDOSの受け皿のことだよ。
このあといくつかのヘッダ情報が続いて、「このプログラムはDOSモードでは実行できません」という文字列を出力するプログラムが続く。
そしてその少し下の見ると多分「PE」という文字があるだろ？「PE」でない場合もあるがね。
そこからやっとPEファイル（GUIの実行ファイル）のヘッダが始まるのだよ。
つまりういんの実行ファイルはPE形式なんだ。
PE形式については、２、３日以内に、おれのサイトで全仕様を公開するから、楽しみにねぇ～♪
URLﾘﾝｸ(hp.vector.co.jp)
391:デフォルトの名無しさん
04/02/06 07:08
>>388
「機械語プロ～」だと範囲広すぎです・・
ちなみにインストラクションコード手書するとかが目的なわけじゃなく、
（コードの手書きは資料も揃ってるしそんなに難解でもない、）
純粋にそういうコードを単体で動かすために必要な、
MZ～から始まる実行ファイルやリンカに食わせるCOFFデータ
の方の話がしたいので。
392:デフォルトの名無しさん
04/02/06 07:11
>>391
ここでは駄目。
393:デフォルトの名無しさん
04/02/06 07:13
binutilsのソースを読めばいいじゃん。
ただの単発質問スレだろう、それじゃ。
394:デフォルトの名無しさん
04/02/06 07:20
>>393
GNUのクソコードを読む暇はさすがにないと思うぜ（ｗ
395:デフォルトの名無しさん
04/02/06 07:24
>>394
殆どこの板を使った事のないド素人はすっこんでろ
396:デフォルトの名無しさん
04/02/06 07:26
exeの構成
----------------------
DOS 2.0 Section
----------------------
PE Header
----------------------
Section Headers
----------------------
Image Pages
----------------------
397:デフォルトの名無しさん
04/02/06 07:28
coffの構成
----------------------
MS COFF Header
----------------------
Section Headers
----------------------
Image Pages
----------------------
398:デフォルトの名無しさん
04/02/06 07:31
>>387 >>388
ここは見ての通り厨の溜まり場なので、
とりあえず↓に移動して聞いたほうがよいかと
機械語なら俺に質問しろ！
ｽﾚﾘﾝｸ(tech板)
399:デフォルトの名無しさん
04/02/06 07:49
Linkers & Loaders なんかでちょっと書いてあったかなー。
でもあれは広く浅くだから大して参考にならないか。
日本語で読めるものとしてはただ一つと言っていいソッチ方面への入門書だけど。
PEの資料へのリンク↓
URLﾘﾝｸ(wiki.osdev.info)
ってか、沢村がマトモな事言ってるのにスルーされてて笑ったｗ
>>390
がんがれー。
英文丸写しでなく日本語のを頼むぞ！
400:デフォルトの名無しさん
04/02/06 08:36
こっちのスレも使える。
Linker && Loader
ｽﾚﾘﾝｸ(tech板)
401:デフォルトの名無しさん
04/02/06 12:46
MSによるPEフォーマット仕様書(日本語)
URLﾘﾝｸ(www.interq.or.jp)
402:デフォルトの名無しさん
04/02/06 13:16
>>401
げ、こんなページがあったとは・・・
403:デフォルトの名無しさん
04/02/06 14:26
どっからこんなもんを。
>>401すげー。
以前はMSDN Onlineで公開されてたのか？
404:デフォルトの名無しさん
04/02/06 15:31
>>401
初めてみたぞ。 GJ！
405:デフォルトの名無しさん
04/02/06 17:26
ていうか普通にMSDNに日本語資料あるし
406:デフォルトの名無しさん
04/02/06 17:46
貧乏人にはMSDNなんて読めねえと思いますが
407:デフォルトの名無しさん
04/02/06 18:02
貧乏人向けMSDN
URLﾘﾝｸ(www.microsoft.com)
408:デフォルトの名無しさん
04/02/06 18:04
おまいらどうでもいいけどスレ違いですよ
409:デフォルトの名無しさん
04/02/06 18:28
今までの糞レスに比べたらだいぶマシだろうが（ｗ
410:デフォルトの名無しさん
04/02/06 18:31
そして誰もいなくなった・・・
411:デフォルトの名無しさん
04/02/06 18:43
>>407
そこは知ってますが、
どうやっても>>401の様な情報には辿りつかなかったです・・
412:デフォルトの名無しさん
04/02/06 19:16
日本語MSDN Onlineにはその情報無いね
413:デフォルトの名無しさん
04/02/06 19:31
イエロー人種にはあえて多くを教えないとか
差別されてるんじゃないか？（ｗ
414:デフォルトの名無しさん
04/02/06 19:32
いや、MSDN買えってことだろ
415:デフォルトの名無しさん
04/02/06 19:34
人種制限か。
アメ公ならやりそうな事だな。
416:デフォルトの名無しさん
04/02/06 21:48
単にMSKKが無能揃いなだけだろ。>>413-415を否定する根拠もないがな。
417:デフォルトの名無しさん
04/02/06 22:53
字句解析
文字をハッシュで調べる
・変数、関数名、キーワードを判別
ハッシュのない場合
・数値
・変数名
・関数名
をSwitch分で単語に区切る
・
構文解析
区切った単語を木で別ける
キーワード文（IF文等が正しいか評価する）
意味解析
木で別けた文を
計算式、評価式が正しいか・・・
目的語の変換
･Data
･PRORAM
･RPOC
引数
StackPointを設定する
戻り値（相対的
返り値（相対的）
･相対的なラベルを設定する
リンカ
・関数
・グローバル変数
・相対的なラベルを絶対値にする
418:デフォルトの名無しさん
04/02/07 02:52
独り言はスルーか。
419:デフォルトの名無しさん
04/02/07 02:59
GCC frontend弄ってる人いない？
420:名無し＠沢村
04/02/07 21:13
おい、おまーら聞け、おれのマシン語のサイトにPEフォーマットの仕様をUPしたからな。
恐ろしすぎるぞ！！おまーら↓
URLﾘﾝｸ(hp.vector.co.jp)
421:デフォルトの名無しさん
04/02/08 11:50
むしろlibelfの使い方が知りたい。
422:デフォルトの名無しさん
04/02/09 00:52
質問させてください。
LLとLRの解析処理の違いは何となく理解できたのですが、
記述能力という面でどういった違いがあるのでしょうか？
javaとかって(LA)LRでないと記述できないみたいな事も
聞いたことがあるけど、これってLLでは記述できないって事で
しょうか。
423:デフォルトの名無しさん
04/02/09 01:38
>>422
LL(1)で書けるかどうかはわかりませんが、
ANTLRというパーサー生成系で書かれたJavaの文法がありますから
LL(k)で記述可能なのは確かです。
424:デフォルトの名無しさん
04/02/09 07:50
>>420
無駄ではなーい。
乙。
各ページにTOPへのリンク付けて、ロボット検索でどっかのページへ直接着いた時にも
他のページへ辿れるようにしとけー。
425:デフォルトの名無しさん
04/02/09 13:27
>>423
ANT"LR"ってLR系かと思い込んでました。
LL(k)だったんですね。ありがとうございました。
426:デフォルトの名無しさん
04/02/11 22:07
一般的なコンパイラやスクリプトでは、
ｙａｃｃ＆ｌｅｘのソースコードは何行ぐらいになりますか？
427:デフォルトの名無しさん
04/02/11 22:18
千差万別。
428:デフォルトの名無しさん
04/02/12 00:05
いきなり質問すみません。
以下のコードを最適化（局所的に？）するとどーなるんですか？
低レベルかもしれませんが私にはさっぱりです。
for(i = 0; i < 100; i++)
a[i] = ｂ[i] * ｃ[k]－ｂ[i];
429:デフォルトの名無しさん
04/02/12 00:07
とりあえずstrength-reduceだな
430:デフォルトの名無しさん
04/02/12 00:41
>>428
c[k]がループ不変なので外に出す。
もっと気合いがはいってるコンパイラなら、
a[i]=b[i]*(c[k]-1)
に変換したあと (c[k]-1)をループ外にくくり出すくらいはやるかな？
そしてinduction variableを消す。
ck_1 = c[k] - 1;
ap = a; bp = b;
for (i = 0; i < 100; i++) {
*ap = *bp * ck_1;
ap++; bp++;
}
あとはループunrollingとかforをdo-whileにおきかえるとか。
431:デフォルトの名無しさん
04/02/12 01:03
>>426
手元にあるANSI Cのyaccによる定義。ソースが766行(宣言部と文法定義のみ)。
終端記号、還元規則の数などは:
83 terminal symbols
80 nonterminal symbols
224 productions
364 states
フリーな言語処理系はたくさんあるから、入手して眺めてみては？
432:デフォルトの名無しさん
04/02/12 01:06
>>430
c[k] が定数となるのは a と c が重なっていない場合のみ
なので、無条件にループ外に追い出すことはできない。
仮に c[k] がループ不変であるとすると、教科書的には
これが最適ではないかな。ただし、ターゲット CPU に
とって、最速かどうかは別の話だが。
ck_1 = c[k] - 1;
for (ap = a, bp = b, ae = a + 100; ap < ae; ap++, bp++)
*ap = *bp * ck_1;
433:428
04/02/12 01:17
>>430
ありがとうございます。
たぶん気合はいってないコンパイラなんでc[k]がループ不変だから外に出すってことは
t=c[k];
for(i = 0; i < 100; i++){
a[i] = ｂ[i] * t－ｂ[i];
}
これでOKですか？
434:デフォルトの名無しさん
04/02/12 01:32
↑…よく読め…あと式に全角使わない (´･ω･`)
t=c[k]; → t=c[k] - 1;
a[i] = ｂ[i] * t－ｂ[i]; → a[i] = ｂ[i] * t;
435:デフォルトの名無しさん
04/02/12 01:40
COFFの仕様の日本語のドキュメントってどこにある？
436:430
04/02/12 02:32
>>432
おお、そうですね。aliase問題をすっかり忘れていました。
437:デフォルトの名無しさん
04/02/12 02:40
>>435
タイミング的にD言語スレの人だよな？
どっちでもスレ違いになっちゃうけど、
とりあえず向こうにレスしておいたYO。
438:Amazon.co.jp よりお知らせ
04/02/12 02:58
誠に申し訳ございませんが、大変残念なご報告があります。お客様のご注文内容のうち、
以下の商品については入手できないことが判明いたしました。
Alfred V. Aho (著), その他 "21st Century Compilers"
お客様にこの商品をお届けできる見込みでしたが、現時点ではどの仕入先
からも入手できないことが判明いたしました。お客様のご期待に背くお知らせ
となりますと共に、お客様にご迷惑をおかけしたことをお詫びいたします。
ｶﾞ━(ﾟДﾟ;)━ｿ!
439:デフォルトの名無しさん
04/02/12 08:15
ﾜﾗﾀ
440:デフォルトの名無しさん
04/02/12 13:36
>>438
注文しなおせｗ
今はちゃんと「予約する」になってるから。
441:デフォルトの名無しさん
04/02/12 13:39
駄目元で黒猫にも頼んでみたら
絶版モノでも結構しつこく在庫捜してくれたよ>猫
442:デフォルトの名無しさん
04/02/12 15:12
>>441
いや、絶版じゃなくて「まだ出版されてない」本なんです。
>>440
2004年8月1日に伸びてますね。気長に待つしかないか。
443:デフォルトの名無しさん
04/02/12 17:03
parrotの追っかけをやってる人はいませんか？
444:デフォルトの名無しさん
04/02/12 17:08
2005年1月に延びましたよ…。残念ながら。
URLﾘﾝｸ(www.aw-bc.com)
ISBN: 0-321-13143-6
Publisher: Addison-Wesley
Copyright: 2006
となっているのは2006年まで延期するという布石かな
445:デフォルトの名無しさん
04/02/12 17:24
だーーーなんじゃそら。
ホントに出版されるんだろうなあ・・・
446:デフォルトの名無しさん
04/02/12 17:43
クラスってどうやって実装すりゃいいの？関数は
わかるんだけどクラスがさっぱりわからん
447:デフォルトの名無しさん
04/02/12 18:56
ああ？
448:デフォルトの名無しさん
04/02/12 20:35
>>444
ｶﾞ━━ΣΣ(ﾟДﾟ;)━━ﾝ
449:デフォルトの名無しさん
04/02/12 23:29
yacc&lexは知らないけど、
java.io.StreamTokenizerは便利だと思った。
URLﾘﾝｸ(java.sun.com)
450:デフォルトの名無しさん
04/02/12 23:42
Cライブラリにもこういったtokenizerはあるよな
自作する人もそれなりに居るだろう
で、それに満足できなくなったらlexに進むってわけだ
451:デフォルトの名無しさん
04/02/12 23:45
strtok は作りがよろしくないからねえ。
452:デフォルトの名無しさん
04/02/13 06:52
>>446
vptrで検索。
453:デフォルトの名無しさん
04/02/13 13:19
Boost.Spirit
URLﾘﾝｸ(spirit.sourceforge.net)
いい時代だ
454:デフォルトの名無しさん
04/02/13 13:57
そこのc.zipって、プリプロセッサ入ってないんだから
full ANSI C とはとても呼べたもんではないよなあ
Cはプリプロセッサがないと魅力半減だし
455:デフォルトの名無しさん
04/02/13 14:53
>>454
ラッパーのスクリプトでも書けばいいんじゃないの？
456:デフォルトの名無しさん
04/02/13 15:14
>>454
つうか、プリプロセッサは
あるものを使えばいいんじゃないの。
プリプロセッサまで自作する意味ってある？
457:デフォルトの名無しさん
04/02/13 15:15
>>455
書き方わかんないから
最後まで責任とってほしいよ
なんなんだよあの中途半端さは
458:デフォルトの名無しさん
04/02/13 15:16
>>456
馬鹿かおめえは
んなこといったらc.zipの存在そのものが
まるっきり無意味じゃねえかよ
459:デフォルトの名無しさん
04/02/13 15:36
>>458
ﾌﾟ
本気でそう思ってるの？
460:デフォルトの名無しさん
04/02/13 16:34
>>454 同じページにwaveがあるだろうに。
461:デフォルトの名無しさん
04/02/13 16:53
>>459
ほんとに馬鹿まるだしだな
哀れでしょうがないぞ
頭大丈夫かい？
>>460
何なのか説明しろよ。
462:デフォルトの名無しさん
04/02/13 17:26
>>461
Spirit で記述された C/C++ プリプロセッサ。
つーか、ドキュメント嫁
463:デフォルトの名無しさん
04/02/13 18:20
spilitだかsplitだか非常にまぎらわしい
464:デフォルトの名無しさん
04/02/13 18:31
と思ったらspiritか
漏れの目が腐ってるだけでした
465:デフォルトの名無しさん
04/02/13 19:18
boostのソースは吐き気がするよ。
これほんとに使ってる奴いるの？
466:デフォルトの名無しさん
04/02/13 19:21
そう思うよな、でもどうやら仕事じゃあ使えないと話にならないらしい。
boostとかLokiを採用してるプロジェクトなんて見たこと無いんだけどさ。
467:デフォルトの名無しさん
04/02/13 20:02
人間には言語の限界へと向かって突進しようとする衝動がある
ウィトゲンシュタイン
468:デフォルトの名無しさん
04/02/13 20:16
boost含んだコード納品するなんて機会あるんか？
469:デフォルトの名無しさん
04/02/13 20:45
この人等はboostで何かいやな思いしたのかな。
boost知らなくてバカにされたとか？
470:デフォルトの名無しさん
04/02/13 21:07
まわりがboostの話ばかりしててついて行けなくてストレス溜まったとかな
471:デフォルトの名無しさん
04/02/13 21:18
そんなあなたには Let's boost がおすすめ。
URLﾘﾝｸ(www.kmonos.net)
日本語解説でわかりやすいよ。
ここみて必要性を感じなければ使わなければ良いだけの話。
ましてや他の人がboostを使ったコードを納品する機会が
あるかどうかなんて知らなくていいでしょ。
472:デフォルトの名無しさん
04/02/13 21:34
boostにはiostreamクラスの演算子オーバーロードのような
構文そのものの意味を変えてコーディングするスタイルを
強要するライブラリ（spiritとか）があるから
なんかあんまり好きになれない。
473:デフォルトの名無しさん
04/02/13 21:43
>>472
基本的にはやりすぎだと思うけど、boost::filesystem の
パス結合演算子を「/」にした辺りはなかなか面白いと思ったり。
Boost っていろいろごたまぜだから、
俺は気に入ったところだけつまみ食いという感じ。
474:デフォルトの名無しさん
04/02/13 21:50
おまえらスレ違い
475:デフォルトの名無しさん
04/02/13 22:04
すまん、ナチュラルにテンプレートスレかとおもてたよ。
476:デフォルトの名無しさん
04/02/13 22:04
すまん、ナチュラルにテンプレートスレかとおもてたよ。
477:デフォルトの名無しさん
04/02/14 17:09
>>431
ご親切にありがとうござい居ます。
やはり、かなりの数のシンボルが有るんですね。
478:デフォルトの名無しさん
04/02/14 21:24
lispでは新しい構文を定義するのは普通だけど
479:デフォルトの名無しさん
04/02/15 21:03
lisp はクソ。マクロは可読性を下げてユーザビリティがｲｸﾅｲ。
) より end のほうがユーザビリティがｲｲんだよ。ボケが。
480:デフォルトの名無しさん
04/02/15 21:12
よそでやれ
どうしても此処でやりたきゃ、可読性の悪い理由書け >>479
そうすりゃ、言語仕様やらの話題になる。
481:デフォルトの名無しさん
04/02/15 21:26
コンパイラってアセンブラ吐く所まで作れば良いの?
それともオブジェクトコード作ってリンクする所まで?
482:デフォルトの名無しさん
04/02/15 21:26
言語設計と言語処理系の話は分けるべき？
それとも不可分と考えるべき？
483:デフォルトの名無しさん
04/02/15 21:57
言語によってはコンパイラだけで完結出来なかったりするんだよなー。
484:デフォルトの名無しさん
04/02/15 22:04
J*V*厨の香りがプンプンするな
485:デフォルトの名無しさん
04/02/15 22:12
そなん？
C++とかコンパイラだけしか見ないって条件だと殆ど無理じゃね？
486:デフォルトの名無しさん
04/02/15 23:55
>>481
アセンブラを呼出してオブジェクトにすればいい。
ただし権利関係やソースのフォーマット等で既存のが使えない場合は
アセンブラも自前で作らなきゃならない場合も多い。
487:デフォルトの名無しさん
04/02/16 06:41
lispはあれでいいんだよ。読みやすさをちょっと犠牲にしただけで
物凄いメリットが生まれたんだから。
488:デフォルトの名無しさん
04/02/16 13:01
ゲーデルの証明が理解出来なかったカッコ嫌いLISP嫌い厨
↓
489:488
04/02/16 13:19
490:デフォルトの名無しさん
04/02/16 14:07
>>488-489
ﾜﾛﾀ
491:デフォルトの名無しさん
04/02/16 14:37
Lispさんは悪くない。
Paul Grahamの文章を読んで勘違いしたLisp厨が悪い。
つかPaulはさっさとArcを世に問えよ、と。
492:デフォルトの名無しさん
04/02/17 14:42
)とendを置き換えるプリプロセッサ(sed使えば一行で書けるなw)を使えば糸冬了(<-何故か変換できる)。
493:デフォルトの名無しさん
04/02/17 18:01
endだらけになってもっと悲惨
494:デフォルトの名無しさん
04/02/17 19:59
( )を{ }に置き換えたらC言語っぽく見えますか？
495:デフォルトの名無しさん
04/02/17 23:02
Lispスレで聞いてくれ。
496:デフォルトの名無しさん
04/02/17 23:31
>>494
curl という（ダウンローダじゃないよ）のがあったな。確か昔スレたったと思う。
Arc は使ってみたいね。[] 萌え。Lisp は適度に [] を入れれば結構読み易くなりそうな
気がするんで期待してます。
いつか Scheme コンパイラ作ってみたいな。
497:デフォルトの名無しさん
04/02/18 13:37
俺は()&前置記法で統一されているのがベストと思う。
498:名無し＠沢村
04/02/18 22:06
おれのマシン語のサイトに掲示板ができたぞ！
ほんにおまいら～♪
URLﾘﾝｸ(hp.vector.co.jp)
499:デフォルトの名無しさん
04/02/19 01:58
既出だけど、TinyCC って面白そう。
URLﾘﾝｸ(fabrice.bellard.free.fr)
URLﾘﾝｸ(2.csx.jp)
500:デフォルトの名無しさん
04/02/20 02:46
500ｹﾞﾄ。
URLﾘﾝｸ(i.loveruby.net)
ついに来た。
501:デフォルトの名無しさん
04/02/22 08:31
URLﾘﾝｸ(home.in.tum.de)
URLﾘﾝｸ(www.cobalt.co.jp)
just a memo.
502:デフォルトの名無しさん
04/02/26 15:07
クラスベースよりプロトタイプベースの方が実装ラクだな
メタメタしなくていいしｗ
503:デフォルトの名無しさん
04/02/26 20:38
スクリプトで、 printfとかを実装しようとすると、
たんなるラッパーでは通用しませんよね？
やはり、これって自前で実装しなければならないんでしょうか？
504:デフォルトの名無しさん
04/02/26 20:41
いいえ
505:デフォルトの名無しさん
04/02/26 20:57
Perlは色んな関数自前で用意することが多いよな。
506:デフォルトの名無しさん
04/02/26 21:06
>>503
可変長引数の処理ができれば
実装しなくてもvprintfかvsprintfでどうにかなりそうだけど
507:デフォルトの名無しさん
04/02/26 21:12
>>506
C言語の仕様だけで任意の可変長引数を作り出すのってできたっけ？
スタック弄らないとだめ？
508:デフォルトの名無しさん
04/02/26 21:15
>>507
できる。stdarg.hの説明でも見れ。
509:デフォルトの名無しさん
04/02/26 21:24
>>508
URLﾘﾝｸ(www.catnet.ne.jp)
には出来ないって書いてあるみたいだけど？
なんか間違ってる？
510:デフォルトの名無しさん
04/02/26 21:30
>>509
あー、そっか。
実行時は確かにできないや。ｽﾏｿ。
素直にスタック弄ってくらさい。
511:デフォルトの名無しさん
04/02/26 22:06
やはり出来んみたいね！
スタックいじるのって禁じ手かも。
512:デフォルトの名無しさん
04/02/26 22:10
>>509
15.13あたりかな？
やはり、printfのwrapperは無理みたい。
513:デフォルトの名無しさん
04/02/26 22:11
移植性考えればスタック弄るのは止めた方が良いと思う。
514:デフォルトの名無しさん
04/02/26 22:28
移植性つってもpushの順番程度の違いでしかないがなあ
515:デフォルトの名無しさん
04/02/26 22:40
スタックとは限らない。
516:デフォルトの名無しさん
04/02/26 22:49
お遊びでつくるプログラムに、移植性の必要は皆無。
517:デフォルトの名無しさん
04/02/26 22:49
>>503
スクリプト言語での1回のprintf呼びだしを、
1回のCのprintf関数呼びだしで実現しようとすると大変だが、
引数をひとつずつ処理して、何度もprintf呼べばいいんでない？
518:デフォルトの名無しさん
04/02/27 08:06
>>517
フォーマットを解析する必要があるので、
移植性は優れるが手間は余計にかかると思われ。
519:デフォルトの名無しさん
04/02/27 11:33
yacc/lex,bison/flexの話題もこっちでOKですか？
520:デフォルトの名無しさん
04/02/27 13:35
>>519
OK
521:デフォルトの名無しさん
04/02/27 18:43
Windowsで汎用的なスクリプト用途考えると、
VBScriptみたいにCOM扱えないと話にならない気がする。
と、VBScript書いてて思った。
でもCOM扱うの面倒なんだよな。
自作の言語をWSHに対応させたって人いる？
たぶんえらい手間掛かってると思うけど。
522:デフォルトの名無しさん
04/02/27 21:23
させようとしたことはあります。
が、IE中でscriptタグで動かすと凍るのであきらめた。
コンソールからだと、WScript.CreateObjectが上手く行く時と行かない時があったような、記憶はある。
だいぶ前の話です。
523:デフォルトの名無しさん
04/02/28 06:12
DMonkeyってwsh対応してなかったっけ
524:デフォルトの名無しさん
04/02/28 13:46
>>517
Good Idea!
ただし、scanfには使えない可能性が...
525:デフォルトの名無しさん
04/02/28 13:52
直接pushで積んだ方が楽だし変な不具合もない。
なんつうか、潔さ？
526:デフォルトの名無しさん
04/02/28 21:47
>>525
GCCでもできますか？
527:デフォルトの名無しさん
04/02/28 22:12
できますが？
528:デフォルトの名無しさん
04/02/28 23:17
>>524
format I/Oの処理は、printf(3)に下請させる場合でも、
format指定と引数の方が合ってるかどうかなど、
適切なチェックを行わなければ、処理系の状態がおかしくなってしまうので、(e.g. core dump)
言語の仕様として、C風の書式処理じゃなくて、C++風にした方がいい。
529:デフォルトの名無しさん
04/02/29 00:06
C++形式はアホとしかいいようがありませんな。
言語側の都合というか。
530:デフォルトの名無しさん
04/02/29 00:45
>>527
どのように実現されるのでしょうか？
もしよろしければ、HPアドレス等お教え下さい。
531:sage
04/02/29 00:47
>>529
どのあたりがアフォですかね？
532:デフォルトの名無しさん
04/02/29 00:53
>>531
一目で書式がわからない時点で相当のアホかと。
533:527
04/02/29 00:55
>>530
インラインアセンブラ使えよ。
それだけだよ。
何を迷ってるんだが。
534:デフォルトの名無しさん
04/02/29 01:40
x86と68kとarmとppcとG3～G5くらいまで対応すれば普通の人は困らないかな？
535:デフォルトの名無しさん
04/02/29 12:38
SPARCO...
536:デフォルトの名無しさん
04/02/29 14:14
今ドラゴンブックを読んでいるんですが、
LRの構文解析は、yacc等のツールを使わないと作成できないんですか？
手動で書くと非常にめんどくさいとかいうのをどこかで読んだ気がするんですが、
なぜですか？
537:デフォルトの名無しさん
04/02/29 14:23
なぜですかって、自分で書いてみろよ（ｗ
アホか？
538:536
04/02/29 14:28
>>537
いや、自分、まだそんなレベルじゃないので。
構文解析などはまったくわからず、ドラゴンブックの最初の一章を読んでいる途中です。
539:デフォルトの名無しさん
04/02/29 14:53
プログラム書けない情報系の学生
540:536
04/02/29 14:56
>>539
情報系ではありません。
ただし、学生ではあります。
（プログラム書けないってのは、まあ、当たらずとも遠からじと言えるかも）
541:デフォルトの名無しさん
04/02/29 15:04
>>536
まだいたのか（ｗ
「めんどくさい」ってことは「作成できる」ってことだろ。
聞いた話とか鵜呑みにするんじゃなくて、
こういうのは自主的に確かめるとかしないと身にならないよ。
542:デフォルトの名無しさん
04/02/29 15:21
コンパイラのようなこんな人間もいるのだな。
543:デフォルトの名無しさん
04/02/29 15:32
ｸﾘﾘﾝの事かぁー！
544:デフォルトの名無しさん
04/02/29 17:48
>>536
最後まで読んでから聞け
社会に出てから苦労するぞ
545:デフォルトの名無しさん
04/02/29 21:42
allocaってどうやって実装してるの？
引数に渡す値って可変なんでしょ？
後付けでadd esp, nとかわかんの？
ソース嫁とかなしでおながいします。
ｻﾑｲので
546:デフォルトの名無しさん
04/02/29 21:56
ソース嫁
547:デフォルトの名無しさん
04/02/29 22:07
ｻﾑ･･･
548:デフォルトの名無しさん
04/02/29 22:11
gccだとbuiltin_allocaでinline風の処理。
549:デフォルトの名無しさん
04/02/29 22:25
どうやっても何もねーし
スタックポインタ動かす→そのアドレス返す、で終わりだろ
550:デフォルトの名無しさん
04/02/29 22:40
これだからソース嫁ない香具師は・・・・
551:デフォルトの名無しさん
04/02/29 22:54
>>545
allocaはコンパイラの組み込み関数です。
コンパイラの生成するコードが読み切れる―例えばauto変数の参照にはフレー
ムポインタのみを使い、SPは関数出口でsp <- fpのように設定して元に戻すま
で参照しない―なら、後付けで実装もできます。
でも最適化のレベルの高いコンパイラでは危険ですね。
552:デフォルトの名無しさん
04/03/01 20:45
ahhoca()
553:デフォルトの名無しさん
04/03/01 20:46
>>548
ahoca?
554:デフォルトの名無しさん
04/03/01 20:50
assoca!
555:デフォルトの名無しさん
04/03/01 20:55
>>554
asoccaじゃねーの？
556:デフォルトの名無しさん
04/03/01 23:05
alloca(n)を
sub esp, n
mov eax, esp
に展開してやればいいの？
最後に
mov esp, ebp
pop ebp
する関数なら大丈夫ってこと？
557:デフォルトの名無しさん
04/03/02 00:53
>>556
それだと危険だね。Win32だと単純にスタックポインタをいじるだけだと、
2ページ以上境界をまたいだ時に例外飛ぶよ。
他のOSは実験してないからしらん。
確か1ページずつ動かしてくコードになってたはず>_alloca()
隣のページを触った時に初めてメモリ確保するんだっけな？
558:デフォルトの名無しさん
04/03/02 18:56
>>557
え、ページなんて概念があったんですか。
ちなみに１ページって何バイトでしょうか？
その辺の情報で何か適当なWebリソースってありますでしょうか。
そういえば、自作の処理系でスタックから配列を確保すると、
16000バイト付近でおかしなことになるんですが、これも
ページと関係ありですか？
コンパイラ側でスタックサイズを確保するだけじゃだめなのか。
559:デフォルトの名無しさん
04/03/02 19:25
ごめん、ググったらx86の１ページは4kてわかりました。
今ためしにVC6で大きい配列確保するテストしてみたら、
ある大きさになったら密かに__chkstkっていうのを呼んでる。
ちょうど4kバイトを境に。
まいったなあこれ。
全く知らなかった。
560:デフォルトの名無しさん
04/03/02 19:37
つまり4kを超える固定配列をスタックに確保する場合は、
sub esp, 4096
の代わりに、
mov eax, 4096
call __chkstk
に書き換えなくてはいけないわけだ。
やだなあこれ・・
allocaだと＋余分を計算しないといけない？
無条件で_chkstk呼べばいいのかな。
561:デフォルトの名無しさん
04/03/02 19:39
でもこれでスタック確保でおかしくなる原因がすっきりわかりました。
ありがとうございました。>557
562:558
04/03/03 02:41
いまどきのOSはスタックの割り当ては動的だからね。
最小限のサイズのみを割り当てて、スタックの次のページを
さわった瞬間にメモリ未割り当てのページフォルトが発生して、
そのタイミングで実際の仮想メモリを割り当てる実装になってる。
で、そのページフォルトを判定するのが隣接ページのみってこと。
フレーム割り当てのタイミングでサイズが決まってるのなら、
sub esp, 4096; sub esp, 4096; sub esp, 200
みたいな感じで展開しちゃってもいいと思うよ。
563:デフォルトの名無しさん
04/03/03 05:37
>>562
espの値を変えただけでは、ページを触ったことにはならないと思うが。
564:デフォルトの名無しさん
04/03/03 06:15
つーかさー、いい加減ソース見ろよ。
ページ処理をどーすればいいのかとかもわかるし。
565:デフォルトの名無しさん
04/03/03 07:36
>>558
ところで、自作の処理系ってアクティブ何とか？
566:デフォルトの名無しさん
04/03/03 12:21
やっぱりMacOSXみたいにスタックもallocしたほうが分り易いよな
567:デフォルトの名無しさん
04/03/03 18:12
>>562
名前557の間違いですか？
ちなみにCRTの_chkstkを呼ぶ様にして解決しました。
おかげで既知のバグがすべて潰せました。
>>564
557氏みたいなヒントがないとソースみてもわかんなかったよ。
>>565
アクティブ何とかの話はよくわかりませんが、
目標はネイティブ実行できるLISPっぽいCみたいな感です。
568:デフォルトの名無しさん
04/03/04 23:56
どーでもいいけど、
スタックとるahhocaって制限多すぎでない？
大きな自動変数は、普通process即氏けどな。
569:557
04/03/05 01:12
>>563
IA-32(+Win32?)の場合だとesp、ebpは明示的に参照しなくても
ポインタが指し示すだけでAccess Violation飛んだはず。
かなり前の記憶なんで確証ないけど・・・
>>568
用途が違う。大きなサイズが必要ならHeapを使えばいい。
関数が呼び出されるまで厳密なサイズはわからないが、
スタック食いつぶすほどのサイズにはなりえない場合とか、
シグナルハンドラから突如longjmp()されようが、絶対に
メモリリークしたくない場合などに使える。
570:デフォルトの名無しさん
04/03/05 19:07
>>569
> かなり前の記憶なんで確証ないけど・・・
明らかに記憶違い。
$ uname -ms
CYGWIN_NT-5.0 i686
$ cat a.c
#include <stdio.h>
static void *
badstack()
{
__asm__("mov %esp, %edx; sub $0x100000, %esp; mov %esp, %eax; mov %edx, %esp");
}
int main()
{
char *p = badstack();
printf("%p\n", p);
fflush(stdout);
printf("%x\n", *p);
return 0;
}
$ gcc a.c
$ ./a.exe
0x12ef18
Segmentation fault (core dumped)
571:デフォルトの名無しさん
04/03/05 19:40
>>570
linuxでもちょっと大きな奴渡すとすぐにsegfault!です
572:558
04/03/05 20:39
>>571
自分も最初そう思ったけど、
１０分の１の0x10000にしても落ちたから違うと思う。
ポインタ変えただけじゃ駄目なんじゃないかな。
_chkstkのまわりくどいソースとあわせて考えると。
573:デフォルトの名無しさん
04/03/05 22:14
>>571
大小は関係ない。
> esp、ebpは明示的に参照しなくても
> ポインタが指し示すだけでAccess Violation飛んだはず。
というのは誤り。espを変更しただけでは落ちないで、参照したときに落ちる。
>>570のテスト内容ちゃんと見た?
574:デフォルトの名無しさん
04/03/05 22:46
>>570
つーかそれ関数すぐ戻ってるから、プログラム的に
スタックが有効かどうかというテストにはならんのでは？
badstack() {
char baduse[0x100000];
return baduse;
}
と同じことだし・・
575:デフォルトの名無しさん
04/03/05 23:15
あー勘違いした
576:デフォルトの名無しさん
04/03/05 23:17
なので、>>571が正解！
577:545
04/03/09 22:36
alloca実装でけたよ
疲れた
578:デフォルトの名無しさん
04/03/20 13:15
Windowsで使えるlexってないんでしょうか？
Cygwin上でうごかすのではなく、純粋にWindows用として。
579:デフォルトの名無しさん
04/03/20 13:33
URLﾘﾝｸ(sourceforge.net)
580:578
04/03/20 14:04
>579
ありがとう。
でも俺がいうのもなんだが甘やかしすぎでは。
581:デフォルトの名無しさん
04/03/20 18:02
>>580
何だそりゃｗ
582:デフォルトの名無しさん
04/03/20 19:30
>>578
こんなんもあるけどな
URLﾘﾝｸ(www.vector.co.jp)
583:デフォルトの名無しさん
04/03/20 20:18
579は鉄オタに優しいNHKみたいですね＜あまやかしすぎ
584:デフォルトの名無しさん
04/03/20 21:46
おれはNHK料金払ってない
585:デフォルトの名無しさん
04/03/20 21:53
>>584
同じく、見てないし。
586:デフォルトの名無しさん
04/03/20 23:24
つーかNHKあまやかしすぎ
587:デフォルトの名無しさん
04/03/23 00:12
教育テレビで歌のお姉さんが胸もまれてたよ。
588:デフォルトの名無しさん
04/03/23 07:16
なんと。
589:デフォルトの名無しさん
04/04/07 19:36
yacc か bison のサンプル集みたいなサイトご存知ないですか？
ちょっと、書籍で勉強してるんですがサンプルが少なくて困ってます。
590:名無し＠沢村
04/04/07 22:06
おまいらよ、超便利ﾏｼﾝ語ｴﾃﾞｨﾀ「Visual E++」ができたから見ちみれ！！
ﾌﾟﾛｸﾞﾗﾑ言語の歴史が変わった歴史的瞬間だ。
URLﾘﾝｸ(hp.vector.co.jp)
591:デフォルトの名無しさん
04/04/08 19:16
>>590
Windoze用かよ ＿|￣|○
592:デフォルトの名無しさん
04/04/08 23:52
逆に聞くが、Windows用以外に何があるんだ？
593:デフォルトの名無しさん
04/04/10 01:45
>>592
(ﾟДﾟ)ﾊｧ?Macに決まってんだろ！
594:デフォルトの名無しさん
04/04/10 05:25
>>592
SPARCでSolarisかLinux。PPCでMac OS X用。
これだといじれるんだけどな。Windozeなんざ動く環境がないんで試す事すらできねぇ。
あ、StrongARMなLinuxZAURUSも有るか。
595:デフォルトの名無しさん
04/04/10 05:44
> Windoze
スペルは正しく書きましょう Windows :p
596:デフォルトの名無しさん
04/04/10 09:41
>>595
ネタだとは思うけど一応...
URLﾘﾝｸ(d.hatena.ne.jp)
597:デフォルトの名無しさん
04/04/10 10:37
ネタをネタで :D
598:デフォルトの名無しさん
04/04/11 11:00
最適化技法について分かりやすく説明してくれている HP ってありませんか？
599:デフォルトの名無しさん
04/04/11 19:46
yacc の勉強とかはみんなどこでやったんですか？
書籍は相当限られていると思うのですが。
600:デフォルトの名無しさん
04/04/11 21:34
yaccなんて１、２回使えばわかる気がするけど。
601:デフォルトの名無しさん
04/04/11 21:53
>>599
みんな、yacc のソースコードを必死に読んだんだよ。
そのために bison はオープンソースになっているんじゃないか。
お前も頑張れ。
因みに yacc のスキャナ自体も yacc で書かれているが
頑張れば何とかなる。
602:デフォルトの名無しさん
04/04/12 21:54
いやいや、yaccのサンプルはないの？
603:デフォルトの名無しさん
04/04/12 22:55
>>602 >>88見れ
604:名無し＠沢村
04/04/12 23:12
ちんぽ
605:デフォルトの名無しさん
04/04/12 23:25
それで？
606:デフォルトの名無しさん
04/04/18 09:21
>>603
書籍はもってるらしいぞ。
607:デフォルトの名無しさん
04/04/23 00:13
gcc 3.4のC++パーサは手書きなんだと。
608:デフォルトの名無しさん
04/04/24 23:06
>>607
みんな手書きだろう？
口述パーサなんてあるか？
609:デフォルトの名無しさん
04/04/24 23:27
>>608
> みんな手書きだろう？
3.3.3まではyaccに生成させてたんだよ。
これは手書きとは言わんだろう？
610:
04/04/24 23:48
ところで、コンパイラの仕事ってどうやって
発生するの？
どんな会社がそういった仕事の最先端を行っているの？
なんとなく興味あります
わたしはしがない下請けなので
コンパイラ、と聞くとちょいと憧れますね
611:デフォルトの名無しさん
04/04/25 12:35
知ってるけど教えてあげない
612:デフォルトの名無しさん
04/04/26 19:19
>>609
なるほど、そういう意味ね！
613:デフォルトの名無しさん
04/04/26 19:25
>>529
ほほえましいな。レス番違うし。
614:デフォルトの名無しさん
04/04/26 19:36
>>613
615:デフォルトの名無しさん
04/04/27 04:59
ワロタ
616:デフォルトの名無しさん
04/04/27 23:10
じわじわ来るねw
617:デフォルトの名無しさん
04/05/08 09:26
すんません、Exceptionのthrowとcatchって、どうやって実装されてるんですか？
なんとなく、setjump()とlongjump()をつかうんだろうなーとは思うんですが、いまいち自信ないです。
どう実装してるのかを紹介したサイトなりがあれば教えていただけますか。
＃「例外 実装」とかでぐぐってもそれらしいのは見つからない。
618:デフォルトの名無しさん
04/05/08 09:44
exception setjmp longjump でググってみてみれ。
URLﾘﾝｸ(www.google.co.jp)
619:618
04/05/08 10:24
longjmp だった。言い訳なんかするもんか・・・
620:デフォルトの名無しさん
04/05/08 11:06
How a C++ compiler implements exception handling
URLﾘﾝｸ(www.codeproject.com)
621:デフォルトの名無しさん
04/05/08 12:27
>>617
ちゃんとしたcontinuationがあれば、それを使って実装すればいい。
622:デフォルトの名無しさん
04/05/09 00:19
どういう意味だ？
623:!621
04/05/09 00:48
>>622
exception を実装する為に continuation を実装するというのも本末転倒な感じが
するけど。
URLﾘﾝｸ(www.shiro.dreamhost.com)
624:デフォルトの名無しさん
04/05/09 19:17
longjumpは制約が多すぎないか？
スクリプトレベルでうまく動かすためには、相当なサポートコードが必要に
なると思うが…
625:デフォルトの名無しさん
04/05/16 12:21
Rubyはlongjmp使ってなかったっけか。
626:デフォルトの名無しさん
04/05/17 05:33
自分も先読みが結構必要なときの
マッチしなかったときの処理にlongjmpを使ってるよ。
627:デフォルトの名無しさん
04/05/18 09:34
>>610
ARM,MIPS,SHとかの組み込み用アーキテクチャとかなら新規開発したあとコンパイラもそれにあわせて最適化とかが必要だから仕事があるんじゃない？
628:デフォルトの名無しさん
04/05/18 21:58
Schemeでいうcontinuationの機構を作りたいのですが、
setjmpとlongjmpの他に何が必要ですか？
スタックの内容を退避しなければ駄目ってのはなんとなくわかるのですが。
インアセ使わずにC言語だけでできるものでしょうか？
とりあえずi386以降で動けばいいです。
629:デフォルトの名無しさん
04/05/19 02:28
>>628
「スタックなぞ一切使わない」というのが王道です。
すなわち、関数呼出しはCALLでなく、JMPになります。
return addressは、「次の処理の関数」として表現し、引数として渡すのです。
通常スタックフレームに置かれる変数は、ヒープに置くことになります。
関数型言語スレ(総合スレは荒れてるので、HaskellかML)
で質問すると詳しい人が教えてくれるでしょう。
630:デフォルトの名無しさん
04/05/19 19:26
ういー、むづかしそうです。
SchemeのCPSてやつですね。
631:デフォルトの名無しさん
04/05/20 02:21
「スタックなぞ一切使わない」という方法は、ここでいう (4) の前者だよね。
URLﾘﾝｸ(lists.sourceforge.jp)
URLﾘﾝｸ(lists.sourceforge.jp)
632:デフォルトの名無しさん
04/05/21 02:19
>>630
やりたいこととは違うと思うけど、Schemeを普通のCにコンパイルする方法。
URLﾘﾝｸ(home.pipeline.com)
- 関数呼出しはCの関数呼出しとしてコンパイルされるが、CPSなのでreturnは決してしない
- スタック領域をヒープとして用いる
- スタックがあふれそうになったら、copying GCで新しいスタック領域に移し計算を続行する
- GCのスタックを走査する部分にはCPUに依存しないので、Cだけで書ける
昔Sigplan Noticesで読んで面白いと思った。
633:デフォルトの名無しさん
04/05/23 00:00
bison / yacc の使い方の質問です。
bison とか yacc って、みんな初めは電卓作りますよね。
3 + 5 (Return)
って入力すると「画面上に」8をprintfするやつ。
これ、画面上で8を返すんじゃなくて、
yyparseの返り値とかそういう感じで yyparse の呼び出し元に
8 を何とかして知らせる方法ないですか?
ただし、グローバル変数は使わないものとして。
634:デフォルトの名無しさん
04/05/23 15:40
>>633
/usr/lib/yaccpar とか /usr/share/bison/bison.simpleを書き換える。
bisonは
#define YYPARSE_PARAM foo
を定義しておくと、void *fooが引数として渡されるから、アクションでその中に
答を入れて返すようにすればいいのでは。
プログラム中からyyparseを複数回呼出す場合は、先読みバッファの再初期化に注意。
635:名無し＠沢村
04/05/24 21:41
おまいらよ、おれはつい最近つーか、たったいまさっきtcl/tkつーコンパイラの存在を知ったよ。
いまＤＬしてるところで、まだ開けて見てないんだが、Webでの説明を見た限りじゃなんか良さげだった。
つーか、ＧＵＩに関しては、Visual C++よりもちゃんとしたＧＵＩアプリが簡単につくれるとのことだ。
ただ計算的な処理には不向きということだが、そこは何かＣ言語で書いて追加できるとのことだ。
おれはちょっとこのtcl/tkを調べてみるが、ホントにＧＵＩに関して良さげだったら、いま開発中の「Vicual E++」は、
このtcl/tkで書き直してもいいな。Visual C++じゃエディタの予約語の色づけとかチョー面倒だしな…
そして内部のメインの処理だけをＣ言語で書くようにすればいいからな…
それができそうかどうかをまず調べてみようと思う。
次に調べたいことは、おれが次につくりたい高級言語に、tcl/tkはオープンソースらしいから、パクレる部分があるかどうかということだ。
ともあれ、おれのコンパイラの開発は飛躍的に前進しそうだな。
おまいらよ、おれはtcl/tkいま知ったぞ。おまいらは、tcl/tk知らなかっただろう？
636:デフォルトの名無しさん
04/05/24 22:11
>>635
tcl/tkって「チックル・チーコ」って読むんだよね？
637:デフォルトの名無しさん
04/05/24 23:11
>>635
お前だけ。
638:名無し＠沢村
04/05/24 23:49
Tcl/Tk、ＤＬしたが、何やこれわぁ！？スクリプトやないか？
実行ファイル作成できんのか？ＨＳＰ以下か？ゴミソフト！！！
639:デフォルトの名無しさん
04/05/25 00:46
セックル・チンコ
640:デフォルトの名無しさん
04/05/25 01:35
>>638
tclsh, wish という位だから、tcl/tk は一種のシェルだよ。
C から system() でシェルのコマンドを実行するのと似た様な感じで使える。
まぁ、もちっと面倒だけど。
俺も以前 tcl/tk からパクれる所が無いかなとソース眺めてみたけど、
C で実装されている部分は低レベルな所だけだったような。