2006-12-01から1ヶ月間の記事一覧

C++0x の concept は nominal だよ

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

Scoped Concept Maps と domain tag による look up 選択

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

商品画像

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

OTAKU ストア

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

決意

C++

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

言語雑談会2006

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

本屋ちゃん萌え

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

自分が歳を取ったなぁと気付かされるコト

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

俺もう歳かも知れん

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

ちょっと混乱してきた

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

Compile-time Garbage Collection

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

Two-phase Name Lookup と Environment Problem

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

non-intrusive で ad hoc な interface 定義の導入

C++

ある既存のクラスに対して,翻訳単位あるいは 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 こっちのコメントのやり取りも「うっはー!…………う…

日本語の場合

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

英語で anime チャット

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

scanl で作る自然対数への (無限) 遅延リスト in C++

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 良書ですやん

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

床面広告

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

かつぜつ

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

東京駅でごまたまごの売り子をしているおねーちゃんが口上を述べているときの滑舌の良さは異常

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

Pipable Function 導入しよう,そうしよう

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

Pipable Function / Pipable Lambda

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

iterating_range

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