タグ

2013年7月30日のブックマーク (20件)

  • emojitracker: realtime emoji use on twitter

    emojitracker is an experiment in realtime visualization of all emoji symbols used on twitter. it updates at the speed of updates on twitter in realtime, and thus contains rapidly updating visuals that may possibly cause problems for those sensitive to such things? I'm not sure, but I don't want to risk it, so here is a warning!

    InoHiro
    InoHiro 2013/07/30
    すごい
  • http://hatena-anohito.appspot.com/

  • Research Areas - Disney Research

    Visual ComputingWe strive to improve Disney’s production pipelines and creative processes, expanding the designer’s toolbox in terms of rendering, animation, capture, stylization, interaction, and efficiency. Our technology allows designers to tell their story. We also develop algorithms to better understand our audiences and create new modes of interaction.

    InoHiro
    InoHiro 2013/07/30
  • UT-VPN から SoftEther への移行 - naba_san’s diary

    CentOS にインストールしてあった UT-VPN の更新作業。 Scientific Linux とかは言うまでもなく、Debian/Ubuntu 辺りでもやる事は大差ないはず。 チェックポイント: ・設定は「vpn_server.config」と「vpn_client.config」に纏まってる。 ⇒ 中身はテキストで互換性がある。コピーしてそのまま利用する方針で。 ・UT-VPN Client のNICの名称(接頭辞)が「utvpn」から「vpn」に変わる(PacketiX互換)。 ⇒ システム側のインターフェース名が変化するので、適切な修正が必要。 サービスの解除 サービス化している場合のみ、まずはサービスを止め、自動起動を解除。 # service utvpnserver stop # service utvpnclient stop # chkconfig utvpnserv

    UT-VPN から SoftEther への移行 - naba_san’s diary
  • 充足可能性問題のアルゴリズム

    充足可能性問題(satisfiability problem)とは? 充足可能性問題(以下,SAT問題と略す)とは, 理論計算機科学で最も基的で 重要な NP完全問題 の一つである. グラフ理論における 巡回セールスマン問題,頂点彩色問題,独立頂点集合問題, オペレーションズ・リサーチにおける整数計画問題, ゲーム・パズルにおける数独,テトリスなど, 実社会で遭遇する多くの(決定)問題がNP完全問題である. その中でも, SAT問題は,そのNP完全性が示された最初の問題である. 以下の意味で, SAT問題は,NP完全問題の根である: すべてのNP完全問題のNP完全性は, (いくつかの例外を除いて) SAT問題からの有限回の多項式時間還元を経て示された. 例えば, 教科書 [1] では, ハミルトン閉路問題は, 頂点被覆問題からの多項式時間還元により, 更に, 頂点被覆問題はSAT問題か

    InoHiro
    InoHiro 2013/07/30
  • 着想から10年、DNAコンピューターの現状と課題

    InoHiro
    InoHiro 2013/07/30
  • 使いこなせばもしや爆速!?ここ最近助けられたチートシート色々を厳選してご紹介! | バンクーバーのうぇぶ屋

    さて、以前このブログではチートシートに関する記事を書かせて頂きました。もう1年以上前の記事になるんですねー。当時間が経つのは早い物です…。 無くても良いけど、あったら意外と便利なチートシート。得に初心者の間はチートシートと睨めっこしながら色々な技術なりアプリなりと向かい合う事も僕は少なくありません。 しかし、当然チートシート関連もアップデートし続けた方が良い物。いつまでも古いチートシートばかり見ていたら、折角の新機能や便利ツールの存在に気づかず、ぬあーーーー!って成る事もあるやもしれません。 というわけで、今日はここ最近見たチートシート紹介第二弾!チートシートとして手元に置いておけば、いざというとき便利かもしれない物を、比較的新しそうな物から共有させて頂こうかなと思います! それで行ってみましょー! OverAPI.com | Collecting all the cheat sheet

    使いこなせばもしや爆速!?ここ最近助けられたチートシート色々を厳選してご紹介! | バンクーバーのうぇぶ屋
  • 分散遺伝的アルゴリズムの説明

    分散遺伝的アルゴリズム(Distributed Genetic Algorithm : DGA) 分散遺伝的アルゴリズム(Distributed Genetic Algorithm : DGA)とは単一母集団GA(Single Population Genetic Algorithm : SPGA)の母集団を複数の分割母集団(島)に分割し,各島内で遺伝的操作を行うというGAの並列化モデルの1つである.DGAでは各島間で解探索の情報を交換するために,移住という操作を行う. DGAの流れを右下図に示す.SPGAの流れと異なるのは移住(Migration)という操作が加わった点である. 移住は,数世代に一度,各島内で選ばれた1つまたは複数個の個体(移住個体 : Migrant)を別の島と交換することで実現される.このとき,各島内における移住個体の割合を移住率(Migration Rate),何世

  • reCAPTCHA - Wikipedia

    reCAPTCHA(リキャプチャ)とは、ウェブサイトの制限エリアへのアクセスを試みるボットからサイトを防御するためCAPTCHAを利用するのと同時に、そのCAPTCHAに対する返答を紙ののデジタル化に活かすシステムである。 オリジナルは2007年にカーネギーメロン大学ピッツバーグ校にて開発された[1][2]。 2009年9月16日にGoogleはこのテクノロジーを買い取っている[3][4]。 現在reCAPTCHAはニューヨーク・タイムズが持つ記事アーカイブの電子化[5][6][7]及びGoogle ブックス[7]の書籍電子化に利用されている[8]。前者は2009年の時点で、130年分を超えるという全記事のうち約20年分のデジタル化を2、3ヶ月で完了しており[9][10]、残余は2011年末までの完了を目指していた[11]。 reCAPTCHAは、OCRソフトウェアが読み取れなかった文

    reCAPTCHA - Wikipedia
  • Early Stage VC Firm - Sierra Ventures

    Hiro Yoshikawa, Kazuki Ohta, and Sadayuki Furuhashi

    Early Stage VC Firm - Sierra Ventures
    InoHiro
    InoHiro 2013/07/30
  • ゆーすけべー日記

    ユーザーからのPOST等された入力値の妥当性をチェックする Validation をどこでやるか問題が個人的にありまして〜、DBを使わないケースならばいわゆるFomrValidator::*を使ってControllerでやればいいのですが、Modelを経由するようなアプリだとControllerだけじゃ不安よねぇ〜、Modelだけ使う時もあるし、Model単体のテストで再現出来ないよね〜なんて思ってます。で、実際の実装をControllerではFormValidator::Lite、Modelの一部にData::Validatorを使っているのですが、なんかコレも効率悪い感じしてたんで、ちょいと実験的に理想の一つを実装してみました。 こんな条件です。 エラーメッセージを簡単に設定したいのでValidationモジュールにはFormValidator::Liteを使う 色々錯誤していたらOR

    ゆーすけべー日記
    InoHiro
    InoHiro 2013/07/30
  • 算術級数定理 - Wikipedia

    この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方) 出典検索?: "算術級数定理" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL(2015年11月) 算術級数定理(さんじゅつきゅうすうていり、theorem on arithmetic progressions)は、初項と公差が互いに素である算術級数(等差数列)には無限に素数が存在する、という定理である。ペーター・グスタフ・ディリクレが1837年にディリクレのL関数を用いて初めて証明した。そのため、定理はしばしばディリクレの算術級数定理と呼ばれる。 定理の言い換えとして、 である自然数 a, b に対し、 (n は自然数)と書ける素数が無限に存在する、とし

  • 東京の世界遺産、小笠原諸島のビーチがストリートビューに

    メディア関係者向けお問い合わせ先 メールでのお問い合わせ: pr-jp@google.com メディア関係者以外からのお問い合わせにはお答えいたしかねます。 その他すべてのお問い合わせにつきましては、ヘルプセンターをご覧ください。

    東京の世界遺産、小笠原諸島のビーチがストリートビューに
  • NP完全問題を解くDNAコンピュータ

    ネットワーク研究室 担当教官 坂直志准教授 03KC091 藤原久敬 目次 第一章.はじめに 第二章.準備 NP完全 グラフ 多項式時間 多項式時間で解けない問題の構造とNP P=NP問題 帰着 NP完全(NPの性質) P=NP問題の現状 DNA DNAの構成 DNA間の結合 DNAの実験装置 第三章.研究の内容 Leonard M.Adleman Molecular computation of solution to combinational problemのレビュー 要約 有向ハミルトンパス問題 Adlemanのアルゴリズム まとめ A Sticker-Based Model for DNA Computation のレビュー 要約 情報の表現方法 基演算 最小被覆問題 stickers modelを使ったアルゴリズム 基演算の実装 初期化と解の検出 stickers ma

  • climateprediction.net - Wikipedia

  • Folding@home - Wikipedia

    Folding@home(フォールディング・アット・ホーム[4]、FAH、F@hとも呼ばれる)は、タンパク質の動的なふるまいをシミュレートすることで、科学者が様々な疾患に対する新しい治療法を開発できるよう支援することを目的とした分散コンピューティングプロジェクトである。 これにはタンパク質のフォールディングやタンパク質の動きのプロセスが含まれており、ボランティアのパソコン上で実行される分子動力学シミュレーションに依存している。Folding@homeは、2000年10月1日にビジェイ・パンデ教授の指揮のもと、スタンフォード大学で発足した。2019年以降は、セントルイス・ワシントン大学医学部に拠点を置き、パンデ教授の元教え子であるグレッグ・ボーマン博士が指揮している。 このプロジェクトは、分散コンピューティングや科学研究を行うために、グラフィックス処理装置(GPU)、中央処理装置(CPU)、

    Folding@home - Wikipedia
  • BOINC client–server technology - Wikipedia

    Visual diagram of BOINC client–server structureBOINC client–server technology[1] refers to the model under which BOINC works. The BOINC framework consists of two layers which operate under the client–server architecture. Once the BOINC software is installed in a machine, the server starts sending tasks to the client. The operations are performed client-side and the results are uploaded to the serv

    BOINC client–server technology - Wikipedia
  • Expired

    Expired:掲載期限切れです この記事は,産経デジタル との契約の掲載期限(6ヶ月間)を過ぎましたのでサーバから削除しました。 このページは20秒後にITmedia ニュース トップページに自動的に切り替わります。

    InoHiro
    InoHiro 2013/07/30
  • 【AWS】JenkinsとserverspecでChefのテストを自動化する | DevelopersIO

    はじめに こんにちは植木和樹です。相変わらずCloudFormationとChefな毎日を送っています。そのおかげで、最近は実験用サーバを設定するときにも極力手作業はなくし、CloudFormationやChefを使って自動化・省力化する習慣がつきました。以前作ったCookbookを使用して、コマンド1つで新環境が構築されたときって気分いいですよね。 さてChefのCookbookが増えてきて徐々に再利用が進んではいるのですが、Cookbookを作成してから数週間もすると「当にこのクックブックはまだ動くのかな?」と不安になってきます。ここはやはり、Cookbookが正しく適用されることを継続して保証する仕組みがほしいところです。 日はChef Cookbookのテスト自動化の一例として、JenkinsからEC2を起動してからchef-soloを使ってCookbooksを適用し、その後s

    InoHiro
    InoHiro 2013/07/30
  • Google Chromeでは(Ajaxで)ローカルファイルにアクセスしようとするとエラーになることについて、他 - エンジニアのソフトウェア的愛情

    ちょっとつまずいたので記録。 経緯。 http://textile.thresholdstate.com/でマークアップしたテキストをウェブブラウザで表示できないかと考えた(性懲りもなくまた無節操にいろいろ手を出してます)。 Textileを解釈してHTMLに変換してくれるJavaScriptのスクリプトを見つけたので、これを使おうと考えた。 Textileでマークアップしたテキストは表示するHTMLファイルとは別ファイルにしようと考えた。 そこでブラウザで表示されたときにjQuery.getメソッドでTextileで書かれたファイルを読み込もうとした。 Google Chromeを使ってテストしたら表示されなかった。ChromeJavaScriptコンソールを開いてみると「XMLHttpRequest cannot load file:///(中略)/sample.textile. O

    Google Chromeでは(Ajaxで)ローカルファイルにアクセスしようとするとエラーになることについて、他 - エンジニアのソフトウェア的愛情