2008-01-01から1年間の記事一覧

C++0x ad-hoc 会議行てきた.\(^o^)/会議本体のほうの内容は誰か書いてくれるだろう的な他力本願で.以下は完全に個人的な内容.昼の休憩になった途端,真っ先に名刺くれる方がいらっしゃって,名刺見たらサイボウズ・ラボの光成滋生って書いてあって,そ…

ぷろあくた\(^o^)/ ぱ〜とすりぃ〜

Boost.Asio はもうちょっと↓みたいに(ry

ぷろあくた\(^o^)/ ぱ〜とつぅ〜

Boost.Asio はもうちょっと↓みたいに proactor な部分で遊ぶのを前面に押し出してほしい気がします的なっていうかこれさっきゆった. 要 Boost 1.36.0 以上.少なくとも Windows Vista 64bit (ただし WIN32 の configuration でビルド) + MSVC 8.0 では動い…

ぷろあくた\(^o^)/

Boost.Asio はもうちょっと↓みたいに proactor な部分で遊ぶのを前面に押し出してほしい気がします的な. 要 Boost 1.36.0 以上.少なくとも Windows Vista 64bit (ただし WIN32 の configuration でビルド) + MSVC 8.0 では動いたような気がする.改行をコ…

それ (dynamic duck typing) C++ でできるよ +α

C++

http://d.hatena.ne.jp/gnarl/20080801/1217523822 元のエントリが静的なものと動的なものを比較していますので,それに対する批判としてはまったく正当なものなのでそこには異論はありません.ですが,蛇足として, static duck typing が与えられればそこ…

Windows で Boost 1.35.0 をビルドするためのいろはにほへとちりぬるを1から10まで書こうとしたらなんか収拾がつかなくなったっぽ.

X / _ / X < "むぅぶせまんちくす!";

あああああぁぁぁぁぁもおおおおおちょおおおおお気に入らねえええええぇぇぇぇぇ!!!!! 以下のコードは GCC 4.3.0 以降で -std=c++0x オプションを指定しないとコンパイルが通りません. #include <string> #include <iostream> template<typename T> struct lr_impl{ static int cons</typename></iostream></string>…

多項展開が倒せない

多項展開 が倒せない.っていうか実際にやりたいのは の計算にゃんだけれど. #これだけだと何がしたいのかがさっぱり伝わらないだろ……jk これを愚直に計算すると明らかに で,これがもうちょっとだけ速くなりませんか的な.一応, が sparse, つまり が …

http://blog14.fc2.com/b/bountyhunter02/file/sort140.html 1 浅野真澄 2 落合祐里香 3 後藤邑子 3 沢城みゆき 5 水樹奈々 6 水橋かおり 7 中原麻衣 8 桑島法子 9 今井麻美 9 植田佳奈 (以下略 あぁ……うん……まぁ…….マイナーメジャー大好きって表現すれば…

いぇっとあなざビルド済みぶぅすとらいぶりゃり

Boost の Jamroot でやっていることと http://tinyurl.com/5towdt でやっていることをパクっただけといううわさ.っていうか, http://tinyurl.com/66fv37 でいーじゃーんという声はあーあーあー聞こえない.

Boost 1.35.0 のビルドのバッドノウハウ

Boost 1.35.0 になってビルドの方法が変わってて,単に bjam 動かしただけでは以下の設定しかビルドされにゃい リリースビルドで マルチスレッドで 共有ライブラリで ランタイムを動的リンクする ./configure && make install も同じっぽ? autolink に頼っ…

いや,そんなことよりも lambda expression + typeof

今一番試してみたいのが lambda expression + typeof.もうこれはヤングなバカに受けナウ間違いなし.

Multiple Placement Construction

http://d.hatena.ne.jp/faith_and_brave/20080526/1211793189 >曲芸的なアプローチ というのはつまりヒロイン追加のコンシューマ版が発売されて,それがPCに逆移植されて,なおかつクリスマスやらサマーバケーションやらことあるごとに……じゃなかった.今の…

文字列は文字列の連結という2項演算に関して semigroup ですよ.あー,いや, monoid か……なんていちいち考えるっぽ?

http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2008/n2645.pdf いや,こういう最も原初的で代数的な concept から組み立てあげる方向性は,まったく間違ってはいないし, STL (によらず汎用プログラミング全般) 的にいって王道的進化だとは思うし,非…

structual よりも non-intrusive だと思うにゃー

http://www.kmonos.net/wlog/85.html#_0905080505 う〜ん, structural かどうかではなくて non-intrusive かどうかっていう軸の方が重要だと思うんですけれどどうなんでしょうかねー. non-intrusive という言葉を明快に定義してくれている書籍なりサイトな…

The Art of Computer Programming, Fascicle

1, 2, 3, 4と来て次が0なのかよおおおおおぉぉぉぉぉ!!!!!

なんで requirement に関する推論が欲しくなったかというと,以下のようなのを見てたらうにゅーんっていう. たとえば, // とりあえず細かいことはおいといて,「型 T はデフォルトコンストラクタを持ってる」という制約の記述だと思って! concept Default…

もうなんかかれこれ2ヶ月ぐらい SBPP 読破するつもりでいたけれど読んでも読んでもまったく頭に入らないので, TDD 読み始めたけれどやっぱりまったく頭に入ってこないいいぃぃぃ.っていうか Kent Beck の英語読みにくい……いや,英語読みにくいだけじゃない…

そういえば,ある汎用アルゴリズム (関数テンプレート) の実装が与えられたときに,その汎用アルゴリズムの requirement 項に関する推論機構が欲しいと誰かが (俺かぁ!) ほざいてた気がするけれど, requirement に記述した制約 (インタフェイス) のみを使…

O(1) か O(log N) かよりも leading coefficient の大小のほうが実用的には重要だったりするかも知れない昨今,皆様いかがお過ごしでしょうか?それはさておきまして誰か splice の使い方を列挙しまくって std::list の不憫な立場をなんとかしてやってくだし…

concept via type class

Haskell に type class が導入されている motivation についてまとまってるサイトにゃいかにゃー. Haskell の type class を通して C++ の concept を見てみたいの会.あと, C++0x の concept で functional dependency が手軽に扱えそうか/有用そうかどう…

concept-based overload の使い道はそれこそいくらでも……

http://d.hatena.ne.jp/NyaRuRu/20080328/p1 (C++[0x] の言葉でいうところの) concept-based overload と,関数テンプレートの partial ordering が混ざった話だけれど, concept-based overload に関しては >まあ使い道がそんなに沢山あるかというとそこは…

Re: std::reference_closure の存在意義

昨日のk.inabaさんのコメントにいったん納得しかけたけれど void funcWithCallback(std::reference_closure<int(int)> const &f); // 定義は別のバイナリにある void g() { int i = 42; funcWithCallback([&](int j){ return i * j; }); } これが std::reference_closu</int(int)>…

"Design Patterns in C++," articles in TopCoder

C++

http://www.topcoder.com/tc?module=Static&d1=features&d2=100206 http://www.topcoder.com/tc?module=Static&d1=features&d2=100906 これは良い article.ただ, "non-intrusive" とか "type erasure" とかいう keyword を含んだ article なら,どんな art…

_, ,_ ∩ ( ゜∀゜)彡 びゃーね!びゃーね!助けてびゃーね! ⊂彡#いや,もう C++ は「Bjarne Stroustrup の言語」ではなくなってるってばよ.

generic programming の文脈では C++ のクラスは限定的に open だよ?

C++

C++ において class は open か closed か.自分は「generic programming の文脈では限定的ながら open であるといってしかるべき」と思うのだけれど.思っただけ. C++ の class には associated namespace というものがあって,そこには class の public …

シグネチャに対するパタンマッチぐらいはないと AOP とはいえないんじゃなイカ?

http://d.hatena.ne.jp/Cryolite/20080318#p2 concept maps で追加・置換できるのは良いけれど,少なくともシグネチャ (関数名含む) に関するパタンマッチ的なことぐらいはできないと AOP とはいえないでゲソ. っていうか, identifier をメタプログラミン…

std::reference_closure の存在意義がやっぱりよくわからにゃいにゃー

lambda expression が std::reference_closure という形で実装可能なのは郵便はみがきさんが書いていらっしゃるとおりですけれど, std::reference_closure の形式よる実装が可能 (つまりシグネチャが同一の lambda expression は同じ型を持つ) ということは…

参照経由のみで環境にアクセスする lambda expression がなんで reference_closure 型にならなあかんねん

http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2008/n2550.pdf ローカルの変数の値を全部参照で読み書きするならば, 8 If every name in the effective capture set is preceded by &, F is publicly derived from std::reference_closure (20.5.17)…

晴れ時々 Amazon.co.jp の洋書価格が変

(このブログエントリの内容は,執筆時点での情報に基づいています.執筆から時間が経過するに伴い,特にリンク先における情報が変更されるなどの変化により,内容に何らかの不整合を生じる可能性があります) Amazon.co.jp で洋書を買うときには, Amazon.com…