hideokiのブックマーク / 2006年2月22日

hideoki id:hideoki

2006年2月22日のブックマーク (6件)

2006-02-22 - 数学猫の生活と意見
■ 蛾は唯蛾の一匹に生まれた為に蝋燭の火に焼かれるのである*1 http://d.hatena.ne.jp/m-hiyama/20060221 引用されている僕の文章に次が含まれます（少し簡略化した）。 canProveは、命題が、ある機械的定理証明系で証明可能であればtrue、反証可能（否定が証明可能）であればfalseを返す。この文にあるとおり、「canProveがfalseを返すのは否定が証明できるとき」です。「canProveがfalseを返すのは肯定が証明できないとき」と僕は言ってません。はい、この一文は(引用していながら)全然気づいていませんでした。これならば、ここから不完全性定理が導けることも正しいと思います。大変失礼しました。以下は私がどこで混乱したかのまとめです。一番致命的なのは上の一文を見逃した点ですが、ここに至るまでにいろいろとこんがらがってしまいました。ま
hideoki 2006/02/22
math
リンク
Ｔｅｃｈ総研：Thinkpad加速度センサを使ったソフトウェア・リンク集
Lenovo社のノートPCThinkpadシリーズでは、ハードディスクの破損防止のために、ノートPCの中に2軸の加速度センサが搭載されています。筐体内に設置された加速度センサで、筐体への振動・揺れなどを検知して、衝撃を検知したらハードディスクの磁気ヘッドをディスク外の安全な領域へと待避させることで、「ディスク面と磁気ヘッドの接触によるディスク面の破損」を防ぐ、という「ハードディスク・アクティブプロテクション・システム」が搭載されているのです。これらの2軸加速度センサは本来「ハードディスク保護」のために搭載されているわけですが、このセンサの出力値を使ったアプリケーション・ソフトウェアというものがあります。加速度センサの値を使うと何ができるかと言うと、地表上では「鉛直方向に働く重力加速度」というものがあるわけです。ということは、加速度センサの値を読み取れば、Thinkpad 筐体に対しての
hideoki 2006/02/22
science
リンク
prototype.js v1.5.0 の使い方
それは何？ prototype.js は Sam Stephenson によって書かれた JavaScript ライブラリです。この熟考の上記述された標準に準拠したコードは、Web 2.0 において特徴となるリッチでインタラクティブなウェブページを制作する際の重荷を、あなたの肩から取り去ってくれるでしょう。もしこのライブラリを使ったことがあるなら、充実したドキュメントがこのライブラリの売りではないことに気がついたはずです。私は他の開発者と同様に、ソースコードを読み、試行錯誤しながら prototype.js を理解しました。自分が学んでいる間にメモを取り、それを他の人たちと共有することは価値があるのでは、と考えたのです。加えて、このライブラリによって提供されているオブジェクト、クラス、関数、拡張機能についての非公式リファレンスも提供しています。ここで提供する例とリファレンス
hideoki 2006/02/22
javascript

prototype.js
リンク
はてなWordLink
平素より「はてなWordLink」をご利用いただき、ありがとうございます。「はてなWordLink」は、2012年10月1日をもちまして、サービスの提供を終了させていただきました。これまでご利用いただきましたユーザーの皆さまに深く感謝いたします。誠にありがとうございました。詳しくは下記をご覧ください。 http://hatena.g.hatena.ne.jp/hatena/20120831/1346389642 株式会社はてな
hideoki 2006/02/22
wordlinkのヘルプ

wordlink
リンク
ライブラリの外に公開するシンボルを制限する - bkブログ
ライブラリの外に公開するシンボルを制限する C言語にはファイル内 (コンパイル単位) からしかアクセスできない static 関数と、別のファイルからもアクセスできる非static 関数があります。しかし、ライブラリを作成する上では、この2つのスコープだけでは不十分なときがあります。本記事では GNUの開発環境において、ライブラリの外に公開するシンボルを制限する方法を紹介します。次のような例を考えてみます。 % cat a.c // foo() は libfoo の主役の関数なので公開したい void foo() { bar(); } % cat b.c // bar() はライブラリの中だけで使われるべきなので本当は公開 // したくない。しかし別のファイルに含まれる foo() から使われ // ているので、非staticにせざるをえない void bar() { } このようなコ
hideoki 2006/02/22
c
リンク
はてラボ: blog.bulknews.net
はてラボはてラボ各サービスには担当開発者がおり、全てはてな社員です。主に個人的な動機により開発を行っています。はてな社員じゃない人が開発できる場だったら面白いのに、とか思いました。 Alexa Web Search Platform, Ning, Google Homepage API ... Architecture of Participation。
hideoki 2006/02/22
hatena

miyagawa
リンク
- 2006年2月23日
- 2006年2月22日
- 2006年2月21日