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

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

1:デフォルトの名無しさん
09/11/17 13:12:25
禁止事項【臨時】
・前スレの911自身の書き込み、またそれに関連した書き込みを禁止致します。
　(スレが荒れる原因となります)

プログラミング言語処理系の開発に興味のある人達のスレッドです。
字句解析・構文解析から，データフロー解析，ループ並列化，データ分散，SSA変換，
CPS変換，レジスタ割付，命令スケジューリング，ソフトウェアパイプライン，
SIMD命令生成，VLIW向けクラスタリング，スクラッチメモリ向け最適化，リンク時最適化，
JIT，動的バイナリ変換等の各種最適化，それにVM，GC，低消費電力化などなど。
意味論に関する話題も歓迎です。

過去スレ
1 URLﾘﾝｸ(pc.2ch.net)
2 ｽﾚﾘﾝｸ(tech板)
3 ｽﾚﾘﾝｸ(tech板)
4 ｽﾚﾘﾝｸ(tech板)
5 ｽﾚﾘﾝｸ(tech板)
6 ｽﾚﾘﾝｸ(tech板)
7 ｽﾚﾘﾝｸ(tech板)
8 ｽﾚﾘﾝｸ(tech板)
9 ｽﾚﾘﾝｸ(tech板)
10 ｽﾚﾘﾝｸ(tech板)
11 ｽﾚﾘﾝｸ(tech板)
12 ｽﾚﾘﾝｸ(tech板)
前スレ 13 ｽﾚﾘﾝｸ(tech板)
関連リンクは多分 >>2-10 あたり

2:デフォルトの名無しさん
09/11/17 13:13:56
Wikiのまとめページ
URLﾘﾝｸ(www6.atwiki.jp)

★コンパイラ一般

・色々なツールの紹介
　URLﾘﾝｸ(catalog.compilertools.net)
・コンパイラ関連のリンク集
　URLﾘﾝｸ(www.ulis.ac.jp)
・スクリプティング言語資料室(仮) (リンク集)
　URLﾘﾝｸ(www.kt.rim.or.jp)
・Compiler Construction
　URLﾘﾝｸ(www.ie.u-ryukyu.ac.jp)
・情報システム工学実験 III コンパイラ・コンパイラ
　URLﾘﾝｸ(math.cs.kitami-it.ac.jp)
・OS/Programming 簡単な C コンパイラ
　URLﾘﾝｸ(www.csg.is.titech.ac.jp)
・正規表現
　URLﾘﾝｸ(hp.vector.co.jp)
・コンパイラ研究・開発情報の一集積所
　URLﾘﾝｸ(compilers.cs.uec.ac.jp)
・Links and Selected Readings
　URLﾘﾝｸ(www.gnu.org)
・国産のコンパイラ共通インフラストラクチャCOINS
　URLﾘﾝｸ(www.coins-project.org)

3:デフォルトの名無しさん
09/11/17 13:15:21
★字句・構文解析

・Lex and YACC primer/HOWTO （邦訳）
　URLﾘﾝｸ(www.linux.or.jp)
・Turbo Pascal Lex/Yacc
　URLﾘﾝｸ(www.musikwissenschaft.uni-mainz.de)
・Jim Roskind's LALR(1) C++ Grammar
　URLﾘﾝｸ(www.empathy.com)
・Flexと Bisonを同時に使う
　URLﾘﾝｸ(guppy.eng.kagawa-u.ac.jp)
・KITE_ASM (yacc,lex)
　URLﾘﾝｸ(www.arch.cs.kumamoto-u.ac.jp)
・bison用のC++ LALR skeleton
　URLﾘﾝｸ(www.bj-ig.de)
・ANTLR（非yaccのパーサジェネレータ）
　URLﾘﾝｸ(www.antlr.org)
・JavaCC(Java Compiler Compiler)
　URLﾘﾝｸ(javacc.dev.java.net)
　URLﾘﾝｸ(village.infoweb.ne.jp)
　URLﾘﾝｸ(www.asahi-net.or.jp)
・CUP, JLex, JFlex
　URLﾘﾝｸ(www.cs.princeton.edu) (JLex, CUP)
　URLﾘﾝｸ(www.jflex.de)
・SableCC
　URLﾘﾝｸ(www.sablecc.org)
・￢＜＞＜∪∪ （notavacc）LALR(1)
　URLﾘﾝｸ(ne.cs.uec.ac.jp)
・boost::spirit（C++のテンプレートでEBNFの構文を模倣）
　URLﾘﾝｸ(spirit.sourceforge.net)
　URLﾘﾝｸ(boost.cppll.jp)（マニュアル日本語化プロジェクト）
　URLﾘﾝｸ(www.fides.dti.ne.jp)

4:デフォルトの名無しさん
09/11/17 13:17:00
★ごみ集め

・GC FAQ -- draft
　URLﾘﾝｸ(www.iecc.com)
・A garbage collector for C and C++
　URLﾘﾝｸ(www.hpl.hp.com)
・一般教養としての Garbage Collection
　URLﾘﾝｸ(www.is.s.u-tokyo.ac.jp)
・Garbage Collection : Algorithms for Automatic Dynamic Memory Management
　URLﾘﾝｸ(www.amazon.com)

★処理系,スクリプト

・kikyou.info (吉里吉里というゲームのスクリプト)
　URLﾘﾝｸ(kikyou.info)
・tiny C コンパイラ (C)
　URLﾘﾝｸ(www.watalab.cs.uec.ac.jp)
・6809用 Micro C コンパイラ
　URLﾘﾝｸ(www.axe-inc.co.jp)
・Portable Object Compiler (Obj-C >> C のトランスレータ？)
　URLﾘﾝｸ(users.pandora.be)
・自作コンパイラの部屋(PL/1, Pascal等)
　URLﾘﾝｸ(www.tokumaru.org)
・『Rubyソースコード完全解説』サポートページ
　URLﾘﾝｸ(i.loveruby.net)
・『やさしい Lisp の作り方』『やさしい Java インタプリタの作り方』
　URLﾘﾝｸ(www.okisoft.co.jp)
・MSによるPEフォーマット仕様書(日本語)
　URLﾘﾝｸ(www.interq.or.jp)

5:デフォルトの名無しさん
09/11/17 13:20:59
★学会
・PLDI　URLﾘﾝｸ(research.microsoft.com)
　コンパイラの研究に関する最新成果を知りたければまずはここ。
・POPL　URLﾘﾝｸ(www.cs.princeton.edu)
　PLDIよりは理論寄りだが大いに参考になる。
・ICFP　URLﾘﾝｸ(icfp06.cs.uchicago.edu)
　関数型言語に関する学会。とても難しい。
・OOPSLA 　URLﾘﾝｸ(www.oopsla.org)
　オブジェクト指向言語に関する学会。最近はやや低調？
・ICCC　URLﾘﾝｸ(www.st.cs.uni-sb.de)
　ヨーロッパ系。派手さはないが堅実。

6:デフォルトの名無しさん
09/11/17 13:21:55
★参考書籍

・コンパイラ　原理・技法・ツール　１＆２
　URLﾘﾝｸ(www.amazon.co.jp)
　URLﾘﾝｸ(www.amazon.co.jp)
　通称ドラゴンブック。バイブル。
・コンパイラ構成法　原田賢一
　URLﾘﾝｸ(www.amazon.co.jp)
　URLﾘﾝｸ(www.hara.cs.keio.ac.jp)　(ソース、正誤表のダウンロード)
・プログラミング言語処理系岩波講座ソフトウェア科学〈5〉佐々政孝
　URLﾘﾝｸ(www.amazon.co.jp)
　一冊で済ませたい人へ。
・コンパイラの構成と最適化中田育男
　URLﾘﾝｸ(www.amazon.co.jp)
　最適化がメインだが、構文解析からコード生成までの基本事項も解説されている。
・コンパイラの仕組み　渡邊　坦
　URLﾘﾝｸ(www.amazon.co.jp)
　薄い奴(185p)を読みたい人に。
・21st Century Compilers (Alfred V. Aho, Sethi, Ravi Sethi, Jeffrey D. Ullman, Monica Lam)
　URLﾘﾝｸ(www.amazon.co.jp)
　まだ出ていない。
・スモールコンパイラの制作で学ぶプログラムのしくみ
　URLﾘﾝｸ(www.cbook24.com)
　初心者向けの優しい解説本。

一部圧縮しようとしたが諦めた。
以上。

7:デフォルトの名無しさん
09/11/17 13:30:37
最近出た本
・最新コンパイラ構成技法（Modern Compile Implementation in ML（タイガーブック）の訳）
　URLﾘﾝｸ(www.amazon.co.jp)

・ふつうのコンパイラをつくろう
　URLﾘﾝｸ(www.amazon.co.jp)

・プログラミング言語を作る
　URLﾘﾝｸ(www.amazon.co.jp)

・やさしいインタープリタの作り方入門
・やさしいコンパイラの作り方入門
　URLﾘﾝｸ(www.amazon.co.jp)
　URLﾘﾝｸ(www.amazon.co.jp)

8:デフォルトの名無しさん
09/11/17 14:08:21
中田先生の第２版、取り次ぎに来たから少しだけ読ませて貰ったけど良い感じだった。
第一版の内容を全部覚えているわけじゃないし、ほんの数ページを見せて貰っただけだけど。

9:デフォルトの名無しさん
09/11/18 07:24:32
go最強だな

10:911
09/11/18 12:38:55
よう、愚民ども。911様とあがめろ。
本当の俺の力を見せつけるときが来たな。
中田の本で防御してドラゴンブックで攻撃だ！

11:デフォルトの名無しさん
09/11/18 14:15:33
.NET Micro Framework 4.0がApache License 2.0のオープンソースになると発表されたらしいが
オレオレ言語の実行環境として流用できるだろうか

12:デフォルトの名無しさん
09/11/18 14:59:20
よっぽど物好きでない限りCLIの上にのせる方が汎用性高くなるとは思うが

13:デフォルトの名無しさん
09/11/18 15:22:30
>>12
Windowsプラットフォーム前提であれば、そのとおりだろうな。

14:デフォルトの名無しさん
09/11/18 16:27:25
>>10
MAIL蘭。

15:デフォルトの名無しさん
09/11/18 17:15:21
>>11
MS社の囲い込み戦術か。JVMの方が汎用性が高いしJVMの地位は落ちないと思う。

