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

1 名前：デフォルトの名無しさん mailto:sage [2006/05/06(土) 00:59:13 ] プログラミング言語処理系の開発に興味のある人達のスレッドです。 字句解析・構文解析から，データフロー解析，ループ並列化，データ分散，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/ 8 pc8.2ch.net/test/read.cgi/tech/1131273918/ 9 pc8.2ch.net/test/read.cgi/tech/1135082582/ 関連リンクは多分 >>2-10 あたり 802 名前：デフォルトの名無しさん mailto:sage [2006/09/19(火) 01:53:34 ] PCLの2章より: An even more impressive instance of remote debugging occurred on NASA's 1998 Deep Space 1 mission. A half year after the space craft launched, a bit of Lisp code was going to control the spacecraft for two days while conducting a sequence of experiments. Unfortunately, a subtle race condition in the code had escaped detection during ground testing and was already in space. When the bug manifested in the wild--100 million miles away from Earth--the team was able to diagnose and fix the running code, allowing the experiments to complete.14 One of the programmers described it as follows:     Debugging a program running on a $100M piece of hardware that is 100     million miles away is an interesting experience. Having a     read-eval-print loop running on the spacecraft proved invaluable in     finding and fixing the problem. ドキドキもんだろうけど、楽しそうな体験ではある。 803 名前：デフォルトの名無しさん mailto:sage [2006/09/19(火) 04:03:57 ] >>801 何が? 804 名前：デフォルトの名無しさん mailto:sage [2006/09/19(火) 07:49:42 ] この程度の流れも読めない馬鹿は書き込まないで下さい :-P 805 名前：デフォルトの名無しさん mailto:sage [2006/09/19(火) 10:01:17 ] >>802 さらに衝撃的な遠隔デバッグが行われたのは、NASAが98年に打ち上げた、ディープ・スペース1号機におけるミッションでのことだった。 ロケットの打ち上げから半年、Lispの短いコードにロケットの制御を2日間委ねることになった時、ある一連の実験が進行中だった。 不運にも、わずかな競合状態がコードの中に含まれていたためで、地上での検査時に見つからないまま、宇宙空間に放たれてしまっていたのだ。 バグ発見の過酷な状況は、地球から1億マイルも離れた場所であったが、担当チームは稼動中のプログラムにメスを入れ、問題の修復に成功したことで、今回の実験は完遂されることになった。 担当したプログラマの一人が、当時の様子を次のように語った。 「あの時デバッグしたプログラムは、1億ドルのハードウェア上で、1億マイルも離れた場所で稼動していたんだけど、おもしろい経験になったよ。 read-eval-printループがあれば、ロケットの中で問題が起きても、発見したり修復するのに、量り知れないほど役立つことが証明されたってわけさ。」 806 名前：デフォルトの名無しさん mailto:sage [2006/09/19(火) 12:44:29 ] むしろLispなんかで制御したから地上での検査時に 見つからなかったという恥ずべき歴史だな。 807 名前：デフォルトの名無しさん mailto:sage [2006/09/19(火) 12:47:00 ] 「みんながLispに近づいているんじゃない！ 　みんながLispを不必要にしているんだ！！」 808 名前：デフォルトの名無しさん mailto:sage [2006/09/19(火) 13:16:59 ] PHPでいいです 809 名前：デフォルトの名無しさん mailto:sage [2006/09/19(火) 16:07:51 ] いくない 810 名前：デフォルトの名無しさん mailto:sage [2006/09/19(火) 16:09:57 ] >>806 本当にそう思うなら、匿名掲示板以外でも声高に言ってみろよ。 誰も相手にしてくれないけどな。 811 名前：デフォルトの名無しさん mailto:sage [2006/09/19(火) 16:11:36 ] JavaScriptでいいです＞＜ 812 名前：デフォルトの名無しさん mailto:sage [2006/09/19(火) 16:15:37 ] >>810 確かに、Lispなんていう死んだ言語の話をする相手が見つかるのは 夢想に責任をまったく持たなくていい匿名掲示板くらいでしょうね。 813 名前：デフォルトの名無しさん mailto:sage [2006/09/19(火) 16:22:13 ] >>810 静的型付けのないLispが今でも一番だと思っている奴がいたら それこそお笑いだ。 スクリプティング言語の主流はいわゆるP言語だし、大学での 教育に使われる言語もMLやHaskellなど静的型付け＆型推論の ある言語に移っている。 814 名前：デフォルトの名無しさん mailto:sage [2006/09/19(火) 17:19:40 ] >>813 SICPを教科書に使う学科は多いだろうし、今でもLispは教育用言語として使われることが多い。 ラムダ計算のお勉強でも型なし→型ありという風に遷移・比較して教えられる事もあるだろうし、 教育用という意味では今でもLispは利用価値がある。 815 名前：デフォルトの名無しさん mailto:sage [2006/09/19(火) 17:55:27 ] >>814 それが最近はSICPの評価は昔ほど高くない。 SICPの内容を最初からMLなどで教えているところもある。 つまるところ静的型付けがない言語をわざわざ大学で教える 必要性が薄らいでいるのさ。 にも関わらず Lisp is nice, so we are nice. な方の多いこと。（Rubyスレで見たレスのもじりだが。） 816 名前：デフォルトの名無しさん mailto:sage [2006/09/19(火) 18:14:29 ] いい加減スレ違いだと思うんだけどな。 817 名前：デフォルトの名無しさん mailto:sage [2006/09/19(火) 18:19:12 ] >>815 Lispはともかく、 型なしラムダ計算については？ 818 名前：デフォルトの名無しさん mailto:sage [2006/09/19(火) 18:33:09 ] >>817 形無しラムダ計算を教えるためにはLispが必要と考える理由が むしろ知りたい。 819 名前：デフォルトの名無しさん mailto:sage [2006/09/19(火) 20:39:42 ] 形無しラムダ計算の本質はLispでないと表せない 820 名前：デフォルトの名無しさん mailto:sage [2006/09/19(火) 21:36:04 ] >>818 型なしの関数型言語の代表格だからだよ。 821 名前：デフォルトの名無しさん mailto:sage [2006/09/19(火) 21:37:13 ] 別に言語は何だっていいけど、Lispは勉強するのに必要な資料が一番多いんじゃないかな。 822 名前：デフォルトの名無しさん mailto:sage [2006/09/19(火) 21:38:40 ] 紙と鉛筆で十分だが 823 名前：デフォルトの名無しさん mailto:sage [2006/09/19(火) 21:41:26 ] Lisperの一部は鼻持ちならない選民思想の持ち主だが、 そうでない者も多い。 「Lisp一番！！」なレスはスルーでヨロ。 824 名前：デフォルトの名無しさん mailto:sage [2006/09/19(火) 22:04:01 ] カステラ一番、Lispは二番！！ 825 名前：デフォルトの名無しさん mailto:sage [2006/09/19(火) 22:26:08 ] >>819 んじゃあ、形無しラムダ計算は発明から何十年もの間、 その本質は表現されなかったんだｗ 826 名前：デフォルトの名無しさん mailto:sage [2006/09/19(火) 22:51:12 ] 実際Lispがなかったら埋まったままだったろうなあ 827 名前：デフォルトの名無しさん mailto:sage [2006/09/20(水) 00:51:30 ] >>825 ここプログラム技術板だから。 （と、この説明で恥ずかしくならないようなら問題外 :-) ） 828 名前：デフォルトの名無しさん mailto:sage [2006/09/20(水) 02:00:59 ] >>825 Lisp はクソだが見当違いの叩きを展開するアホはもっとクソだ。 ここは叩くスレじゃねーんだ。バカは↓でも抱いて海に消えろ。 文句は直接開発者にでもメールしてろ。 強い型付き LISP： ttp://www.lambdassociates.org/qiml.htm 829 名前：デフォルトの名無しさん mailto:sage [2006/09/20(水) 06:28:07 ] 言語ネタは叩き厨がファビョって荒れるんで Code Generation でも語ろうぜ JIT なんだけど GNU Liblightning ってどうなん？使ってるプロジェクトって qu 以外にある？ 830 名前：デフォルトの名無しさん mailto:sage [2006/09/20(水) 07:37:14 ] >>827 >>828 おまえらこそ流れを読まず見当違いのレスをするんじゃねーよ。 >>827よ、お前が一番恥ずかしい。 >>828よ、もはやLispではないものを持ってきてなんのつもりだ？ Lispを叩いているんじゃない。 Lispが至高のものと信じて疑わず、言語開発者でもないくせに 多言語使用者を見下すだけの輩が日本に増えるのは有害だ。 もっと先を見ろ。SICPなんて初学者向けの本だ。 世界はもっと進んでいるぞ。 831 名前：デフォルトの名無しさん mailto:sage [2006/09/20(水) 08:08:32 ] >>830 そのｺﾋﾟﾍﾟどこかで見たな。元ネタは何だっけ? 832 名前：デフォルトの名無しさん mailto:sage [2006/09/20(水) 08:16:50 ] 世界はもっと進んでいるぞのガイドライン ttp://ex13.2ch.net/test/read.cgi/gline/1139460483/ 833 名前：デフォルトの名無しさん mailto:sage [2006/09/20(水) 08:53:17 ] 型付きの LISP よりも、副作用がバンバン書ける SML が欲すぃ。 834 名前：デフォルトの名無しさん mailto:sage [2006/09/20(水) 10:11:04 ] >>830 大学って初学者向きの授業をするところだと思うんですけど・・ 835 名前：デフォルトの名無しさん mailto:sage [2006/09/20(水) 17:30:18 ] >>830 もうちょっと「論理的に見えるこじつけ」を期待したんだけどなぁ。 それじゃあ自意識に潰されて暴走する中学生だよ、キミぃ。 836 名前：デフォルトの名無しさん [2006/09/20(水) 17:41:19 ] やっぱり>>835のように、経験者の言葉は一味違うね。 837 名前：デフォルトの名無しさん mailto:sage [2006/09/20(水) 18:11:42 ] Currying and Partial Applications Qi permits currying (10-) ((* 7) 8) 56 and also partial applications, which generate Lisp closures. (11-) (* 7) #<CLOSURE :LAMBDA (Z100983) (* 7 Z100983)> ｽｺﾞｽ 838 名前：デフォルトの名無しさん mailto:sage [2006/09/20(水) 18:22:46 ] Lisp (というよりS式)は中間言語に最適です、gcc でも使われてますし。 839 名前：デフォルトの名無しさん mailto:sage [2006/09/20(水) 19:12:18 ] S式というよりツリー形式が本質なのでは？ 840 名前：デフォルトの名無しさん mailto:sage [2006/09/20(水) 22:51:54 ] 何でツリーの形式になるのか値？ 841 名前：デフォルトの名無しさん mailto:sage [2006/09/22(金) 16:20:44 ] squirrel-lang.org/ なんか、配列の中に、変数とか書ける。 どういう感じで実装しトンのかな。 Hash？ 842 名前：デフォルトの名無しさん mailto:sage [2006/09/22(金) 18:41:44 ] 単に statement というか block がファーストクラスオブジェクとして扱えるってことでは？ 843 名前：デフォルトの名無しさん mailto:sage [2006/09/28(木) 23:31:27 ] ttp://www.amazon.co.jp/gp/product/0321486811 これってさ、いつ出るんだかわからなかった21st Century Compilersが遂に出ました、ってこと？ 844 名前：デフォルトの名無しさん mailto:sage [2006/09/28(木) 23:46:18 ] うん。予定より章が減ってる気のせいがするけどね。 845 名前：デフォルトの名無しさん [2006/10/06(金) 03:41:19 ] このスレはLISPの話題が出ないと回らないんだな 846 名前：デフォルトの名無しさん mailto:sage [2006/10/06(金) 10:00:22 ] つか、>>1に書いてある話題のほとんどは全然出てこないw 847 名前：デフォルトの名無しさん [2006/10/06(金) 10:17:02 ] じゃ、質問してみる。 どうせ過疎ってることだし、あわよくば神が現れることを期待して。 >>1に書いてある内容、どれでもいいから語ってください。 なぜそんなものが必要なのか。どんな意義があるのか。どこまで研究が進んでいるか。どこまで実装されているか。身近に有用な具体例はあるか。社会や倫理に与える影響はあるか。おまいはなぜそんなことまで知っているのか。LispやRubyとの関ｋ（ｒｙ。などなど。 848 名前：デフォルトの名無しさん mailto:sage [2006/10/06(金) 15:05:36 ] それは質問とは言わん 849 名前：デフォルトの名無しさん mailto:sage [2006/10/06(金) 15:18:20 ] 言い出しっぺが語れよ 850 名前：デフォルトの名無しさん mailto:sage [2006/10/06(金) 21:21:36 ] >>843について語るとか。 851 名前：デフォルトの名無しさん mailto:sage [2006/10/06(金) 22:33:06 ] >>850 Amazonに登録された当初、14,000円弱だったが日々値下がりしているので様子見中。 852 名前：デフォルトの名無しさん mailto:sage [2006/10/06(金) 22:39:44 ] 俺言語ってどのくらいの人が作ってて、どれくらい完成してる？ ちょっと前は俺言語作ってるって人webで良く見たんだが、 最近自分の見る範囲では現れない。 また、作ってるって人も全然進んでなさげ。 853 名前：デフォルトの名無しさん mailto:sage [2006/10/07(土) 01:37:35 ] みんなもう飽きたんだよ 854 名前：デフォルトの名無しさん mailto:sage [2006/10/07(土) 02:16:02 ] 手続き型にしか触らないで秋田とか言う人 Scheme面白いよ Lisperが何故偉そうに語るのかわかる 855 名前：デフォルトの名無しさん mailto:sage [2006/10/07(土) 02:38:36 ] 手続き型にしか触らないで山形とか言う人 Prolog面白いよ 世界が変わるから一度試してみるといい いや、マジで 856 名前：デフォルトの名無しさん mailto:sage [2006/10/07(土) 03:30:20 ] >>854 schemeおもしろいって・・ お前素人だろ？まるわかり。 857 名前：デフォルトの名無しさん mailto:sage [2006/10/07(土) 03:31:08 ] >>855 学部２年生だろ？まるわかり。 858 名前：デフォルトの名無しさん mailto:sage [2006/10/07(土) 03:31:45 ] >>852 高校生乙 859 名前：デフォルトの名無しさん mailto:sage [2006/10/07(土) 03:32:49 ] 2chはもはや素人の集まりか。 860 名前：デフォルトの名無しさん mailto:sage [2006/10/07(土) 04:40:42 ] >>859 はじめからなｷｶﾞｽ >>852 組み込み用のUIハンドリング言語なら俺言語（つか社用言語）あるよ 861 名前：デフォルトの名無しさん mailto:sage [2006/10/07(土) 06:09:48 ] prologみたいな変な言語って >>1に書いてある様な即物的な技術と関係あるの？ 862 名前：デフォルトの名無しさん mailto:sage [2006/10/07(土) 07:59:55 ] prologのことは知らないが、>>1にある技術って実際に世の中に広まってる処理系に使われてるの？ 863 名前：デフォルトの名無しさん mailto:sage [2006/10/07(土) 08:02:51 ] 即物的かどうかはしらんが、Prolog といえば David Warren が設計したWAM つー 仮想マシンが有名だよ。述語論理を直接マシンコードに〜とかやってるなかで、 「こんな機械があればいいじゃん」というアプローチは新鮮だった。興味があ るなら調べてみては。 864 名前：デフォルトの名無しさん mailto:sage [2006/10/07(土) 09:32:39 ] >>862 prologのことだけじゃなく、何にも知らないんじゃん 865 名前：デフォルトの名無しさん mailto:sage [2006/10/07(土) 09:38:52 ] prologのことは知らないが、>>1にある技術がすべて実用化されていることは確かだ 866 名前：デフォルトの名無しさん mailto:sage [2006/10/07(土) 11:47:42 ] >>862 当たり前じゃん 867 名前：デフォルトの名無しさん mailto:sage [2006/10/07(土) 11:48:23 ] >>861 prologは定理証明支援系だから。 868 名前：デフォルトの名無しさん mailto:sage [2006/10/08(日) 06:10:21 ] だから？ 869 名前：デフォルトの名無しさん mailto:sage [2006/10/08(日) 09:08:11 ] 伊代はまだ、１６だから。 870 名前：デフォルトの名無しさん mailto:sage [2006/10/08(日) 21:01:57 ] 未だにかよ>>869 871 名前：デフォルトの名無しさん [2006/10/09(月) 14:53:20 ] じゃ〜、>>900 を取ったやつが言語を作る！ 872 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 14:56:25 ] 型付きオブジェクト指向言語でオープンクラスが可能な言語が良いのぅ 873 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 16:10:45 ] 公開授業？ 874 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 16:33:38 ] オープンクラスってなんだよｗｗ ちなみに俺言語作ってる奴は、俺自身を除いて２人知っている。 ただ単に話題にならないから、無いものと思ったのかもね >>852 は。 875 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 16:38:29 ] 俺言語なんて無意味の極み 876 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 16:50:46 ] >>875 普通のアプリ作ってる分にはあんまり関係ないかもしれないが マイナーな環境だと俺言語（別に何かとコンパチでもいいが）じゃないと困る事もある。 つか困った事がある。 877 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 16:57:20 ] Open-Class considered harmful. 878 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 16:57:53 ] >>876 GAS使え 879 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 17:10:25 ] 俺言語っつーか、DSL(DSL:Domain Specific Language)はいるよね。 880 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 17:11:20 ] ゲームのスクリプト程度のものまで含めたら、結構みんな色々作ってるだろうけどね。 「言語」なる表現に並々ならぬ神聖性を見出している方々にも一切の難癖を付けられない、 いわゆる本格的な「言語」となると、なかなか居ないだろうなぁ。 881 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 17:16:52 ] Rubyは、代表的な俺言語なわけだがｗ 882 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 17:48:11 ] >>878 そうやって全部バイナリごりごり作ると入り切らない。 で、vmで処理単位を大きくした命令を処理するのだけど、そのままじゃやっていられない。 結局俺言語が導入されそのvmをエミュレートするＰＣを用意してそっちでデバッグ完了してから 実機へ導入になる。 つか組み込みで吝いCPUとメモリとかだとどうしようもない。 組み込み以外で極端だったのはポケットステーションくらいだが。 883 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 18:02:21 ] それって、俺言語じゃねえよ 俺言語ってのはやっぱり、 「これが俺の言語だ！どうだ！！」ってなやつのことだもん 「この環境で言語いるから、お前作れよ！」 ってな感じで作らされるのは、『お前言語』ってところだ 884 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 18:03:59 ] 「代表的な俺言語」っていうのは、宿命的に難しい定義だな。 こういう場で代表になれるような言語が、果たして今もなお俺言語の名にふさわしいかって点で。 885 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 18:05:32 ] >>883 ﾁｮﾄﾜﾛﾀ 886 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 18:05:38 ] >>883 それはつまり「開発することが手段ではなく目的である言語」というような感じかな。 887 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 18:10:32 ] 俺言語って、我流言語って事じゃないの？ ちゃんと勉強した人が作った言語は、その人がアマチュアであっても俺言語じゃない。 888 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 18:13:30 ] ↑はい、「俺ローカル定義」でました 889 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 18:15:18 ] >>886 その定義に一票 890 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 18:16:45 ] 「俺」と「ローカル」はまぁ同義語ってわけじゃないけど、 この場合の「比喩的に用いられるローカル」は「俺」とかなりかぶってるから、 「俺ローカル定義」ってのはどうだろうなぁ。ちょっと響きがヌケてるかもしれないな。 891 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 18:35:11 ] >>886 じゃあ、やっぱり、Rubyは俺言語だｗ 892 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 18:37:09 ] 886の定義だと、ほとんどの言語が俺言語だろ。 893 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 18:43:21 ] すべては俺言語から始まった 894 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 18:52:29 ] >>891 Rubyはそれっぽいね。 Perlはラリーの仕事道具として生まれたみたいだけど。 >>892 んー、それはどうだろう。 「ここでこういうのがあると便利だから」っていう理由（これは「手段」だよね）が 一番多いような気がするけどなぁ。いや、気がするだけね、あくまで。 895 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 18:56:19 ] >>871 >>900　俺言語作れよ〜 896 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 18:57:02 ] >>894 >Perlはラリーの仕事道具として生まれたみたいだけど。 はぁ？じゃあ「開発することが手段ではなく目的である言語」じゃないじゃん。 「開発を始める時の動機が手段ではなく目的だった言語」だろ。 897 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 18:59:46 ] >>896 ごめんなさい。 君がキチガイにしか見えません。 898 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 19:01:43 ] 使えたら何でもいいのと違う？ 899 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 19:03:31 ] >>897 大丈夫。キチガイはお前だよ。 900 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 19:04:03 ] >>896 だから、「Rubyは>>886の定義に該当するね。Perlは違うけど」って言ってるんだろ>>894は。 901 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 19:10:11 ] >>900 何いってんの？ 886の定義 「開発することが手段ではなく目的である言語」 にPerlも該当するよ。昔はどうだか知らんが今はそうだろ？ Perlはラリーの仕事道具として産まれたから俺言語の定義から外れるっつーなら、 886の定義は正しくは「開発を始める時の動機が手段ではなく目的だった言語」だろっていってんの。 902 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 19:12:28 ] 不毛な。

---

---

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

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