あ〜，なんで自分の nominal と structural の理解 (そしてなんでみんなが書いてる nominal / structuaral という言葉の使い方) に違和感があるか分かったような気がする．あ，いや，どうでしょう． あれなんですよ． C++0x の (現在の) concept の提案とい…

ほぼ，自分用のメモなのであまり気にしないでください． 現行の concept の提案は，ある型に対するあるコンセプトの concept map の定義をグローバルに1つだけ許すことしか想定していないので，誰かが concept map を定義してしまうとグローバルにその影響が…

http://www.amazon.co.jp/dp/B000JFMONC/ おぉっ！この商品画像，画面遷移なしで切り替わるじゃんっ！多分そのうち立体モノの商品画像は Google Maps みたく4πステラジアン全方位にマウスでぐりぐり回しながら眺められるようになるに違いない．っていうかそ…

http://www.amazon.co.jp/exec/obidos/tg/browse/-/289855011 いつかやるとは思っていましたが，ついにやっちゃってくれました的な．ま，どーでもよろしいですが． 以下，「おもちゃ＆ホビー」のカテゴリで「メイド」というクエリで検索した結果． http://ww…

つーわけで， Move Semantics, Concept (Constrained Templates, Concept-based Overload Resolution / Specialization, Concept Maps) あたりは一度本気で説明を書こうと決意したけれど，決意した次の日には決意が鈍っていたりしてうにょにょにょにょ．

なぜか shinh さんにお誘いいただいて言語雑談会2006に行ってきました．っていうか行ってました．これ書くのに何日かかっているんだよ，俺，ってゆ〜． NumerleNemerle 良いなぁ．あのレベルの metaprogramming 能力ふつーに欲しいよなぁ， metaprogramming …

「本屋ちゃん萌え」が伝わっていたのは非常にうれしいことだったのだけれど，なんか非常に恐れ多いところに伝わっていたとゆ〜．あわわわわ．

ムーンライトながら小田原乗車が体力的にきつくなった 徹夜すると翌日の睡眠にリバウンドが来るようになった HDD が2台あったら RAID0 じゃなくて RAID1 を選ぶようになった

うえぉ〜．あまりにも疲れてて，おうち帰ったら日記書こう書こうと思って帰ったら速攻布団で意識が沈んでいくという．俺ももう歳取ったってことなのかなぁ． 今日こそは日記ちゃんと書く．

あれ？上のアナロジーに従ったとき， LISP における「そのスコープ内に関数定義を持った関数」って C++ の側ではどーなるんだ？「そのスコープ内に型定義を持った型」？それよ〜するにネストしたクラス定義を持つクラス？

つまりですねぇ，型をあるスコープ内で定義して，かつその型をそのスコープの外に返せるようにするには， (upward funarg problem を解決するために) LISP 同様 compile-time GC が要るんじゃないのかなぁ〜，なんてめがっさ思わないっかなー？ ま〜，全部グ…

C++ LISP (LISP だけじゃないけれど) テンプレート定義 引数として関数を受ける関数の定義 テンプレート定義内の依存名 関数内の自由変数名 依存名が実際に指しているもの 自由変数が実際に指しているもの 型 関数 テンプレートの Point of Definition 関数…

ある既存のクラスに対して，翻訳単位あるいは lexical scope 単位で ad hoc に non-intrusive な mixi-in らしきもの (インタフェースとなる free-standing 関数定義の追加) ができたら良いなぁと思った今日この頃． C++ だとほぼ事実上不可能な感じ．不可能…

http://d.hatena.ne.jp/shinichiro_h/20061203#c1165243132 あっぶねー．危うくこの「うっはー！！」なコメントのやり取り見落とすところだった． http://d.hatena.ne.jp/shinichiro_h/20061205#c1165299259 こっちのコメントのやり取りも「うっはー！…………う…

日本語だと伝えるの簡単なんだけどねぇ． 本屋ちゃん萌え！ ほら，たった一言で済むし．……伝わってますよね？

あれです．俺的苦手なもの・嫌いなもの克服手段の第1 principle は，苦手なもの・嫌いなものと好きなもの得意なものを組み合わせる．これですな． ということで英語 (苦手) とアニメ (大好き) を組み合わせてみましょう的な発想の下，英語で anime なチャッ…

scanl 相当を実装したので適当に遊んでみるテスト． http://cvs.sourceforge.jp/cgi-bin/viewcvs.cgi/*checkout*/cradle/cradle/libs/range/test/integration/lazy_list_to_exp_utf.cpp?content-type=text%2Fplain MSVC7.1, 8.0, GCC4.0.x, 4.1.x でテスト済…

C&E すげー良い本ジャン，とか購入後2年半近く経って気付いた事実． "Parametric versus Subtyping Polymorphism" とか，自分一人でうんうん唸ってた内容ほぼドンピシャで説明してるし．本棚でほこりかぶらせていたこと大後悔時代な一冊じゃないですかかか．…

今回の踏み絵はキャベツけよりなでした．人が多くてよく見えなかったけれど (そもそも人の流れが大変激しい場所なので，立ち止まってじっくり鑑賞するとか，おこたに入りながらみかん片手にお茶すすりながらのんびり眺めてられるとかできるようなモノでもな…

IME で「かつぜつ」が変換できないのを不審に思って， Google 先生にお尋ねした結果 http://ohyama.way-nifty.com/days/2005/04/post_2.html というサイトに行き着いた，という経験があるのは多分私だけじゃないはず．

「上から読んでも下から読んでもごまたまご．東京名物ごまたまご．ごまたまごまたまごまたまご．」

よし，決めた． Range View を Pipable Function として汎化する設計は極めて魅力 Range View と object generator の2足のわらじを履かせるのは責任の分離云々から見てまずい．っていうか view::sort() で良いじゃん． という理由の下に， Pipable Function…

http://d.hatena.ne.jp/mb2sync/20061205#p1 これ以前導入しようとしたけれども， lambda functor と組み合わせたときに， lambda functor としての operator| か pipable function の operator| かが曖昧になるから回避してたにゃあ．でも，今よくよく考え…

みょみょみょ．あくまで自分向けのメモな段階でのドキュメント． http://cradle.sourceforge.jp/doc/range/iterating.html 一応，暫定で仕上げた take_while と組み合わせて， http://cvs.sourceforge.jp/cgi-bin/viewcvs.cgi/*checkout*/cradle/cradle/libs…

っていうかちゃんと書くの忘れていたような気がしますが， Cradle というプロジェクトを sourceforge.jp に立てています．完全に自分の遊び場と化しています．えぇんかな，こういう使い方．いや，遊び場にするつもりで立てたわけじゃないけれど． cvs -d :ps…

っていうことでなんか思い立ったが吉日，半日ぐらいかけて，既存の関数オブジェクトに対して bind 不要の部分引数束縛・関数合成の構文を可能にするアダプタを書いてみました的な． http://d.hatena.ne.jp/Cryolite/20050516#p1 を (本人的には) 劇的に改良…

「あのね……できちゃったみたい……」 「えっ！？ていうかどうしようあわわわわ」

それをげんごにくみこむなんてとんでもない！

あ，やっぱ Phoenix ダメじゃん．なんで Phoenix をまともに追ってなかったか思い出した．

だいたい Phoenix でした……orz