目次 2006年8月29日 - 『新版C言語プログラミングレッスン』 / 2006年8月27日 - 原稿 / 2006年8月26日 - 多忙なり / 2006年8月25日 - 夢の中の対話 / 多忙 / 祈り / 2006年8月24日 - 仕事 / 2006年8月23日 - 文章の品質を上げる方法 / 2006年8月22日 - 仕事 / 2006年8月18日 - トドちゃんを数えるPerlスクリプト / 2006年8月17日 - 新しい輝きと懐かしい香り / 2006年8月16日 - 本を書く仕事は大変だけれど、とても楽しい / 2006年8月15日 - 理解度 / 2006年8月14日 - 言葉 / 2006年8月13日 - 日曜日 / 2006年8月12日 - 仕事 / 2006年8月11日 - 書けたこと、考えたこと / べったら漬け / 2006年8月10日 - ビットパターンを反
「第3歩」と書いたからと言って続くかどうかはわからない。だけど、3回書けば既に続きものだとも言えるので、第1歩をハブエントリー(目次ページ)にしておきました。第1歩からリンクをたどれます。 さーて第3歩だけど、そろそろ関手ですかね? いやっ、まーだ実例。もっともっと実例。なんで僕が実例にこだわるかというと、抽象論は好きだけど、具体性のない抽象論が嫌いだから。圏論に関する具体例は山盛りあるんだけど、どうも(良い意味での)アブストラクト・ノンセンスな論法のほうに注目が集まりがちで、そこいらに転がっている具体例が強調されてない気がする。 実際のところ、圏の定義はすごく一般的だから、その例は死ぬほどイッパイあるんだよね。だから、具体例を拾っているときりがない、ってのも確か。なんだけど、手近にあって個性的で面白い圏は紹介しておきたいんです。で、今回は“エッジが効いた”(って、実は意味ワカラン)圏達の
灼熱の成田を出て、9時間後、無事にサンフランシスコに到着しました。客室に入れず、貨物室の動物コーナーに押し込められたしなもんですが、元気に手荷物受取所で再会し、無事にアメリカの地に降り立つことができました。シリコンバレーに着いて、家にはまだ何もない状態でしたが、id:umedamochioさんから物品調達をするための情報をいただいたり、奥様にしなもんのフードやベッドやおもちゃなどを用意していただいたおかげで、安心して第一歩を踏み出すことができました。お昼前に到着し、まだ寝るふとんもタオルすらない状態だったので、夜にちゃんと眠れるのか心配でしたが、最低限の用品を揃えてぐっすり眠ることができました。午後からしなもんにはお留守番をしてもらって夜までふたりで買い物と食事に出たのですが、戻るとキッチンにバスケットと手紙が置いてありました。私たちの家を貸してくれた大家のTedとPhillが、留守中に庭
ついにアメリカに引っ越した。 結局引越し荷物は事前にダンボール箱8箱を送ったのと、あとは手荷物で持てる範囲のものだけを持ってやってきた。しなもんの検疫も無事に通って2人+1匹でアメリカ上陸。成田の待ち時間を合わせると10時間以上かごに入ったままのしなもんと別れていたので、空港で再開したときはほっとした。 いつものようにサンフランシスコ空港でHertzレンタカーを借りるも、こちらもいつものように1時間くらい待たされる。今回はゴールド会員になってきたのにまるで進化が無い。「次は絶対こんな思いはしないように」といつもここで思うのに、車を買うまではこれが続くんだろうか。 自宅は1軒家を借りたので、家具などは何もなし。初日は「とにかく家で寝られるようにする」事を目的に買い物に奔走。最初はIKEAでベッドを買おうと勇んで行ったものの、広大な敷地から目的のベッドを探すのに疲れてしまい、さらにレンタカーに
昨日(2006年8月21日)、近藤夫妻としなもんがシリコンバレーに到着。二人は、先月いったんシリコンバレーに来て家探しなどの生活準備をすませ、ツール・ド・信州の運営等のために一時帰国し、このたび、しなもんも連れての引越しということになった。 さっき僕のオフィスに二人で来て(Hatena Inc.は、僕のオフィスの住所で登記しているので、もう彼らのオフィスでもある)、こちらに来て初めてつながったネット環境で何かしているなと思ったら、二人は何よりも先に、公開するための日記を書いていたのだった。 http://d.hatena.ne.jp/jkondo/20060822/1156264325 http://d.hatena.ne.jp/reikon/20060822/1156265544 日記を書き終えた二人は、これからトラックを借りて(U Haul)、家具(IKEA)と工具(Home Depo
●マルチコア化はCPU業界の規定路線 「マルチコアプログラミングがなぜ重要か。将来の全てのプロセッサはマルチコアチップになるからだ」、「これからはシングルコアのパフォーマンスは上がらない。パフォーマンスはマルチコアで上がる」 米Stanford Universityで開催されているチップカンファレンス「HotChips」のマルチコアプログラミングのチュートリアルでは、登壇する研究者が次々とマルチコアへのダイレクションがプロセッサ業界全体の決定的な方向であることを強調する。過去2年ほどのCPUカンファレンスでは、こうしたトーンで、業界挙げてのマルチコアへの急転換がうたわれてきた。 前回の記事でレポートしたように、マルチコアへとCPUが向かうのは、その方が理論上は効率的だからだ。CPUコア単体を拡張し続けることは、単純にパフォーマンスの面から見るとそれほど効率がよくない。「ポラックの法則」とI
●iPodが開いたUSB充電の道 サードパーティのオプションではなく、USB端子から充電することを標準の状態とした最初の製品はたぶんPDAだと思うが、一般に普及するに当たって力となったのはiPodだ。 iPodはACアダプタはオプションでしか用意されておらず、USB(初期はIEEE 1394)から信号と同時に電源も取るようになっている。 iPodの普及にしたがい、PCが無い場所でも充電したいという需要は大きくなり、多数の製品が登場している。 もちろん、オプション製品を使った自己責任による使用も含めれば、PSPやニンテンドー DSなどのゲーム機器、携帯電話など、USB端子から充電できる機器は多くなっている。さながら、USB端子がモバイル機器の標準電源コネクタのような役割を果たしていると言って良いだろう。 つまり、電源を供給するアダプタ側は、元電源が何であれUSB端子の形で5V電源を供給すれば
http://rails2u.com/htmlhelp/mochikit.chm 先ほどのエントリーに続いて MochiKit の API リファレンスも htmlhelp にしてみました。API リファレンスは svn head 最新のを使っています。まだ MochiKit 使い始めて間もないので API リファレンスを引く機会が多いのですが、そんなときはすぐに関数名でインクリメンタルサーチできる htmlhelp がやはりベンリダナー、とか思ったりします。 またこれは一から ruby で htmlhelp のプロジェクトや索引、インデックスを生成したんですが結構簡単にできました。下のソースをMochiKit の trunk/scripts/htmlhelp.rb に保存して実行すると各種 htmlhelp に必要なファイルが生成されると思います。 http://rails2u.com/
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く