タグ

2010年2月17日のブックマーク (6件)

  • 犬を“ぎゅっ”とする白クマも?思わず和む動物たちの動画 - はてなニュース

    動画サイトで公開されている色々な動物たちの姿は、見ているだけで気持ちを和ませてくれますよね。今回はかわいいものから笑えるものまで、ちょっと珍しい「動物たちの動画」をご紹介します。 ■仲良く手をつなぐラッコ まずは2匹のラッコが仲良く手をつないでいる様子をとらえたこちらの映像。元々ラッコには、寝ている間に潮に流されてしまわないよう、何かにしがみつく習性があるそうです。 ▽YouTube- Otters holding hands ■ハリネズミと一緒にお風呂に入ろう そして“ハリネズミをお風呂に入れる”という珍しい動画がこちらです。あまりペットとしてはなじみがない印象のハリネズミですが、手足の動きや丸まった様子などがなんともかわいらしいですね。 ▽YouTube- ハリネズミを洗う Pigmy Hedgehog こちらのエントリーでも、お風呂にぷかぷか浮かぶハリネズミの動画が紹介されています。

    犬を“ぎゅっ”とする白クマも?思わず和む動物たちの動画 - はてなニュース
    aont
    aont 2010/02/17
    かわいい
  • 計算モデルと論理とゲーデルの不完全性定理 - Gemmaの日記

    ゲーデルの不完全性定理は、数学を扱う数学、つまりメタ数学を考えるが、それだと理解が難しい。しかし、証明(数学)=プログラムという悟りを開くと、プログラムを扱うプログラム、つまりメタプログラムを考えればよくなり、それならコンパイラ等でなじみがあるので理解が優しくなる。 話の流れは以下。 1. プログラムとは何か 2. 証明とは何か 3. 証明=プログラム , (   {、 {   ヽ.ー、、 \、__ぃ._ゝ⌒ヾ iヾ)}、_ ン_ー-_二ー-, 〉 {厶 _、ヽ              _ ヽ._>'´ / /,ィ/ / ハYヘい       ,. -- 〃⌒ r−-、      ィ´  〃 ,イ/7'  ,イイ/ 小ヽ 丶、 ,. ‐ '´ハ i   ″`ヽ、 、ヽ、     /幺ィ  {从{小込v' jゥ仏厶川リ}  YV,   小 Vj. |丶   ヽ ` ー-ミー--'_,辷三彡

    計算モデルと論理とゲーデルの不完全性定理 - Gemmaの日記
    aont
    aont 2010/02/17
    駒場の情報科学でプログラム停止問題と同じっていうのは聞いたことあるなぁ
  • 引き継いだプログラム、「自分のもの」にするには ? | スラド デベロッパー

    この仕事に就いてから、比較的大きなプログラム (3 ~ 4 万行程度) を何度か引き継いだことがある。元々の開発者らは、自分の書いたコードでもあるし (その仕様や動きを) よく理解していたが、自分はそこまでとは言えない。実際、プログラムに修正を入れる際は修正そのものよりも修正を入れるべき正しい位置を探すのに多くの時間がかかってしまう。 このように引き継いだプログラム、どうやったら理解できるようになるのだろうか ? 元の開発者らほどこのプログラムを「理解」できないのは自分の力量の問題ではなく、仕方がないことなのだろうか ? 家 /. には「一から作り直したくなるだろうが、それは絶対に避けるべきだ。汚く見えるコードにも、全て理由があったりするものだ。開発時の相談や議論、意思決定までの過程にいなかったからコードが理解できないのである。一から作り直しても、そういった問題への理解は深まったりはしな

    aont
    aont 2010/02/17
    引き継いだプログラム、「自分のもの」にするには ? - スラッシュドット・ジャパン
  • ニセ科学批判が、常識を逸脱した非行に陥っている原因について - 耀姫の日記   

    ニセ科学批判が、常識から逸脱した叩き行為を生み出して、科学知識や科学的な物事の考え方の普及、ひいては科学の進歩を著しく妨げる、問題性を帯びたものになって暴走していることは、すでに、はてなブックマークのコメント欄の悪用問題に言及した結果、明らかになったと思います。残念ながら、はてなブックマークの信頼性と価値を、著しく押し下げていることが、はっきり見えてきました。その原因は、『ニセ科学批判に多様性・自由性は存在しない。』を読めば、ある程度明らかになるでしょう。ニセ科学批判のスタイルが、ひとつの権威のもとに形成されて、素人考えの解釈で暴走した結果、科学知識を扱う常識から逸脱したものになっていたり、科学的でない発想を繰り広げる異様なものへと変質しているケースが目立つようです。科学の進歩を著しく妨げる問題行動は、糺される必要があると感じます。以下に、どのような錯誤が流行しているか観察し、科学知識とは

    ニセ科学批判が、常識を逸脱した非行に陥っている原因について - 耀姫の日記   
    aont
    aont 2010/02/17
  • MobileHackerz再起動日記: 自宅サーバを無届けで設置すると逮捕される?

    2010/02/16 ■ 自宅サーバを無届けで設置すると逮捕される? 横浜市大中国人留学生 電気通信事業法違反容疑で逮捕(MSN産経ニュース) 埼玉県警浦和東署と生活安全企画課は15日、電気通信事業法違反の疑いで、横浜市立大学2年生で、中国籍の同市南区浦舟町の范●(●=貝2つ)容疑者(27)を逮捕した。 浦和東署の調べでは、范容疑者は平成20年10月~21年7月までの間に、無届けで自宅にサーバー2台を設置し、運営した疑いが持たれている。 浦和東署では、范容疑者のサーバーには平成21年2~7月にかけて、主に中国から延べ約170万件のアクセスがあったことを確認。同署では、范容疑者が無届けでサーバー上に企業サイトのリンクを張り、企業側から約600万円の報酬を得ていたとみている。 21年1月下旬、さいたま市緑区の大学生から「オンラインゲームの仮想マネーが盗まれた」との相談を受け、浦和東署が調べてい

    aont
    aont 2010/02/17
  • IDEA * IDEA

    ドットインストール代表のライフハックブログ

    aont
    aont 2010/02/17