16:デフォルトの名無しさん
09/11/18 17:24:54
JVMの方が汎用性が高い(ｷﾘｯ

17:デフォルトの名無しさん
09/11/18 17:25:46
エロゲの話で恐縮だが、体験版をEXEではなくFLASHで遊ばせてくれる所が出てきた。
そのうちJVMで実行できるエロゲが販売されれば、OSの選択にLinuxと言うのも出てくると思う。
今はKVMでXPを動かしてるけど、JVM版が出ればMS社にOSのライセンス料を払わなくて良くなる。
ビデオテープの原動力がエロだったという事実を考えると、OSは今、officeとエロゲで選ばれてると思うからね。

18:デフォルトの名無しさん
09/11/18 17:32:19
中田先生の本、新版はハードカバーじゃないのか。本屋で見てきた。

19:デフォルトの名無しさん
09/11/18 17:49:07
>>17
それ別にJVMじゃなくてもよくね

20:デフォルトの名無しさん
09/11/18 20:47:27
>>18
ハードカバーじゃないのか。でも価格は変わっていないんじゃなかった?

>>10
防御力-1(w

>>19
クロスプラットホームのゲームならActionScriptが組みやすいね。
ActionScriptHACKを覚えるのがやっかいだけど。
Fileアクセスの場合はlocalで実行できるけど
httpアクセスの場合、local-http-serverが必用だけど。
saveオブジェクトを作らないといけないのが面倒っちゃ面倒。

21:デフォルトの名無しさん
09/11/18 20:52:36
>>18
マジか？
初版大事にしよう

22:デフォルトの名無しさん
09/11/18 20:55:44
IronActionScript

23:デフォルトの名無しさん
09/11/20 16:35:53
スレが進まない。誰か話題をプリーズ。

24:デフォルトの名無しさん
09/11/20 16:40:55
C++のコードを変換するのに十分な小さい言語を定義しない？

25:デフォルトの名無しさん
09/11/20 16:54:07
目新しさが無いな。

26:デフォルトの名無しさん
09/11/20 18:02:09
俺はすごく興味ある。スレ立ててみようよ。

27:デフォルトの名無しさん
09/11/20 19:14:21
すぐ過疎るよ

28:デフォルトの名無しさん
09/11/20 20:27:52
型推論でもどうよ

29:デフォルトの名無しさん
09/11/20 23:02:49
>>24
LISp

30:デフォルトの名無しさん
09/11/21 00:22:54
コンパイラの抽象構文木の出力がlispのソースコードっぽくなるなと思っていたら
lisp自体が抽象構文木だったんだってね

31:デフォルトの名無しさん
09/11/21 13:24:44
>>24
FORTH
ポインタ演算もバッチリ

32:デフォルトの名無しさん
09/11/21 15:18:06
うーん、話がつまらない。
この前のトライ木の実装とかif-then(とラベル管理とstack管理で)関数型言語を定義することが出来る
と言う話の方が断然面白かった。

もっと意味のある話は出来ないかな。
と言うわけで>>24を指示する。

33:デフォルトの名無しさん
09/11/21 16:43:26
それってまるっきりLISPの1実装の話なんですｹﾄﾞ

34:デフォルトの名無しさん
09/11/21 17:30:00
>>24
＞C++のコードを変換するのに十分な小さい言語
というのは、その言語が（別の何かに）変換するということ？
その言語に変換するということ？

35:デフォルトの名無しさん
09/11/21 17:32:58
Cでいいだろ

36:デフォルトの名無しさん
09/11/21 19:04:55
GNUですな。

37:デフォルトの名無しさん
09/11/21 19:13:56
ぐぬぅ

38:デフォルトの名無しさん
09/11/21 22:18:57
コンパイラ作るのに、オートマトンとかFIRST集合とかの知識ってまったく
必要ないよな

39:デフォルトの名無しさん
09/11/21 22:20:29
形式言語理論の知識は必須だろ。

40:デフォルトの名無しさん
09/11/22 03:06:53
自分の過去の経験からすれば、言語処理系(コンパイラ or インタプリタ)を
作るだけなら、形式言語理論の知識は必須とは思えないな。
カーニハンの本「UNIXプログラミング環境」を読んでyacc&lexで
C言語風のミニインタプリタを作って遊んだのが最初の経験だ。
当時はC言語の知識しか無かったけど、動く物を作ることはできたよ。

41:デフォルトの名無しさん
09/11/22 06:50:19
まあ動けばいいってだけなら本読んでコンパイラジェネレータの使い方覚えればなんとかなるだろうが、
ツール類が何をしてるのか理解するには初歩的な言語理論やオートマトンの知識は必要になってくるだろう。

42:デフォルトの名無しさん
09/11/22 06:54:41
うまくいかない時にどうしてうまくいかないか、を探るには
知識重要だな。

まぁLALRを使うならLLのための知識はいらないだろうがw

43:デフォルトの名無しさん
09/11/22 07:02:14
自分には必要ないからという理由で他人のチンコをちょん切りに行くのはどうかと思うんだ

44:デフォルトの名無しさん
09/11/22 10:15:03
>>43
どこでチンコの話が出てきたんだよｗ

45:デフォルトの名無しさん
09/11/22 12:35:51
俺も最初は形式言語の知識は不要だと思う。最初は逆ポーランドかS式を使うべきだと思う。

むしろ形式主義的な考え方を勉強した方がはるかに役に立つな。メタ数学オモシロス

46:デフォルトの名無しさん
09/11/22 19:17:56
良い感じになってきたね。
俺も>>45の意見に賛成。逆ポーランドから1歩ずつステップアップするのが吉。

>>41
俺はスクラッチ主義者(スピードを稼ぐため)なんだが、言っていることはその通りだな。

>>36
あんな出来損ないを作ってた奴ら(今はマシだけど)より、ここで定義した方が良い物が出来る予感。

47:デフォルトの名無しさん
09/11/22 19:39:52
出来損ないってバージョン1の頃のGCCのことを言ってるのか？

48:デフォルトの名無しさん
09/11/22 21:18:17
>>47
そう、まだ定義も決まってなかった頃の物。
GNUなんてOSも作れず、Linuxを自分たちの功績にして、
GPLでサポート等で金を稼げなんて言う奴ら。

商業ソフト(office等)の正常な商業活動が実質出来なきなくなり
ジャストシステム(エロゲ会社じゃないよw)ももうすぐやばそう。
これはMSの囲い込み政策も関連してるけど。

49:デフォルトの名無しさん
09/11/22 21:20:37
もちろん、GPLライセンスの功績は認めてるけど、
誰とは言わないがGNUの奴らは原理主義が多すぎ。

50:デフォルトの名無しさん
09/11/22 21:21:23
定義って何だ？

標準のことか？

51:デフォルトの名無しさん
09/11/22 21:26:46
>>50
そう、標準のこと。まあ、これ以上はスレチになるから辞めよう。
スレを無駄に使ってスマン。>all

52:デフォルトの名無しさん
09/11/22 23:39:48
標準って何の？

53:デフォルトの名無しさん
09/11/22 23:42:07
ああ、言語の標準の話か。
ごめん。

54:デフォルトの名無しさん
09/11/23 08:24:44
LinuxがBSDライセンスだったら今よりも良い状態だったかも
少なくともカーネル・ドライバ周辺は

55:デフォルトの名無しさん
09/11/23 12:22:18
言い出しっぺがやめようと言ってる話題をひきずるなよ。

56:24
09/11/23 21:28:33
>>51は私じゃないし…

57:デフォルトの名無しさん
09/11/24 13:22:10
>>56
やめようといってるのはライセンスがらみの話のことじゃないの？

58:デフォルトの名無しさん
09/11/24 17:35:52
つーか24も意味不明なんだが。
何をしたいの？

59:デフォルトの名無しさん
09/11/24 19:38:02
みんな >>24 に書かれていることを理解できてるのかな？
俺には理解できない…。

>>24 は >>34 の質問に答えてほしい。

60:デフォルトの名無しさん
09/11/24 19:44:04
>>24の言いたいのは、C++コンパイラ用の中間言語として十分な仕様を持った
小さな言語を定義したいってことじゃないの？別に意味不明だとは思わんかったけど。
たとえば、C++用というわけじゃないけど、C--とかあるよね。
URLﾘﾝｸ(www.cminusminus.org)

61:デフォルトの名無しさん
09/11/24 20:50:22
>>60
たとえば、がどこに掛かってるのか意味不明なんだが。
C--が何？
中間言語なら既存のものに合わせれば十分じゃないか。
君の意図もさっぱり判らん。

62:デフォルトの名無しさん
09/11/24 21:02:35
「既存のもの」のひとつとしてたとえばC--がある、と思うのだが？
なににつっかかってるんだ？

63:デフォルトの名無しさん
09/11/24 21:05:48
C--は中間言語じゃないし

64:24
09/11/24 21:13:30
私が言いたかったのは、まさにこの様な言語の事です。
今ダウンロードしたファイルを読んでる最中です。
>>60さん、どうもありがとうございます。

65:デフォルトの名無しさん
09/11/24 21:15:29
え？

66:デフォルトの名無しさん
09/11/24 21:27:16
なんてこった！
すごいなーえすぱーはいたんだなー

67:デフォルトの名無しさん
09/11/24 22:56:42
>>63
プログラマがC--でソースコードを直接書き下すことが想定されてるとでも？
ドキュメントと仕様見る限りではとてもそう見えないが。

68:デフォルトの名無しさん
09/11/24 22:57:52
Cのリテラルは対称性無さすぎ／再帰効かなすぎだから中間言語化なんて考えない方が……
そういう目的には木構造を表現できるS式 or 命令の連なりとして処理できる逆ポーランドが最適だってば。

69:デフォルトの名無しさん
09/11/24 23:00:16
>>68
C--はCと同列に扱っちゃだめだってば。少なくとも、Cよりははるかに機械生成されることを
想定してかなり低レベルなところまで扱える仕様になってる。つか、なんでそこで逆ポーランドとか
S式が出てくる？逆ポーランド(記法)とかS式はメタ言語であって、それ自体で何か意味のあるもの
じゃないだろ。

70:デフォルトの名無しさん
09/11/24 23:18:11
そう言われてみればそうかもね。
>24の字面からメタ言語の話かと思ってた。

71:デフォルトの名無しさん
09/11/24 23:31:55
メタ言語ってすごく意味の薄い言葉だね。

72:デフォルトの名無しさん
09/11/24 23:47:36
S式と逆ポを一括りにされると違和感が

73:デフォルトの名無しさん
09/11/25 00:01:26
結局俺言語作っても使わない。
だからまず最初に俺言語Cトランスレーターを作る。可逆でな。
C→俺言語
俺言語→C
これで俺言語の役立たず度が計れる。
作れない→論外

74:デフォルトの名無しさん
09/11/25 00:23:06
俺言語で俺言語をビルドできれば神

75:デフォルトの名無しさん
09/11/25 01:00:51
>>73
C++テンプレートやLispマクロのようなコード生成を含む機構あると可逆はつらくない？

76:デフォルトの名無しさん
09/11/25 07:39:22
作る価値の薄い「パワーの無い」言語ほど>>73を実現しやすいのが
突っ込み所かもね。

77:デフォルトの名無しさん
09/11/25 08:23:15
>>60
仕様書を軽く読んでみたけど、面白いね。
C言語は構造化アセンブリ言語だと言われることがあるけど、
人間様がプログラミングすることを意識した高級言語として設計されていた。
でもC--言語は、C言語風の構文だけど、まさしく構造化アセンブリ言語だ。

78:デフォルトの名無しさん
09/11/25 09:40:48
>>72
S式は人間がリスト構造を書いてやる、
逆ポは人間がスタックマシンの機械語列を書いてやる、
どちらも機械可読（機械易読）な構造を人間が書いてやるという意味では

>>73
それって、
#define BEGIN {
#define END }
のことを「俺言語」って言ってないか？

URLﾘﾝｸ(minnie.tuhs.org)

79:デフォルトの名無しさん
09/11/25 14:12:27
>>78
予約語が増えるw

80:デフォルトの名無しさん
09/11/25 15:07:24
Cから俺言語はともかく、初めから俺言語をCに変換する手段はあるといいね

81:デフォルトの名無しさん
09/11/25 15:49:18
バイナリを吐くだの最適化だのといったことを
Cコンパイラに丸投げするのは悪くない話。

82:デフォルトの名無しさん
09/11/25 16:01:29
移植やクロスも楽そうだしな

83:デフォルトの名無しさん
09/11/25 16:02:55
Rubyもそれで作ってれば馬鹿にされずに済んだのに。

84:デフォルトの名無しさん
09/11/25 16:07:42
Ruby to Cのそういうものを作った例はあるよ。かなり昔だけど。
結局たいして速くならない。

メソッドを動的にディスパッチしたりとかする必要があるのは変わらないから。

85:デフォルトの名無しさん
09/11/25 16:54:49
ライブラリ作るのめんどくさい。
ところで、漏れは数値と文字列の自動変換て好きくないのだが
文字列しか変数に入らなくって、基本は正規表現風パターンマッチと変換だけの言語って
…面白くないですね。すみません。AWKみたいだし。

86:デフォルトの名無しさん
09/11/25 18:15:16
ライブラリの性能で全てが決まるよ。ガンバレ。
数値と文字列の自動変換、俺も嫌い。

87:デフォルトの名無しさん
09/11/25 23:40:40
もうライブラリを細かく実行ファイルにしちゃって
画像も音声もみんなパイプで渡せるようにするか
ファイルに作らせるかすれば、シェルスクリプトで全部できるんじゃね？
っていうか組み合わせればどんどんすごいことになっていかね？
と、石田先生のUnix入門を読んだときは思っていた。

88:デフォルトの名無しさん
09/11/25 23:51:19
64bit浮動小数点のINFとNaNの間に文字型とか入らないかな？50bitくらい使えそうなのだけど。
大富豪型プログラミングになれは、１Cell=64bitでいいよね。
もっと気張っておく？１Cell=4096byteとか。フラグメントはメモリマッパ任せとか。

89:デフォルトの名無しさん
09/11/26 13:17:20
>フラグメントはメモリマッパ任せとか。
これ昔実験したけどあんまり早くならないよ
MMU周りのコードにもよるかもしれないけど

90:デフォルトの名無しさん
09/12/04 19:00:23
>>前スレ
IF GOTOで全部の構造式が出来るか。当たり前だけど力業だな。

>>89
MMUの全面的な支援がないと難しいんじゃない?

91:デフォルトの名無しさん
09/12/05 00:42:03
>>90
R4000系でやったんだけど基本がストールで検出なんでキャッシュがコケまくるんだよね
それだったらキャッシュが十分に効くようにして世代別のGCを普通に実装した方がはやかったんだ。

92:デフォルトの名無しさん
09/12/05 02:00:10
タイガー本の和訳が出てたけど、買った人いる？

93:デフォルトの名無しさん
09/12/05 23:38:12
yanecあげ

94:デフォルトの名無しさん
09/12/06 20:50:47
もう一つの日本電気？

95:デフォルトの名無しさん
09/12/06 23:40:27
re2c＋UTF32なサンプルってmonaの所の他にありませんか？

96:デフォルトの名無しさん
09/12/17 20:40:42
>・前スレの911自身の書き込み、またそれに関連した書き込みを禁止致します。
>　(スレが荒れる原因となります)

kwsk

97:デフォルトの名無しさん
09/12/17 20:52:15
いちいち蒸し返すなよ．前スレ嫁

98:デフォルトの名無しさん
09/12/18 20:53:22
よめんからきいてんのよ!

99:デフォルトの名無しさん
09/12/18 21:13:37
911の事なんて語りたくもない

100:デフォルトの名無しさん
09/12/20 10:53:59
同意ｗ

101:デフォルトの名無しさん
09/12/20 21:22:18
９．１１テロか?

102:デフォルトの名無しさん
09/12/20 23:49:03
C--は既に廃れてる。
GIMPLE@gccはどうよ?

103:デフォルトの名無しさん
09/12/21 19:49:27
ATI Stream/NVIDIA CUDA両対応のC言語コンパイラ

9??の事かw

>対象のC言語の記述はforループによる繰り返し制御構造で、
>特に2重の入れ子構造をもったループを効率的に扱えるという。
>SIMD型アクセラレータ上での実行に適した演算の多くはこの形式で記述できるという

104:デフォルトの名無しさん
09/12/22 22:13:57
>>103
変数の依存性でスピードが全然違うんだろうね。
相互に依存しない物ってなんだろう？
例えばクイックソートは依存するよね。

105:デフォルトの名無しさん
09/12/22 23:25:25
911wの話が本当になったw

106:デフォルトの名無しさん
09/12/23 00:58:04
911知りたい (T_T)

107:デフォルトの名無しさん
09/12/23 13:10:30
ここのスレの方が一歩送れてたか。
911の言動は感心できないが、方向性とかはちゃんと見てたな。

そうなるとNECのベクター型とIntelの提携だな。

>>106
911が自分の考えの中にエロゲの事を必ず入れていた。
それがこのスレのエロゲを卑下する人達の逆鱗に触った。
プログラムコードがエロゲ界でも経験豊かで秀逸なコンパイラをスクラッチで作っている人が出てきたら、
40才でエロゲ作ってたら氏ね。とか罵詈雑言。
911と、そのエロゲプログラマが作ったコードでその人を見れないスレ住人の中に確執。

おれは911も悪いと思ったが、コードで人を見れない奴はイヤだな。

108:デフォルトの名無しさん
09/12/23 13:12:20
configureにも使われてるm4という汎用マクロ言語を勉強しよう

109:デフォルトの名無しさん
09/12/23 13:25:41
> プログラムコードがエロゲ界でも経験豊かで秀逸なコンパイラをスクラッチで作っている人

……

110:デフォルトの名無しさん
09/12/23 13:32:31
秀逸なコンパイラ→オールドスクールなコンパイラ
ASCII創成期かと思ったよ。
しかし作者を叩く人は少なく、変な持ち上げ方をしている奴が馬鹿にされただけ。

111:デフォルトの名無しさん
09/12/23 13:52:14
> ASCII創成期かと思ったよ。

えーなに、GAME（言語）ですか？

112:デフォルトの名無しさん
09/12/23 14:36:30
ああ、構文すらもマクロで組めるパスカルライクなゲーム様汎用コンパイラ。

113:デフォルトの名無しさん
09/12/23 14:42:21
いままで100本ぐらいエロゲを作って、
その他win3.1/95時代に色々なプログラムで稼いだ金を使って、
エロゲ会社立ててポルシェ乗り回してる成功者だね。

ブログでは引っ越しするからアーロンチェアとか
after effectとか高位物をいろいろみんなに配ってる。

114:デフォルトの名無しさん
09/12/23 14:43:20
LISPとPASCALで良い意味でも悪い意味でもOLD SCHOOL。

115:デフォルトの名無しさん
09/12/23 14:48:22
ブログ見てきた。
こんな事やっちゃって、この人は自分が妬まれる位置にいることを分かってないね。

116:デフォルトの名無しさん
09/12/23 14:52:09
いいじゃないのさ。一攫千金。金があってこそできる善行だってある。

117:デフォルトの名無しさん
09/12/23 14:52:18
話は戻すけど、依存性のないループなんてほぼ無いんじゃないか?
どういった用途に使われるコンパイラだろう。
昔、IntelC/C++コンパイラ使ったときは落胆した。VSの方が早いんだもん。
あれはライブラリの料金なのかね。

118:デフォルトの名無しさん
09/12/23 14:54:15
>>116
まあそうだけどさ。
表だってやらなきゃ妬まれないのに。
泥棒にも狙われるぞ。

119:デフォルトの名無しさん
09/12/23 14:56:31
でも、アーロンチェアとafter effectとA3スキャナとGP225は欲しいな。
田舎だから家だけは広いし。

120:デフォルトの名無しさん
09/12/23 14:58:08
>>117
ハマルと早いよ。しかし、クリティカルな部分はV-TUNEでカリカリ書いた方が速い。

121:デフォルトの名無しさん
09/12/23 15:17:07
FORTRANコンパイラ由来で、ループの直前のイテレーションにのみ依存するだとか、
行のループの間隔で依存するだとか、そういうものを検出する技法はたんとある。

122:デフォルトの名無しさん
09/12/23 15:22:14
>>121
そっか。中田氏の最適化の本は斜め読みした程度だけど、
そこまで進んでいるのか。

しかしIntelコンパイラは上手く使いこなせなかった。
PentiumのUVの2パイプを意識して手でASMを組んだ方が速かったな。
そのときはV-TUNEが役に立った。

123:デフォルトの名無しさん
09/12/23 15:33:16
>>122 いや論文レベルの話

124:デフォルトの名無しさん
09/12/23 16:15:01
スパコンのベクトル化コンパイラはある程度やってるよ。
手でコンパイラ好みのコードに書き直さないと、
ハードウェアの性能は引き出せないけど。

125:デフォルトの名無しさん
09/12/23 17:39:15
やはり並列化は大変だね。

126:デフォルトの名無しさん
09/12/23 22:44:48
9??の話を続けるのも何だし、もうそろそろ何か新しい話題に移ろう。

127:デフォルトの名無しさん
09/12/24 02:56:36
>>110
ちょっと聞きたいんだけど、大量のファイルを高速でコンパイルでき、
構文までマクロで組める汎用コンパイラをスクラッチからあなたは実際に組んだの?
実装は無しなんて言ったら何でもOKだよね?
噛みつきたいんじゃなく、そこまで自信満々だったら見せてよ。
サブセットでもいいからさ。
例の奴の話を蒸し返すのは嫌なんだけど自信満々で言われるとあなたがどれぐらい凄いか興味がある。

128:デフォルトの名無しさん
09/12/24 03:06:29
>>110
今細かく見たらマクロの機能もMASM6を超えてんじゃん。
これのどこがASCII創刊時の機能だと言い切れるの?

129:デフォルトの名無しさん
09/12/24 05:07:09
>>127
鼻息荒いね。
ここでは実装は軽視される。
ある意味浮世離れしているスレだよ。
その氏のは前スレで言ってることが本当ならば実装は凄いよ。
しかし、エロゲには必要ないがオブジェクト指向とかがこのスレの本分。
あと、ここに来ている全員が凄腕ではなく一部だけだと思うから、
煽りにいちいち反応しない方が良いよ。体に悪い。

130:デフォルトの名無しさん
09/12/24 05:16:31
俺は凄腕だけどね。多分、学会関連で知れていると思う。

131:デフォルトの名無しさん
09/12/24 05:18:37
129=130ね。

132:130
09/12/24 05:21:10
中田なんてオヤジが権威とされてる時点で世界に遅れてる。
ドラゴンブックも古い。
出版不況じゃなければ一般向けの本を出したいよ。

133:130
09/12/24 06:18:10
>>130
じゃあ、オマエが見せてみろよ。
>>110
オマエモナ。

どっちが良いか判断してやる。

134:デフォルトの名無しさん
09/12/24 06:19:22
すまん、名前間違えた。

135:デフォルトの名無しさん
09/12/24 06:25:54
>>129
最終的に実行スピードとバグの無さが全てだよ。
オブジェクト指向なんてGCの問題もあるしファイル単位で関数郡をつくればいいし。
構造化で十分だと思ってる。
それを考えると114の言語が現在ではベターだと思う。

136:デフォルトの名無しさん
09/12/24 06:34:14
>>135
おまいさんも鼻息荒いな。
某氏のコンパイラはエロゲの現状に即してる。そしてハイスピード、バグを出さない仕様。
FORTRAN,C,JAVA,どれも得意分野違うじゃん。
ここは実装の話だけじゃないんだよ。
しかし
>>110
がどれぐらい出来るかは示して欲しいな。だって他人を卑下したんだから
俺も叶わないスーパープログラマなんだろうな。

137:デフォルトの名無しさん
09/12/24 07:04:12
>>136
そんな物組めないの分かってるのに性格悪いなｗ

138:デフォルトの名無しさん
09/12/24 09:28:57
こういった情報系の大学でお薦めのところありますか?
国内で。やはり東大ですか? orz

139:デフォルトの名無しさん
09/12/24 09:36:02
頭悪いのがまだ居座ってるのがわかったのでそういう質問は勘弁してください

140:デフォルトの名無しさん
09/12/24 12:01:39
>>139
本当にそう思ってるのならそんな１行レス辞めなよ。それこそ頭悪そうだ。

141:139
09/12/24 12:07:10
>>140
お前の腐った目から見て俺の頭が悪そうでもまったく問題ない。実際には俺の頭は良いんで。

142:デフォルトの名無しさん
09/12/24 12:09:40
Rubyで3DCGのファイルフォーマットのパーサーを書いたら
すんげー遅い(8秒ぐらい）なんですが何とかなりませんか
1秒以下が希望です。

143:デフォルトの名無しさん
09/12/24 12:09:51
>>141
はいはい。どこの院生ですか、お坊ちゃま。
あとサンプルあげてよ。口ではいくらでも言えるからね。

144:デフォルトの名無しさん
09/12/24 12:12:41
>>143
SEEKが遅いとか?
ホットポイントが明確でないときついな。

145:139
09/12/24 12:25:59
>>143
日本語読めないのか？　お前の腐った目にどう映ろうが俺は構わないのに、誰がサンプルなんか上げるかｗ

さあ、あとは「上げられないんだろ」とか好きなだけ妄想して、
「最後にレスした俺が勝ち」ゲームの勝者となりたまえｗ

146:デフォルトの名無しさん
09/12/24 12:26:38
自称天才の馬鹿の集まりでした。以上。

147:デフォルトの名無しさん
09/12/24 12:28:07
自称天才で構ってちゃんで馬鹿の集まりでした。以上。

148:デフォルトの名無しさん
09/12/24 12:31:53
>>142
一般的な手順を踏むしかないわな
プロファイラでボトルネックを発見し、そこを何とかできないか考える
ただ、少なくとも今のところ、Rubyはお世辞にも速い言語じゃないので、
頑張ってもどうにもならない可能性は否定できない

149:デフォルトの名無しさん
09/12/24 12:50:26
院生呼ばわりで勝った気か。2ちゃん脳社会人の典型だな。

150:デフォルトの名無しさん
09/12/24 13:52:28
僕は実装が見たいとかあんまし思わないんですが、なんで世の殿方は実装とか珍重するのでしょうか。
ただのプログラムじゃん。
わかんない。田代とかもわかんない。得るものが少ないと思います。
したがってジャンプに載ってる実装をメインテーマにした実装コメントというか
もよくわかりません。ただのプログラムです。
さらにそもそも女子はなぜ実装の話ばかりするのですか。
あまつさえ学校でも実装の話をしたりするのですか。僕は賛成ですが。
いや賛成なのは実装の話が出るからじゃないです。なんとなくいいからです。
僕は女子高生の実装とかそういうものは大好きです。
いや問題なのは女子高生の制服ではなくてパンツです。
パンツが見えててもかまいませんが、布だと思います。
いやそうではなくて、なぜパンツの出るような服を着るかということです。僕は賛成ですが。
すいません。まちがいました。もういいです。

151:デフォルトの名無しさん
09/12/24 13:52:36
香ばしいんだけど
テンプレのサイトあちこち潰れててどこも古めかしいんだけど今ならどこ見りゃいいでしょうか

152:デフォルトの名無しさん
09/12/24 14:16:11
>>142
その3DCGのファイルフォーマットって具体的には何？

もしそれがXML形式で、標準ライブラリのREXMLを使っているのなら、
代わりにたとえばLibXml(URLﾘﾝｸ(libxml.rubyforge.org))のような
C言語で記述された拡張ライブラリを使いなさい。

もしそれが構造化テキスト形式で、手作業でパーザを書いているなら、
Raccと(標準ライブラリの)strscanを使ってパーザを書き直しなさい。
RaccランタイムとstrscanもC言語で記述された拡張ライブラリです。

速い遅いはデータ量とマシン性能に依存するからあいまいになるけど、
上記の方法なら数キロステップのテキストを1秒以内で読み込みできるよ。
あとは>>148が書いてくれているプロファイラの活用かな。

153:デフォルトの名無しさん
09/12/24 14:25:46
>>141
日本語が不自由な方がこんな事を言うなんて…

154:デフォルトの名無しさん
09/12/24 14:41:17
>>139
ここまで頭の悪い奴がどんなコードを組むかは興味がある。

155:デフォルトの名無しさん
09/12/24 15:21:26
変態という名の紳士、いやいや天才という名のキチガイが何匹か紛れ込んでるみたいだけど
本物はこんな所に居ない。今までだってちゃちな物ばかりだったし。

>>142
Rubyは重いよ。趣味でやるなら良いけど仕事では用途を選ぶ。
ホットポイントを見つけて最適化という地道な作業と>>152氏の
事をやってみるしかない。後はRubyスレで聞いた方が速いよ。

156:デフォルトの名無しさん
09/12/24 15:33:03
今は実行環境にJVMがあるからお気楽にコンパイラ作れるね。
>>155
うさみちゃんだっけ？

157:デフォルトの名無しさん
09/12/24 15:34:42
しかしここが進むときは荒れるときで、決まって現物のコンパイラが出てこないね。

158:デフォルトの名無しさん
09/12/24 15:45:44
出せるわけないじゃん、馬鹿だな～

159:157
09/12/24 15:54:27
何故出てこれないか考えられないなんて馬鹿だねw

160:デフォルトの名無しさん
09/12/24 16:14:47
「考える」ことは誰でもできるね。
馬鹿はそれを「わかる」と混同しがち。

161:デフォルトの名無しさん
09/12/24 16:31:31
>>151
学生が作ってたところとかのきなみ全滅だな。
せっかくwikiがあるし、そっちのまとめを参照ってことにするか次スレから。

162:デフォルトの名無しさん
09/12/24 19:15:51
BNFで何か楽しい言語定義してよ。

163:デフォルトの名無しさん
09/12/24 19:26:32
楽しい言語とは？
BrainfuckとかWhitespaceみたいなやつ？

164:デフォルトの名無しさん
09/12/24 19:28:13
Brainfuckなんて良いね。面白そう。

165:デフォルトの名無しさん
09/12/25 00:27:10
この産業も斜陽だしな
萌えとかエロとかは、食っていくに必要

166:デフォルトの名無しさん
09/12/25 13:07:49
では萌えキャラに質問形式でプログラムを作らせて実行さすUIはどうか
うまく実行できるとエロい事が起こる

167:デフォルトの名無しさん
09/12/25 13:43:06
>>110
> しかし作者を叩く人は少なく、変な持ち上げ方をしている奴が馬鹿にされただけ。

図星のレスで荒れたなw

168:デフォルトの名無しさん
09/12/25 19:15:47
だって誰もコンパイラ見せてくれないんだもん。当然荒れるよ。

169:デフォルトの名無しさん
09/12/25 20:09:50
ないそではふれないっていうか・・

170:デフォルトの名無しさん
09/12/25 22:03:13
>>166
普通に Lisp 優位だろうな。それやるとなると

171:デフォルトの名無しさん
09/12/26 03:46:24
点呼を取ります。
A)仕事で使用に耐えうる大量のファイルを高速でコンパイル出来る物を作った人
B)言語をスクラッチで作った人
C)トランスレーターをスクラッチで作った人
D)ツールを使って作った人。

