自動微分 ≪フォワード・モード≫ - d.y.d.
23:21 11/12/22 今年読んだ面白コンピュータサイエンス論文紹介カレンダー 第 n (1<n) 週目モードです。 ☆ 「難しい問題」 ☆ 「名のない関数」 ☆ 「演算のせいしつ」 「難しい問題」 [5] R. Impagliazzo and L. A. Levin. "No Better Ways to Generate Hard NP Instances than Picking Uniformly at Random." FOCS 1990. ランダム生成に興味があります。 パズルゲームを作りました。 さて、手強い難易度の面データを無限にランダム生成するにはどうすればいいだろう。 プログラミングコンテストの問題を作りました。 さて、自動チェック用のテストデータをランダム生成するにはどうすればいいだろう。 適当なランダム生成では、簡単なケースばっかり作られてしまい 嘘解法 に突
西安で2000年前の前漢夫人墓を発見_新華網
【新華社西安12月15日】西安市の鳳棲原前漢家族墓地の夫人墓発掘作業がまもなく終了する。墓主の夫人はシルクの着物を着て、玉の腕輪と金の指輪を身につけ、多くの美しい漆器が副葬されており、非常に美しい女性だったように思われる。陝西省考古研究院が明らかにした。 夫人墓はこの家族墓地で唯一、盗掘を受けておらず、保存状態が良好だった。傾斜のある墓道を持つアーチ式洞室墓で、墓道の北側にはレンガで組まれたアーチ型の耳室があり、全長は約２６メートル、深さは約１０メートルだった。墓室の長さは５メートル、天井の高さは２メートルで、約７平方メートルの室内に内棺と外棺が置かれていた。棺には彩色画が描かれていた痕跡があり、図案は不明瞭だが、非常に美しかったようだ。 陝西省考古研究院の丁岩氏は次のように述べた。墓室の手前側では３点の漆器皿、２０点の漆器イヤリング、２０点あまりの漆が塗られた金属製のボタン、１点の彩色漆
MMDモデル公開が示唆するgdgd妖精sの対二次創作者戦略 - バレエイメージ研究所日誌
gdgd妖精sの３妖精のMikuMikuDanceモデルがWindows100%という雑誌の付録として公開された。正直、私自身はこうした形でのモデル公開はないのではと予測していたが、良い意味で裏切られた。 gdgd妖精sの番組制作姿勢として示唆的なのは毎回パロディ的な要素が盛り込まれている点である。それも、他番組よりももう一歩踏み込んでいる形での表現が目立つ。次回予告（実質的に予告にはなっていないが）で定番となった音楽・画像の類似的な表現、そして本編内でも既存のゲーム、特に既存の有名なコンシューマーゲームまでも対象としていたケースもあった。著作権にはかなりうるさいと考えられる企業の作品を相手にあえてこうした表現をするのは制作側としては相当な冒険といえる。 だが、こうした姿勢は当然のことながら二次創作者たちの強い共感を呼ぶ。それはある種の同志意識にもつながる。著作権を主張する側ではなく、「わ
NTT HOME > NTT持株会社ニュースリリース > 任意のエリアでクチコミ情報に簡単にアクセス出来る時空間マップ型Web検索技術（Dig-A-Map）を世界で初めて開発
NTT HOME>NTT持株会社ニュースリリース>2011年>任意のエリアでクチコミ情報に簡単にアクセス出来る時空間マップ型Web検索技術（Dig-A-Map）を世界で初めて開発 （報道発表資料） 平成23年12月15日 日本電信電話株式会社 任意のエリアでクチコミ情報に簡単にアクセス出来る 時空間マップ型Web検索技術（Dig-A-Map）を世界で初めて開発 ～クライアントアプリ「発見探地図エリアダス」をAndroidマーケットで無償配布開始～ 日本電信電話株式会社（本社：東京都千代田区、代表取締役社長：三浦 惺、以下NTT）は、任意のエリア及び期間における話題のキーワードを地図上に表示し、当該のキーワードに関するクチコミ情報に簡単にアクセス出来る「時空間マップ型Web検索技術：Dig-A-Map」（図1参照 ）を開発いたしました。 今後の検索技術の精度向上を実現するため、利用者の皆様か
できる！並列・並行プログラミング
現在のマルチスレッドプログラミングの抱える問題点と、代替案をわかりやすく解説いたします。最近登場したConcurrent Revisionsも解説します。Read less
ララビアータ:死と言語（ハイデガー・フォーラム講演）（１） - livedoor Blog（ブログ）
先日のハイデガー・フォーラムでの講演についての要旨を、フォーラム事務局に送った。いずれフォーラムの冊子で発表されるはずだが、商業誌ではないから、ここに掲載しても許されるだろう。以下、数回に分けてここに公表するつもりだ。 Ⅰニーチェ 我々はハイデガーの「ニーチェ」を論じることをしない。その理由は、ハイデガーがニーチェのテクスト論的問題を徹底的に無視しているからである。我々はと言えば、その点にこそニーチェの問題性を見るのである。それは、テクストが読者に対して挑戦し、誘惑し、試練にかけつつ選別するというパフォーマティヴな作用をもっているということである。オーステインはパフォーマティヴな言語作用について語りはしたが、自身の哲学をパフォーマティヴに展開したのではなく、あくまでもコンスタティヴに記述している。ところがニーチェにおいては、自身の主張内容がそのパフォーマティヴな言語使用と一体不可分なもので
eclipse-scala-tools 0.0.3をリリースしました - たけぞう瀕死ブログ
eclipse-scala-tools 0.0.3をリリースしました。eclipse-scala-toolsはScalaIDE for Eclipseの機能を補完するためのEclipseプラグインセットで、現在はSBTをサポートするための機能を実装しています。 https://bitbucket.org/takezoe/eclipse-scala-tools/wiki/Home 今回のバージョンアップでの追加・修正点は以下のとおりです。 sbt 0.11をサポートしました *.sbtファイルのためのエディタを追加しました（強調表示など基本機能のみ） 依存関係の更新後に自動的にクラスパスが更新されるようにしました。 いくつかのバグを修正しました ここのところ若干放置気味でしたが、使ってくださっている方もいらっしゃるようなので地道にメンテナンスを続けていこうと思います。giter8のテンプレー
型宣言、ホーアトリプル、関数定義は同じもの - 檜山正幸のキマイラ飼育記 (はてなBlog)
内容： 型宣言とホーアトリプル 関数定義とホーアトリプル ホーア論理とホーアセオリー 伴意順序 いろいろな概念を統合できるかな 型宣言とホーアトリプル fが関数だとして、f:X→Y という形はfの型宣言だとみなせます。話を簡単にするために、「型とは集合だ」と考えましょう。これから考える集合 A, B, C などは十分にに大きな集合Uの部分集合だとします。コンピュータで計算する関数に関しては、そんなUが存在します。 p, q などが論理式だとして、ホーアトリプルを p{f}q の形で書きます。pが事前条件、fが実行文（を表す関数）、qが事後条件です。ホーアトリプル p{f}q の意味は次のとおりです。 p(x) が成り立つ状況で f をすると、q(f(x)) が成り立つ。 論理記号で書けば、∀x.[p(x)⊃q(f(x))] です。ここで、「⊃」は「ならば」を意味する含意記号です。 ホーアト
Multiverse - Java based Software Transactional Memory implementation
Overview Multiverse is a Java based Software Transactional Memory (STM) implementation that wants to realize the following goals: Seamless integration in the Java language: done through annotations and bytecode instrumentation. For more information check the 60 Second guide to Multiverse or check the documentation overview for a complete listing of guides/manuals and literature. Language independe
2011-12-14
前回ははやぶさサンプルの取り扱いのお話をいただきました。今回はサンプルの分析についてです。 −「ただはやぶさの持ち帰ったサンプルは、予定よりずっと少なかったと聞きます」 長尾教授（以下N）「当初の予定では、はやぶさからイトカワの表面に弾丸を撃ち込み、舞い上がった“砂”を数グラム回収してくるはずでした。ただそれはうまく行かず、微粒子をわずかに回収できただけでした」 はやぶさは、5gのタンタル製の弾丸を300m/秒の速度でイトカワ表面に撃ち込み、舞い上がった岩石を回収する予定であった。 −「1マイクログラムもないほど？」 N「我々が測定した粒子は、簡単には重さが量れないほど小さいので推定するしかないですが、大きい粒で0.2マイクログラム、小さいのは0.06マイクログラム程度と思われます」 −「全然目には見えないレベルですね」 N「はい。こういうチリが1500粒ほど取れていたんですが、他の大学や
エンカウントについて考えてみる | うえぽんのゲームランド
【はじめに】(2004/08/22) ｒｐｇで敵に遭遇するのをエンカウントと言います。エンカウント方法は単純なように思えて、実は奥深いです。そこでこのページではエンカウントに付いてあれこれ考えてみたいと思います。 ちなみに、以前書いた「レトロゲームにおける確率論」も多少関係するので、興味ある方は読んでみて下さい。 【エンカウント方法】(2004/08/22) ■ルーレット方式■ 一歩進むたびにルーレット（もしくはサイコロ）を回し、アタリならエンカウントする方法です。正しい呼び方じゃないかも知れませんが、一応ここではルーレット方式と呼ぶ事にします。 この方式は誰もがすぐに思いつくものですが、確率を計算してみると非常にバランスが悪い事が分かります。例えば、６面体のサイコロで赤ピンが出たらエンカウントすることにしたとします。この時、何歩歩いたらエンカウントするかを求めると、次のようになります。
植物巨大化の遺伝子発見 名大、果実収量拡大に応用も
印刷 メール 植物巨大化の遺伝子発見 名大、果実収量拡大に応用も 大きなイチゴや、バイオ燃料が多く採れる作物を作るにはどうしたらいいか――。名古屋大の研究グループが、植物の細胞分裂を促すたんぱく質を特定の遺伝子がコントロールしている仕組みを解明した。この遺伝子を活用すれば、果実などの特定の部分だけを大きくして収量を上げられる可能性があるという。 解明したのは同大大学院生命農学研究科の伊藤正樹准教授らのグループ。研究成果は１３日付の米国植物科学専門誌「Ｔｈｅ Ｐｌａｎｔ Ｃｅｌｌ」の電子版に掲載された。
ノアの箱舟実在した証拠、ウェブサイト上で公開
創世記に記述されている「ノアの箱舟」が漂着されたとされるトルコのアララト山で、箱舟が実在した証拠が次々と発見されており、「ノアの箱舟が発見された」というタイトルのウェブサイトで公開されている。縦７メートル３２センチ×横３７メートル５０センチの大きさの大きな木片が、アララト山山頂から１０７メートル下の氷河に覆われた部分で発見されているという。アララト山はこれまで創世記で記述されている洪水が生じた際にノアの箱舟が漂着した山であることが示唆されてきた。９日、米クリスチャンポスト（ＣＰ）が報じた。 アララト山にノアの箱舟が漂着したことに関する数多くの話がなされてきたが、科学的に箱舟の存在した証拠および存在した位置に関しての実証はこれまでされたことはなかった。同リサーチプロジェクトを率いるトリニティ・コーポレイション、シャムロックＣＥＯ兼社長のダニエル・マッギバーン氏は、ホームページ上にアララト山で
Googleストリートビュー乱射ゲーム、グーグルにAPIを遮断されあっという間に終了 | 秋元@サイボウズラボ・プログラマー・ブログ
昨日ご紹介した、グーグルのストリートビューを使って世界の街角で自動小銃を撃つサービスGoogleシュートビューが、サービス終了しました。サイトには”Ctrl + alt + delete”の文字だけが表示されています。終了という意味? Business Insider Advertisingが報じるところによると、このプロモーションを製作したオランダPool Worldwide社のクリエイティブ・ディレクターErwin Kleinjan氏が「グーグル社が利用規約違反を理由にAPIの利用許可を撤回した」と語ったということです。 金曜に公開され、月曜に停止されたこのサービス、ピーク時には一秒に3000人の訪問者を集め、サーバーがクラッシュしたこともあったとか。 利用規約のどこに違反したのかはわかっていませんが、グーグル社としてはストリートビューのイメージが悪くなると判断したんでしょうかね。
雪ミク電車を運行します。／札幌市
昨年に引き続き、今年も市電の会及びクリプトン・フューチャー・メディア株式会社と協力して雪ミク電車を運行することになりました。 ロープウェイがリニューアルする藻岩山を応援する雪ミクをフルラッピング（昨年はハーフラッピング）で表現しています。 内装と車内放送も通常車両と違った特別バージョンになっていますので、雪ミク電車に是非ご乗車ください。 （写真は昨年の雪ミク電車） 運行期間 平成23年12月19日（月曜日）から平成24年3月30日（金曜日）まで 運行ダイヤ 天候等により、運休または運行時刻が変わる場合がありますので、予めご了承ください。 平日
小野和俊のブログ:罪悪感駆動開発(zaiakukan-driven development; ZDD)
みなさんは罪悪感駆動開発(zaiakukan-driven development; ZDD)という言葉をご存知だろうか。私はつい先ほどまでこの概念を知らなかった。なぜなら先ほど自分で思いついたばかりだからだ。 仕事をしていく中で、やるべきことが山積みなのについネットサーフィンをしてしまい、「うわ、今日仕事全然進んでない、やばい」という罪悪感から、その後の仕事が妙に捗る、という経験をしたことがある人は少なくないだろう。 罪悪感駆動開発は、こうした危機感や罪悪感といった人間が本来持っている感情を引き出すことで、より高い仕事の成果を上げていくことを志向する。 罪悪感を感じるポイントは人によって個人差があるが、一般に仕事中に罪悪感が高まりやすい充填行為として、次のようなプラクティスが広く認知されている。 (a) 昼寝 (b) ネットサーフィン (c) ゲーム (d) タイピングソフトでランキング
ミドリムシ：新たな食品として注目 温暖化防止にも貢献 - 毎日ｊｐ(毎日新聞)
プランクトンの一種、ミドリムシが新たな食品として注目を集めている。理論上は「これと主食だけで人間が生きられる」というほど栄養豊富で、地球温暖化防止にも貢献できるとか。５億年前から存在する体長０．０５ミリの微生物の将来性やいかに。【田村佳子】 「ミドリムシは人間に必要な栄養をすべて持っている」。沖縄県の石垣島に、ミドリムシを大量培養するプラントを持つ「ユーグレナ」社の出雲充社長（３１）は話す。０５年の創業以来、６２００兆匹が生まれたという。洗浄、濃縮し、粉末にすると食品の材料になる。 栄養素はビタミンなど５９種類。人が体内で作り出せない必須アミノ酸も９種類すべてを含む。粉末１グラム（ミドリムシ約１０億匹）中の鉄分はホウレンソウ５０グラム分、葉酸はサンマ５０グラム分。ＤＨＡ（ドコサヘキサエン酸）も生成する。青魚のＤＨＡも食物連鎖の元をたどればミドリムシが製造元の一つという。 東大との産学連携で
探査機ボイジャー、太陽圏外からの「向かい風」を初検出
【2011年12月14日 NASA】 NASAの探査機「ボイジャー1号」が太陽系の果ての新たな領域に入ったことがわかった。この領域では太陽圏から外向きに出ていく粒子だけでなく内向きに入ってくる粒子も観測されており、「よどみ」のようなものが形成されている領域であると考えられる。 「ボイジャー」は現在太陽から178億kmのところにいる。現在いる「よどみ」（stagnation）は太陽から169億kmのところに内側の境目があることがわかっている。クリックで拡大（提供：NASA/JPL-Caltech） この新しい領域では太陽圏外に向かう荷電粒子の流れはゆるやかになり、太陽の磁場の影響も小さく、高エネルギーの粒子は星間空間へと漏れ出ているようだ。ボイジャー1号は太陽系の磁気バブル（参照：2011/6/13「太陽系の果ては磁気バブルで覆われている？」）に覆われた一番外側の領域の中で、「よどみ」のよう
はやぶさ「こんなこともあろうかと！」のJAXA國中教授の話が面白すぎました #cybozusummit : ゼロスタートの広報ブログ
2011年12月14日19:25 はやぶさ「こんなこともあろうかと！」のJAXA國中教授の話が面白すぎました #cybozusummit カテゴリイベント行ってみた Tweet みなさま、寒くなってまいりましたが、いかがお過ごしでしょうか。 ゼロスタート広報もりのです。 （ちなみに、わたくしは、この冬まだ風邪をひいておりません） 先日、技術評論社さん×サイボウズさん共催、 日本マイクロソフトさん協賛の 「エンジニアの未来サミット for students 2011」 第3回にお邪魔してきましたので、 今回は、その様子をお送りしたいと思います。 第三回となる本イベントでは、 無人小惑星探査機「はやぶさ」プロジェクトのイオンエンジン開発を担当された 國中 均 JAXA宇宙科学研究所 教授が登壇されるとのことで、 もう朝からハイテンションでございます。 というわけで、今回
医師がオープンソースソフトウェアを開発する合理的な理由
医師としての本業がありながら、ソフトウェアを作るのにはいろいろな理由があると思うが、それをオープンソースソフトウェアとすることは他の選択肢をはるかに上回るメリットがある。 EUCに関するツールがいくらでも公開されており、オープンソースソフトウェアで簡便なソフトウェア開発フレームワークが公開されている今、自分のためのソフトウェアを作成することはそう難しいことではない。大学あるいは高校の教程としてソフトウェアを作ることを学んだ経験を持つものも多いだろう。しかしながら、本業が忙しい中でさらに手間のかかることをやろうとするからには、それなりの理由をみんな抱えている。 既存のソフトウェアへの不満とその解決知的好奇心大学院等での研究活動の一環として多くはこの３つであろう。現在の「電子カルテ」は問題解決へのモチベーションを十分に与えてくれるものであり、古くはLHAの吉崎栄泰先生の例もある。趣味の一環とし
今までで一番泣けたアニソン
■編集元：アニソン等板より「今までで一番泣けたアニソン」 1 ななしいさお＠オマエモナゆりかご会 :2007/03/21(水) 21:14:20 ID:1F9ixau+ 今まで聞いていて一番泣けたアニソンを教えくれ Fate/stay night挿入歌 ヒカリ/樹海 続きを読む
ありがちな光景
Tweets by @kumicit ■東芝がウェスチングハウスをコントロールできないことが勝利の決め手だった？(04/09) ■人生に意味を与えるUFO(03/14) ■UFO統計(03/14) ■2011年9月20日(01/30) ■180年くらい歴史がありそうな都市伝説「ブアメードの血」(08/06) ■143年の歴史を誇る都市伝説「ブアメードの血」Update 2016/08/05(08/05) ■メモ「人種偏見と発砲判断」(07/24) ■ハーブレメディは見過ごされている世界的健康被害(05/30) ■メモ「メスメリズムで死人が蘇生すると書いてたHahnemann」(05/08) ■メモ「ホメオパシーとデュナミスの関連調査中...」(05/05) ■メモ「危機的状況化での非難の政治力学」(04/24) ■メモ「災害後の人々の行動」(04/21) ■東芝がウェスチングハウスをコント
ヒッグス粒子：５００兆回の衝突分析 浅井准教授「不眠不休でも楽しく」 - 毎日ｊｐ(毎日新聞)
質量の起源とされ、世界中の物理学者が４０年以上追いかけてきた「ヒッグス粒子」が存在する可能性が高まった。欧州合同原子核研究所（ＣＥＲＮ＝セルン）は１３日の発表で「発見というにはまだ十分ではない」と言葉を選びながらも、粒子が存在する可能性を示唆。同日夜、東京大で記者会見した日本の研究グループは「興味深いデータが得られている」と、発見の瞬間に期待を寄せた。【野田武】 ヒッグス粒子を探索することは、物質に質量があるのはなぜかという疑問に迫る一方、謎に満ちた宇宙誕生時の様子を知ることにもつながる。 宇宙は１３７億年前に誕生したが、望遠鏡を使った天体観測で探ることができるのは、星の光が地球に到達できる、宇宙誕生後約３７万年から現在までに限られる。それ以前の宇宙は高温高圧のガスで満たされ、電子と陽子がばらばらになった「プラズマ状態」だったため、光が伝わらず観測できないのだ。 ＣＥＲＮにあるＬＨＣ（大型
性犯罪前歴者の住所届け出…大阪府が条例提案へ : 社会 : YOMIURI ONLINE（読売新聞）
大阪府は１３日、１８歳未満の子どもに対する性犯罪前歴者に対し、居住地届け出を義務づける全国初の条例案を、来年２月府議会に提案する方針を決めた。 府として、臨床心理士や精神科医によるカウンセリングなどを通じて前歴者の社会復帰を支援し、再犯防止につなげるとともに、子どもを犯罪から守る狙い。 府青少年健全育成審議会の部会が同日、居住地届け出の義務化を求める報告書をまとめており、府は今後、この報告書を基に条例案の策定に着手する。 １８歳未満の子どもへの強姦(ごうかん)や強制わいせつ、児童ポルノ製造などに関わった前歴者に対し、出所後５年間、府への居住地届け出を義務づける見通しで、違反者には過料など行政罰を科すことも検討する。
６５歳まで再雇用義務付け…厚労省方針 : 社会 : YOMIURI ONLINE（読売新聞）
厚生年金の支給開始年齢の引き上げに伴い、加入者が無収入となる期間をなくすため、厚生労働省は企業に対し、希望者全員を６５歳まで再雇用するよう義務付ける方針を固めた。 また、契約社員などについては、勤続年数が一定期間となった場合、現在は原則３年を上限に区切られている契約期間を無期限に転換させる制度の導入も目指す。労働政策審議会で提案し、同省は来年の通常国会での法改正を目指すが、経営者側は強く反発している。 厚生年金の定額部分は２００１年から支給開始年齢が引き上げられており、１３年４月には報酬比例部分については６０歳から６１歳になるほか、その後、段階的に６５歳まで引き上げられる。多くの企業は定年を６０歳としているため、１３年度には６０歳以降も希望者全員が働けるようにしないと、年金も収入もない人が出る可能性がある。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
2011.12.12 HRN/TGF 福島原発事故シンポジウム 押川講演
【原発】大震災でドラム缶1200本転倒 福島第一
はてなブログ | 無料ブログを作成しよう
川崎ムネリンのイチローへの愛は本物 : ニュー速VIPブログ(`･ω･´)