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

1 名前：デフォルトの名無しさん mailto:sage [2005/11/06(日) 19:45:18 ] プログラミング言語処理系の開発に興味のある人達のスレッドです。 字句解析・構文解析から，データフロー解析，ループ並列化，データ分散，SSA変換， CPS変換，レジスタ割付，命令スケジューリング，ソフトウェアパイプライン， SIMD命令生成，VLIW向けクラスタリング，スクラッチメモリ向け最適化，リンク時最適化， JIT，動的バイナリ変換等の各種最適化，それにVM，GC，低消費電力化などなど。 意味論に関する話題も歓迎です。 前スレ 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/ 6 pc8.2ch.net/test/read.cgi/tech/1115335709/ 7 pc8.2ch.net/test/read.cgi/tech/1129287390/ 関連リンクは多分 >>2-10 あたり 577 名前：デフォルトの名無しさん mailto:sage [2005/12/04(日) 15:12:17 ] どっかでＯＳの作り方をやってくれんかな？……って、板違いか。ＯＳ板に逝ってくる。 578 名前：デフォルトの名無しさん mailto:sage [2005/12/04(日) 15:50:48 ] >>573 早速印刷して、読んでみることにしたよ。うｐしてくれた人、ＧＪ！ 三流痴呆国立大卒修士で、Ｓｃｈｅｍｅは少しかじってるので、何とか読めるかな。 学生時代、こういう面白い講義や実習はなかったもんなぁ。 灯台逝くほど頭良くなかったし。 579 名前：デフォルトの名無しさん [2005/12/04(日) 16:45:49 ] mitpress.mit.edu/sicp/full-text/book/book-Z-H-4.html 多分SICP読んだ方が早いぞ。 580 名前：デフォルトの名無しさん mailto:sage [2005/12/04(日) 17:04:33 ] SICPとは目指すものがかなり違うと思うが 581 名前：５７８ mailto:sage [2005/12/04(日) 17:07:16 ] ＳＩＣＰも購入して持ってるので、両方読みます。 582 名前：デフォルトの名無しさん mailto:sage [2005/12/04(日) 18:56:03 ] やっぱり、東大の先生のような頭がいい人はschemeの良さがわかってるんだな。 583 名前：デフォルトの名無しさん mailto:sage [2005/12/04(日) 20:00:11 ] schemeの良さというよりも、実装の容易性を重視しているのではないかね。 584 名前：デフォルトの名無しさん mailto:sage [2005/12/04(日) 20:14:16 ] 今はもうSchemeじゃなくて、MinCamlだよ。 585 名前：デフォルトの名無しさん mailto:sage [2005/12/04(日) 20:38:48 ] やっぱり、東大の先生のような頭がいい人はlispの良さもわかってるんだな。 586 名前：デフォルトの名無しさん mailto:sage [2005/12/04(日) 22:26:46 ] キチガイホイホイ言語 587 名前：デフォルトの名無しさん [2005/12/04(日) 22:29:53 ] というか日本だと狭い世界だから研究してる人はこの人ととは知り合いだろう。 今も同じとこにいるのかは知らないけどさ。で，この分野の研究しててschemeは 避けて通れないよ。表示意味論的にクリーンな言語はやっぱ重宝する。MLとか Haskellとかあるけど，やっぱ未だに基本はschemeって感じ。 588 名前：デフォルトの名無しさん mailto:sage [2005/12/04(日) 22:55:27 ] 研究してる人、って単数かよ。狭すぎるぞ。 未だに主流がSchemeかどうかは知らんが、 当分の間は避けて通れる道ではないのは同意。 ただ、最近ではMLやHaskellも避けては通れないぞ。 589 名前：デフォルトの名無しさん [2005/12/04(日) 23:05:06 ] やっぱり、東大の先生のような頭のいい人は、rubyの（ry 590 名前：デフォルトの名無しさん mailto:sage [2005/12/04(日) 23:09:59 ] 釣りはいらん とっとけ 591 名前：デフォルトの名無しさん mailto:sage [2005/12/04(日) 23:32:16 ] Rubyが言語理論の研究に適切だと主張する馬鹿は、 さすがに見たことが無いな。 592 名前：デフォルトの名無しさん mailto:sage [2005/12/04(日) 23:35:42 ] コンパイラとかの実装を話すときは、 Pascal, C/C++, Lisp/Scheme, Forth, ML, Haskell あたりは抑えておくべき？ 593 名前：デフォルトの名無しさん mailto:sage [2005/12/04(日) 23:37:09 ] とりあえず、機械語は抑えておけ 594 名前：デフォルトの名無しさん mailto:すまん醉ってる [2005/12/05(月) 00:58:12 ] 「抑える」んだ 595 名前：デフォルトの名無しさん mailto:sage俺も酔ってるかもorz [2005/12/05(月) 01:09:56 ] 　　∧＿∧ 　 （*´∀｀）　了解だ！ 　 人　Y　/ 　(　ヽ し 　（＿）＿） 596 名前：594 mailto:やっぱり酔ってる [2005/12/05(月) 01:19:58 ] >>595 ﾜﾛﾀ 597 名前：デフォルトの名無しさん mailto:sage [2005/12/05(月) 21:20:28 ] Lispってとにかく単純でとっつきやすいんだよな。 S式はパースが異常に簡単だし、末尾再起最適化とか考えなきゃ処理系も一瞬で実装できる。 598 名前：デフォルトの名無しさん mailto:sage [2005/12/05(月) 21:25:05 ] >末尾再起最適化とか考えなきゃ ちょｗｗｗおまｗｗｗ 599 名前：デフォルトの名無しさん mailto:sage [2005/12/05(月) 22:08:58 ] >>591 お前は墓の研究でもしてろw 最先端言語の研究とは無縁だろ？ 600 名前：デフォルトの名無しさん mailto:sage [2005/12/06(火) 00:48:19 ] >599 Rubyが最先端言語とでも？？ RHG見れば解るけど、かなり泥臭い実装じゃない？ 601 名前：デフォルトの名無しさん mailto:sage [2005/12/06(火) 01:11:05 ] >>600 知ったか素人だまれ 602 名前：591 mailto:sage [2005/12/06(火) 01:43:38 ] >>599 うーん、開発現場の人ですよね。>>591で馬鹿って言ったのは、 「言語理論の研究者で、かつ、Rubyが研究に使えると思ってる人」です。 開発現場においては、Rubyは確かに最先端言語の1つですよね。 ただ、言語理論の研究では言語の性質の解析とか証明とかしなきゃならないんで、 実用的に便利な言語ってのはちょっと違うんですよ。 本質だけのシンプルな言語、誤解を恐れず言えば「低機能」な言語が重宝されるんです。 なので、Rubyは高機能すぎて、言語理論の研究にはちょっと向かないかな、と。 でも、今の世の中を支えているのは>>599さんのような現場の人ですから、 自信をもって生きてくださいね。応援してます。 603 名前：デフォルトの名無しさん mailto:sage [2005/12/06(火) 05:58:09 ] 高卒が搾取されてくれることでこの業界は成り立ってるしね。 604 名前：デフォルトの名無しさん mailto:sage [2005/12/06(火) 19:38:30 ] >>603 そこに大卒組がドロップアウトしてくるようになってきた事で、状況は混乱気味でつ。 605 名前：デフォルトの名無しさん [2005/12/06(火) 20:19:22 ] でも金かせいでるのは土方だしなw 研究成果が経済成果として繋がる例は極々わずか。 まぁ、それが研究というものの宿命でもあるわけだが、 606 名前：デフォルトの名無しさん mailto:sage [2005/12/07(水) 01:50:47 ] 土方の生んだ金は、どこに消えているのやら 607 名前：デフォルトの名無しさん mailto:sage [2005/12/07(水) 02:41:43 ] >>606 土方の金の使い道の事？それとも金の出所の事？ 608 名前：デフォルトの名無しさん mailto:sage [2005/12/07(水) 02:43:41 ] >>606 中間搾取の事？ 609 名前：デフォルトの名無しさん mailto:sage [2005/12/07(水) 02:54:29 ] >>606 ちなみに普通は、半分から４／５は中間搾取で消えていく。 まあこれが、税金や社会保険による搾取だけならまだ納得できるが、 実際には、派遣会社が間に何社も入って掠め取っているだけだから、 ひどい話だとは思うけどな。 610 名前：デフォルトの名無しさん mailto:sage [2005/12/07(水) 03:25:30 ] ふーん、派遣会社がそんなにねぇ。 なら、普通に雇う側の会社がホームページで 募集すればいいじゃん。 611 名前：デフォルトの名無しさん mailto:sage [2005/12/07(水) 08:53:04 ] >>610 NEET or 学生さんですか？ 社員として雇うのは、労働契約とか社会保険とか法令とか、そういうので面倒なんだよ。 さらに言うと、上のような理由も実は建前で、最大の理由は、用済みになったときに好きなようにクビ切れないってことだな。 なので、中間搾取のおかげで一見、能力/金額比が良くないように見えても、トータルで考えると安く上がっちゃうことも多い。 １人雇用するリスクをとらず、金で解決できるんだったら、そのほうがお得というこった。 612 名前：デフォルトの名無しさん mailto:sage [2005/12/07(水) 10:42:19 ] >>604 不景気のせいで土建業由来の不正労働慣行があらゆる業種に蔓延し常態化していることに加えて 院卒が従来の大卒の業種・業態へドロップアウトしてくるようになったからな。 文科省が欧米諸外国並みに博士号持ちの数だけはそろえようと 博士課程や修士課程（博士課程前期）の定員を就職の受け口の見通しもないまま 闇雲に増やしたんで博士取れたヤツも取れなかったヤツも 従来の研究・教育職では吸収しきれずに普通に開発仕事につくようになり、 最近ではそれでも足りなくて派遣で仕事をするケースも増える傾向だ。 （そういうとき周囲に敬遠されないように院卒の経歴を隠して 「大学でちょっと遊んじゃって(^-^;」などと言うヤツもいる。） 大学の独立行政法人化と年俸制の任期（2-5年）の条件付募集が 標準になって30台以下の研究者が定期的に失職することがその傾向を加速している。 613 名前：デフォルトの名無しさん mailto:sage [2005/12/07(水) 11:52:57 ] >>612 まぁ、ろくに成果の出せない研究者はいらないということだろうな。 土方サイドでは、経験がなにので用無しとなってるし。 研究者として生きて行くためには、（上にもあったが）抜きん出た実力と 独自の発想、それに、強運が必要だろうね。 614 名前：デフォルトの名無しさん mailto:sage [2005/12/07(水) 11:58:24 ] >>613 運は*必要*とは言わないんだよ。 615 名前：デフォルトの名無しさん mailto:sage [2005/12/07(水) 12:25:21 ] >>613 研究に夢を持ちすぎ。 天才の数は多くないので他業種同様に 圧倒的多数を占める凡人をうまく使う社会的な工夫が必要。 それなりに高度な教育しといて放り出すというのは人的資源の無駄遣いでしかない。 そもそも研究というのは大規模投資して本格開発するほどには 結果が明らかでない内容を論理と実験を手段として探りながら進む作業の総称だから 研究にも難易度、規模、価値について色々なものがある。 例えば>613が夢見るような先進的で独創的な研究があった場合、 その周辺には実用化や普及の前に片付けなければならないような 相対的に難易度の低い研究課題が沢山発生するのが常だが、 それを片付ける>613が言うような相対的に低能力の泡沫研究者の数も 本来はそれなりに必要なのだ。 ただ日本では>613のような古典的な夢を抱いて「研究」というものを見ている人間が まだまだ多数派だがな。 616 名前：デフォルトの名無しさん mailto:sage [2005/12/07(水) 12:27:26 ] 研究も他業種同様多くの技能から成り立っている。 例えば、研究は独創的なことを思いつけば出来上がりではない。 計画を立て、先達の成果を調べ、論証し、実験し、評価し、論文を書いて発表しなければならない。 そしてその大部分は時間を消費する作業的な側面を持ち、 特殊な才能ではなく教育で身につく種類の技能に支えられている。 それを身に着けていることが研究者（大物でも泡沫でも）としての必要条件となるが、 それを研究者としての教育を受けていない人間が身に着けているわけではないし、 逆に身に着けてはいても世間で評価されるような大きな「成果」に恵まれないこともある。 例えば探索しなければならない範囲を狭めたという意味では失敗の報告も 有効なのだがどうしても世間ではどうしても成功のほうを高く評価するし、 特に日本では明治以降の歴史的経緯から独創性よりも完成度が評価される比重が高い。 それが欧米に対して日本では改良研究が多くなる理由でもある。 博士号を取ったり予算を獲得したりする際に多少独創性があるより 完成度が高い方が日本では圧倒的にウケがいいのだ。 （これは改良研究のほうが審査する側も評価しやすいせいもある。） だから博士号を取った先輩は博士課程の後輩に 「あんまり理想を高く持って独創性のある高度なものにしようとせず、 恥を捨てて教授の温情にすがり、できるだけ簡単で瑣末な研究で博士号を取るようにしろ。 でないと3年では取れないぞ。」 などとまじめな顔で助言することになる。 617 名前：デフォルトの名無しさん mailto:sage [2005/12/07(水) 14:20:54 ] >>613 ＞まぁ、ろくに成果の出せない研究者はいらないということだろうな。 ＞土方サイドでは、経験がなにので用無しとなってるし。 そうでもない。独学できっちりと勉強してるヤシは少なくないし、 汚いコードを書くヤシは少ないし、設計をみっちりとやってるヤシ も少なくないから、耐久力のあるヤシは、わりと重宝されてる。 618 名前：デフォルトの名無しさん mailto:sage [2005/12/07(水) 14:24:48 ] やっつけ仕事にほうり込むと、すぐに潰れるけどな。ｗ 混沌とした状況で生き延びる能力の無さを、何で補うかが課題だな。 619 名前：デフォルトの名無しさん mailto:sage [2005/12/07(水) 14:43:01 ] 中小零細ＩＴ企業は、やっつけ仕事の所が多いよな。あと、 大企業でもたま〜に、やっつけ仕事の所があったりする。 何処とは言わないケド。 620 名前：デフォルトの名無しさん mailto:sage [2005/12/07(水) 16:47:26 ] いいから黙って働け シャッチョさんのために 621 名前：デフォルトの名無しさん mailto:sage [2005/12/07(水) 17:55:27 ] なんだここは コンパイラ・スクリプトエンジンのスレとは思えないな 622 名前：デフォルトの名無しさん mailto:sage [2005/12/07(水) 19:46:55 ] >>619 たぶん脳内w やっつけでコンパイラとか書くのなどあり得ない。 623 名前：デフォルトの名無しさん mailto:sage [2005/12/07(水) 19:52:08 ] 電脳土方ネタは別スレッドでやってくれ。明らかにスレ違いだろう。 64bitメモリ空間を馬鹿みたいに消費するアプリのための、Lisp もどきを作りたいんだが。 624 名前：デフォルトの名無しさん mailto:sage [2005/12/08(木) 01:25:32 ] >>623 おまえは板違いw 625 名前：デフォルトの名無しさん mailto:sage [2005/12/09(金) 02:08:19 ] >>624 おまえは気違いw 626 名前：デフォルトの名無しさん mailto:sage [2005/12/09(金) 03:18:00 ] >>625 おまえは勘違いw 627 名前：デフォルトの名無しさん mailto:sage [2005/12/09(金) 09:17:35 ] >>626 おまえは腹違いｗ 628 名前：デフォルトの名無しさん mailto:sage [2005/12/09(金) 10:46:09 ] >>627 おまえは立貝(タチガイ)ｗ 629 名前：デフォルトの名無しさん mailto:sage [2005/12/09(金) 11:59:40 ] 俺はフランクリンw 630 名前：デフォルトの名無しさん mailto:sage [2005/12/09(金) 12:11:24 ] 一行レスに嬉々として参加するようなバカが何でこのスレ覗いてるわけ？ 631 名前：デフォルトの名無しさん mailto:sage [2005/12/09(金) 12:38:37 ] それに対して、同じく一行レスで中身無し、しかも煽り、ってのはどうだろうなぁ。 自分が使ったバカの一語が、自分に最も当てはまっているのでは。 632 名前：デフォルトの名無しさん mailto:sage [2005/12/09(金) 12:58:11 ] バ カ 633 名前：デフォルトの名無しさん mailto:sage [2005/12/09(金) 13:03:31 ] >>630 ネタが、ネタがなかったんだよ〜〜(T-T) 634 名前：デフォルトの名無しさん mailto:sage [2005/12/09(金) 23:58:21 ] 研究ネタも（ry 635 名前：デフォルトの名無しさん mailto:sage [2005/12/10(土) 10:06:17 ] Dr.欲しくて、教授の機嫌を取らなきゃいかんことはよ〜くわかるが、 「障子を開けてみよ。外は広いぞ」という言葉を貴殿に贈ろう。 蛸壺（失礼）から出て、興味の赴くままに外の世界を味わうことも大事。 636 名前：デフォルトの名無しさん mailto:sage [2005/12/10(土) 10:59:52 ] 貴殿！貴殿！貴〜殿殿で殿殿！ 637 名前：デフォルトの名無しさん mailto:sage [2005/12/10(土) 14:54:50 ] >>636 ちょっとリズムに無理があるかな。 638 名前：デフォルトの名無しさん mailto:sage [2005/12/10(土) 15:37:13 ] >>637 大丈夫。 休符を入れてから きが始まる。 ん、貴殿！！！貴殿！貴〜殿殿で殿殿 639 名前：デフォルトの名無しさん mailto:sage [2005/12/10(土) 16:05:48 ] 馬鹿じゃねーの 640 名前：デフォルトの名無しさん mailto:sage [2005/12/10(土) 16:08:40 ] 馬鹿じゃ、ねーの！ I'm not fool ! OK ? 641 名前：デフォルトの名無しさん mailto:sage [2005/12/11(日) 00:02:50 ] ケンキューテーマと一緒で、大した話題がないなぁ〜 642 名前：デフォルトの名無しさん [2005/12/11(日) 12:51:50 ] 処理系の研究してる人いるみたいだから聞きたいんだけど、今時はどんな研究が盛んなの？ 643 名前：デフォルトの名無しさん mailto:sage [2005/12/11(日) 13:11:24 ] >>642 > 処理系の研究してる人いるみたいだから聞きたいんだけど、今時はどんな研究が盛んなの？ 俺、大学院の研究室がプログラミング言語関係の研究室だったから、この世界には多少つながり がある。 で、今盛んなのは、プログラミング言語の機能拡張をいかに安全に行うか、ということ。 安全とは、処理系素人が中身を知らずに処理系（ＪａｖａでもＬｉｓｐでも）に、拡張機能モジュールを 突っ込んでも、モジュール同士が干渉することなく、素人が拡張機能の恩恵にあずかれること。 モジュールを突っ込んで言語処理系の機能（というか、糖衣構文かなぁ）を増やす、というアイディア は、ＭＯＰ、mixinとずっと前からあるわけだが、安全性については発展途上。 俺はいま、言語、ソフトウェアとは別業界なので、個人的趣味でたまにサーベイした範囲で書いてる けど、本職さんのアドバイスをおながいします。 644 名前：デフォルトの名無しさん mailto:sage [2005/12/11(日) 14:34:24 ] テンプレの>>5をみればこの分野の流行はつかめると思う。 645 名前：デフォルトの名無しさん [2005/12/11(日) 18:22:09 ] >>643 こんな香具師おおいの？ 専攻分野と就職先がなさならないと言う意味で 646 名前：デフォルトの名無しさん mailto:sage [2005/12/11(日) 18:29:18 ] むしろ直結してるほうが稀 647 名前：デフォルトの名無しさん mailto:sage [2005/12/11(日) 18:36:25 ] >>645 大学院たって修士だろ。それじゃあ、専門家とは到底言い難いから、企業としては都合のよいソルジャー 扱いで、専攻も分野も関係なく配置するんじゃない。 俺、ＩＴ関係企業でリクルーターやった経験あるんだが、専攻分野イコール業務分野という奴は見たこと ない。大体、適当に丸め込まれて、学部、高専卒と机を並べて、畑違いの分野で研修、ＯＪＴだったなぁ。 俺はこれがやりたい、という強い意志を持ってる奴は、博士まで取るべき。企業としては、博士は専門 馬鹿でもてあますことが多いのだが、研究部門でツボにはまると、とんでもない力を発揮する。 648 名前：デフォルトの名無しさん mailto:sage [2005/12/11(日) 18:40:34 ] つーか言語開発の仕事って例えば何？ SunとかMSとかBolandみたいに明らかに言語作ってる部隊以外に何がある？ 649 名前：デフォルトの名無しさん [2005/12/11(日) 18:55:21 ] >>648 > つーか言語開発の仕事って例えば何？ 自分がかかわった範囲でいうと、組み込み用マイコン向けコンパイラの開発、ＨＤＬをパースして さまざまな解析、設計アシストするツールの設計だな。 コンパイラはｇｃｃでいいじゃん、と思われてるけど、特定のマイコンに特化して徹底的に チューニングするとｇｃｃが吐くコードより２割は小さく、速くなるんだな。 ｇｃｃは、マルチアーキテクチャ対応ゆえに中間コードレベルでしか最適化できないから。 ＨＤＬはね、単純にケイデンスやメンターのツール買ってきて導入して終わり、じゃないんだよ。 自前で故障検出パタン作成用ツールを作ったり、自社の設計ルールにのっとって記述されて いるかチェックするツール（lintみたいなもんか)を作ったりする。昔は、自社で独自のＨＤＬを 設計、実装して、大型電子式自動計算機で長時間シミュレーションをまわしたもんだよ。 運が悪いと、数日ジョブを突っ込めなかったり、ディスパッチがまわってこないなんてことは ざらにあった。 650 名前：デフォルトの名無しさん mailto:sage [2005/12/11(日) 18:56:21 ] 組み込み機器用にgccを移植するような地味な仕事から 簡単な業務処理用スクリプトを書いたりならしたことがあるが コレといって”言語を作る”ってのはやったことないなぁ。 651 名前：６４９ mailto:sage [2005/12/11(日) 19:09:57 ] あとは、半導体テスタ用のテストパタンを加工するための言語を独自設計してつかっていたこともある。 awk,Perlでは、汎用性ありすぎて、かえって使いにくいから。 652 名前：デフォルトの名無しさん mailto:sage [2005/12/11(日) 19:16:22 ] >>5の一番上のリンクから適当にピックアップ＋適当に訳 >>643の安全性ってのも一番最初に出てるね * language support for security and safety　セキュリティと安全性のサポート * dynamic compilation and optimization techniques　動的コンパイルと最適化 * languages and compilers for parallel computing　並列計算用の言語とコンパイラ * storage management techniques　保存管理法？ * design and processing of domain-specific languages　ドメインに特定な言語？ * compilation for distributed heterogeneous systems　分散異種系コンパイル？ * effective implementation of advanced language features　よりよい機能の実装？？ * techniques for embedded and of mobile code　組込とかモバイル向けの手法 * program representations　プログラム表記？ * interactions between compilers and architectures　コンパイラとアーキテクチャの相互作用 * program analysis　プログラム分析 * software development tools　ソフトウェア開発ツール * program optimizations and transformations　プログラムの最適化と変換 * techniques for effective compiler construction　効果的なコンパイラ製作？ ぜんぜんわからんかったorz 653 名前：デフォルトの名無しさん [2005/12/12(月) 08:11:40 ] >>649 マイコン価格の暴落と処理速度の改善で、その仕事の半分は無くなる予感。 654 名前：デフォルトの名無しさん mailto:sage [2005/12/12(月) 11:27:16 ] >>652 * language support for security and safety 　セキュリティと安全性をサポートする言語 　（例えばPerlのテイントとかJavaのベリファイアとか。 　最近は実行時に検査する内容を減らすために静的な検査も多いので型理論と関連が深い。） * dynamic compilation and optimization techniques 　動的な（実行時）コンパイルと動的な（実行時）最適化 　（JavaのJITコンパイルとか。言語じゃないけど昔WindowsがBitBltナントカというAPIで 　画像のビット演算処理を実行時にコンパイルっぽいことして最適化してたような記憶も。） * languages and compilers for parallel computing 　並列計算用の言語とコンパイラ 　（並列処理の関して通信とか同期とかメモリ共有とか負荷分散とかで 　抽象化と効率の、あるいは自動化と手作業でのカスタマイズのせめぎ合いから 　丁度いい点を見出す研究。） * storage management techniques 　メモリ管理技術 　(たとえばGCとか、もっと進んでヒープを使わないプログラミングの可能性とか。 　研究者人口は多くない気がするけどディープなマニア多し（個人的偏見）。) * design and processing of domain-specific languages 　ドメイン固有言語（特定分野向け言語）の設計と処理 　（例えばMathematicaやMATLABみたいなのとか。ハードウェア記述言語（VHDLとか）とか。 　論文ではAT&Tが交換機の構成記述言語なんてのを提案してるのを見たことがありますな。 　Flashのスクリプト言語とかあるいはSQLとかもそうかもね。 　このテの言語は必ずしもプログラミング言語屋が作らないので時々風変わりな実装がある。 　つーか今私がWindowsに移植してる言語がそうだというのは個人的なグチ。） 655 名前：デフォルトの名無しさん mailto:sage [2005/12/12(月) 11:28:21 ] >>652 * compilation for distributed heterogeneous systems 　異種分散システムのコンパイル 　（CPUやメモリの構成が一様でない分散システムを扱う技術ですな。 　通信とか同期とかメモリ共有とか負荷分散とか、 　あるいはそもそも各ノードの構成情報をどうやって管理伝達するかとか。） * effective implementation of advanced language features 　言語の機能の効率的な実装 　（例えば、大昔ならサブルーチン呼び出し、 　最近ならオブジェクト指向とかアスペクト指向とか 　リフレクションとかを効率よく実行する方法について。 　多分現在コンパイラ研究で実装面の主流。激しく応用寄り。 　多分このスレの王道？） * techniques for embedded and of mobile code 　これは 　「（他言語やデータへの）埋め込みコード 　　　＆（アプレットやエージェントとかの）移動可能なコードの技術」 　のことか 「組み込みシステム向けコード＆移動体向けコードの技術」 　のことか少々迷うな。どっちもあり得る。forとcodeに注目して英文解釈すると前者？ * program representations 　プログラムの表現 　（一瞬、インテンショナル・プログラミングみたいにテキスト表現を用いない 　開発環境と一体化した言語（？）とか連想したけど多分違ってて、 　数学的＆理論的なプログラムのモデルのことだろうな。 　だとすると業界で一番の理論寄り分野。） 656 名前：デフォルトの名無しさん mailto:sage [2005/12/12(月) 11:29:28 ] >>652 * interactions between compilers and architectures 　コンパイラとアーキテクチャの相互作用 　（キャッシュやパイプラインや特定の命令の有無などハードウェアの構成を知ったり、 　もっと意欲的には再構成可能ハードウェアを構成したりとかも入るのかな？） * program analysis 　プログラム解析 　（まぁ最適化や書き換えなどのためにプログラムの性質をいろいろ調べる技術ですな。 　目指す処理に必要でかつ調べやすい性質のアイディアと 　そうやって提唱された性質をプログラムから取り出すアルゴリズムがセット。 　最適化のためのループの分類やら、ある変数の定数性を調べたり、 　ポインタがどのオブジェクトを指してるか調べたり。 　あとは型検査なんかもこのジャンル。 　末尾再帰かどうかを判定するなんてのは古典ですな。 　最近では型と絡めて安全性とかも話題。多分現在コンパイラ研究で理論面の主流。） * software development tools 　ソフトウェア開発ツール 　（例えば開発環境とかデバッガとかリファクタリング・ツールとかテスト･ツールとか 　プロファイラとかソースコード管理とかドキュメントやUML図の作成ツールとか 　GUIウィザードの類とか。） 657 名前：デフォルトの名無しさん mailto:sage [2005/12/12(月) 11:29:54 ] >>652 * program optimizations and transformations 　プログラムの最適化と変換 　（プログラムを書き換える技術一般。 　ジェネラティブ・プログラミングのように変換の枠組みを言語的に用意して 　プログラマに分野に特化した最適化などを書かせたり、 　あるいはコンパイラの最適化のようにプログラム解析の結果を適用して 　（多くは）自動的にプログラムを書き換えたりする技術。 　プログラム特化とか、部分評価とかアスペクト指向もこの文脈で語られること多し。 　そもそもコンパイラ自身を変換（あるいは変換の集まり）としてモデル化して 　考えることもあってその場合次項とも関連が深い。 　個人的にもっと日本でも流行ってほしい分野。） * techniques for effective compiler construction 　効率的なコンパイラ構築の技術 　（effectiveがコンパイラにかかるのか構成に掛かるのか迷うところだけど 　多分、コンパイラ開発自身の効率化のほうだと思う。 　コンパイラの構成を工夫して新しい機能や最適化とかを 　あとから追加・変更したりできる技術とかコンパイラ･フレームワークとか。） 658 名前：デフォルトの名無しさん mailto:sage [2005/12/12(月) 11:35:09 ] >>653 確かにハードウェアが進歩すると トレードオフが程よくバランスする点は変わるから 最適化などで個々の技術が顧みられなくなることもあるんだけども、 プログラムのほうもどんどん規模はでかく、処理は重くなる傾向はあるので 研究分野としてなくなることはなかったりする。 後は昔のハードでは速度や容量の点から 夢物語だった先進的過ぎるアイディアを 実際に試せるようになったりすることもある。 659 名前：デフォルトの名無しさん [2005/12/12(月) 11:40:42 ] このすれｽｻﾏｼﾞｽage 660 名前：デフォルトの名無しさん mailto:sage [2005/12/12(月) 11:50:45 ] 訳と解説乙。 次スレから、(個人的〜の部分を省いて)テンプレにするといいと思う。 以下ツッコミ。間違ってたらごめん。 >techniques for embedded and of mobile code 普通に組み込み機器向けって意味じゃない？ データに埋め込む言語って意味だと、mobileと一緒にする理由がわからない。 >program representations program representationというと、Abstract Syntax TreeとかGraphとか、 パースしたプログラムの表現形式(なぜか大抵は中間形式)を言う事が多いと思う。 661 名前：デフォルトの名無しさん mailto:sage [2005/12/12(月) 12:08:45 ] >>660 techniques for embedded and of mobile code に関しては正直どっちかわからんですよ。どっちの分野もあるし。 そのうえさらにややこしい事に移動体機器や組み込み機器向のコードとして （容量や更新の都合で。）移動可能なコードを使うことが最近ちょくちょくあるようだし。 あー、program representations に関しては>660の言うとおりかもなぁ。 その場合、インテンショナル･プログラミングの内部構造とか バイトコードとその仲間達とかも入るかもね。 662 名前：デフォルトの名無しさん mailto:sage [2005/12/12(月) 13:22:53 ] >>660 にだけ突っ込むけど、他意はないから許して (>>654-657 を検証するような目で見るガッツがないもので…) "mobile code"は日本語で「可搬コード」とでもいうような、 プログラムが分散環境を移動するやつかもしれない。 それから、"program representations"は、プログラム意味論とかの 「プログラムをどのような *モデル* で表現するか」というテーマだと思う。 663 名前：654-657、661 mailto:sage [2005/12/12(月) 14:11:41 ] >>662 まぁ、mobile codeに関しては私もそっちが第一候補ではある。 でもembeddedと対になってたりするし、 曖昧な言葉ではあるので文脈がないとどっちにも取れる面はあるなと。 program representationsに関しても最初私もモデルかと思ったけど、 >>661的なテーマも確かにあったりしてそっちな可能性も結構あるなと。 ぶっちゃけこれも文脈を聞かないとイマイチ特定しにくいかも。 664 名前：デフォルトの名無しさん mailto:sage [2005/12/12(月) 14:18:55 ] ACMのDigital Libraryでみつけた論文では ・high level representations ・directly interpretable representations ・directly executable representations っていう分類してparse treeとか語ったりしてるのと、他にもwikipediaから en.wikipedia.org/wiki/Dynamic_recompilation の中でa portable program representation such as Java or CLR bytecodesって表現があるから660でいいと思う。 同じくACMのDigital Libraryから mobile code, that is, programs traveling on a heterogeneous network and automatically executing upon arrival at the destination という言い回しも見つけた。 たぶんモバイル機器向けってことだと思う。（よく知らないけど） embeddedは何とも言えないけど、組み込み系以外の意味でembeddedっていう単語が使われてるのはあまり見かけない希ガス。 他言語に埋め込むとかは普通inlineじゃないかな？（勘違いしてたらつっこみよろ） 665 名前：654 mailto:sage [2005/12/12(月) 14:25:24 ] embedded languageってのを DSLの文脈で見かけたことがあるような記憶はあるんだが いまいち定かでなかったりして決定打に欠ける。 その上そこで組み込み機器向けのDSLの話だったのか、 別の言語に埋め込む特定分野向の簡易言語の話だったのか思い出せないので こんな記憶があっても決定するだけの根拠なし。 666 名前：デフォルトの名無しさん mailto:sage [2005/12/12(月) 14:43:52 ] >>654 > (たとえばGCとか、もっと進んでヒープを使わないプログラミングの可能性とか。 これすごいな。そんなの実現可能なの？ ヒープ使わないとなるとデカイ静的メモリ領域用意して全部つっこむしか思いつかない俺に喝を入れてくれ。 667 名前：デフォルトの名無しさん mailto:sage [2005/12/12(月) 14:46:25 ] >>664 mobile codeの部分だけ反応してみる。 異機種ネットワークを移動し、到達点で自動的に実行するプログラム ということだから、RPCっぽいことなのかなと思った。 > Programming languages for mobile code > Tommy Thorn > ACM Computing Surveys (CSUR) > Volume 29 , Issue 3 (September 1997) ただこの論文の冒頭で、「"mobile code"には文章によって様々な 意味を持つ」とか言ってる。 この論文では、「異機種ネットワークを移動し、保護ドメイン (企業ネットワークからPDAまで)を渡り、到着点で自動的に実行する ソフトウェア」と定義してる。 けっこう面白そうな論文ぽい。 668 名前：654 mailto:sage [2005/12/12(月) 14:51:51 ] 私もちゃんとは知らないウロ覚えの聞きかじりなんだが、 何年か前に日本ソフトウェア科学会のとある研究集会あたりで聞いたような気がする。 私の気が確かならば関数型プログラミング方面から来た話で、 プログラムを解析（エスケープ解析とかあたりかなぁ）して 関数呼び出しの階層の中の適切な階層に記憶管理コードを埋め込むような話が あったような気がする。 ただ3時から仕事上の講演会を聞きに行くので今は調べられない。 戻ってきた後でちょっとググって見る。 669 名前：654 mailto:sage [2005/12/12(月) 15:11:16 ] >>666(>>668続き） PPL2003の招待講演だったNe（希ガス） www.csg.is.titech.ac.jp/ppl2002/program.html "Functional Programming without Garbage Collection" Martin Hofmann (University of Muenchen) [PSファイル] www.csg.is.titech.ac.jp/ppl2002/proceedings/hofmann.ps 670 名前：654 mailto:sage [2005/12/12(月) 15:13:10 ] ちなみに内容はウロ覚えなんで論文読んで確認されたし。 (聞きに行く講演は15時半からだった。) 671 名前：666 mailto:sage [2005/12/12(月) 16:03:54 ] >>669 �dｸｽ！ なるほどね。ヒープを使わずに再帰しながらスタックを使う（関数の引数に詰め込む）ってことっぽい。 672 名前：654 mailto:sage [2005/12/12(月) 18:37:12 ] >>671 ま、それを手でやったら単に面倒なだけなんだけど プログラムを解析して自動でそういうように書き換えるって話だったように覚えるんだけど どうだったかいね。 （最近PDFが多くて生PSのみってあんまりないから今使ってるマシンに PSプロセッサを入れてないのでURLの論文をまだ読んでない罠。 や、まぁ入れりゃいいだけなんではあるがマンドクセぇという。） 673 名前：デフォルトの名無しさん mailto:sage [2005/12/12(月) 19:48:02 ] スレの質が急激に向上してまいりました 674 名前：デフォルトの名無しさん mailto:sage [2005/12/12(月) 20:08:44 ] スレの質が急激に向上してきたようだね 675 名前：デフォルトの名無しさん mailto:sage [2005/12/12(月) 20:27:22 ] スレの質が急激に向上しているようだな 676 名前：デフォルトの名無しさん mailto:sage [2005/12/12(月) 20:41:15 ] 上がってきたと見るや躊躇いなく下げようとしているなｗ 677 名前：デフォルトの名無しさん mailto:sage [2005/12/12(月) 20:42:54 ] >>676 このダッチワイフ野郎。（くうきよめ）

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef