ときどきの雑記帖 i戦士篇

25 Oct 2009 05:11

2009年10月24日

・ダムエーオリジンキシリアさん暗躍w 教えてください富野です大田区の金属絞り加工工場の社長

・技術評論社以前新書でてたやつがベースになって選書で?(サイズがちょっと大きく、厚さも増えてる)

・買った RWH、タイガーブック、数学ガールフェルマーの最終定理などなど。 Rグラフィックはちょっと様子見。

■_ perl 6

Journal of chromatic (983)
Friday October 23, 2009
09:11 PM
Perl 6 Design Minutes for 07 October 2009
[ #39795 ]

The Perl 6 design team met by phone on 07 October 2009. Larry, Allison, Patrick, and 
chromatic attended.

Patrick:

    * did more work on the regex engine
    * coming along exceedingly well
    * new engine written primarily in NQP
    * started in a new GitHub repo
    * the end goal is to come up with an implementation with built-in support
      for regexes and grammars
    * current NQP supports neither
    * NQP will be the component that handles regex support
    * it'll be much more maintainable written in NQP
    * pleasantly surprised at how much easier many of the constructs are to write in this form than in PIR
    * have a stage one prototype for protoregexes
    * necessary to implement the grammar for parsing Perl 6 regexes
    * have most of the base classes for Cursors and Match objects
    * doesn't exactly match Larry's STD
    * but I expect STD to match after Larry sees how I do it
    * how's that for hubris?
    * continuing to work on that
    * would like to have a self-hosted NQP by this time next week
    * mostly figuring out design issues, bootstrapping, and where the pieces go
    * had my breakthrough on that on Monday
    * now it's just however much time I can sit in front of the keyboard

お、正規表現エンジンになんか大きく手がはいったっぽい?

Perl 6ネタもういっちょ。


blog | Perlgeek.de :: We write a Perl 6 book for you

Fri, 23 Oct 2009

We write a Perl 6 book for you

Permanent link

We want a Perl 6 book. We want it badly enough to write it ourselves. So that's what 
we're doing: writing one.

We, that is Patrick Michaud (architect of the Rakudo Perl compiler), Jonathan 
Worthington (prolific contributor to both Rakudo and Parrot), Carl Mäsak (frenetic 
Rakudo user, and our number one bug finder) and Moritz Lenz (keeper of the Perl 6 test 
suite, and Perl 6 user and blogger). We are also open to contribution from others - 
already Jonathan Scott Duff has written an initial preface for us.

We don't have a name yet for our book. We want to cover the basics of Perl 6, enough 
to get your feet wet, and enough to make you want to use it. We want it to be based on 
useful examples. It is not going to be the definitive book, that task we leave to 
Larry Wall and Damian Conway.

Our vision is to present primarily the subset of Perl 6 that Rakudo understands, and 
have printed copies available by the time Rakudo Star is released, that is April or 
May 2010. chromatic and Allison Randal have kindly offered to published it via Onyx 
Neon Press.

Until then, monthly releases will be published under a Creative Commons license 
(noncommercial, attribution, share-alike).

Currently we have four chapters under construction, and the intention of writing the 
more introductory chapters later, when we know what we need to introduce for the later 
chapters. So far we have

    * Multi dispatch
    * Classes and Object
    * Regexes
    * Grammars

You can download the preliminary PDF version of the book here.

Interested? Check out the git repository, and join us in irc://freenode.net#perl6book.

を。これは楽しみ。 PDF のも落として見てみるか。

■_ 今日のヲチ

関数型プログラミング言語Haskell Part11 
163 デフォルトの名無しさん [sage] 2009/10/24(土) 14:04:28 ID: Be:
    最近Coqなどの証明系が流行ってると聞きました。これはポストHaskellと言うべき言語なんでしょうか。
    それとも、別種の、実用言語ではなくて理論を突き詰めるためのものなんでしょうか。

    アホな質問ですみません、Coqのサイトを少し見たのですがさっぱり分からなかったので。
    よろしくお願いします。 

164 デフォルトの名無しさん [sage] 2009/10/24(土) 14:32:02 ID: Be:
    Haskell の型システムはそういった証明系ほど厳密ではない。
    Haskell は証明系の理論をベースにしてはいるけど、用途としては汎用。
    Coq は定理証明のために特化されているから立場が違うよ。 

165 デフォルトの名無しさん [sage] 2009/10/24(土) 14:37:15 ID: Be:
    Coqは実用言語じゃないし、
    実用言語しか興味のない人には何の関わりもない証明系。 

166 デフォルトの名無しさん [sage] 2009/10/24(土) 14:42:43 ID: Be:
    証明支援系でもCoqはマイナーな存在ｗ 

167 デフォルトの名無しさん [sage] 2009/10/24(土) 16:26:46 ID: Be:
    なるほど。Coqを学ぶとHaskellの型システムの理解が深まる感じですか。 

168 デフォルトの名無しさん [sage] 2009/10/24(土) 16:48:01 ID: Be:
    >>167
    ないないｗ 

169 デフォルトの名無しさん [sage] 2009/10/24(土) 17:03:38 ID: Be:
    ここで言われている「証明」ってBirdのHaskell教科書に出てくるようなのですか？ 

170 デフォルトの名無しさん [sage] 2009/10/24(土) 17:12:59 ID: Be:
    >>169
    ここ行け

    コンピューターによる定理の自動証明
    http://science6.2ch.net/test/read.cgi/math/1126017312/ 

171 デフォルトの名無しさん [sage] 2009/10/24(土) 19:04:57 ID: Be:
    ちゃんと買いましたか？おまいら 

172 デフォルトの名無しさん [sage] 2009/10/24(土) 19:11:34 ID: Be:
    web公開版を印刷しました(^^;
    カラーレーザープリンタ便利です 

173 デフォルトの名無しさん [sage] 2009/10/24(土) 19:19:57 ID: Be:
    >>163
    CoqやAgdaなどの証明支援器はHaskellやOCamlなどと連携する機能があるから、むしろ一緒に使うのが実用的だね。
    大部分はHaskellで作って、一部の関数だけ証明器で開発し、信頼性をよりよくするという使い方だね。
    Agdaは日本の研究機関(AIST)が開発しているから、官公庁系の業務で将来的に積極的に使われるかも。
    今はAgdaは不安定すぎてだめだね。もう少し枯れる必要があるね。

Ｃ言語なら俺に聞け（入門篇） Part 54 
682 デフォルトの名無しさん [sage] 2009/10/22(木) 01:15:22 ID: Be:
    関数の引数に構造体を渡す場合に値を書き換えない場合は値渡しにするのが一般的ですか。
    ポインタ渡しの方がデータのコピー量が少ないのでどっちがいいのか悩みます。 

683 デフォルトの名無しさん [sage] 2009/10/22(木) 01:22:26 ID: Be:
    ポインタ渡ししましょう。 

684 デフォルトの名無しさん [sage] 2009/10/22(木) 01:34:44 ID: Be:
    好きな方にすれば良いよ。 

685 デフォルトの名無しさん [sage] 2009/10/22(木) 01:43:45 ID: Be:
    >682
    foo_t foo(const struct foo *foo);
    最後のfooは、foo()の名前(シンボルへのポインタ)を
    関数のスコープで別の型のシンボルfooで上書きしているから、barの方がいいか。
    まぁ、なんだ、const修飾しとけと言いたかったんだ。 

686 デフォルトの名無しさん [sage] 2009/10/22(木) 02:59:51 ID: Be:
    >>685
    つまりなんだ、関数名と構造体名と変数名は同時におなじものを使えるが、いまいちよくないということか 

687 デフォルトの名無しさん [sage] 2009/10/22(木) 03:14:28 ID: Be:
    構造体のタグは名前空間が違うからどうでもいいよ 

688 デフォルトの名無しさん [sage] 2009/10/22(木) 03:20:18 ID: Be:
    >687
    そんなことはわかっているんだよ
    関数名と変数が同じ名前だから、再帰呼び出しや関数ポインタが使えないと言っているわけで。 

689 デフォルトの名無しさん [sage] 2009/10/22(木) 03:22:01 ID: Be:
    >>688
    おまえへのレスじゃねえよアホが 

690 デフォルトの名無しさん [sage] 2009/10/22(木) 03:25:10 ID: Be:
    粘着するつもりは無いが、
    >688の変数というと語弊があるので、s/変数/仮引数/としておく。
    まぁ、そうはいっても関数スコープのちょっと上で宣言された変数なんだけどね。
    スタックですね、わかります。 

691 686 [sage] 2009/10/22(木) 03:29:00 ID: Be:
    >>687
    なるほど。ありがとう
    ちなみにtypedefしちゃうとだめだよね？

    >>688
    あぁー、そういう弊害が出てくるんですね。為になります。 

692 デフォルトの名無しさん [sage] 2009/10/22(木) 04:39:15 ID: Be:
    func(&kouzoutai);
    const付けたとしてもこの関数呼び出しの後でkouzoutaiのメンバが書き換わるのかどうかわからないすよね。
    func(kouzoutai);
    だったら書き換わらないことがわかるけど。
    キャストすればいいのかな。。

693 デフォルトの名無しさん [sage] 2009/10/22(木) 06:26:12 ID: Be:
    funcのシグネチャによるだろ 

694 デフォルトの名無しさん [sage] 2009/10/22(木) 10:31:59 ID: Be:
    ＞const付けたとしてもこの関数呼び出しの後でkouzoutaiのメンバが書き換わるのかどうかわからないすよね。
    「呼び出しの後」が呼び出した関数内の話なら自己責任だろ。
    「呼び出しの後」が呼び出した先の呼ばれた関数内の話ならその関数の宣言でconstポインタなら書き換わらないだろ。 

695 デフォルトの名無しさん [sage] 2009/10/22(木) 10:48:08 ID: Be:
    あえてconstをはがさない限りは変えられないんじゃないの？ 

696 デフォルトの名無しさん [sage] 2009/10/22(木) 12:13:14 ID: Be:
    func()
    {
    　　Kouzoutai kouzoutai;

    　　kouzoutai.member = 100; //func()では書き換えたい
    　　func2(&kouzoutai); //func2()では書き換えたくない。関数呼び出しからそれを明記できないか。
    } 

697 デフォルトの名無しさん [sage] 2009/10/22(木) 12:18:59 ID: Be:
    >>696
    void func2(const Kouzoutai * parameter);
    func2()自体が書き換え可能なのだとしたら、呼び出すこと自体が無茶。 

698 デフォルトの名無しさん [sage] 2009/10/22(木) 12:23:49 ID: Be:
    func()
    {
    　　Kouzoutai kouzoutai;
    const Kouzoutai *kouzoutai_constptr = &kouzoutai;

    　　kouzoutai.member = 100;
    　　func2(kouzoutai_constptr);
    } 

699 デフォルトの名無しさん [sage] 2009/10/22(木) 12:38:38 ID: Be:
    C++でも
    func(const T &in, const T &in2, T *out) //定義
    func(in, in2, &out) //呼び出し
    みたいにして、呼び出しの記述を見て関数内で変更されうることが類推しやすくしたりするね

    そういう意味では
    func2((const Kouzoutai *)&kouzoutai)
    でいいのかも知れんが、全部それやらないと本末転倒 

700 デフォルトの名無しさん [sage] 2009/10/22(木) 13:11:12 ID: Be:
    値渡しでいいだろ。速度も落ちねえよ。 

701 デフォルトの名無しさん [sage] 2009/10/22(木) 13:38:47 ID: Be:
    なんでそんな無茶を言い出すの 

702 デフォルトの名無しさん [sage] 2009/10/22(木) 15:14:48 ID: Be:
    無茶ではない。
    値渡しこそ正義。 

703 デフォルトの名無しさん [sage] 2009/10/22(木) 17:42:25 ID: Be:
    参照渡しがいいの！ 

704 デフォルトの名無しさん [sage] 2009/10/22(木) 17:54:44 ID: Be:
    値渡しだろ 

705 デフォルトの名無しさん [sage] 2009/10/22(木) 18:01:02 ID: Be:
    間を取って、コピーしたもののアドレスを渡す、でどうか 

706 デフォルトの名無しさん [sage] 2009/10/22(木) 18:08:33 ID: Be:
    とるなし 

707 デフォルトの名無しさん [sage] 2009/10/22(木) 21:47:21 ID: Be:
    fuck() 

708 デフォルトの名無しさん [sage] 2009/10/22(木) 21:52:38 ID: Be:
    >>698
    なるほど。天才ですね。 

709 デフォルトの名無しさん [sage] 2009/10/22(木) 22:09:02 ID: Be:
    よく言われる 

710 デフォルトの名無しさん [sage] 2009/10/23(金) 01:34:00 ID: Be:
    いつも神様って呼ばれてる。天才と言われることは滅多にない 

711 デフォルトの名無しさん [sage] 2009/10/23(金) 10:56:55 ID: Be:
    いつも旧神って呼ばれてる。ノーデンスと言われることは滅多にない 

712 デフォルトの名無しさん [sage] 2009/10/23(金) 12:15:02 ID: Be:
    神様にもいろいろいるしね
    貧乏神や疫病神でないことを祈る 

713 デフォルトの名無しさん [sage] 2009/10/23(金) 12:30:38 ID: Be:
    死神だろ。

むかーーーしのC では、構造体のメンバーの名前に被りがあっちゃいけないとかいうのがあったようななかったような。

スレ立てるまでもない質問はここで 101匹目 
571 デフォルトの名無しさん [sage] 2009/10/24(土) 07:37:49 ID: Be:
    Ｃで文字列のコピーって
    strcpy(hoge_1, hoge_2);
    sprintf(hoge_1, hoge_2);
    ってどっちがベターなんでしょうか？ 

572 デフォルトの名無しさん [sage] 2009/10/24(土) 07:40:32 ID: Be:
    そもそも意味が違うだろ。
    素性のわからん文字列をprintfファミリのフォーマット文字列に食わせるな 

573 デフォルトの名無しさん [sage] 2009/10/24(土) 07:41:00 ID: Be:
    >>571
    そのsprintfの文は間違ってる。
    まぁそれはおいといて、sprintfはフォーマットを解釈しないといけないのでstrcpyのほうが早いことがあると思う。

574 デフォルトの名無しさん [sage] 2009/10/24(土) 09:12:48 ID: Be:
    そのsprintfの使い方は間違っている上に、strcpy, sprintfは使用禁止だから。 

575 デフォルトの名無しさん [sage] 2009/10/24(土) 10:38:33  ID: Be:
    使用禁止ってのはお前の（プロジェクトの）ルールだろ 

576 デフォルトの名無しさん [sage] 2009/10/24(土) 10:56:30 ID: Be:
    いや、全世界で使用禁止。 

577 デフォルトの名無しさん [sage] 2009/10/24(土) 11:00:56 ID: Be:
    MSでは推奨されない(デフォルトで警告)される関数になってるね 

578 デフォルトの名無しさん [sage] 2009/10/24(土) 11:16:52 ID: Be:
    >>575のような前世紀のPGは滅びるべきだな。 

579 デフォルトの名無しさん [sage] 2009/10/24(土) 11:56:53 ID: Be:
    scanf,strcat,sprintfの無いCなんてもうCじゃないよ
    それなら普通にPythonとか使った方が百倍マシ

580 デフォルトの名無しさん [sage] 2009/10/24(土) 12:12:13 ID: Be:
    組み込みでかなりの関数が使用できなくても、CはC。
    結局それだけの話。 

581 デフォルトの名無しさん [sage] 2009/10/24(土) 13:04:22 ID: Be:
    セーフバージョンがあるのだから、それを使わない理由は無い。 

582 デフォルトの名無しさん [sage] 2009/10/24(土) 14:46:54 ID: Be:
    すいません
    sprintf(hoge_1, "%s", hoge_2)
    ですよね．
    結局時列のコピーはどうやるのが一番安全なんでしょうか？
    配列を一つ一つコピーするんですか？ 

583 デフォルトの名無しさん [sage] 2009/10/24(土) 15:02:59 ID: Be:
    >>582
    今だったらセキュア版のstrncpyであるstrncpy_sじゃないかなぁ。
    配列長を突っ込めるからそれを間違わなければ安全じゃね？ 

584 デフォルトの名無しさん [sage] 2009/10/24(土) 17:09:35 ID: Be:
    >>582
    hoge_1のサイズを取得可能なら
    sprintf(hoge_1, "%*s", sizeof(hoge_2) - 1, hoge_2)
    かなー 

585 デフォルトの名無しさん [sage] 2009/10/24(土) 17:10:24 ID: Be:
    もちろん、オーバーしないことが確実なのであれば
    strcpy(hoge_1, hoge_2)
    でいいよ 

586 デフォルトの名無しさん [sage] 2009/10/24(土) 17:13:09 ID: Be:
    あれ？
    "%.*s"だね。すまんこ。 

587 デフォルトの名無しさん [sage] 2009/10/24(土) 18:12:43 ID: Be:
    strcpyじゃなくstrncpyを使ってるから俺のプログラムはセキュアだ新世紀だ、
    とか思ってるバカに限って使い方間違ってるんだよなー 

588 デフォルトの名無しさん [sage] 2009/10/24(土) 18:21:00 ID: Be:
    >>587が正しいstrncpy講座をはじめる準備に入りました。 

589 デフォルトの名無しさん [sage] 2009/10/24(土) 18:27:41 ID: Be:
    そもそも_s系だって、使い方を間違えればセキュアにはならない。
    事前にサイズをチェックするのは何をするにもいえること。 

590 デフォルトの名無しさん [sage] 2009/10/24(土) 18:30:44 ID: Be:
    >>589
    まぁ、そりゃそうだ。 

591 デフォルトの名無しさん [sage] 2009/10/24(土) 18:53:12 ID: Be:
    >>584
    sizeof(hoge_1)のミスだよな。みりゃわかるが。

    >>587
    続きをたのむ。 

592 デフォルトの名無しさん [sage] 2009/10/24(土) 19:24:26 ID: Be:
    でかい釣り針だな。

    >>587
    strncpyがセキュア ｗｗｗ
    ジジイはとっとと引退しろ。 

593 デフォルトの名無しさん [sage] 2009/10/24(土) 19:25:27 ID: Be:
    世の中にセキュアな物など無い 

594 デフォルトの名無しさん [sage] 2009/10/24(土) 19:28:47 ID: Be:
    >>589
    それなら普通にPythonとか使った方が百倍マシ 

595 デフォルトの名無しさん [sage] 2009/10/24(土) 19:32:38 ID: Be:
    strncpyは文字列の終端のNULLぽが無くなるから
    後で参照するときにオーバーランする
    毎回
    strncpy(dst, src, n), dst[n] = NULL;
    するならいいけど

596 デフォルトの名無しさん [sage] 2009/10/24(土) 19:33:37 ID: Be:
    strncpy(dst, src, n), dst[strlen(src)] = NULL;
    だった orz

このあとも strncpy ネタで盛り上がってたり。

【関東】深夜ｱﾆﾒ放映時間の変更と重複316【局別】 [chaika]
780 みかんちゃん [sage] 2009/10/24(土) 15:05:03.05 0 ID: Be:
    DTBの録画を失敗したことに今気付いた。
    レコーダーの追従機能が働いてねえ・・・。
    がっくりと肩を落とす>>723であった。 

784 ゆのっち [sage] 2009/10/24(土) 15:36:02.89 0 ID: Be:
    >>780
    どこのレコーダーか教えれ。あと別の録画と干渉してないか確認すれ。
    >>723 

785 みかんちゃん [sage] 2009/10/24(土) 16:11:33.16 0 ID: Be:
    >>780だが、何故か2:10からの録画（先週の放映時間のまま）で、
    半分しか録れてなかった。
    ちなみにパナの、DMR-EH66 っていう少し古いアナログ録画のHDD-DVDレコーダー。
    他の録画とは被ってない。
    被ってても二番組同時録画できる機種だから問題なし。
    録画したのダビングしてくれって友人に頼まれてたから尚更ショックと>>723の弁。 

786 S線上のテナ [sage] 2009/10/24(土) 16:38:24.38 0 ID: Be:
    毎回録れてないタイトルがあって一体どうなってんだと思ったら、フォルダ指定忘れてて
    全部ルート上にファイルがあったという
    普段見て消しフォルダしか使ってないんで中々気付かなかった>>723 

787 変態仮面 [sage] 2009/10/24(土) 16:38:31.06 0 ID: Be:
    仕事でプログラマしてる>>723から言わせたら、
    自動追従機能なんて怖くて使えない。 

789 南条操 [sage] 2009/10/24(土) 16:49:50.93 0 ID: Be:
    組み込み系だとやっぱりCが多いのかね？
    パールのようなものしか知らんが 

791 能マン突 [sage] 2009/10/24(土) 17:20:35.67 0 ID: Be:
    >>789
    カタカナで書くなよ…
    何故かどっか扉とかATMとかこじ開ける画像が浮かんだ>>723>>790 

794 片桐姫子 [sage] 2009/10/24(土) 17:35:46.96 P ID: Be:
    パールのようなものでこじ開けると真珠やらルビーやら出てくるんですね。
    さらにルビーなんて何故かレールの上を走ってたりするんですね。
    わかりません。>>723

795 小悪魔灯里 [sage] 2009/10/24(土) 17:36:56.04 0 ID: Be:
    ヘビ使いなのでなんのことかわかりません。>>723

客層? が被ってんなあw

Permalink | View Entire Page

Search the Site

Custom Search

Page2RRS

ときどきの雑記帖 i戦士篇

25 Oct 2009 05:11

2009年10月24日

■_ perl 6

■_ 今日のヲチ

Search the Site

Subscribe to Feed:

Get Notified:

Webmaster Tools: