- 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 あたり
- 797 名前：デフォルトの名無しさん mailto:sage [2005/04/12(火) 10:50:27 ]
- 退官されたんじゃね？
- 798 名前：デフォルトの名無しさん mailto:sage [2005/04/12(火) 12:49:36 ]
- 講義が苦手な教官って結構いるからな、教科書がいいなら家で勉強すればよかろうかと、
講義は下手、本を書けばクソ、研究成果は上がらない(駄目押し)なんて奴結構いるし、それよりマシ。
- 799 名前：大原ゆき mailto:sage [2005/04/12(火) 18:43:03 ]
- なんか私呼ばれませんでした？
- 800 名前：デフォルトの名無しさん mailto:sage [2005/04/12(火) 19:17:52 ]
- >>799
あんた誰？ハァハァ
- 801 名前：デフォルトの名無しさん mailto:sage [2005/04/12(火) 19:30:24 ]
- 「大原ゆき」で検索したら京都バスが引っ掛かった(;´Д`)
- 802 名前：デフォルトの名無しさん [2005/04/12(火) 21:02:14 ]
- おお、バス屋さんか？！
- 803 名前：http:// p1172-ipbf01koufu.yamanashi.ocn.ne.jp/~ss.jpg mailto:sage [2005/04/12(火) 21:29:10 ]
- ええけつしとるのぉ(*´Д`)ﾊｧﾊｧ
うはっｗｗｗおｋｗｗｗ？？
- 804 名前：デフォルトの名無しさん mailto:sage [2005/04/12(火) 21:31:47 ]
- ↑トロイが仕掛けられています。
- 805 名前：デフォルトの名無しさん mailto:sage [2005/04/12(火) 21:36:45 ]
- 最近よく見かけるけど何のトロイ？
- 806 名前：デフォルトの名無しさん [2005/04/12(火) 21:58:22 ]
- Firefoxのバグ利用したやつだろ。
2チャンネルに書き込むだけで、
2チャンネルが危ないってわけじゃないから心配するな。
- 807 名前：デフォルトの名無しさん mailto:sage [2005/04/12(火) 22:00:40 ]
- >>806
漏れも火狐使ってるんだけど((；ﾟДﾟ)ｶﾞｸｶﾞｸﾌﾞﾙﾌﾞﾙ
いつもはJaneだけど
- 808 名前：デフォルトの名無しさん [2005/04/12(火) 22:27:03 ]
- CreateGameー陸海空オンラインー
www112.sakura.ne.jp/~kaientai-project/creategame.htm
2chスレ
game10.2ch.net/test/read.cgi/mmominor/1109935948/
- 809 名前：デフォルトの名無しさん mailto:sage [2005/04/12(火) 22:29:08 ]
- >>808
プログラマの条件が悪すぎる。
損しかしないじゃないか。
しかもC#って厨臭い…
- 810 名前：デフォルトの名無しさん [2005/04/12(火) 22:37:17 ]
- まぁいいんじゃない？
厨が興味示さない言語で流行ったのって無いんだし。
- 811 名前：デフォルトの名無しさん mailto:sage [2005/04/13(水) 21:55:57 ]
- >>810
> 厨が興味示さない言語で流行ったのって無いんだし。
そ、そうなのか？orz
関係無いけど、厨が興味示す書籍はやはり流行るのか？
- 812 名前：デフォルトの名無しさん mailto:sage [2005/04/13(水) 22:14:32 ]
- さぁ？
ただ、厨が興味を示さない書籍で流行ったのは無いよ。
- 813 名前：デフォルトの名無しさん mailto:sage [2005/04/13(水) 22:21:02 ]
- v(A->B)=true <=> v(A)=true のとき v(B)=true
v(A)=falseのときv(B)の値は任意
- 814 名前：デフォルトの名無しさん mailto:sage [2005/04/14(木) 15:50:53 ]
- 対偶を取れば、「流行った書籍には厨も興味を示す」になるかな。
- 815 名前：デフォルトの名無しさん mailto:sage [2005/04/14(木) 19:17:40 ]
- >>814
なんとなく納得。
- 816 名前：デフォルトの名無しさん mailto:sage [2005/04/14(木) 20:06:49 ]
- >>814
とすると、例の畑の本は大流k（ry
- 817 名前：デフォルトの名無しさん mailto:sage [2005/04/14(木) 21:10:02 ]
- いいかげん本の内輪ネタはやめてくれないかなー
- 818 名前：デフォルトの名無しさん mailto:sage [2005/04/14(木) 21:18:44 ]
- お前が謝るまで、このくだらないネタを止めるつもりはない。
- 819 名前：デフォルトの名無しさん mailto:sage [2005/04/14(木) 21:29:07 ]
- 取り合えず、墨染さくら先生を崇め讃えよう。
- 820 名前：デフォルトの名無しさん mailto:sage [2005/04/15(金) 00:38:56 ]
- どなたですか
- 821 名前：デフォルトの名無しさん mailto:sage [2005/04/15(金) 00:40:13 ]
- >>820
この神です。
www.cmagazine.jp/contents/200407.html
- 822 名前：デフォルトの名無しさん mailto:sage [2005/04/15(金) 12:08:21 ]
- 最先端の論文ばかり読んでる>>817も、息抜きにdqnが読んでる綾本に目を通すのもいいじゃなぁあぃ
残念〜! dqnは、綾本も理解出来ませんから〜.
つか、ネタふれば？誰もついて来れなかったりして
- 823 名前：デフォルトの名無しさん [2005/04/15(金) 14:02:26 ]
- >>822
最先端つーても、単に新しい用語を（分かり切った）概念に割り当てる
だけでしょ？
この分野、発展してないというつもりはないが、一版のＩＴ分野において
恐ろしく改善度合が低い。（おそらく部署最低かもw）
- 824 名前：muro ntaich086179.aich.nt.ftth.ppp.infoweb.ne.jp/ mailto:zage [2005/04/15(金) 15:10:43 ]
- え っ る ﾊ
ぇ し の ァ ﾊ
け と ぉ ァ
うはっwww夢がひろがりんぐwwwwww
- 825 名前：デフォルトの名無しさん mailto:sage [2005/04/15(金) 16:13:26 ]
- >>823
黙ってペーパー読め
- 826 名前：デフォルトの名無しさん mailto:sage [2005/04/15(金) 18:30:27 ]
- 「これは読んどくべき！」という基本的な論文ってどういうものがあるのでしょう？
たとえば関係databaseにおけるCodd，logicでのGentzen，検証でのFloydやHoareの論文に
相当するものをあげてみませんか？ Kildall? Cousot?
- 827 名前：デフォルトの名無しさん mailto:sage [2005/04/15(金) 18:38:35 ]
- AHO本
- 828 名前：デフォルトの名無しさん mailto:sage [2005/04/15(金) 19:19:38 ]
- >>826
ちょっと古いような…
Chaitinのgraph coloringとかCytronのSSAのやつとか
- 829 名前：デフォルトの名無しさん mailto:sage [2005/04/15(金) 19:33:20 ]
- SSAを説明してみなよ
- 830 名前：デフォルトの名無しさん mailto:sage [2005/04/15(金) 20:59:41 ]
- >>826
SSAのoriginalはCytronでなくWegmanでない？
SSAとは、同一変数に対する定義点が高々一つしか存在しないという性質を持つ中間語形式のこと。
これにより定義点とその使用点の関係が明示的になるので各種最適化が簡潔になる。
その特徴は関数型言語と共通するところが多い。弱点は配列やポインタの扱い。
- 831 名前：デフォルトの名無しさん mailto:sage [2005/04/15(金) 22:03:51 ]
- >>830
SSA関連の論文で参照されてるのは、ほとんど全てCytronって希ガス。
- 832 名前：デフォルトの名無しさん mailto:sage [2005/04/15(金) 22:29:54 ]
- SSAで最適化書くのが楽になった、という経験が余りないなあ。
依存チェーンをたどる古典的なやり方に慣れてるだけかも知れんが。
- 833 名前：デフォルトの名無しさん mailto:sage [2005/04/16(土) 02:12:36 ]
- bisonというかyaccを最近使い始めたんでスが
コンパイラのようなものを作っておるんでスが
yaccでは構文木をつくるだけにしておいて
そいつに対しvisitorパターンでホゲホゲする
ってのが定番なんでしょうか
- 834 名前：デフォルトの名無しさん mailto:sage [2005/04/16(土) 02:42:08 ]
- 定番なんてありません。
- 835 名前：デフォルトの名無しさん mailto:sage [2005/04/16(土) 03:12:06 ]
- うはｗ
情報量ゼロｗ
- 836 名前：デフォルトの名無しさん mailto:sage [2005/04/16(土) 03:19:25 ]
- 思ったように作ってみなさい。そうすればきっと報われるでしょう。
- 837 名前：デフォルトの名無しさん mailto:sage [2005/04/16(土) 03:22:00 ]
- オブジェクティブに作ったら逆にうっとうしくなるかもだよー。
- 838 名前：デフォルトの名無しさん mailto:sage [2005/04/16(土) 03:23:52 ]
- 処理系作るなら関数型がええよー
OCamlにはocamlyaccとかocamllexとかあるからええよー
Cより楽やよー
- 839 名前：デフォルトの名無しさん mailto:sage [2005/04/16(土) 06:46:49 ]
- 作るのが簡単なものは使うのが面倒なことが多い
- 840 名前：デフォルトの名無しさん mailto:sage [2005/04/16(土) 10:29:59 ]
- 使うのが面倒？？？
できあがる物は同じなのに？
- 841 名前：デフォルトの名無しさん mailto:sage [2005/04/16(土) 11:11:21 ]
- アフォですか？
- 842 名前：デフォルトの名無しさん mailto:sage [2005/04/16(土) 12:12:28 ]
- >>841
なに？自分の主張が分かってもらえなかったら、アホなのか？
しかも、何もしなくても言いたいことが伝わると思っている。
まるで子供だなww
- 843 名前：デフォルトの名無しさん mailto:sage [2005/04/16(土) 12:27:18 ]
- ＞作るのが簡単なものは使うのが面倒なことが多い
意味不明。
- 844 名前：デフォルトの名無しさん mailto:sage [2005/04/16(土) 12:46:29 ]
- あと、どうでもいいけど、議論ではアホと言った方が負けなんだよ。知ってる？
なぜなら、その時その人に言えることがそれ以外無いからだ。
- 845 名前：デフォルトの名無しさん mailto:sage [2005/04/16(土) 14:34:45 ]
- >>844
意味不明。
- 846 名前：デフォルトの名無しさん mailto:sage [2005/04/16(土) 14:41:53 ]
- >>845
ぎゃはははははは
こんなにわかりやすくいってやってるのにわからないなんてしょうしんしょうめいのあほだなwwwwwwwwwwwwwwwwwwww
- 847 名前：デフォルトの名無しさん mailto:sage [2005/04/16(土) 14:51:43 ]
- >>846
なに？自分の主張が分かってもらえなかったら、アホなのか？
しかも、何もしなくても言いたいことが伝わると思っている。
まるで子供だなww
- 848 名前：デフォルトの名無しさん mailto:sage [2005/04/16(土) 14:53:10 ]
- あと、どうでもいいけど、議論ではアホと言った方が負けなんだよ。知ってる？
なぜなら、その時その人に言えることがそれ以外無いからだ
- 849 名前：デフォルトの名無しさん mailto:sage [2005/04/16(土) 14:53:16 ]
- いいかげん論文の内輪ネタはやめてくれないかなー
- 850 名前：デフォルトの名無しさん mailto:sage [2005/04/16(土) 14:55:23 ]
- 誰だよ荒してる奴
- 851 名前：デフォルトの名無しさん mailto:sage [2005/04/16(土) 16:04:49 ]
- >>849
そんな高尚（でもないか）なものがこのスレのどこに？
- 852 名前：デフォルトの名無しさん mailto:sage [2005/04/16(土) 16:15:45 ]
- ゲームなどのコンソール用にpureObjectなスクリプト言語作ってみました。（NewtonScriptとかselfみたいな言語です）
自己記述も可能に作ったので（ＶＭ用のコンパイラ）デバッガ、エディタ（ANSIエスケープシーケンス端末用）
全部を自己記述で完結できたのですが、ビットマップディスプレイ用に簡易なウィンドウシステムを導入
しようとしてグラフィックの扱いをスクリプトのレイヤーとネイティブの間の粒度をどれくらいの細かさにすべきか
悩んでおります、なにかこの手の完全に閉じた環境のためのウィンドウシステムでスクリプト言語がらみの参考文献
ってありませんか？
※squeakは見てみましたがあそこまでやる気力はもうありませんorz
- 853 名前：デフォルトの名無しさん mailto:sage [2005/04/16(土) 16:58:26 ]
- >>852
かなりのご年輩の方をお見受けした。
Xは駄目なの？
- 854 名前：デフォルトの名無しさん mailto:sage [2005/04/16(土) 17:09:23 ]
- >>853
俺は>>852ではないけど、なんで年配だと判断できたの？？
- 855 名前：デフォルトの名無しさん mailto:sage [2005/04/16(土) 19:04:20 ]
- 自演だからじゃないかな
- 856 名前：デフォルトの名無しさん [2005/04/17(日) 01:31:48 ]
- かなり美人とお見受けした。ハァハァ
- 857 名前：デフォルトの名無しさん mailto:sage [2005/04/17(日) 11:20:21 ]
- >>855
自演じゃないだろ。Xなんて全然関係ないモン持ち出して来てるし。
- 858 名前：852 mailto:sage [2005/04/17(日) 12:29:26 ]
- えーと、ネタスレでしたら空気読まないで済みません、他スレに移動します。
まじめな話、独自言語と仮想マシンを用いてGUI付きの環境を構築しているものはsmalltalk以外に知らないのです。
これらを論じていてかつ入手しやすい書籍があればベストですが見かけませんでした。
(LittleSmalltalkはテキストコンソールベースですがかなり参考になりました、今はもう絶版ですが）
- 859 名前：デフォルトの名無しさん mailto:sage [2005/04/17(日) 12:46:43 ]
- GUI部分の実装をどうするかというのはポリシーの問題だから、
書籍にはあまり書かれないんじゃないかと思う。
・ウインドウ一枚だけもらって後は自前のGUIシステム(Squeak)
・各ウインドウはネイティブの物をもらい、中身は自前描画(VisualWorks)
・ネイティブウィジェットを使う自前クラスを構築(Ambrai Smalltalk)
・ネイティブライブラリ使えるから勝手にしてくれ(各種スクリプト言語)
どれが優れてるって一意には決まらんよね。
- 860 名前：デフォルトの名無しさん mailto:sage [2005/04/17(日) 13:01:40 ]
- >>858
あおきあつしちゃんのページいきなよ。
Smalltalkerを自認してるしWEBページも情報豊富だよ
- 861 名前：デフォルトの名無しさん mailto:sage [2005/04/17(日) 13:35:12 ]
- >>859
>どれが優れてるって一意には決まらんよね。
同意。
JavaだとAWTの頃はOSのネイティブなコンポーネントを使っていたが、
Swingからは、各ウィンドウをOSからもらい中身は自前描画するようになった。
だからどのOSでも同じように見える…かというと、フォントの問題で
そうもいかんかったりするんだけど。
HSPなんかはWindowsオンリーで開き直ってるしね。
>>852の用途がよくわからないんだけど(「ゲームなどのコンソール用」って?)
絵を描いたりするのなら、GUI部品並べるだけではだめだから、
線やら円の描画が要るし、イメージの描画や、場合によってはスプライトなんかも
用意しなきゃいかんだろう。
「粒度」という言い方が適当かどうかは知らんが、俺も今悩んでるところ。
- 862 名前：デフォルトの名無しさん mailto:sage [2005/04/17(日) 15:25:17 ]
- 汎用的にするならXもいい選択肢だと思うが，面倒なのが問題だな。
- 863 名前：デフォルトの名無しさん [2005/04/17(日) 18:57:03 ]
- ゲーム考えてしかも汎用適だったら、オープンGLあたりじゃだめなの？
- 864 名前：デフォルトの名無しさん mailto:sage [2005/04/17(日) 19:23:01 ]
- GUIの話してるのにOpenGL
- 865 名前：デフォルトの名無しさん mailto:sage [2005/04/17(日) 19:52:31 ]
- OpenGLでGUI作っちゃいかん理由でもあるのかね？
- 866 名前：デフォルトの名無しさん mailto:sage [2005/04/17(日) 19:53:37 ]
- 人によって考えてるレイヤーが違うような…
- 867 名前：デフォルトの名無しさん mailto:sage [2005/04/17(日) 19:56:38 ]
- >>864は部品をレイアウトするレベルの話
>>862や>>863はもっと低レベルの話
をしてるんかな。
- 868 名前：デフォルトの名無しさん mailto:sage [2005/04/17(日) 20:15:15 ]
- OpenGL が低レベルなのはそのとおり。
ただし、 OpenGL でうまく行ってる例多数。
どう説明できる？
- 869 名前：デフォルトの名無しさん mailto:sage [2005/04/17(日) 20:17:56 ]
- GUIはスレ違いだろ。
- 870 名前：デフォルトの名無しさん [2005/04/17(日) 20:30:10 ]
- >>869
そうだそうだ！
りんごの話に戻せ！
- 871 名前：デフォルトの名無しさん mailto:sage [2005/04/17(日) 20:36:26 ]
- 墨染さくらの話に戻せ！
- 872 名前：デフォルトの名無しさん mailto:sage [2005/04/17(日) 21:17:02 ]
- だれそれ
- 873 名前：デフォルトの名無しさん mailto:sage [2005/04/17(日) 21:20:48 ]
- CマガでOSの記事を書いてたひと？
- 874 名前：デフォルトの名無しさん mailto:sage [2005/04/17(日) 21:23:03 ]
- そうだ。墨染さくら祭りがいまいちだったので改めてやる必要を感じた。
- 875 名前：デフォルトの名無しさん mailto:sage [2005/04/17(日) 23:05:00 ]
- >>869
そうでもないと思うけど・・・
- 876 名前：デフォルトの名無しさん mailto:sage [2005/04/17(日) 23:26:24 ]
- 例えばMAX/MSPみたいなものを考えていたとしても、GUIはただのインターフェースに
過ぎないからね。
- 877 名前：デフォルトの名無しさん mailto:sage [2005/04/18(月) 00:54:53 ]
- 言語もインターフェースですが
- 878 名前：デフォルトの名無しさん mailto:sage [2005/04/18(月) 02:18:18 ]
- >>868
その例っていうのは GL じゃなくて GLUT 使っているんじゃないの?
- 879 名前：デフォルトの名無しさん mailto:sage [2005/04/18(月) 22:26:12 ]
- >>871
美人なのか？
- 880 名前：デフォルトの名無しさん mailto:sage [2005/04/18(月) 22:48:35 ]
- >>879
お前はイケメンなのか？
- 881 名前：デフォルトの名無しさん mailto:sage [2005/04/18(月) 22:49:37 ]
- おまえは無茶メン
- 882 名前：デフォルトの名無しさん [2005/04/19(火) 13:20:46 ]
- プリプロセッサの扱いに困ってます。
ソースファイルをプリプロセッサに食わせて、出てきた処理済みファイルに対して
コンパイルを行うとします。
ここで、プリプロセス後のファイルは、それまでの情報を
失っている場合がありますよね。
特に、コンパイル中にエラーが起きた場合には、
行番号がずれてしまっていることがあるため、ユーザーには意味不明な
エラー行を吐いてしまうと思うんですよね。
みなさんは、ここらへんをどうやって解決しているんでしょうか？
- 883 名前：デフォルトの名無しさん [2005/04/19(火) 13:30:44 ]
- >>882
プリプロセスの出力をccに喰わせるののなら、#line ディレクティブを
入れるという手があるよ。
- 884 名前：デフォルトの名無しさん mailto:sage [2005/04/19(火) 13:30:52 ]
- 無知晒してないでCのプリプロセッサについて調べてみろや。
- 885 名前：デフォルトの名無しさん mailto:sage [2005/04/19(火) 20:14:09 ]
- おれはCのプリプロセッサをLISPに改造したぜ
- 886 名前：デフォルトの名無しさん mailto:sage [2005/04/19(火) 21:04:53 ]
- それに通るコードを晒してみてくれ。
- 887 名前：デフォルトの名無しさん mailto:sage [2005/04/19(火) 22:31:02 ]
- プリプロセスならm4とか使えば楽なんじゃないの
使った事ないけど
- 888 名前：デフォルトの名無しさん mailto:sage [2005/04/19(火) 23:35:36 ]
- しったかは口をあけるな
- 889 名前：デフォルトの名無しさん mailto:sage [2005/04/19(火) 23:47:00 ]
- んじゃ、>>888のおすすめのプリプロセッサは?
できればm4より記述力が高くて使いやすいやつ。
- 890 名前：デフォルトの名無しさん mailto:sage [2005/04/19(火) 23:53:59 ]
- m5
- 891 名前：デフォルトの名無しさん mailto:sage [2005/04/19(火) 23:55:35 ]
- ms
- 892 名前：デフォルトの名無しさん mailto:sage [2005/04/20(水) 00:37:25 ]
- >>882
自分でプリプロセッサを書いてるのかな？
ターゲット言語がC/C++なら、>>883の言うように適切な#lineを挿入しましょう。
入力ファイルの行番号と、出力ファイル(ソース)の行番号を管理しておいて、
それらが一致しなくなったら自動的に
#line ほんとの行番号 "inputfilename"
という行を挿入するような出力ルーチンを用意しておけばいいと思います。
私はJava向けのプリプロセッサ(というかコード生成系)を書きましたが、
Javaには#lineがないので、エラーが出たら勘で元の場所を見つけてます。
なにかいいアイデアがあったら教えてくらさい。
- 893 名前：デフォルトの名無しさん mailto:sage [2005/04/20(水) 06:54:39 ]
- 似たような情報を保存しておいてエラーメッセージの方の行番号を変換したら?
- 894 名前：デフォルトの名無しさん mailto:sage [2005/04/23(土) 02:57:00 ]
- >>892
> 私はJava向けのプリプロセッサ(というかコード生成系)を書きましたが、
>Javaには#lineがないので、エラーが出たら勘で元の場所を見つけてます。
この場合の「エラー」がどんなものかわからないんだけど、892が作ったのが
cpp流の、文法を理解しないプリプロセッサで、javacでコンパイルエラーを
起こし、その場所が分からなくて困る、ということなら、原始的だけど
//#line ほんとの行番号 "inputfilename"
みたいなコメントを入れるとかかね。人間がソースを見れば、
どこの場所かわかるだろ。
もし、そのプリプロセッサが、完全なパースを行いエラーのないJavaソースを
吐くようなもので、実行時エラーの行番号を知りたい、ということなら、
いっそJavaソースではなくバイトコード吐かせた方が楽なような気がする。
- 895 名前：デフォルトの名無しさん mailto:sage [2005/04/23(土) 21:51:48 ]
- たとえば、javac のエラーが
Hoge.java:123: error
みたくなってたら
Hoge.org とかいうファイルの123行目を見ると元のソースと行番号が分かるようにしておく。
後は、エディタのマクロを書いて、
javacのエラーメッセージからワンキーでソースのエラー行にジャンプ。
もしくは>>893
- 896 名前：デフォルトの名無しさん [2005/04/25(月) 22:25:53 ]
- ここの住人で、本当に言語やってる香具師（趣味除く）って
どれぐらいいるの？
もし、よかったらどんなのやってるかおしえて！
- 897 名前：デフォルトの名無しさん mailto:sage [2005/04/25(月) 22:32:34 ]
- 言語はあくまで道具だからな
道具を作って喰っていけるのは一握りでしょうな。
|
 |