自分はB。構造化言語。

172:デフォルトの名無しさん
09/12/26 05:00:57
おれもBだ、言語的には3つ作った。

173:デフォルトの名無しさん
09/12/26 05:35:30
>>171
そのツールには、yaccのようなパーサジェネレータを含みますか？
もしYesなら、Bで4つ、Dで5つ作りました。

また、Bの1つとDの2つは仕事で活用しました/しています。
わざわざ新しい言語を作る目的には、高速なコンパイル実行が要求される
場合もあるかと思いますが、扱う問題に応じた計算モデルをベースに
言語を設計した場合、コンパイル速度は大きな課題にはならないことがあります。
自分の作ったミニ言語達は、処理速度は遅いですが、仕事での使用に耐えうる
モデル記述が可能であり、どれも実用性があります。

174:デフォルトの名無しさん
09/12/26 10:42:19
自分は
C×1 (NC工作機械制御用にRatforみたいな文法のマクロプロセッサを１つ)、
D×3 (flex/bison使用×1, jflex/cup使用×2)
ただ、最近は言語と一緒に、Eclipse上で動くエディタとデバッガと
カバレッジ測定ツール一緒に作れって要望が割と出るので面倒だ。

175:デフォルトの名無しさん
09/12/26 10:55:54
UTF-8専用の正規表現コンパイラなら作ったことあるが。
状態遷移マシンにコンパイルするので当然速い。
その他は省略。

176:デフォルトの名無しさん
09/12/26 11:13:15
よくわからないんだけど、Aが一番偉いって言う設定なの？

大量のファイルを高速でコンパイルできることが必要なときもあるけど、
必要でないときもあるし。まして仕事なら、必要ないのに過剰に実装して
俺スゴイとか言ってるのはただのアホだろ。

しかも、なんでその点が実装の経験を判断する基準になってるの？

ツールを使ったか使ってないかがなぜ問題になるのかも謎。
体育会系の発想かな？

LLなら手書きしても大して変わらないし、LALR(1)とかを手書きしたから偉い
って思うやつがいたりするのか・・・？

楽していいもの作るのが優秀なプログラマだと思うけどね。根本的な
発想の違いがある気がする。

すまんマジレスしてしまった

177:デフォルトの名無しさん
09/12/26 11:15:37
前スレで馬鹿にされた人が書いたから。

178:デフォルトの名無しさん
09/12/26 12:31:39
大量のファイルを高速でコンパイル出来る物と言う言葉が頭に残っていたから。
後手書きは体育会系かな?

179:デフォルトの名無しさん
09/12/26 12:35:34
しかしこんだけ組んでる人が居るとなったら、
本来の相談室に戻した方が良いと思うけどネタがないね。

180:デフォルトの名無しさん
09/12/26 12:38:21
しかしこんだけ組んでる人が居るとなったら、
本来の相談室に戻した方が良いと思うけどネタがないね。

