05/11/16 17:41:53
注意：スルーしないからこうやって不毛な精神論に発展するのです。
329:デフォルトの名無しさん
05/11/16 18:21:08
>>328
自己言及？ｗｗｗ
330:デフォルトの名無しさん
05/11/16 18:31:43
>>322
termはtermだよ（本当の語源までは知らないけど）。
むしろ英語では式→expressionで、終端記号→terminal、非終端記号→nonterminal
>>300
「項」って何？名前選びに迷ってるならこことかどうよ？（Javaの文法）
URLﾘﾝｸ(www.y-adagio.com)
まあ自分で定義した「項」なるものを取り入れたいならtermでいいと思う。
331:デフォルトの名無しさん
05/11/16 18:55:48
>>329
リフレクションかw
何か面白いインターフェースでリフレクションを実装してる人いる？
自分はAspectもtemplate metaprogramming もgenerative Programmingの観点から
見事に整理して見せた書籍（"Generativ Programming", K. Czarnecki and U.W. Eisenecker
, Addison-Wesley, 2000）に感動してGenerative Programmingの観点から
リフレクションを整理した言語を作れないものかと思っているんだが今のところアイディアがない。
332:デフォルトの名無しさん
05/11/16 20:52:27
>>313
どちらもexpressionでしょ普通。馬鹿？
333:デフォルトの名無しさん
05/11/16 20:58:12
ついでに突っ込んでおくと、文->Statement
334:デフォルトの名無しさん
05/11/16 21:06:07
-/*+12345
335:322
05/11/16 22:08:31
>>330
goo 辞書より「項」
> (2)〔数〕
> (ア)多項式を構成するそれぞれの単項式。
> (イ)数列・級数で、そのおのおのの数や式。
336:322
05/11/16 22:20:31
terminationってよりterminalですね。すみません。
terminalの語源がtermとか、その逆とか、同じ語源を持つとか？
まあ語源はどうでもいいんだけど、BNFのそういう例で出てくるtermは
「終端」とか「停止」とかいう意味ではないんじゃないかと。
それにterminalの略なら、expressionもexprとかexpに略すんじゃない？
連投ｽﾏｿ
337:デフォルトの名無しさん
05/11/16 22:22:06
全てはリスト
338:デフォルトの名無しさん
05/11/16 22:29:24
普通はterm->停止でよいかと。
339:デフォルトの名無しさん
05/11/16 22:30:26
おれはexp派
340:デフォルトの名無しさん
05/11/16 22:31:01
普通？
341:314
05/11/16 22:31:52
>>322 >>335
つまり「項⊂式」か。理解したｻﾝｸｽ。
停止云々の発言以外は、両者の言い分どちらも正しかったって感じだな。
342:デフォルトの名無しさん
05/11/16 22:33:42
秀term
343:デフォルトの名無しさん
05/11/16 22:59:42
>>318
勝負あったようだな
344:デフォルトの名無しさん
05/11/16 23:34:55
俺はLisp派
345:デフォルトの名無しさん
05/11/16 23:46:47
>317
>解析する式は段々と小さな部分式になっていって
左再帰性の問題みたいに、段々小さくならない場合もあるよ。
346:デフォルトの名無しさん
05/11/16 23:53:28
>>336
つ URLﾘﾝｸ(www.m-w.com)
語源同じだそうです。
347:デフォルトの名無しさん
05/11/16 23:53:58
俺はruby派
348:デフォルトの名無しさん
05/11/17 00:18:57
Rubyソースは見た目が悪い。
349:デフォルトの名無しさん
05/11/17 09:41:12
termを項と訳している本はいっぱいあるよ
350:デフォルトの名無しさん
05/11/17 11:40:50
俺は
statement->expression->term->factor
って使うけど。
というかコンパイラ本ってこうなってね？
351:デフォルトの名無しさん
05/11/17 12:12:07
>>350
Look Ahead（先読み）があるとtermとかfactorとか使わなくてもexpression書けちゃうからな。
特にyacc系から入るとあまり見かけないんじゃないかな。
352:304
05/11/17 17:38:20
>>305
さんくす
353:デフォルトの名無しさん
05/11/17 18:46:22
>>351
そうだな。bison/yaccならexpression以下は本当にそのままを表すだけがほとんど。
例）semicolon
354:デフォルトの名無しさん
05/11/17 21:57:59
俺はりんご派
355:デフォルトの名無しさん
05/11/17 22:16:01
シッシッ
356:デフォルトの名無しさん
05/11/17 23:44:23
合えて言うと真珠派かな？
357:デフォルトの名無しさん
05/11/18 14:24:30
Perlのオブジェクト指向システムってどうよ？
第一引数がパッケージ名や参照でそれがそのままselfになるのって
argv[0]をうまく使ったトリックだよね。
実際はクロージャ生成をNewで隠蔽して、そのクロージャの環境を
持ち回ってるってことになるんだよね。
ああいうの元ネタあるの？
358:デフォルトの名無しさん
05/11/18 15:58:06
>>357
argv[0] つか、$_[0] な。
あれはあれで良いものだが、クラス・メソッドの呼び方に
SomeClass::operation() と SomeClass->operation() があるのは、
美しくないというか、直感的じゃないとは思うね。
359:デフォルトの名無しさん
05/11/18 22:10:53
LL(1)で文法を考えてたんですけど、
式は一般的な形で最終的に、数値か識別子か括弧の式になります。それで
文 ::= 代入文 | 式文
代入文 ::= 識別子 ':=' 式文
式文 ::= 式 ';'
という文法だと、代入文と式文の両方のfirst(n)に識別子が含まれて駄目ですよね。
でもよくありそうな文法で、文法を変形したり、何かアイディアあったら教えてください。
360:デフォルトの名無しさん
05/11/18 22:59:25
BASIC風味で
代入文 ::= 'let' 識別子 ':=' 式文
とか
シェルスクリプト風に変数の参照は$をつける、とか
文 ::= 代入文 | 関数呼び出し文 | while文 | return文 | ...
にして式文を書けなくしてしまう、とか
代入文ではなく代入式にしてしまうとか。
なんかウチの大学のカリキュラム思い出した。
ウチの大学の宿題じゃないよな？
361:デフォルトの名無しさん
05/11/18 23:05:56
LL使ってる時点で実用性が乏しいといえるだろう。
まぁ、宿題なら仕方無いが。
362:デフォルトの名無しさん
05/11/19 00:48:19
>>361
pascal しらんの？アフォ？
363:デフォルトの名無しさん
05/11/19 00:51:04
解析能力と実用性に相関関係は無いと思うが
364:デフォルトの名無しさん
05/11/19 01:02:16
>>363
普通にあるでしょ？
現実をしらない研究者ならともかく、発想がしんじられない。
365:デフォルトの名無しさん
05/11/19 01:19:35
>>364
LLに収まる文法が
LLに収まらない文法に比べて何が劣ってるか説明してくれない？
単純に興味があるので。
366:デフォルトの名無しさん
05/11/19 01:29:37
LL(1)とかに収まらない言語でも今はLLで書くだろ。
367:デフォルトの名無しさん
05/11/19 01:31:54
>>359
Pascalは、
>>360
>文 ::= 代入文 | 関数呼び出し文 | while文 | return文 | ...
>にして式文を書けなくしてしまう、とか
この方式だね。JIS X3008を見ると、
文 = [ ラベル ":" ] ( 単純文 | 構造文 ) .
単純文 = 空文 | 代入文 | 手続き呼び出し文 | goto文 .
空文 = .
構造文 = 複合文 | 条件文 | 繰り返し文 | with文 .
となっている。
実際、文を書くべきところにいきなり a + 5; みたいな式文を書く必要はないでしょ。
>>364
高い解析能力が必要とされる文法なんて人間にとっても覚えにくいだけだから、
363の言うことはもっともだと思うが。
Pascalでラベルに文字列を使いたかったら、予約語「label」を導入して、
label hoge : 文;
とでも書かせておけばよかったのでは。
368:デフォルトの名無しさん
05/11/19 01:32:51
高い解析能力が全く要求されないLispは人間にとって覚えやすいんですか？
369:デフォルトの名無しさん
05/11/19 01:39:00
もちろん文法は覚えやすいだろ。
当然文法を覚えることと言語を使いこなすことは別だが。
370:デフォルトの名無しさん
05/11/19 01:44:50
>>368
forの構文やifの構文など、通常は文法の範疇のものが、
Lispだと関数やマクロの呼び出しになって、文法の範疇から
外れるだけ。
トータルで見れば、通常文法に相当する知識が減ってるわけ
じゃないが、文法に属する範囲は狭い。
371:デフォルトの名無しさん
05/11/19 03:35:02
覚えやすい≠使いやすい
372:デフォルトの名無しさん
05/11/19 06:16:52
また構文の話ですか。。
373:デフォルトの名無しさん
05/11/19 08:34:25
>>368
最近、仕掛けが巧妙になってきている。
374:デフォルトの名無しさん
05/11/19 23:01:29
>>373
｜
｜
｜
しりんご
375:デフォルトの名無しさん
05/11/20 00:02:34
パクッ
376:デフォルトの名無しさん
05/11/20 00:14:02
馬鹿でも理解できるLispってか
377:デフォルトの名無しさん
05/11/20 00:17:31
尻んご
に見えた
378:デフォルトの名無しさん
05/11/20 00:25:36
21st Century Compilers買った人いる？
379:デフォルトの名無しさん
05/11/20 00:30:14
え、アレ出たの？
380:デフォルトの名無しさん
05/11/20 00:50:24
URLﾘﾝｸ(www.amazon.co.jp)
年末の暇つぶしにでも
381:デフォルトの名無しさん
05/11/20 03:50:30
3～5週間って、運が悪いと年が明けてから着くんじゃないか……
382:デフォルトの名無しさん
05/11/20 03:58:10
円安だからか、洋書が高いな
383:デフォルトの名無しさん
05/11/20 21:52:49
>>380
この本って、一年以上前から紹介されて入るけど、発売が(ry
384:デフォルトの名無しさん
05/11/20 23:22:31
>>368
覚えやすいが、使いにくい。
385:デフォルトの名無しさん
05/11/21 19:23:38
馬鹿研究者程、食いつきが良いw
386:デフォルトの名無しさん
05/11/21 19:29:07
研究者であるならば、内容に関わらず買う必要はあるだろうな。教養として。
387:デフォルトの名無しさん
05/11/21 20:26:57
宣伝ならもうちょっとうまくやろうぜ
388:デフォルトの名無しさん
05/11/21 20:34:38
素人の集まりのくせに、何が研究者だよ。ばかばかしい。
389:デフォルトの名無しさん
05/11/21 23:16:36
>>388
いや、結構いるとおもうぞ。
ただし、パラダイムを買える程のテーマは皆無だがw
390:デフォルトの名無しさん
05/11/22 00:06:54
つまり、重箱の角研究ってやつ？
ワロタw
どこからも引用されず、どこにも適用されずw
391:デフォルトの名無しさん
05/11/22 00:13:46
というか一番作りやすいからだろうな >> 研究用
392:デフォルトの名無しさん
05/11/22 00:21:47
洋書に限らず値が張る書籍は会社に買わせて内容を確認してから気に入った奴だけ個人で購入してる。
研究所勤務のメリットではあるな。
393:デフォルトの名無しさん
05/11/23 00:19:21
つまらんメリットだなw
394:デフォルトの名無しさん
05/11/23 00:41:04
IBMのTRLとか、図書システムに関しては非常に良く出来ていたな
395:デフォルトの名無しさん
05/11/23 01:00:22
>>390
ワロタw
どこかのウイスキーみたいな宣伝文句だなw
396:デフォルトの名無しさん
05/11/23 01:22:41
なんかここ、ロートルの墓場みたいね
397:デフォルトの名無しさん
05/11/23 12:27:15
bison を使って簡単なスクリプト言語を作成してるんですが
実行時にエラーが発生したとき
ソースの何行目でエラーが出たかを出力したいと思います。
例えば、数値と文字列の加算が認められないとき
a = 1 + "hello"
とすると実行時にエラーが出るようにしてるんですが
'+' がソース中の何行目かが知りたいんですがいい方法はありますでしょうか？
字句解析の結果に
そのトークンの行数も含めればいいと思うんですが
bison の %union を使うと行数を含めることができないので
なにかいい方法があったら教えてください。
398:デフォルトの名無しさん
05/11/23 13:16:19
>>397
yylinenoじゃ不満？
399:デフォルトの名無しさん
05/11/23 18:48:32
エラーにはならんよ。
a="hellp"
400:デフォルトの名無しさん
05/11/23 19:07:40
>398
bisonで、式を
expr
: expr '+' expr
| expr '*' expr
...
という具合に書いているのですが、
間に改行を入れている場合
アクションで得る時点のyylineno では
演算子の出現した行番号と異なってしまうのです。
かといって、演算子を非終端記号にして
その時点のyylinenoを記録しておくとすると
演算子同士の優先の設定ができなくなりますし…。
401:デフォルトの名無しさん
05/11/23 21:00:58
大物は来ないのか？
402:398
05/11/23 22:12:45
>>400
.yで
%union { ...; int lineno; ...; }
%token<lineno> '+' '-' ...
.lで
"+" {yylval.lineno = yylineno; }
"-" {yylval.lineno = yylineno; }
...
ってダメなんだっけ？
403:398
05/11/23 22:16:08
ごめん。 return忘れてた。
"+" {yylval.lineno = yylineno; return '+'; }
404:デフォルトの名無しさん
05/11/23 23:05:34
>402
その方法でいけそうです。
ありがとうございます。
405:デフォルトの名無しさん
05/11/23 23:23:27
yylinenoは標準じゃないんで、男は黙って自力で行番号数える…
ってのはもう古い常識なのかしら。
406:デフォルトの名無しさん
05/11/23 23:39:18
標準って、yacc って何かで標準化されてるの？
407:デフォルトの名無しさん
05/11/23 23:42:44
>>406
ANSI-yacc
408:デフォルトの名無しさん
05/11/24 00:25:06
日本の研究論文って、有名人以外ろくなものがない。
外人でもそうだけど、この分野もはやフンズマリ状態なのかorz
409:デフォルトの名無しさん
05/11/24 00:29:16
有名人の方がやっぱりいい論文書くのか。
410:デフォルトの名無しさん
05/11/24 00:38:26
いい論文を書くから有名人なんじゃないの？
411:デフォルトの名無しさん
05/11/24 13:53:03
そもそも人がいないだろ。狭い世界じゃね？皆知り合いだろ。
412:デフォルトの名無しさん
05/11/24 14:10:59
日本塵はパクって昇華するのが生業なんだよ
論文書く文化なんてそもそも日本に存在しない
書かなくても有名になれる
413:デフォルトの名無しさん
05/11/24 16:03:03
>>412
和算もしらねぇタコはすっこんでろよ
414:デフォルトの名無しさん
05/11/24 16:14:06
知恵の代わりに自意識が育っている間抜けに
その要求はきついと思いますよ :-)
415:デフォルトの名無しさん
05/11/24 18:01:55
>>413
和算てそろばんぐらいしか出番ないんじゃない？
このスレと何か関係あるの？
416:デフォルトの名無しさん
05/11/24 18:13:52
>>415
このスレとは関係ないが、和算はそろばんとかそういうレベルじゃない
413も頭弱そうだが、あんたも教養ないな
417:デフォルトの名無しさん
05/11/24 18:26:09
>>416
スレと関係ねぇならすっこんでろよ
418:デフォルトの名無しさん
05/11/24 18:35:30
>416
>和算はそろばんとかそういうレベルじゃない
きっとすごいレベルなんですね。
どういうレベルなんですか？
教養のある416さんに説明してもらえるとありがたいです。
419:デフォルトの名無しさん
05/11/24 18:48:00
>>418
google wikipedia 和算
420:デフォルトの名無しさん
05/11/24 19:07:06
>>419
URLﾘﾝｸ(ja.wikipedia.org)
要約すると
和算は中国のパクリ、明治時代没、そろばんは広く用いられた
だから何
421:デフォルトの名無しさん
05/11/24 19:31:08
>>420
読解力ﾋｸｽ…
422:デフォルトの名無しさん
05/11/24 19:38:26
>>420
関孝和とか中学で習わなかった？
423:デフォルトの名無しさん
05/11/24 19:45:16
>>416
それで、どういうレベルなんですか？
424:デフォルトの名無しさん
05/11/24 19:56:13
数学板でやれ
↓のスレ盛り上げてやれよｗ
算額について語るスレ【和算】
ｽﾚﾘﾝｸ(math板)
1 名前：１３２人目の素数さん 投稿日：04/12/30 18:19:05
ここは江戸時代に日本独自に栄えた数学、「和算」について語るスレです
2 名前：１３２人目の素数さん 投稿日：04/12/30 18:25:38
クロワッサンでも食べてろ
3 名前：１３２人目の素数さん 投稿日：04/12/31 06:30:33
さんがくのもんだいしゅうってでてる?
4 名前：１３２人目の素数さん 投稿日：04/12/31 07:15:08
ｶﾄﾁｬﾝ､屁゜
5 名前：１３２人目の素数さん 投稿日：04/12/31 14:20:26
荒れすぎ
425:デフォルトの名無しさん
05/11/24 20:04:22
>>423
>>416も頭弱くて教養がないので答えられません
というレベル
426:413
05/11/24 20:32:37
ほんとに教養無いのなorz
今で言う微分、積分とかの概念も日本で独自に育っていたのだよ。
427:デフォルトの名無しさん
05/11/24 20:53:19
外人が、江戸時代、金地金を買い付けに来た時に、地金の重量だけでなく純度も価格に反映すべきだ、
といって日本人が当時小数点付きの割り算を和算でやったという話を聞いたことがある。外人は、
小数点の割り算ができなかったそうだ。
現状、コンピュータサイエンスはほとんど米国主導、輸入品なのは認めるが、日本人だから想像力が
なくて、後追いぱくり研究しかできない、というのは暴論だと思う。可能性はあるのだから。
428:デフォルトの名無しさん
05/11/24 21:06:48
>>426
413=416なら「そういうレベル」を説明しろよ
お前が説明できない＝教養ないだけだろ
429:デフォルトの名無しさん
05/11/24 21:07:56
あんま関係ないけど
日本人なのに論文を英語で書く文化って何なの？
あれって日本じゃ評価してくれないから英語で書いてるわけ？
あと日本語なのに横書きで書くのも変だよね。
縦書きがまともに機能してるのって出版業界だけかな。
430:デフォルトの名無しさん
05/11/24 21:27:41
>>429
はぁ？バカかお前。
そのレスは日本語なのに横書きじゃねーか。変だよね。
せめて縦読みくらい仕込む知能を見せろや。
431:デフォルトの名無しさん
05/11/24 21:32:02
ね
こ
大
好
き
432:デフォルトの名無しさん
05/11/24 21:44:23
>>429
カﾉﾚテをドイツ語で書く文化と同じだよ。
患者に何書いてるかわからなくするため。
433:デフォルトの名無しさん
05/11/24 21:51:14
>>429
日本語読めない人にも読んでもらいたいからだろ？
434:デフォルトの名無しさん
05/11/24 21:59:07
>>433
はぁ？バカかお前。
わざわざ英語で書く意味なんてない。自己満足だよね。
せめて日本語くらい読む知能を見せろや。
435:デフォルトの名無しさん
05/11/24 22:12:04
引
貴 用
殿
も .四
な .百
二
十
九
436:デフォルトの名無しさん
05/11/24 22:19:48
LISPの話しようぜ
437:デフォルトの名無しさん
05/11/24 22:24:00
>>432
最近は英語が主流だけど・・・
438:デフォルトの名無しさん
05/11/24 22:39:00
そもそもカルテはドイツ語なんだが。
439:デフォルトの名無しさん
05/11/24 22:40:49
途中から失礼します。
パーサ(パーサー?)の話とかここでいいんですよね。
(他のスレあったら教えてください)
仕事で幾つかのフォーマットを読み下すプログラムを
書いてきたんですが、毎回使い捨てで同じような
のを何度も書いている気がしています。
そこでパーサーと言われるプログラムの基礎を勉強しようかな
と考えています。
情報系とか出てないので理論的な知識が無いんだけど、
基礎から書いてある良い本とか良いサイトないですか。
よろしくお願いします。
パースだけ出来ればＯＫです。
440:デフォルトの名無しさん
05/11/24 22:42:51
>>439
つ[yacc]
441:デフォルトの名無しさん
05/11/24 22:52:06
>>439
つ[テンプレ]
442:439
05/11/24 22:53:51
>>440 ありがとうございました。
yaccとかlexとかがあるんですね。ちょっと調べると
BNFとか正規表現とかあるんですが、本を買ったりして
調べる前に1つ質問です｡
このyaccとかは世の中にあるtextでかかれているフォーマットなら
基本的に何でも読み下すことが出来るんですか?
cでもperlでもhtmlでも。
自分が今パースしたいファイル形式がこのyaccでパースできるか
どうかはどうやって確かめればいいんしょうか。
spice netlist, verilog gatenet, EDIT, ascii GDSなど
をパースしたいんですが。
よろしくお願いします。
443:デフォルトの名無しさん
05/11/24 22:54:46
>>434
馬鹿はお前だ。わざわざ日本語で論文を書く意味なんてない。
なぜなら、日本人に読ませる意味がないからだ。
444:439
05/11/24 22:59:43
>>441 おお!これらを読んでまた来ます。
445:デフォルトの名無しさん
05/11/24 23:35:30
>>432
それってよく効くけど、
じゃあドイツ人は何語で書いてるん？
446:デフォルトの名無しさん
05/11/24 23:38:48
ドイツ人は正しいことを書いているのだから見られても平気って思ってるんじゃない？
447:デフォルトの名無しさん
05/11/24 23:40:10
>>429
引用されるためだよ。
論文の価値ってのは他の誰かの論文に引用されることにある。
ちなみに日本人の論文は提出率に対する引用率はいまいち低いらしい。
448:デフォルトの名無しさん
05/11/24 23:41:09
>>443
で、研究のオイシイ部分は全部外人に持っていかれるわけだ。
449:デフォルトの名無しさん
05/11/24 23:41:24
>>432
今時の若手の偉いさんだと英語で書いていて、もうちょっと下の年齢だと日本語で書いてるよ<カルテ
習った時分によるみたい。
450:デフォルトの名無しさん
05/11/24 23:42:31
>>447
それはつまり、日本人の書く論文は、世界の役には立って無い？
451:デフォルトの名無しさん
05/11/24 23:44:47
>>450
いや、所謂ポスドクってのが癌なんだよ。
博士になるために助手しながら無尽蔵に数をこなし続ける。
452:デフォルトの名無しさん
05/11/24 23:48:36
>>439
つ りんご本
453:デフォルトの名無しさん
05/11/24 23:52:02
>>451
ポスドクは博士持ちの底辺ポストだろ。
454:デフォルトの名無しさん
05/11/24 23:52:24
>>450
一部の有名人を除きその通り。
日本人の論文テーマは、他の論文テーマの一部分について
特殊な前提条件で研究しているものがよくある。
455:デフォルトの名無しさん
05/11/24 23:56:39
耳が痛い
耳が痛い
耳が痛い
456:デフォルトの名無しさん
05/11/25 00:18:01
>>448
まぁまぁ、落ち着いて。
売国奴の>443など放っておいて、あなたはあなたで
外人にオイシイ部分を持って行かれないために
日本語だけを読み、日本語だけを書いて一生を送っていればいいんですよ :-)
457:デフォルトの名無しさん
05/11/25 00:30:39
おめーの重箱の済み研究なんて全く役に立たないよw
ば～ろ～！
って言ってみたいw
458:デフォルトの名無しさん
05/11/25 03:03:06
おもしろいスレだな。LISPで荒れたり、英語で荒れたり、和算で荒れたり、博士で荒れたり。
459:デフォルトの名無しさん
05/11/25 03:06:15
>>442
その質問は本を読めば大体書いてあることです
460:デフォルトの名無しさん
05/11/25 03:22:16
>>458
すべてに共通しているのは
無知なくせにやたらとわめく人がいるところ。
461:デフォルトの名無しさん
05/11/25 06:58:59
>>460
具体例が書かれていないので、
「ここでわめく為に必要な聞きかじりの知識」すら無い人が
「わめき」にすら参加できず悔しがっているようにしか見えません :-)
462:デフォルトの名無しさん
05/11/25 08:27:04
研究ってのは役に立たなくてはいけない研究と、そうではない研究ってのが
あるんだよ。理系の人なら分かってもらえると思うが。
463:デフォルトの名無しさん
05/11/25 08:28:49
この板には残念ながら理系はいません
464:デフォルトの名無しさん
05/11/25 08:30:30
その通り
全員アキバ系です
465:デフォルトの名無しさん
05/11/25 12:18:05
>>464
笑ってしもうたが、本当なら悲しいのぉ。
466:デフォルトの名無しさん
05/11/25 13:40:01
文系、理系なぞ受験科目の分類に過ぎない！
…筈なんだが、日本ではどうもそれが通らなくて困る。
経済学はかなり以前から数学バリバリでついには法学にも法経済学なんてのがあり、
一方でソフト開発が会社組織や経営をオブジェクト指向やユースケースなど
ソフトウェア工学的手法でモデル化したりする昨今、
文系・理系の区別は害あって利なしだと思うんだがね。
と脱線しながらマジレス。
467:デフォルトの名無しさん
05/11/25 13:48:01
困ったことに世の中には、既得権というものが存在する。
468:デフォルトの名無しさん
05/11/25 14:22:47
既得権でガンジガラメになって必要なところに資源が行かないのが
今回の不況の最大の原因だったわけだが。
469:デフォルトの名無しさん
05/11/25 14:42:04
本当は頭を使うのが大嫌いだけどそれなりの学歴は作っておきたい人、の当座の居場所
としての「文系」には、ちょっと違うニュアンスがあるしなぁ。
470:デフォルトの名無しさん
05/11/25 15:52:24
>>468
微妙に違う。既得権に目を奪われて、肝心な部分を
見落としている点が、今回の不況の最大の原因。
471:デフォルトの名無しさん
05/11/25 15:57:54
>>470
つまり、目先の利益を優先してるのが原因と。
472:デフォルトの名無しさん
05/11/25 15:58:24
ここまで脱線したらついでに聞くが、「肝心な部分」とは？
473:デフォルトの名無しさん
05/11/25 16:06:04
>>472
物事を順を追って、論理立てて考える事で導き出される結果。
欲得づくしで思考すれば理性を見失うのは当然かと。
これが金とか権利とかの問題ならまだ楽なんだが、努力とか、
知恵とか、勇気とか、危機管理能力とか、そ～ゆ～能力の無さ
が問題だからなぁ・・・
474:デフォルトの名無しさん
05/11/25 16:15:33
結局の所は、面白くない、面倒臭い、責任は取りたくない、
といった職務怠慢の積み重ねの結果だわな。
475:デフォルトの名無しさん
05/11/25 17:30:56
この流れおもしろいな
476:デフォルトの名無しさん
05/11/25 17:46:40
>>462
そりゃ分かるけど、あまり特殊な前提条件のもとでの研究ばかりじゃねぇ
結果として役にたたなくとも、いままで思いも付かなかったようなテーマとか
だったら９９％役にたたなくてもOKだと思う。
477:デフォルトの名無しさん
05/11/25 18:16:40
10000重ループの画期的な最適化方法を研究しました。
9999重以下のループには役に立ちませんが。
478:デフォルトの名無しさん
05/11/25 22:34:02
>>477
いいんじゃないか。
ダミーで、9999重ループをつけりゃ画期的に速くなる
んだろ？
479:デフォルトの名無しさん
05/11/25 22:38:08
ダミーじゃダミだ
480:デフォルトの名無しさん
05/11/25 22:43:27
>>479
貴様、俺様がこれからイカスギャグをかまそうとしたのに打ち砕いてくれたな～
481:デフォルトの名無しさん
05/11/25 23:40:14
推測してみた
ずばり駅に行きたい
・・・そこまで易しくないか
482:デフォルトの名無しさん
05/11/26 11:13:58
役に立ちそうもないから誰も手をつけなかった事を研究して実際に役に立たない
事を証明すれば、それはそれで立派な研究成果だと思うが・・・
483:デフォルトの名無しさん
05/11/26 11:50:18
>>482
それが、必要とされる証明だったらね。
実際には役に立つ証明はみたことない。
484:デフォルトの名無しさん
05/11/26 11:59:18
>>482
まあ、｢誰も手をつけなかった」んだったら、放置で
いいような気もするが…。
でも、できないことの証明によって無駄な労力の消費が
避けられるというのはあるよな。
大昔には、永久機関とか錬金術とかを真剣にやってた奴
もいるんだし。
485:デフォルトの名無しさん
05/11/26 12:20:31
科学技術の原型が錬金術だったような・・・
486:伝説新人タクシ
05/11/26 12:44:55
その頃は原子や素粒子なんてなかった。
今じゃ、原則的にある原子が他のそれに変わることはない
で済むんだけど。
反応によって全く違う性質を持つようになるのはある意味
錬金術といえなくもない。人工の工業用ダイヤだって使われている。
炭素が４つ結合することでダイヤになるようにね。
ただ、どの分野でも品質とかコストとかいう他の問題になる。
ニュートン 錬金術でぐぐると、wikipediaにも彼が錬金術師とある。
487:デフォルトの名無しさん
05/11/26 12:51:22
雑談なら他でやれ
488:デフォルトの名無しさん
05/11/26 13:02:55
つまりスクリプトの作成というのは、錬金術のようなものだと？
489:デフォルトの名無しさん
05/11/26 13:08:21
目の前にＳＩＣＰの原著あるけど、表紙の絵が魔術師だか錬金術師なんだよな。
スクリプト（コンピュータプログラム）の作成＝錬金術というのは、案外言い得て妙だな。
490:デフォルトの名無しさん
05/11/26 15:38:53
awk?
491:デフォルトの名無しさん
05/11/26 16:09:33
SICP=MITで使われている、コンピュータサイエンスの基礎の基礎をSchemeを通して学ぶ教科書
492:デフォルトの名無しさん
05/11/26 17:34:20
未知の自然物質を相手にした研究と、
人間が考えた文法についての、ある限られた特殊条件での研究。
以下（ry
493:デフォルトの名無しさん
05/11/26 17:51:25
研究もしない穀潰しが何を言っても、なぁに、かえって免疫力が付く
494:デフォルトの名無しさん
05/11/26 18:18:44
お前らも暇な奴らだなｗ
495:デフォルトの名無しさん
05/11/27 00:03:39
研究者の痩せ我慢すれですか？
496:このスレの1
05/11/27 00:13:04
現在>>249で立てたWikiのページが見られなくなってます。
報告が遅くなりましたが、こんなメールが来てましたので、一応報告します。
■■１．メンテナンスのお知らせ
サーバメンテナンスを以下の日程で行います。
日程：2005年11月26日(土)
時間：22:30～翌朝AM:5:00ごろまで
範囲：@wikiサービス全体
内容：サービスのバージョンアップ、電源の点検
この時間、@wikiサービス全体にアクセスできなくなる可能性があります。
ご理解宜しくお願い致します。
497:デフォルトの名無しさん
05/11/27 00:14:17
>>486-489
要するに、プログラムでプログラムを作ってるわけだからな。
・どんな言語を作れば扱いやすくなるのだろう？
・どんな風に言語を作れば今の状況に対応出来るだろう？
みたいな、論理的というよりは直観的な理屈が大事だから・・・
498:デフォルトの名無しさん
05/11/27 03:30:23
>497
直感というか、デザインと心理学かね？
499:デフォルトの名無しさん
05/11/27 09:43:53
>>498
センスが激しく要求される悪寒。
産業総合研究所でプログラミング言語を研究している某氏は、
「言語の設計はセンスのよい技術者だけがやればよい」
と言ってたからなぁ。
500:デフォルトの名無しさん
05/11/27 10:11:07
直感って言葉は、勘違いしてる人も珍しくないからなぁ・・・
駅から自宅への道筋を論理的に説明すると、
駅から北へ２５ｍ、北西に１５ｍ、東に５ｍ、北に９ｍ、北東に１５ｍ
といった説明になる。これに対して、駅から自宅への道筋を直感的に説明すると、
地図を広げて、駅から自宅への道筋に対して線を引いて、それを見せる事が説明になる。
501:直感的に説明って何だよ…。
05/11/27 10:50:51
>>500
まあ、直感って言う言葉を勘違いしてる人は珍しくない
けど、勘違いしたまま自慢げに書き込む奴 (=>>500) は
珍しいけどな。(w
-----------------------------
ちょっかん ちよく― 0 【直感】
（名）スル
推理・考察などによらず、感覚的に物事を瞬時に感じとること。
「―で答える」「父の身に何か起こったことを―した」
502:デフォルトの名無しさん
05/11/27 11:06:37
とりあえず>>500がアホなことだけは分かった。
503:デフォルトの名無しさん
05/11/27 12:52:45
500はゆとり教育の被害者
504:デフォルトの名無しさん
05/11/27 16:45:42
>>500は悪くない。真に問題にすべきは>>500という怪物を生み出した社会構造ではないのだろうか？
505:デフォルトの名無しさん
05/11/27 16:50:50
つくづく面白いスレだな。今度は教育、社会問題かよ。
>>500 は、定量的、定性的を論理的、直感的と間違えてしまったわけだが、
プログラミング言語研究者でも、論文の日本語が怪しい奴時々いるよな。
そういう日本人が英語で無理やり論文書いてると、怪しささらに倍！って感じで。
506:デフォルトの名無しさん
05/11/27 17:49:35
Ｃでコンパイラのプログラム作ってみたんですが、どこが悪いのかわかりません。
四則演算の式をテキストファイルから読み込んで、字句解析→構文解析→コード生成って順序をたどるんですが、うまくいきません。
ソースをあげとくんで、どなたか見てもらえないでしょうか？
四則演算の式の例としては、
da+jk*h-3/(abc-def):=pq;
みたいな感じです。
ソース→URLﾘﾝｸ(read.kir.jp)
507:デフォルトの名無しさん
05/11/27 18:30:30
>506
おい！身勝手すぎるぞ！
なにがうまくいかないかもわからないし。
まずマジックナンバーをなくして、
関数名をちゃんとつけろ。
話はそれからだ。
508:デフォルトの名無しさん
05/11/27 18:37:52
>>506
関数名意味不明な上に、コメントは420行目の
/*スタックの初期化*/
だけですかｗ
とりあえずmainでfp2をオープンせずにfprintfしてるのだけはわかった。
509:デフォルトの名無しさん
05/11/27 18:46:25
毎回こんなプログラム書いてるの？
俺なら毎回どこが悪いのかわからなくなってうまくいきません
510:デフォルトの名無しさん
05/11/27 18:51:40
何だよ「goto owari」って。
「do～while(OP!='!')」とか「brake」じゃいかんのか。
もっと見たらもっとツッコミ所有りそうだけど、面倒だから見ない。
511:デフォルトの名無しさん
05/11/27 19:00:33
int lexical_analysis(void);
int H(void);
void E(void);
void E2(void);
void T(void);
void T2(void);
void F(void);
int code_generation(void);
はげわろす
512:デフォルトの名無しさん
05/11/27 19:01:52
iがグローバル変数ｗｗｗｗｗ
513:デフォルトの名無しさん
05/11/27 19:04:25
>>506
こいつ扇子がないなw
重箱角研究の弊害か？
514:デフォルトの名無しさん
05/11/27 19:07:08
>if(syntactic_result[0].result==(1||2)){
ここ必ず1と比較することになるけど、
if(syntactic_result[0].result==1 || syntactic_result[0].result==2)){
じゃないの？
515:デフォルトの名無しさん
05/11/27 19:11:23
っていうか、釣りだろこれ。
色んな部分がありえねぇ。
516:デフォルトの名無しさん
05/11/27 19:54:55
こんな独創的な書き方何をどうやったら学べるのかが分からん。
ちょっとどんな学習の仕方したか興味ある。
517:デフォルトの名無しさん
05/11/27 20:01:33
>>510の「brake」にも突っ込んでみたい。
518:デフォルトの名無しさん
05/11/27 20:14:29
C言語そのものと、作法（コメントをきちんと書く、関数名は意味が通じるものをつけるなど）を
身に着けるのが先じゃないか。＞作者さん。
俺の学生時代に、こういうプログラムソース書いていたら、即レポート再提出だったよ。
519:デフォルトの名無しさん
05/11/27 20:15:44
break;
520:デフォルトの名無しさん
05/11/27 20:29:45
コメントはさほど必要とは思わないがねぇ。
スクリプト言語のソース幾つも読んでるが、どれも少ないし。
521:デフォルトの名無しさん
05/11/27 20:33:13
関数名は良いんじゃない？
たぶん教科書通りになってるんでしょ。
522:デフォルトの名無しさん
05/11/27 20:35:03
まぁ言語のプログラムでTやFやEなんて、意味は決まってる品。
523:デフォルトの名無しさん
05/11/27 20:36:29
重箱のスミ研究の弊害に、もう１票
524:デフォルトの名無しさん
05/11/27 20:39:47
スレ違いな上に余計なお世話だと思うが、カーニハンとパイクの「プログラミング作法」が良書。
……釣られてる？ 俺、釣られてる？
525:デフォルトの名無しさん
05/11/27 20:54:20
>「プログラミング作法」が良書。
はぁ？今時はぁ？
526:デフォルトの名無しさん
05/11/27 20:55:31
確かに古いが内容は現在でも充分有効だろ。
527:デフォルトの名無しさん
05/11/27 20:57:56
それ良書かなぁ？
いまでも通用すると思う？
528:デフォルトの名無しさん
05/11/27 21:02:04
>>521
そんな教科書捨てろよ
>>522
くわしく。
E=Evaluateはわからなくもないが、わかってやりたくない。
まさかT=Term、F=Factorですか？普通は関数名にしないだろｗ
Hは思いつかないな・・・
529:デフォルトの名無しさん
05/11/27 21:06:57
>>508と>>514くらいは分かるようになって欲しい。多分大学の宿題なんだろうけど。
後，無限ループはやめようよ。EOFまで読んだら止まるとかにした方がいんじゃね？
530:デフォルトの名無しさん
05/11/27 21:09:05
ｔ = temporaly
f = function
531:デフォルトの名無しさん
05/11/27 21:16:21
temporalyにはつっこんだほうがいいのかな？
532:デフォルトの名無しさん
05/11/27 21:17:41
T=term F=factor E=expression
だろうな。Ｈはワカンネ。
533:デフォルトの名無しさん
05/11/27 21:24:14
>>532
その理屈でいくとHにあたる部分はstatementのはずだよね。
ソースちょっと読んでみた感じでもセミコロンまでの部分を処理してるっぽいから文のはずだけどHって・・・？
534:デフォルトの名無しさん
05/11/27 21:32:50
>>527
たしかに内容自体は古臭いけど通用する
書かれている技術云々より著者の考えてることを文から読み取るだけでも勉強になるよ
535:デフォルトの名無しさん
05/11/27 21:33:58
H=Hyouka
俺はこれだと思うね。かなり自信あるよ。
536:デフォルトの名無しさん
05/11/27 21:37:08
H=アレだよアレ。
(*/∇＼*)ｷｬ 恥ずかしい♪.
537:デフォルトの名無しさん
05/11/27 21:37:45
>>534
マジでいってんの？正気？
……釣られてる？ 俺、釣られてる？
538:デフォルトの名無しさん
05/11/27 22:24:07
>>537
その文だけじゃ君が何を主張したいのかわからないんだが
539:デフォルトの名無しさん
05/11/27 22:38:12
>>537
著者の考えてる事云々辺りに対して言ってるのかなと予想。
後524!=534だから皮肉になってない。
540:デフォルトの名無しさん
05/11/27 22:42:20
業界で成功した人物の著書ぐらい素直に読んどけよ
541:デフォルトの名無しさん
05/11/27 23:02:40
そう言えば、うち新入社員にこんな宿題出してたなぁ（ｗ
542:デフォルトの名無しさん
05/11/27 23:03:13
いちいち反論しないと気がすまないガキかよ
543:デフォルトの名無しさん
05/11/27 23:06:05
すまん
反論というより、ただの反抗だな
544:デフォルトの名無しさん
05/11/27 23:12:54
いや～、すまん、すまん
545:デフォルトの名無しさん
05/11/27 23:39:50
>>506
一応超適当に動作するようにはした。
URLﾘﾝｸ(read.kir.jp)
546:デフォルトの名無しさん
05/12/01 08:41:18
Ｃ言語でbisonを使って構文解析をして構文木を作るとき、
コンパイルに成功するといいんですが
文法エラーがあったときに途中まで作ったノードが
メモリリークしてしまうんですが
どう解決してますか？
547:デフォルトの名無しさん
05/12/01 08:51:55
ノード生成時にbisonへ渡す物とルートからたどれる単方向リンクリストの両方に登録する。
成功した場合はソースの解析ツリーから全部たどれるからメモリが漏れないのだから、
失敗することの為に純然たる生成順のリストがあっても屁でもない。
548:546
05/12/01 10:41:06
thx!やっぱそうだよね
549:デフォルトの名無しさん
05/12/01 20:56:27
>>546
それって365日稼働する必要あんの？連続で
550:546
05/12/01 22:00:15
>>549
お前の意見なんか誰も聞いてねーよ
回線切って猿山に帰れ
551:デフォルトの名無しさん
05/12/01 22:26:32
何だこいつ？
そんなのリークとは言わんよw
552:デフォルトの名無しさん
05/12/01 22:57:07
>>551
えーと、もう話は解決してるようだけど
メモリプール使えだとか、これからつまんない話を披露する気なの？
553:デフォルトの名無しさん
05/12/01 23:26:06
>>550
粗れる原因つくってるいつもの香具師だ。
スルーよろ。
554:デフォルトの名無しさん
05/12/01 23:42:34
失敗したらすぐ終了してメモリの解放はOSまかせにすればいいって話だろ。
正味な話、ライフサイクルの短いプログラムでは
メモリの解放忘れがメモリリークにつながることは少ない。
555:デフォルトの名無しさん
05/12/01 23:49:00
メモリの解放忘れ＝メモリリーク
じゃないの？
556:デフォルトの名無しさん
05/12/02 00:10:41
>>554
はいはいうざいうざい
その手の話は聞き飽きた。
557:デフォルトの名無しさん
05/12/02 00:18:40
メモリリークって？
bison にバグがあったの？
558:デフォルトの名無しさん
05/12/02 00:23:23
なんでそんな文盲なんだよ
559:デフォルトの名無しさん
05/12/02 02:00:35
>>554
組み込みスクリプト用途を考えるとエラー停止しただけで
リークなんて考えられんけど。
おまえら作る時はリークチェッカ用意してテストぐらいしとけよ。
560:デフォルトの名無しさん
05/12/02 02:53:05
メモリリークごときで騒いでんじゃねぇよ肉体労働者
561:デフォルトの名無しさん
05/12/02 02:55:29
ふらぐめんて～しょん？
562:デフォルトの名無しさん
05/12/02 08:54:06
mallocしたあとfreeしなくてもry
563:デフォルトの名無しさん
05/12/02 09:19:38
重箱隅研究では大問題。
実際は、OSが（ry
564:デフォルトの名無しさん
05/12/02 09:28:06
実際は、コンパイラにもバグが（ry
まあ、これはたいがいは最適化オプション絡みだったりするから、
最適化オプションを外すだけで解決したりするけどな。
何処の製品とは言わんケド。
565:デフォルトの名無しさん
05/12/02 16:20:18
>>560
ばーかばーか
>>562
ばーかばーか
全員死んでこいや
お前らみたいなへたれがこのスレにいるってだけで吐き気がするぜ
あ？メモリリーク？そんなもんが怖くて中学生やってられっかってんだ
それよりもC言語教えてください
566:デフォルトの名無しさん
05/12/02 16:27:04
帰れ低能
567:デフォルトの名無しさん
05/12/02 21:34:48
こんなのリークいわんやろ？あほちゃうかw
現実を知らん馬鹿研究者ならでわなやw
568:デフォルトの名無しさん
05/12/02 22:04:19
> ならではなや
569:デフォルトの名無しさん
05/12/03 18:14:32
蛆研究乙w
570:デフォルトの名無しさん
05/12/03 18:15:55
ならではやな。やな！
ほな！失礼したどす～。
571:デフォルトの名無しさん
05/12/03 20:05:53
どちらかといえば、研究もタッチしてるのかもしれない洩れだけど、
そりゃ中田先生みたいに実務もバリバリこなせるような研究者にはあこがれるけど、
あれって、（先生の実力は本当にすごいと思うけど）案外運もあるんじゃないのかなぁ
とも思って自分を慰めてまつ。
トホホ、
572:デフォルトの名無しさん
05/12/03 23:33:12
>>571
立場や肩書きという物がどうしても必要な場面もあるし、いいたかないけど上が抜けてくれないとポストが空かない事実はどうしようもないのである意味運かもしれません。
573:デフォルトの名無しさん
05/12/04 12:34:37
コンパイラの作り方 (詳解
URLﾘﾝｸ(www.is.s.u-tokyo.ac.jp)
574:デフォルトの名無しさん
05/12/04 12:50:40
>>573
こゆ講義は楽しいだろうなぁ。俺もやりたい。
575:デフォルトの名無しさん
05/12/04 14:03:42
>>573
＞演習で実装する言語はSchemeのsubsetで
ここまで読んだ
というか、ここで読むのをやめた
576:デフォルトの名無しさん
05/12/04 15:11:36
>>573
その実習って、グループに分かれてFPGAを使用した独自アーキテクチャのCPU設計&実装、
そのアーキテクチャ用クロスコンパイラの製作、
その上で動くレイトレプログラムの実装、までやるんだよな。
さすが灯台だとおもた。
577:デフォルトの名無しさん
05/12/04 15:12:17
どっかでＯＳの作り方をやってくれんかな？……って、板違いか。ＯＳ板に逝ってくる。
578:デフォルトの名無しさん
05/12/04 15:50:48
>>573
早速印刷して、読んでみることにしたよ。うｐしてくれた人、ＧＪ！
三流痴呆国立大卒修士で、Ｓｃｈｅｍｅは少しかじってるので、何とか読めるかな。
学生時代、こういう面白い講義や実習はなかったもんなぁ。
灯台逝くほど頭良くなかったし。
579:デフォルトの名無しさん
05/12/04 16:45:49
URLﾘﾝｸ(mitpress.mit.edu)
多分SICP読んだ方が早いぞ。
580:デフォルトの名無しさん
05/12/04 17:04:33
SICPとは目指すものがかなり違うと思うが
581:５７８
05/12/04 17:07:16
ＳＩＣＰも購入して持ってるので、両方読みます。
582:デフォルトの名無しさん
05/12/04 18:56:03
やっぱり、東大の先生のような頭がいい人はschemeの良さがわかってるんだな。
583:デフォルトの名無しさん
05/12/04 20:00:11
schemeの良さというよりも、実装の容易性を重視しているのではないかね。
584:デフォルトの名無しさん
05/12/04 20:14:16
今はもうSchemeじゃなくて、MinCamlだよ。
585:デフォルトの名無しさん
05/12/04 20:38:48
やっぱり、東大の先生のような頭がいい人はlispの良さもわかってるんだな。
586:デフォルトの名無しさん
05/12/04 22:26:46
キチガイホイホイ言語
587:デフォルトの名無しさん
05/12/04 22:29:53
というか日本だと狭い世界だから研究してる人はこの人ととは知り合いだろう。
今も同じとこにいるのかは知らないけどさ。で，この分野の研究しててschemeは
避けて通れないよ。表示意味論的にクリーンな言語はやっぱ重宝する。MLとか
Haskellとかあるけど，やっぱ未だに基本はschemeって感じ。
588:デフォルトの名無しさん
05/12/04 22:55:27
研究してる人、って単数かよ。狭すぎるぞ。
未だに主流がSchemeかどうかは知らんが、
当分の間は避けて通れる道ではないのは同意。
ただ、最近ではMLやHaskellも避けては通れないぞ。
589:デフォルトの名無しさん
05/12/04 23:05:06
やっぱり、東大の先生のような頭のいい人は、rubyの（ry
590:デフォルトの名無しさん
05/12/04 23:09:59
釣りはいらん
とっとけ
591:デフォルトの名無しさん
05/12/04 23:32:16
Rubyが言語理論の研究に適切だと主張する馬鹿は、
さすがに見たことが無いな。
592:デフォルトの名無しさん
05/12/04 23:35:42
コンパイラとかの実装を話すときは、
Pascal, C/C++, Lisp/Scheme, Forth, ML, Haskell
あたりは抑えておくべき？
593:デフォルトの名無しさん
05/12/04 23:37:09
とりあえず、機械語は抑えておけ
594:デフォルトの名無しさん
05/12/05 00:58:12
「抑える」んだ
595:デフォルトの名無しさん
05/12/05 01:09:56
∧＿∧
（*´∀｀） 了解だ！
人 Y /
( ヽ し
（＿）＿）
596:594
05/12/05 01:19:58
>>595
ﾜﾛﾀ
597:デフォルトの名無しさん
05/12/05 21:20:28
Lispってとにかく単純でとっつきやすいんだよな。
S式はパースが異常に簡単だし、末尾再起最適化とか考えなきゃ処理系も一瞬で実装できる。
598:デフォルトの名無しさん
05/12/05 21:25:05
>末尾再起最適化とか考えなきゃ
ちょｗｗｗおまｗｗｗ
599:デフォルトの名無しさん
05/12/05 22:08:58
>>591
お前は墓の研究でもしてろw
最先端言語の研究とは無縁だろ？
600:デフォルトの名無しさん
05/12/06 00:48:19
>599
Rubyが最先端言語とでも？？
RHG見れば解るけど、かなり泥臭い実装じゃない？
601:デフォルトの名無しさん
05/12/06 01:11:05
>>600
知ったか素人だまれ
602:591
05/12/06 01:43:38
>>599
うーん、開発現場の人ですよね。>>591で馬鹿って言ったのは、
「言語理論の研究者で、かつ、Rubyが研究に使えると思ってる人」です。
開発現場においては、Rubyは確かに最先端言語の1つですよね。
ただ、言語理論の研究では言語の性質の解析とか証明とかしなきゃならないんで、
実用的に便利な言語ってのはちょっと違うんですよ。
本質だけのシンプルな言語、誤解を恐れず言えば「低機能」な言語が重宝されるんです。
なので、Rubyは高機能すぎて、言語理論の研究にはちょっと向かないかな、と。
でも、今の世の中を支えているのは>>599さんのような現場の人ですから、
自信をもって生きてくださいね。応援してます。
603:デフォルトの名無しさん
05/12/06 05:58:09
高卒が搾取されてくれることでこの業界は成り立ってるしね。
604:デフォルトの名無しさん
05/12/06 19:38:30
>>603
そこに大卒組がドロップアウトしてくるようになってきた事で、状況は混乱気味でつ。
605:デフォルトの名無しさん
05/12/06 20:19:22
でも金かせいでるのは土方だしなw
研究成果が経済成果として繋がる例は極々わずか。
まぁ、それが研究というものの宿命でもあるわけだが、
606:デフォルトの名無しさん
05/12/07 01:50:47
土方の生んだ金は、どこに消えているのやら
607:デフォルトの名無しさん
05/12/07 02:41:43
>>606
土方の金の使い道の事？それとも金の出所の事？
608:デフォルトの名無しさん
05/12/07 02:43:41
>>606
中間搾取の事？
609:デフォルトの名無しさん
05/12/07 02:54:29
>>606
ちなみに普通は、半分から４／５は中間搾取で消えていく。
まあこれが、税金や社会保険による搾取だけならまだ納得できるが、
実際には、派遣会社が間に何社も入って掠め取っているだけだから、
ひどい話だとは思うけどな。
610:デフォルトの名無しさん
05/12/07 03:25:30
ふーん、派遣会社がそんなにねぇ。
なら、普通に雇う側の会社がホームページで
募集すればいいじゃん。
611:デフォルトの名無しさん
05/12/07 08:53:04
>>610
NEET or 学生さんですか？
社員として雇うのは、労働契約とか社会保険とか法令とか、そういうので面倒なんだよ。
さらに言うと、上のような理由も実は建前で、最大の理由は、用済みになったときに好きなようにクビ切れないってことだな。
なので、中間搾取のおかげで一見、能力/金額比が良くないように見えても、トータルで考えると安く上がっちゃうことも多い。
１人雇用するリスクをとらず、金で解決できるんだったら、そのほうがお得というこった。
612:デフォルトの名無しさん
05/12/07 10:42:19
>>604
不景気のせいで土建業由来の不正労働慣行があらゆる業種に蔓延し常態化していることに加えて
院卒が従来の大卒の業種・業態へドロップアウトしてくるようになったからな。
文科省が欧米諸外国並みに博士号持ちの数だけはそろえようと
博士課程や修士課程（博士課程前期）の定員を就職の受け口の見通しもないまま
闇雲に増やしたんで博士取れたヤツも取れなかったヤツも
従来の研究・教育職では吸収しきれずに普通に開発仕事につくようになり、
最近ではそれでも足りなくて派遣で仕事をするケースも増える傾向だ。
（そういうとき周囲に敬遠されないように院卒の経歴を隠して
「大学でちょっと遊んじゃって(^-^;」などと言うヤツもいる。）
大学の独立行政法人化と年俸制の任期（2-5年）の条件付募集が
標準になって30台以下の研究者が定期的に失職することがその傾向を加速している。
613:デフォルトの名無しさん
05/12/07 11:52:57
>>612
まぁ、ろくに成果の出せない研究者はいらないということだろうな。
土方サイドでは、経験がなにので用無しとなってるし。
研究者として生きて行くためには、（上にもあったが）抜きん出た実力と
独自の発想、それに、強運が必要だろうね。
614:デフォルトの名無しさん
05/12/07 11:58:24
>>613
運は*必要*とは言わないんだよ。
615:デフォルトの名無しさん
05/12/07 12:25:21
>>613
研究に夢を持ちすぎ。
天才の数は多くないので他業種同様に
圧倒的多数を占める凡人をうまく使う社会的な工夫が必要。
それなりに高度な教育しといて放り出すというのは人的資源の無駄遣いでしかない。
そもそも研究というのは大規模投資して本格開発するほどには
結果が明らかでない内容を論理と実験を手段として探りながら進む作業の総称だから
研究にも難易度、規模、価値について色々なものがある。
例えば>613が夢見るような先進的で独創的な研究があった場合、
その周辺には実用化や普及の前に片付けなければならないような
相対的に難易度の低い研究課題が沢山発生するのが常だが、
それを片付ける>613が言うような相対的に低能力の泡沫研究者の数も
本来はそれなりに必要なのだ。
ただ日本では>613のような古典的な夢を抱いて「研究」というものを見ている人間が
まだまだ多数派だがな。
616:デフォルトの名無しさん
05/12/07 12:27:26
研究も他業種同様多くの技能から成り立っている。
例えば、研究は独創的なことを思いつけば出来上がりではない。
計画を立て、先達の成果を調べ、論証し、実験し、評価し、論文を書いて発表しなければならない。
そしてその大部分は時間を消費する作業的な側面を持ち、
特殊な才能ではなく教育で身につく種類の技能に支えられている。
それを身に着けていることが研究者（大物でも泡沫でも）としての必要条件となるが、
それを研究者としての教育を受けていない人間が身に着けているわけではないし、
逆に身に着けてはいても世間で評価されるような大きな「成果」に恵まれないこともある。
例えば探索しなければならない範囲を狭めたという意味では失敗の報告も
有効なのだがどうしても世間ではどうしても成功のほうを高く評価するし、
特に日本では明治以降の歴史的経緯から独創性よりも完成度が評価される比重が高い。
それが欧米に対して日本では改良研究が多くなる理由でもある。
博士号を取ったり予算を獲得したりする際に多少独創性があるより
完成度が高い方が日本では圧倒的にウケがいいのだ。
（これは改良研究のほうが審査する側も評価しやすいせいもある。）
だから博士号を取った先輩は博士課程の後輩に
「あんまり理想を高く持って独創性のある高度なものにしようとせず、
恥を捨てて教授の温情にすがり、できるだけ簡単で瑣末な研究で博士号を取るようにしろ。
でないと3年では取れないぞ。」
などとまじめな顔で助言することになる。
617:デフォルトの名無しさん
05/12/07 14:20:54
>>613
＞まぁ、ろくに成果の出せない研究者はいらないということだろうな。
＞土方サイドでは、経験がなにので用無しとなってるし。
そうでもない。独学できっちりと勉強してるヤシは少なくないし、
汚いコードを書くヤシは少ないし、設計をみっちりとやってるヤシ
も少なくないから、耐久力のあるヤシは、わりと重宝されてる。
618:デフォルトの名無しさん
05/12/07 14:24:48
やっつけ仕事にほうり込むと、すぐに潰れるけどな。ｗ
混沌とした状況で生き延びる能力の無さを、何で補うかが課題だな。
619:デフォルトの名無しさん
05/12/07 14:43:01
中小零細ＩＴ企業は、やっつけ仕事の所が多いよな。あと、
大企業でもたま～に、やっつけ仕事の所があったりする。
何処とは言わないケド。
620:デフォルトの名無しさん
05/12/07 16:47:26
いいから黙って働け
シャッチョさんのために
621:デフォルトの名無しさん
05/12/07 17:55:27
なんだここは
コンパイラ・スクリプトエンジンのスレとは思えないな
622:デフォルトの名無しさん
05/12/07 19:46:55
>>619
たぶん脳内w
やっつけでコンパイラとか書くのなどあり得ない。
623:デフォルトの名無しさん
05/12/07 19:52:08
電脳土方ネタは別スレッドでやってくれ。明らかにスレ違いだろう。
64bitメモリ空間を馬鹿みたいに消費するアプリのための、Lisp
もどきを作りたいんだが。
624:デフォルトの名無しさん
05/12/08 01:25:32
>>623
おまえは板違いw
625:デフォルトの名無しさん
05/12/09 02:08:19
>>624
おまえは気違いw
626:デフォルトの名無しさん
05/12/09 03:18:00
>>625
おまえは勘違いw
627:デフォルトの名無しさん
05/12/09 09:17:35
>>626
おまえは腹違いｗ
628:デフォルトの名無しさん
05/12/09 10:46:09
>>627
おまえは立貝(タチガイ)ｗ
629:デフォルトの名無しさん
05/12/09 11:59:40
俺はフランクリンw
630:デフォルトの名無しさん
05/12/09 12:11:24
一行レスに嬉々として参加するようなバカが何でこのスレ覗いてるわけ？
631:デフォルトの名無しさん
05/12/09 12:38:37
それに対して、同じく一行レスで中身無し、しかも煽り、ってのはどうだろうなぁ。
自分が使ったバカの一語が、自分に最も当てはまっているのでは。
632:デフォルトの名無しさん
05/12/09 12:58:11
バ
カ
633:デフォルトの名無しさん
05/12/09 13:03:31
>>630
ネタが、ネタがなかったんだよ～～(T-T)
634:デフォルトの名無しさん
05/12/09 23:58:21
研究ネタも（ry
635:デフォルトの名無しさん
05/12/10 10:06:17
Dr.欲しくて、教授の機嫌を取らなきゃいかんことはよ～くわかるが、
「障子を開けてみよ。外は広いぞ」という言葉を貴殿に贈ろう。
蛸壺（失礼）から出て、興味の赴くままに外の世界を味わうことも大事。
636:デフォルトの名無しさん
05/12/10 10:59:52
貴殿！貴殿！貴～殿殿で殿殿！
637:デフォルトの名無しさん
05/12/10 14:54:50
>>636
ちょっとリズムに無理があるかな。
638:デフォルトの名無しさん
05/12/10 15:37:13
>>637
大丈夫。
休符を入れてから
きが始まる。
ん、貴殿！！！貴殿！貴～殿殿で殿殿
639:デフォルトの名無しさん
05/12/10 16:05:48
馬鹿じゃねーの
640:デフォルトの名無しさん
05/12/10 16:08:40
馬鹿じゃ、ねーの！
I'm not fool ! OK ?
641:デフォルトの名無しさん
05/12/11 00:02:50
ケンキューテーマと一緒で、大した話題がないなぁ～
642:デフォルトの名無しさん
05/12/11 12:51:50
処理系の研究してる人いるみたいだから聞きたいんだけど、今時はどんな研究が盛んなの？
643:デフォルトの名無しさん
05/12/11 13:11:24
>>642
> 処理系の研究してる人いるみたいだから聞きたいんだけど、今時はどんな研究が盛んなの？
俺、大学院の研究室がプログラミング言語関係の研究室だったから、この世界には多少つながり
がある。
で、今盛んなのは、プログラミング言語の機能拡張をいかに安全に行うか、ということ。
安全とは、処理系素人が中身を知らずに処理系（ＪａｖａでもＬｉｓｐでも）に、拡張機能モジュールを
突っ込んでも、モジュール同士が干渉することなく、素人が拡張機能の恩恵にあずかれること。
モジュールを突っ込んで言語処理系の機能（というか、糖衣構文かなぁ）を増やす、というアイディア
は、ＭＯＰ、mixinとずっと前からあるわけだが、安全性については発展途上。
俺はいま、言語、ソフトウェアとは別業界なので、個人的趣味でたまにサーベイした範囲で書いてる
けど、本職さんのアドバイスをおながいします。
644:デフォルトの名無しさん
05/12/11 14:34:24
テンプレの>>5をみればこの分野の流行はつかめると思う。
645:デフォルトの名無しさん
05/12/11 18:22:09
>>643
こんな香具師おおいの？
専攻分野と就職先がなさならないと言う意味で
646:デフォルトの名無しさん
05/12/11 18:29:18
むしろ直結してるほうが稀
647:デフォルトの名無しさん
05/12/11 18:36:25
>>645
大学院たって修士だろ。それじゃあ、専門家とは到底言い難いから、企業としては都合のよいソルジャー
扱いで、専攻も分野も関係なく配置するんじゃない。
俺、ＩＴ関係企業でリクルーターやった経験あるんだが、専攻分野イコール業務分野という奴は見たこと
ない。大体、適当に丸め込まれて、学部、高専卒と机を並べて、畑違いの分野で研修、ＯＪＴだったなぁ。
俺はこれがやりたい、という強い意志を持ってる奴は、博士まで取るべき。企業としては、博士は専門
馬鹿でもてあますことが多いのだが、研究部門でツボにはまると、とんでもない力を発揮する。
648:デフォルトの名無しさん
05/12/11 18:40:34
つーか言語開発の仕事って例えば何？
SunとかMSとかBolandみたいに明らかに言語作ってる部隊以外に何がある？
649:デフォルトの名無しさん
05/12/11 18:55:21
>>648
> つーか言語開発の仕事って例えば何？
自分がかかわった範囲でいうと、組み込み用マイコン向けコンパイラの開発、ＨＤＬをパースして
さまざまな解析、設計アシストするツールの設計だな。
コンパイラはｇｃｃでいいじゃん、と思われてるけど、特定のマイコンに特化して徹底的に
チューニングするとｇｃｃが吐くコードより２割は小さく、速くなるんだな。
ｇｃｃは、マルチアーキテクチャ対応ゆえに中間コードレベルでしか最適化できないから。
ＨＤＬはね、単純にケイデンスやメンターのツール買ってきて導入して終わり、じゃないんだよ。
自前で故障検出パタン作成用ツールを作ったり、自社の設計ルールにのっとって記述されて
いるかチェックするツール（lintみたいなもんか)を作ったりする。昔は、自社で独自のＨＤＬを
設計、実装して、大型電子式自動計算機で長時間シミュレーションをまわしたもんだよ。
運が悪いと、数日ジョブを突っ込めなかったり、ディスパッチがまわってこないなんてことは
ざらにあった。
650:デフォルトの名無しさん
05/12/11 18:56:21
組み込み機器用にgccを移植するような地味な仕事から
簡単な業務処理用スクリプトを書いたりならしたことがあるが
コレといって”言語を作る”ってのはやったことないなぁ。
651:６４９
05/12/11 19:09:57
あとは、半導体テスタ用のテストパタンを加工するための言語を独自設計してつかっていたこともある。
awk,Perlでは、汎用性ありすぎて、かえって使いにくいから。
652:デフォルトの名無しさん
05/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:デフォルトの名無しさん
05/12/12 08:11:40
>>649
マイコン価格の暴落と処理速度の改善で、その仕事の半分は無くなる予感。
654:デフォルトの名無しさん
05/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:デフォルトの名無しさん
05/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:デフォルトの名無しさん
05/12/12 11:29:28
>>652
* interactions between compilers and architectures
コンパイラとアーキテクチャの相互作用
（キャッシュやパイプラインや特定の命令の有無などハードウェアの構成を知ったり、
もっと意欲的には再構成可能ハードウェアを構成したりとかも入るのかな？）
* program analysis
プログラム解析
（まぁ最適化や書き換えなどのためにプログラムの性質をいろいろ調べる技術ですな。
目指す処理に必要でかつ調べやすい性質のアイディアと
そうやって提唱された性質をプログラムから取り出すアルゴリズムがセット。
最適化のためのループの分類やら、ある変数の定数性を調べたり、
ポインタがどのオブジェクトを指してるか調べたり。
あとは型検査なんかもこのジャンル。
末尾再帰かどうかを判定するなんてのは古典ですな。
最近では型と絡めて安全性とかも話題。多分現在コンパイラ研究で理論面の主流。）
* software development tools
ソフトウェア開発ツール
（例えば開発環境とかデバッガとかリファクタリング・ツールとかテスト･ツールとか
プロファイラとかソースコード管理とかドキュメントやUML図の作成ツールとか
GUIウィザードの類とか。）
657:デフォルトの名無しさん
05/12/12 11:29:54
>>652
* program optimizations and transformations
プログラムの最適化と変換
（プログラムを書き換える技術一般。
ジェネラティブ・プログラミングのように変換の枠組みを言語的に用意して
プログラマに分野に特化した最適化などを書かせたり、
あるいはコンパイラの最適化のようにプログラム解析の結果を適用して
（多くは）自動的にプログラムを書き換えたりする技術。
プログラム特化とか、部分評価とかアスペクト指向もこの文脈で語られること多し。
そもそもコンパイラ自身を変換（あるいは変換の集まり）としてモデル化して
考えることもあってその場合次項とも関連が深い。
個人的にもっと日本でも流行ってほしい分野。）
* techniques for effective compiler construction
効率的なコンパイラ構築の技術
（effectiveがコンパイラにかかるのか構成に掛かるのか迷うところだけど
多分、コンパイラ開発自身の効率化のほうだと思う。
コンパイラの構成を工夫して新しい機能や最適化とかを
あとから追加・変更したりできる技術とかコンパイラ･フレームワークとか。）
658:デフォルトの名無しさん
05/12/12 11:35:09
>>653
確かにハードウェアが進歩すると
トレードオフが程よくバランスする点は変わるから
最適化などで個々の技術が顧みられなくなることもあるんだけども、
プログラムのほうもどんどん規模はでかく、処理は重くなる傾向はあるので
研究分野としてなくなることはなかったりする。
後は昔のハードでは速度や容量の点から
夢物語だった先進的過ぎるアイディアを
実際に試せるようになったりすることもある。
659:デフォルトの名無しさん
05/12/12 11:40:42
このすれｽｻﾏｼﾞｽage
660:デフォルトの名無しさん
05/12/12 11:50:45
訳と解説乙。
次スレから、(個人的～の部分を省いて)テンプレにするといいと思う。
以下ツッコミ。間違ってたらごめん。
>techniques for embedded and of mobile code
普通に組み込み機器向けって意味じゃない？
データに埋め込む言語って意味だと、mobileと一緒にする理由がわからない。
>program representations
program representationというと、Abstract Syntax TreeとかGraphとか、
パースしたプログラムの表現形式(なぜか大抵は中間形式)を言う事が多いと思う。
661:デフォルトの名無しさん
05/12/12 12:08:45
>>660
techniques for embedded and of mobile code
に関しては正直どっちかわからんですよ。どっちの分野もあるし。
そのうえさらにややこしい事に移動体機器や組み込み機器向のコードとして
（容量や更新の都合で。）移動可能なコードを使うことが最近ちょくちょくあるようだし。
あー、program representations
に関しては>660の言うとおりかもなぁ。
その場合、インテンショナル･プログラミングの内部構造とか
バイトコードとその仲間達とかも入るかもね。
662:デフォルトの名無しさん
05/12/12 13:22:53
>>660 にだけ突っ込むけど、他意はないから許して
(>>654-657 を検証するような目で見るガッツがないもので…)
"mobile code"は日本語で「可搬コード」とでもいうような、
プログラムが分散環境を移動するやつかもしれない。
それから、"program representations"は、プログラム意味論とかの
「プログラムをどのような *モデル* で表現するか」というテーマだと思う。
663:654-657、661
05/12/12 14:11:41
>>662
まぁ、mobile codeに関しては私もそっちが第一候補ではある。
でもembeddedと対になってたりするし、
曖昧な言葉ではあるので文脈がないとどっちにも取れる面はあるなと。
program representationsに関しても最初私もモデルかと思ったけど、
>>661的なテーマも確かにあったりしてそっちな可能性も結構あるなと。
ぶっちゃけこれも文脈を聞かないとイマイチ特定しにくいかも。
664:デフォルトの名無しさん
05/12/12 14:18:55
ACMのDigital Libraryでみつけた論文では
・high level representations
・directly interpretable representations
・directly executable representations
っていう分類してparse treeとか語ったりしてるのと、他にもwikipediaから
URLﾘﾝｸ(en.wikipedia.org)
の中で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
05/12/12 14:25:24
embedded languageってのを
DSLの文脈で見かけたことがあるような記憶はあるんだが
いまいち定かでなかったりして決定打に欠ける。
その上そこで組み込み機器向けのDSLの話だったのか、
別の言語に埋め込む特定分野向の簡易言語の話だったのか思い出せないので
こんな記憶があっても決定するだけの根拠なし。
666:デフォルトの名無しさん
05/12/12 14:43:52
>>654
> (たとえばGCとか、もっと進んでヒープを使わないプログラミングの可能性とか。
これすごいな。そんなの実現可能なの？
ヒープ使わないとなるとデカイ静的メモリ領域用意して全部つっこむしか思いつかない俺に喝を入れてくれ。
667:デフォルトの名無しさん
05/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
05/12/12 14:51:51
私もちゃんとは知らないウロ覚えの聞きかじりなんだが、
何年か前に日本ソフトウェア科学会のとある研究集会あたりで聞いたような気がする。
私の気が確かならば関数型プログラミング方面から来た話で、
プログラムを解析（エスケープ解析とかあたりかなぁ）して
関数呼び出しの階層の中の適切な階層に記憶管理コードを埋め込むような話が
あったような気がする。
ただ3時から仕事上の講演会を聞きに行くので今は調べられない。
戻ってきた後でちょっとググって見る。
669:654
05/12/12 15:11:16
>>666(>>668続き）
PPL2003の招待講演だったNe（希ガス）
URLﾘﾝｸ(www.csg.is.titech.ac.jp)
"Functional Programming without Garbage Collection"
Martin Hofmann (University of Muenchen)
[PSファイル]
URLﾘﾝｸ(www.csg.is.titech.ac.jp)
670:654
05/12/12 15:13:10
ちなみに内容はウロ覚えなんで論文読んで確認されたし。
(聞きに行く講演は15時半からだった。)
671:666
05/12/12 16:03:54
>>669
㌧ｸｽ！
なるほどね。ヒープを使わずに再帰しながらスタックを使う（関数の引数に詰め込む）ってことっぽい。
672:654
05/12/12 18:37:12
>>671
ま、それを手でやったら単に面倒なだけなんだけど
プログラムを解析して自動でそういうように書き換えるって話だったように覚えるんだけど
どうだったかいね。
（最近PDFが多くて生PSのみってあんまりないから今使ってるマシンに
PSプロセッサを入れてないのでURLの論文をまだ読んでない罠。
や、まぁ入れりゃいいだけなんではあるがマンドクセぇという。）
673:デフォルトの名無しさん
05/12/12 19:48:02
スレの質が急激に向上してまいりました
674:デフォルトの名無しさん
05/12/12 20:08:44
スレの質が急激に向上してきたようだね
675:デフォルトの名無しさん
05/12/12 20:27:22
スレの質が急激に向上しているようだな
676:デフォルトの名無しさん
05/12/12 20:41:15
上がってきたと見るや躊躇いなく下げようとしているなｗ
677:デフォルトの名無しさん
05/12/12 20:42:54
>>676
このダッチワイフ野郎。（くうきよめ）
678:デフォルトの名無しさん
05/12/12 21:51:48
PLDIは組み込みシステム向けの言語設計・実装の話題も範囲内だよ。
(過去にEmbedded Systemsってセッションが開かれるくらい)
design and processing of domain-specific languagesの一部っちゃそうなんだけど、
for embedded and of mobile codeは素直に解釈すればいいんじゃないかな。
ていうか、「(他言語やデータへの)埋め込みコード」って、PHPのような言語、
って意味でいいのかな。そんな話題はPLDIでは見た事ないような…(知る限りでは
679:デフォルトの名無しさん
05/12/12 22:40:59
そろそろPOPLの時期ですね。行く人はいますか？
680:デフォルトの名無しさん
05/12/12 23:48:13
>>678
PHPって埋め込みに入るのかな？
あれってタグの外側を標準出力に流してるだけでしょ。
「埋め込める」ってのは見た目の上だけで、Zendのただの宣伝文句に過ぎないと思うんだが。
専門の人とかはどう分類するんだろ？
681:デフォルトの名無しさん
05/12/13 00:23:09
>>679
落ちたので行けません。鬱
>>680
PHPが間違いなら間違いでいいから、
正しくは何が「埋め込み」なのか教えてくれないか。できれば例で。
682:680
05/12/13 00:31:34
>>681
> 正しくは何が「埋め込み」なのか教えてくれないか。
俺もそれとほぼ同義のことを質問してるんだけど。
HTMLのscriptやstyleとかCのインラインアセンブラあたりは埋め込みじゃないかとは思うんだが、PHPはわからんと思っただけ。
ソースの見た目で定義するべきなのか機能で定義するべきなのか。
654の再登場を待つしかなさそうだなｗ
683:デフォルトの名無しさん
05/12/13 00:45:43
>>654ではないが、「他言語やデータへの埋め込みコード」って言ってるぞ。
HTMLのscriptとかがいわゆる「他言語への埋め込みコード」で
PHPがいわゆる「データへの埋め込みコード」というつもりだったんじゃないか。
(>>654がそこまではっきり意識して話したのかはわからないけどな)
どっちにしても、PLDIで見る話じゃないような……(俺も、知る限りでは)
684:デフォルトの名無しさん
05/12/13 00:52:08
>>683
正直、「データへの埋め込み」ってのがイマイチ意味がわかんないんだよなぁ。
できれば解説ｷﾎﾞﾝﾇ。
（あ、ちなみにPHPは<?php～?>の外側も含めた全体がPHPのソースなので、そもそも埋め込みではない思う）
685:デフォルトの名無しさん
05/12/13 01:14:20
>あ、ちなみにPHPは<?php～?>の外側も含めた全体がPHPのソースなので、そもそも埋め込みではない思う
そういう哲学をお持ちの方には、そうですか、としか言いようがございませんね。
あまり一般的な哲学ではないように存じますけれど。
以下、何事もなかったように議論が再開することを願います。
686:681
05/12/13 01:20:12
HTMLのscriptか。納得。
まあこんなことで議論してもしょうがないな。
しかも今見ると>>681はなんだか喧嘩腰だな。
そんなつもりは全くなかったのだが、失礼した。
(煽りの部分は無視して)>>685の言うとおり、
何事もなかったように再開してほしい。
687:デフォルトの名無しさん
05/12/13 01:41:20
ＬＩＳＰはなんなんですか
688:デフォルトの名無しさん
05/12/13 01:43:01
まあ俺はPHPを言語処理系っていう側面から見て埋め込みかどうかに疑問を思ったんだが、興味ない奴は読み飛ばしてくれい。
>>686が良い切り返ししてくれたので先に進むけど、「データへの埋め込み言語」って何だろう？
一瞬スタックオーバーランみたいにマシンコード埋め込んで攻撃することだと思ったんだけど違うよね？
あーマシン語は「言語」じゃないか・・・
689:デフォルトの名無しさん
05/12/13 01:46:03
どうか>>687をスルーしてくれ
690:デフォルトの名無しさん
05/12/13 01:55:57
embedded ruby
691:デフォルトの名無しさん
05/12/13 03:42:12
たいていのプログラミング言語に対して正規表現が使えるけど、
あれは一種の埋め込み言語であると思う。
692:デフォルトの名無しさん
05/12/13 03:57:10
>>691
なるほど。確かに。
大抵は正規表現用に、言語自体の字句解析とかとは別口のモジュールで解析してるもんな。
693:デフォルトの名無しさん
05/12/13 04:06:40
たいていのプログラミング言語に対して整数が使えるけど、
あれは一種の埋め込み言語であると思う。
って言ってるのと変わらないぞ、それ。
ていうか、「埋め込み」の厳密な定義なんてないんじゃね？
「埋め込み」の厳密な意味を議論する意義はあるの？
と思いつつも>>654に集まる期待。
694:デフォルトの名無しさん
05/12/13 04:42:12
>>693
> ていうか、「埋め込み」の厳密な定義なんてないんじゃね？
> 「埋め込み」の厳密な意味を議論する意義はあるの？
むしろembedded＝組み込み系って流れじゃなかったっけ？
このスレなんかおかしな方向に行ってるな。
695:デフォルトの名無しさん
05/12/13 04:42:20
プログラム言語なんか研究してる人がいるんだね。
あんなのは有名なのも含めて全部趣味で俺言語作ってるのと
同じレベルだと思ってた。
まさか真面目に研究した成果が、あの行き当たりばったりの
つぎはぎだらけの仕様とはねｗ
696:デフォルトの名無しさん
05/12/13 04:51:01
正直、仕様がつぎはぎになるまで使われる言語なんて全体の 0.1% にも満たないと思うんだが。
697:デフォルトの名無しさん
05/12/13 04:52:38
D言語は最初からつぎはぎでしたが何か？
698:デフォルトの名無しさん
05/12/13 04:53:02
まあいいじゃん。楽しく俺言語つくろうぜ。
699:デフォルトの名無しさん
05/12/13 04:54:28
>>697
つぎはぎってそういう意味なのか？
700:デフォルトの名無しさん
05/12/13 04:55:57
おまいら、>>695みたいな100%の釣りですらスルーできないのかよ…
>>680のような巧妙な釣り(後であからさまになったけど)ならともかく…
701:デフォルトの名無しさん
05/12/13 04:57:30
釣って釣られて盛り上がるのが醍醐味ですが何か？
702:デフォルトの名無しさん
05/12/13 04:57:59
>>700
自分たちでも理解できるレベルになったのが、
嬉しくてしょうがないんだろう。ほっといてやれ……
703:デフォルトの名無しさん
05/12/13 05:03:01
それじゃそろそろprogram representationsとインテンショナル・プログラミングの話をしようか
704:デフォルトの名無しさん
05/12/13 07:29:09
>>696
Ｃ言語の事でつか？
705:デフォルトの名無しさん
05/12/13 10:24:35
>>694
embeddedのIT業界でのデフォはそれで正解
ただ、ここは言語すれなので
706:654
05/12/13 11:07:54
期待されても大して何もでないぞ。
埋め込まれた言語っていってもHTMLファイル
（データ記述のための言語で書かれたデータなんでデータでもあり言語でもあり）
にスクリプトを～くらいしか念頭にはなかったし。
（ちなみにJavaScriptあたりをイメージしてた。PHPはよーしらんです。）
まぁ、ライブラリで提供される正規表現を言語内に埋め込まれた言語と見る
というのもあるかなとは思う。
それに整数など数値演算が埋め込まれた言語というのは
理論上そういう観点もありえなくはないかなという気がする。
こういうのは視点の問題であって一つの存在が一通りにしか解釈できないと
決まったものでもないわけで。
大体今時の言語の文法定義自身が再帰的に部分文法を"埋め込んで"定義されてるわけで
この観点から言えば埋め込まれてる言語とホスト（宿主）言語の区別ってのは
結構便宜的なモンでしかないんじゃないかと思う。
分けて考えるのが便利なときは分けて考えることもできるし、
全体で一個の文法と見るのが便利ならばそう見ても問題ない。
余談だけどそう思ってみると
数値演算につきものの演算子の結合や優先順位の規則の文法的表現ってのは
言語の文法定義の中でもそれ以外の部分とは若干異質な部分でもある。
言語定義をする人は皆、当たり前なんで慣れてしまっているけどね。
707:654
05/12/13 11:37:54
例をあげて考えてみる。
まずはライブラリなどとして提供されるユーザ定義のデータ型が
ベースとなる言語に埋め込まれてベースとなる言語を拡張している例。
データ型といっても整数演算くらいだと見慣れているだろうし、
あんまりピンとこないかもしれない。
けども複雑なテキストデータは実際にパースしないといけないわけだから
単に観念の問題ではなくて技術的にも結構言語チックではある。
既に出ている正規表現もそうだし、例えば昔、私が多項式型を作ったときには
多項式のインスタンスを文字列リテラルで初期化するようにしてみたことがあって
このような場合だと単にユーザ定義のデータ型のリテラル
（正確にはそのように見立てた文字列リテラル）の癖に
その中に「変数」（数学的には不定元か）や「演算子」なんかがあって
その"埋め込まれた"リテラルの扱いはミニ言語っぽくなる。
多項式はデータ・値として4則演算の対象であると同時に
実際に値を代入（数式処理的には「置換」）することで関数のように評価もできたりする。
逆に通常一個の言語として見ている言語の定義を
幾つかのミニ言語を埋め込んで組み立ててあるとみることも実際に可能。
例えばC++を
式言語を制御構造言語に埋め込んでそれを関数宣言言語に埋め込んで、
それらと単純型宣言言語を合わせてクラス宣言言語に埋め込んで、
さらにそれをtemplate宣言言語に埋め込んだものとして考えることもできる。
この時例えばtemplate宣言言語は関数型言語として見ることができて
実際にそのようにプログラミングすることもできるというのが
テンプレート・メタプログラミングだったりする。
708:デフォルトの名無しさん
05/12/13 12:16:37
>>706-707
禿しく納得した。あんたにゃ脱帽。
709:デフォルトの名無しさん
05/12/13 13:23:05
>>654って例の、外国人とRubyに悩まされてる人か？
もしそうならかなり煮詰まってるな。
710:デフォルトの名無しさん
05/12/13 14:06:54
>>709
な、なぜそう思うのかな？
711:デフォルトの名無しさん
05/12/13 15:08:51
>>709の元ネタがよくわからん罠
712:デフォルトの名無しさん
05/12/13 15:12:04
ｽﾚﾘﾝｸ(prog板:924番)
と思われ。
713:デフォルトの名無しさん
05/12/13 15:12:40
いずれにせよ、Rubyに好意を持っていない所から類推すると、
研究畑の人間だと思われる。
714:デフォルトの名無しさん
05/12/13 15:14:23
>654は別にRubyについては何も書いてないよな。
715:デフォルトの名無しさん
05/12/13 16:12:53
>>713
研究の人はルビー嫌いなの？
716:デフォルトの名無しさん
05/12/13 16:22:54
>>715
いんや、少なくとも>>712のリンク先のそのまたリンク先のヨーロッパ人研究者には大好評のようだゾ。
717:デフォルトの名無しさん
05/12/13 16:32:43
日本の研究の人は、自分よりも名前が売れていることでRubyを妬んでいるのです
718:デフォルトの名無しさん
05/12/13 16:44:49
妬むかどうかはさておきRubyの人が（昔はリーマンしながら作ってたようだけども）
いまやオレ言語で食えているのがウラマヤシクないと言えば嘘になろう。
プログラミング言語研究も成熟してきた昨今、
どうしても言語研究で食っていこうとすれば全く新しい俺言語の開発ではなく
言語の一部（例えば既存言語の拡張とか最適化とか）をテーマにすることに
ならざるを得ないが、言語屋の多くは俺言語への夢ってモンをやっぱり持ってるからな。
まぁそういう研究屋業界の世知辛い世情はRubyの人も（出身は言語屋なわけだし）
分かってるからあくまで彼が自称するのは言語オタクであって
研究者とは名乗らないし、開発に徹して研究者的な活動には深入りしないのだろう。
719:デフォルトの名無しさん
05/12/13 16:47:28
>>710
>>714の言う通りRubyについちゃ何も言ってないんだけど、
>>654の最後の「風変わりな実装」と「Windowsに移植」ってとこでそう推測した。
あと>>707であげられている例やら「埋め込まれた言語」に対する態度やらから
そうなのかなあと。
過去ログを調べたら、例の人を2chで初めて見かけたのは2ヶ月以上前だ。
まあ>>654とは別人だろうな。
720:デフォルトの名無しさん
05/12/13 16:50:22
>>712の引用のしかたにﾜﾛﾀ
マ板経由かよｗ
721:デフォルトの名無しさん
05/12/13 16:51:47
別段Rubyに含むところはないが
Unitテストもなしに6万行もあるバギーな拡張ライブラリはキライｗ
特にキャストやテンプレートを濫用して型がスパゲティ化しているプログラムはｗ
722:デフォルトの名無しさん
05/12/13 17:16:30
Rubyとかそういう問題じゃないな。
他の言語でもそれは嫌だぞ。
723:デフォルトの名無しさん
05/12/13 17:28:21
>>722
まぁ、そういうことですよｗ
Rubyが使われてるプログラムの移植でヒドい目に合ってるからRubyの話題も出るけど
それは多分に使い方の問題であってRubyの問題じゃない。
例えば、C++でそんなデカイもんを作るなら最初からC++で書いてRubyから呼び出すとか、
RubyでBisonやflexやXMLパーサ用のコードを生成するとかなんて構造・設計は
勘弁なってくらいでいずれも問題はRubyそのもの良し悪しや好き嫌いの話ではない。
以上誤解のないように。
724:デフォルトの名無しさん
05/12/13 17:30:15
謹んで訂正>>723
誤> 例えば、C++でそんなデカイもんを作るなら最初からC++で書いてRubyから呼び出すとか、
正> 例えば、C++でそんなデカイもんを作るなら最初からC++で書いておいてくれればよいわけで、
Rubyから呼び出すとか、
725:デフォルトの名無しさん
05/12/13 17:43:02
やっぱRubyじゃ巨大プロジェクトの開発は無理か。
せいぜい数千行程度？
726:デフォルトの名無しさん
05/12/13 18:25:20
さぁ？
「やっぱ」とあるが>>723-724はそういう問題ではないだろう。
まぁ、一応Script言語はそれ単体であまり大きな規模の開発を行うことは
想定してないとは思うので個人的にそういう目的に用いることをオススメはしないが、
どこにそのラインがあるかは自明でないのでキッパリ無理とも言い切れない。
727:デフォルトの名無しさん
05/12/13 18:27:04
>>725
別にRubyで何万行書いてもいい。
むしろRubyだけで書く限りであればそれほど問題はないと思う。
Rubyがアホなとこは、そうやって書くと思いっ切り遅くなることがわかってるから、
現実は他の速い言語で拡張ライブラリ作ってツギハギしてくしかないってこと。
拡張ライブラリが順調に動いている内はいい。が、そこでバグが発生したりすると
もうグダグダになる。拡張ライブラリが絡むと環境やモジュール連続性もなく
まず原因の特定が困難で専用のデバグ環境もない。もはやまともなデバグなど
期待できない。だから拡張ライブラリを書いた場合は事前のテストが重要となる。
が、現実はこれをまともにやっている人間は少ないようだ。
ほんとは他の言語で書かす拡張ライブラリみたいなアホな非常口は言語の
作者の目の届かない所でもあるし、とっとと廃止した方がいいのだけど、
Rubyはそれをいつまでもやめないし、既にRubyの仕様上速くなる手段は
閉ざされており、もう誰もがアホだとわかっていてもその非常口に突っ込んで
自滅するしかない、という悪循環がどうみても出来上がっていました。
ありがとうございました。
728:デフォルトの名無しさん
05/12/13 18:30:33
精子コピペすか？
729:デフォルトの名無しさん
05/12/13 18:34:25
わかってはいるが、わかるわけにはいかん！
というやつだね。
墓穴は掘り終わりましたか？
730:デフォルトの名無しさん
05/12/13 18:41:06
>>727
遅くなるって言うけど
手軽さではなく早さが求められるようなプロジェクトで
Script言語を選んじゃう見識は問われないの？
731:デフォルトの名無しさん
05/12/13 18:51:28
言語というより、開発手法や設計のお話だな。
732:デフォルトの名無しさん
05/12/13 18:52:31
この件でRubyの拡張ライブラリがヤバイ事はよくわかった。
733:デフォルトの名無しさん
05/12/13 18:59:05
そういやRubyはVMにできないみたいな話が以前のスレにあった気がするけどあれってなぜ？
734:デフォルトの名無しさん
05/12/13 19:08:15
そろそろスレ違いに気づけ。
Rubyヤバイとかは専用スレがあるんだからそこで騒げ。
735:デフォルトの名無しさん
05/12/13 19:11:25
>>725
デカいプロジェクトだと開発以前に、運用で却下。
保守できる人間が少ないのは怖いし。
もっともここで話す問題ではないが。
736:デフォルトの名無しさん
05/12/13 19:29:06
そう思うなら余所逝けよ。
737:デフォルトの名無しさん
05/12/13 22:21:58
ちょっと勘違いしてるようだけど、数千行のRubyコードって
数十万行のLispコードに匹敵する処理内容が記述できるでしょ。
なので、スクリプト言語≒簡易処理というのは全くの思い違いだと思うよ。
速度が遅くなるのは同意だけど、
738:デフォルトの名無しさん
05/12/13 22:24:27
オ～レ～～～。オ～レ～～～。ジャカジャカジャン！
ま・つ・け・ん・さあ～んば～～～
739:デフォルトの名無しさん
05/12/13 22:48:17
数十万行のC言語のコード、というならともかく・・・
740:デフォルトの名無しさん
05/12/13 23:16:02
>>737
だいぶ勘違いしてるようだけど、RubyとLisp比較するなら
記述量的にはあんま変わらない気がするけどな。
速度気にするならまともなコンパイラ付いてるLispで書いた方が
良かったんじゃないの？
Rubyと違って処理系も色々選択できるし、拡張ライブラリを
速度のために別言語で書く、みたいな馬鹿馬鹿しい問題もない。
741:デフォルトの名無しさん
05/12/13 23:27:55
Lispは、チェックを省いてプロトタイプを作ろうとすると、めちゃくちゃ少ないコード記述量に
なるけど、パフォーマンスを考えてチューニングしようとしたり、エラーチェックを厳密に
やろうとすると他の言語と同じぐらいになってしまう。
742:デフォルトの名無しさん
05/12/13 23:55:27
>>741
憶測だけで言ってない？
つか、付けたしだけで速くなるなら別の言語で書き直すよりは
そっちの方がいいよね。
下のサイト見ると行数もそれほど変わらないし
チューニングコード入れなくても速いみたいだが。
元々速度では勝負にならん差があるけど。
Ruby
URLﾘﾝｸ(shootout.alioth.debian.org)
Lisp
URLﾘﾝｸ(shootout.alioth.debian.org)
URLﾘﾝｸ(shootout.alioth.debian.org)