2013年5月13日のブックマーク (4件)

  • suz-lab.com - suz lab リソースおよび情報

    This webpage was generated by the domain owner using Sedo Domain Parking. Disclaimer: Sedo maintains no relationship with third party advertisers. Reference to any specific service or trade mark is not controlled by Sedo nor does it constitute or imply its association, endorsement or recommendation.

    suz-lab.com - suz lab リソースおよび情報
    tsuyosix
    tsuyosix 2013/05/13
  • エルデシュ数 - Wikipedia

    エルデシュ数(エルデシュすう、Erdős number)またはエルデシュ番号とは、数学者同士、あるいはもっと広く科学者同士の、共著論文による結び付きにおいて、ハンガリー出身の数学者ポール・エルデシュとどれだけ近いかを表す概念である。エルデシュに共著論文が非常に多いことから、その友人たちによって、敬意とユーモアを込めて考え出された。今日では科学者のコミュニティにおいてよく知られており、エルデシュと近いことが名誉であるかのように半ば冗談めいて語られる。 定義[編集] アリスはエルデシュと共著で論文を書き、ボブとも共著で論文を書いているとする。そして、ボブとエルデシュには直接の共著論文がないとする。ボブが共著論文をたどってエルデシュに行き着くためには2回のステップが必要であるため、ボブにはエルデシュ数2が与えられる。 ある者が新たにエルデシュ数を得るためには、すでにエルデシュ数が与えられている者

    エルデシュ数 - Wikipedia
    tsuyosix
    tsuyosix 2013/05/13
  • Loading...

    tsuyosix
    tsuyosix 2013/05/13
  • RailsでRDSを利用する時のタイムゾーンの設定など | とりあえず残しとくか

    RDSについてはMySQLのタイムゾーンの指定ができないようだ。 残念ながらRDSのシステム設定上のタイムゾーン (default_time_zone)はUTC固定となり、変更する事はできません。 クライアントからアクセスする際に適宜 mysql> SET SESSION time_zone="Asia/Tokyo"; などとして設定してお使い下さい。 https://forums.aws.amazon.com/thread.jspa?threadID=63355 2011年3月の情報ではあるけど、現在でもAWS Management Consoleで変更できなかった。 というわけでセッションの度に SET SESSION time_zone="Asia/Tokyo"; をやりたいのだけど、それをRuby on Railsでやる方法を探した。 タイムゾーンではないけど、セッションパラメータ

    tsuyosix
    tsuyosix 2013/05/13