181:デフォルトの名無しさん
09/12/26 12:43:51
しかしこんだけ組んでる人が居るとなったら、
本来の相談室に戻した方が良いと思うけどネタがないね。

182:デフォルトの名無しさん
09/12/26 17:46:18
俺は3つ作ったやつだが。ここのスレはほとんどROMだ。
最近はやりの機能や、言語的に高度な機能は、自作実用言語には
要らないんだよ。　使いたければ既存の言語を使うので十分。
結局、オリジナルな言語が欲しいのは既存の言語でめんどくさい部分を簡略化して
組込みたいor使いたい、だから記述が簡単であり、専門的な目的に強力に特化した
言語を作ってる。だからここの話題とはなじまない。

183:デフォルトの名無しさん
09/12/26 18:27:58
>>182
いわゆるDSLでんな

184:デフォルトの名無しさん
09/12/26 19:02:20
非正格な言語のコンパイラを作るとしたら、
flex/bisonでは間に合わないでしょうか？

185:デフォルトの名無しさん
09/12/26 19:08:33
flex/bisonは文法を解析するだけのツールだから正格も非正格も関係ないのでは

186:デフォルトの名無しさん
09/12/26 21:12:50
>後手書きは体育会系かな?
作った言語自身でセルフコンパイルさせる必要があったので全部手書きしたことある
いまから考えたら第1段階だけyacc使えばよかったとは思うけど

