Mon Dec 26 2005:start Wed Dec 28 2005:draft Tue Jan 03 2006:prefinal 関連記事：プログラマのための「ゲーデルの不完全性定理」＠檜山正幸のキマイラ飼育記 1. ゲーデルの定理は神秘主義の対極にある ゲーデルの不完全性定理を、自然言語（日常言語）だけで説明する試みを見 かけるのだけど、これは無理スジじゃなかろうか。前もってわかっている人は、 「あー、そうだね、確かに」と納得できるだろうが、その自然言語による説明 により初めて勉強をする（そして、ちゃんと理解する）ってのはほぼ不可能な 気がする。 一見回り道のようでも、記号論理学を一通り勉強して、ゲーデル符号化を （だいたいでも）追いかけないと、納得した気分にはなれないだろう。仮に正 確な説明だったとしても（そうじゃない例も見かける）、それが自然言語で記 述されると、なんだか騙さ
2007年2月21日のブックマーク (12件)
-
kalsa 2007/02/21
-
ジェノグラフィック・プロジェクトへの参加方法 - ナショナル ジオグラフィック 日本版
プロジェクトに参加いただくためには、 「ジェノグラフィック・プロジェクト」のウェブサイト を通じて参加キット（99.95米ドル、送料・手数料は別）をご購入ください。 今回のプロジェクトで行うのは家系図の調査ではありません。はるか遠い祖先がたどった遺伝学的な旅や実際にこの地球上を移動したルートなどについて知ることが目的です。 プロジェクトでは、匿名性を完全に守るため、いかなる時でも皆様のお名前ではなく、参加キットに同封されているIDナンバーによって認証させていただきます。サンプル提供者のお名前とその分析結果を結びつける記録やデータベースは存在しません。もし、IDナンバーを紛失されますと解析結果を知ることができなくなりますので、ご注意ください。 専用ウェブサイトにアクセスしていただくと、ご自身の遺伝学上の祖先が明らかになると同時に、遺伝学的な分析から明らかにした人類の広がりを示した
-
哲学的な何か、あと科学とか
飲茶な日々 （3日に1度は更新予定の哲学日記） 2008年10月11日 僕の中二病告白 中二病という言葉があるそうです。 ―――――――――――――――――――――― 中二病（ちゅうにびょう）とは日本の俗語、スラング。 思春期にありがちな微妙にズレた自意識過剰、 それから転じて起こる数々の「中学二年生くらいの頃に ありがちな言動」を「症状」として比喩したもの。 子供が大人になろうとして、 「大人が好みそうな（と子供が考える）格好いいもの」に興味を持ち、 子供に好かれるようなもの、幼少の頃に好きだった幼稚なものを 否定したりなどする。「もう子供じゃない」「（汚い）大人になりたくない」 という自己矛盾が、実際の大人から見ると非常に「ズレて」おり、 滑稽に見えることが大きな特徴である。 さらに、生死や宇宙について思い悩んでみたり、 政治や社会の汚さを批判してみたり
-
jkondoの日記 - 顔が認識できるアルバムサービス、Riyaが凄い
顔を自動認識できるというウェブアルバムサービス、riyaが使えるようになっていると知ったので使ってみました。 http://riya.com/ これは凄いです。 写真をアップロードすると、勝手に「顔がどこにあるか」を認識してくれます。それが誰かをriyaに教えていくと覚えてくれて、他の写真も「その顔は誰か」を認識してくれます。 さらに、写真の中にあるテキスト（この写真だとかばんにある「Emerging」とかの文字）も自動的に認識してくれて、あとから検索できます。 "People"ページでは自分が名前をつけた人たちが一覧で表示されて、まだriyaに誰かを教えていない人がリストアップされるので、そこからさらにその人を教えていくとどんどん自動で認識していってくれます。 これが僕のアルバムの中の"Naoya Ito"の写真一覧。 顔が認識されていく様子が楽しくて、ついついどんどんアップロードしてし
-
FN0603001 - 直線の式(方程式) - Flash : テクニカルノート
Platform: All Version: MX and above 直線は、直交座標のグラフに、一次関数として表すことができます。本稿では、この一次関数(方程式)を導くポイントをご紹介します[*1]。 1. 直線を式で表す 直線は、xyの直交座標に、xのyに対する一次関数として、つぎのように表されます(図001)[*2]。 y = mx + n 図001■直線の一次関数 y切片がn、傾きmの一次関数 上記の一次関数y = mx + nで、xが0のときyはnになります。つまり、y軸(x = 0)と値nの点で直線が交わります。この点を「y切片」といいます。yの値はxの値に比例し、m倍の割合で変化します。mは「yの値の変化/xの値の変化」で計算され、xの値が1増加したときyの値はm増加することを意味します。このmは直線の傾き具合を表すので、「傾き」と呼ばれます。 [*2] y = mx +
-
ほぼ日刊イトイ新聞 - 樹の上の秘密基地
NINTENDO64ソフト 「ポケモンスナップ」を 制作した「ジャックアンドビーンズ」の 開発秘話を満載してお届けしている、 今回の「樹の上の秘密基地」です。 ソフトが完成して、ようやくスタッフも ３年半の開発の苦しみから解き放たれる時がきました。 彼らの喜びの声を聞いてください。 また、今回は「ジャックの豆の木プロジェクト」生みの親である 宮本さん、岩田さん、糸井による特別座談会をお届けします。 ゲームは出来た、さて、あらためて問われる 「ものを作るとは何か？」必読です！ 糸井重里（以下糸井）： 「ものを解決する喜び」って、 人間のホルモンとまでは言わないけど、 一番の楽しみじゃないですかね。 つまり、矢で的を射る喜びだったり、 女の子をくどいてパンツを脱がせる喜び だったり、さ。 食いたいものを手にする喜びだったり。 それって、一度味わっちゃうと、もう 抜けられないよね。 宮本茂さん（
-
四元数で回転 入門
★このページの対象読者 三次元での回転を、ＣＧとかで定量的に取り扱いたい人 オイラー角(Euler Angles)を使っていたら、わけがわからなくなってきた人 カルダン角とオイラー角(Cardan Angles)の見分けが付かない人 ジンバルロックに困っている人 だけど、数学とかメンドクサイことが嫌いな人 サンプルプログラムが欲しい人 ★回転篇： 四元数（しげんすう, quaternion）を使った回転の取り扱い手順だけ説明します （１）四元数の実部と虚部と書き方 四元数とは、４つの実数を組み合わせたものです。 ４つの要素のうち、ひとつは実部、残り３つは虚部です。 たとえば、Qという四元数が、実部 t で虚部が x, y, z から成り立っているとき、下のように書きます。 また、V = (x, y, z)というベクトルを使って、 Q = (t; V) とも書くことがあります。 正統的
-
イラレで便利 for Adobe Illustrator - アドビ・イラストレーターのツール集
たくさんの画像を一括配置したり、フォルダの中のファイルをまとめて印刷したり、アンカーポイントを整列させたり、テキストを改行でばらばらにしたり、またはバラバラのテキストを改行でつないだりなどなど、大量のファイルの一括処理や、微妙に面倒な各種作業の時間短縮に効果があります。「この作業を、１クリックでも少ない手順で！」という要望にお応えします。
-
-
-
【インタビュー】似顔絵が、なぜ似ないのか (1) 似顔絵が似なくなる3つの理由 (MYCOMジャーナル)
似顔絵の「似ている」「似ていない」はどこで決まる? 6月来、ネットを大きく騒がせてきた「スプーの絵描き歌」。NHKで放送されたある番組中、「うたのお姉さん」ことはいだしょうこさんの描いたキャラクタが、似ていないと話題になったのだ。宝塚出身の歌って踊れる才色兼備の「うたのお姉さん」が、実は絵が苦手だったというだけの話に過ぎないこの事件。しかし、もうひとつ気になることがあった。 「なぜ似ないのか?」 実際、普段見慣れた同僚の顔でさえ、すらすらと似せて描ける人というのは案外少ないのではないだろうか。そして、そもそも似顔絵の「似る」「似ない」というのはどういう点で決まってくることなのか、また「似せる」ためのテクニックというのはどのようなものかを調べていくことにした。 似顔絵が似なくなる3つの理由 話を伺ったのは、似顔絵イラストレーターの小河原智子氏。読売新聞契約似顔絵作家でもある小河原氏は、似顔絵
-
はてなブログ | 無料ブログを作成しよう
賃貸暮らしのわが家の地震対策【揺れから命を守る編】 以前のブログでも記載した、防災の優先順位に基づいて対策を進めています。まだ手をつけられていない部分もありますが、ある程度まとまってきたのでざっくりとご紹介していきます。 優先順位別に改善していっているため、今回は主に地震の揺れ対策がメインになります。…
-
- 2007年2月22日
- 2007年2月21日
- 2007年1月27日
公式Twitter
- @HatenaBookmark
リリース、障害情報などのサービスのお知らせ
- @hatebu
最新の人気エントリーの配信
キーボードショートカット一覧
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Copyright © 2005-2024 Hatena. All Rights Reserved.
設定を変更しました