187:デフォルトの名無しさん
09/12/26 21:58:53
flex/bison 使ってるからスクラッチとはいえないかも知れないが、
宇宙系のやつを作ったことがある。

188:デフォルトの名無しさん
09/12/26 22:30:53
前にも聞いたけど、ネタがないなら再投下させてもらうけど、
タイガー本の和訳ってどう？読んだ人いる？

帯の宣伝文句で、「実装と理論の卓越したバランス」みたいなことが
書いてあったけど、実際どう？

まぁ和訳を読むくらいなら原書読めばいいじゃんと思わなくはないけど

原書の情報でもいいからおせーてください

189:デフォルトの名無しさん
09/12/26 22:47:46
虎本ってML知らなくても読める？

190:デフォルトの名無しさん
09/12/27 02:13:05
しかしお笑いだなw
GPCPUだかなんだか知らんけど前のスレの奴の言ったとおりの物が出てきたよ。
次はループをタスク間で動的に実行か。VMかOSの力が必用なことも言ってたとおりだなw
俺達は馬鹿と紙一重の奴を相手にしてたのか(自嘲

191:デフォルトの名無しさん
09/12/27 02:28:53
GPGPUのことか?

192:デフォルトの名無しさん
09/12/27 08:05:47
本人が必死だな

193:デフォルトの名無しさん
09/12/28 04:11:01
いや、グリッド化では当たり前の未来の技術になってきてる。
言っていることと本人の性格は必ずしてイコールでは無いと言うこと。
結論を述べれば、方向性は合っていて研究中。

194:デフォルトの名無しさん
09/12/28 15:47:54
そんなコンパイラや実行環境はこのスレの趣旨からはみ出てないか?

195:デフォルトの名無しさん
09/12/28 16:37:24
ぶっちゃけ前スレの流れを断ち切りたい。

196:デフォルトの名無しさん
09/12/28 18:15:40
年寄りだからそのうちくたばるだろ

197:デフォルトの名無しさん
09/12/28 20:51:30
年寄り?

198:デフォルトの名無しさん
09/12/28 21:03:56
若造が精一杯背伸びしてるみたいだが。

199:デフォルトの名無しさん
09/12/28 21:06:45
糞じじいは縁側で Lisp でもさわってろ

200:デフォルトの名無しさん
09/12/30 01:51:29
GCのないLISPを考えてみる
原因はクロージャとconsなわけであるが

201:デフォルトの名無しさん
09/12/30 02:51:34
今時、GCのない言語なあ
Cのシェアを奪えるのかい

202:デフォルトの名無しさん
09/12/30 14:26:29
クロージャはともかくconsをfree()するのは嫌。

203:デフォルトの名無しさん
09/12/30 20:59:12
クロージャは何トカ解析すれば消えるらしいけど
consはしょうがないね。定数的に使うか、
破壊禁止にして循環構造を防げば参照カウンタで済む。
カウンタ自体のオーバーヘッド考えるとやりたくないけど。
ただ参照カウンタ式はオーバーフローの対策が要る。
1セル高々16bitにして65535になった時点で例外を投げるか。

204:デフォルトの名無しさん
09/12/31 00:47:20
この年になっても、正直クロージャがあってよかったと思える場面に出会えてない。
みんなこんなもん?

205:デフォルトの名無しさん
09/12/31 01:09:26
お前の使っている言語に
簡単に使えるクロージャはあるの?

206:デフォルトの名無しさん
09/12/31 02:20:18
URLﾘﾝｸ(zip.2chan.net:81)

207:デフォルトの名無しさん
09/12/31 02:47:02
>>200
new lispってのがそんな事やってた様な気がするが

208:デフォルトの名無しさん
09/12/31 03:03:35
何の対策もない処理系でも、あらかじめ必要分を確保するとかで、
範囲内のGC起動を抑止するってことは可能だから
機能縮小してまでGCレスにする事もない気がする。

209:デフォルトの名無しさん
09/12/31 13:52:29
寿命解析すれば自動的に抑止することもできるよ。
実用的には適当なところで打ちきらないとダメ。
stalinみたいに最適化に数時間かかると用途が限られる。

次ページ