約10万時間を要した宇宙論的シミュレーションを数秒で再現することに阪大が成功
大阪大学(阪大)は5月27日、10万時間におよぶ宇宙論的シミュレーションから得られた銀河間物質のガス分布(特に中性水素)を、機械学習技術によって数秒で再現できる新しい数値計算手法を開発することに成功したと発表した。 同成果は、阪大大学院 理学研究科の長峯健太郎教授、同・清水一紘特任研究員(現・四国学院大学 准教授)、スペイン・カナリアス天体物理学研究所(IAC)のフランシスコ・シュウ・キタウラPI、同・フランチェスコ・シノガリア大学院生(スペイン・ラ・ラグーナ大学/イタリア・パドヴァ大学にも在籍)、同・アンドレス・バラゲーラ・アントリネス研究員らの国際共同研究チームによるもの。詳細は、米天体物理学専門誌「The Astrophysical Journal」に2本の論文として掲載された。 現在の天文観測から、宇宙で我々が観測可能な通常物質は5％ほどで、残りはダークマターが約25％、宇宙を膨張
チューリング賞、コンパイラ技術の開発に貢献した研究者2人に
コンパイラと呼ばれる重要なソフトウェア開発ツールがなければ、コンピューターを制御するために、人間には理解が難しい機械語の世界まで降りていく必要が生じていたことだろう。この功績を称えて、高い権威を誇るチューリング賞の2020年の受賞者に、コンパイラの開発に貢献したAlfred Aho氏とJeffrey Ullman氏が選ばれた。 計算機学会（ACM）は毎年チューリング賞の受賞者を選出し、100万ドル（約1億1080万円）の賞金を授与している。ACMによると、コンパイラ技術の先駆けとなったUllman氏とAho氏の共同研究は、1967年にAT&Tの著名な研究施設であるベル研究所で始まった。 現在、Ullman氏はスタンフォード大学の名誉教授で、コンピューターサイエンス関連のeラーニング企業Gradianceで最高経営責任者（CEO）を務めている。Aho氏はコロンビア大学の名誉教授だ。
コンピューター科学のアカデミック業界の残念な現状
mhoye on Twitter: "Extremely angry with the state of academic CS research right now. (1/n)" MozillaでFirefoxのエンジニアリングコミュニティマネージャーであるMike Hoyeが、コンピューター科学におけるアカデミック研究の残念な現状に激怒している。 コンピューター科学のアカデミック研究の現状に激怒している。 MozillaがBugzillaを始めとした多数の情報を公開した結果として、多くの研究論文が書かれている。 我々はそのような研究には注目している。論文はじっくり読んでいるし、研究結果にしたがって今後の方向性も決めている。 しかし、我々は常に変化する世界に生きている。そのため、我々はデータをもとに結果を再検証して、仮定が正しいことを確認する。 ここで我々が行いたいことは、我々はある意
400年の難問、｢ケプラー予想の証明｣やっと100％終わる
400年の難問、｢ケプラー予想の証明｣やっと100％終わる2014.08.13 22:0018,572 satomi コペルニクスが提唱した地動説を、天体運行法則で不動のものにした偉人ヨハネス・ケプラー。 そのケプラーが1611年に提唱した｢球は、八百屋に山盛りのオレンジみたいにピラミッド型に並べると一番沢山入る｣という説が、400年の歳月を経て、100％正しかったことがコンピュータの力で証明されました。 この立体最密充填の解答は、誰でも直感的になんとなく正しいことがわかります。けれども証明するとなると超厄介で、世界歴代の天才がいくら頭脳を結集しても証明できなくて、ずっと｢定理｣ではなく｢ケプラー予想｣と呼ばれ続けてきた難題中の難題です（参考）。 証明したのは、米ピッツバーグ大学のトマス・ヘールズ教授です。もともと氏が1998年に発表し、｢フェルマーの最終定理以来の難問が解けた！｣と世界中
科学者が書いた質の低いコードが、ベストプラクティスに則ったコードに勝る理由 | POSTD
今ちょうど、 科学者の手によるコードは質が低い という投稿を読み終えたところです。科学者の書いたコードは”ソフトウェア・エンジニア”が関与したコードと比べて質が劣るという内容でした。 私は10年以上同じ職場に勤めていますが、同僚の多くは数学や物理学が専門で、”ソフトウェア・エンジニアリング”の知識はほとんど持っていません。 そこでは、大惨事は必ずと言っていいほど、自分のことをいっぱしのプログラマだと思っている少数派によって引き起こされます。かくいう私も、少なくとも数件、いまだ解決を見ていない大きな不具合の原因を作ったことがあります。他にも大きめのバグをいくつか出しましたが、幸いその時のコードはお蔵入りしたため、私に無駄な給料を払わされた雇い主が被害をうけたくらいで、同僚の生産性を大きく損なうことはありませんでした。 その度（少なくともほとんどの場合）私は反省し、それまでにも増して退屈なくら
【ボイド】JavaScriptとHTML5で『群れ』をシミュレーションしてみよう【プログラミング】 - あのねノート。
2013-09-28 【ボイド】JavaScriptとHTML5で『群れ』をシミュレーションしてみよう【プログラミング】 適当プログラミング解説シリーズ やり方 はじめに。 ボイドを知っていますか？ボイド(Boids)はCraig Raynoldsによって発表された人工生命シミュレーションプログラムです。Boidsとはによると、以下のように記述されています。 Boid（ボイド）とは、1987年にCraig Raynoldsによって発表された理論です。 この理論は、３つのルールを規定するだけで鳥の群れをシミュレーションできるというものです。 ちなみにBoidという名の由来は、鳥もどきという意味の言葉birdoid（バードイド）が短くなりこのように呼ばれるようになりました。 シンプルな3つのルールで生きているかのような群れができるのでとても興味深く、魅力的なゲームです。 ボイドを応用して作られ
ライフゲームの世界 - 人工知能に関する断創録
ニコニコ動画の複雑系コミュニティの発起人のはむくんがライフゲームの世界というとても面白い動画を投稿されています。Twitterでは何度かツイートしてたけど完結したのでブログでも紹介させていただきます。 ライフゲームの世界1 John Horton Conwayが提案したライフゲーム（Conway's Game of Life）の基本的なルールを解説しています。また頻繁に現れる4種の物体（ブロック、蜂の巣、ブリンカー、グライダー）を紹介しています。最後の作品紹介は、P416 60P5H2V0 gunというすさまじいパターンが出てきます。グライダー銃から発射したグライダーたちが滑走路を通ります。グライダーの集合先では、発射された複数のグライダーが合体して宇宙船が組み立てられます。 ライフゲームの世界2 いろんな振動子（パルサー、タンブラー、銀河）が鑑賞できます。作品紹介では大量の振動子が勢揃い
Rで多変量解析（一般化線形モデル）〜タイタニックのデータも分析しました〜 - Issei’s Analysis 〜おとうさんの解析日記〜
今回は多変量解析についてです。その前にそもそもですが、「多変量解析」という言葉は様々な意味で使えるので、なるべく使うのを止めましょう。私が経験してきた中で、このような意味で使われていました。重回帰、一般線形モデル一般化線形モデル変数選択（ステップワイズ法）変数縮小（主成分分析） どの手法も目的がまったく違っています。「多変量解析をやりたいのですが、、、」と相談されると、こちらとしては「多変量解析」が何を意味するのかを探るところから始めます。 具体的には、解析手法はこのように使い分けます。何かの結果変数を説明するモデルを作る→重回帰同じ目的で説明変数が連続値以外→一般化線形モデル（GLIM、ぐりむと発音） 実は「重回帰」も「GLIM」もほとんど同じ意味ですが、ニュアンスとして重回帰は一般線形モデル（GLM、じーえるえむ）を指す事が多いです。正確には「重回帰」は「単回帰」と対になる言葉で、説明
MCMC（Markov Chain Monte Carlo、マルコフ連鎖モンテカルロ法）について - データサイエンティスト上がりのDX参謀・起業家
今日はMCMC法についての解説です。 メモ程度のものですが、ご参考になれば幸いです。 日本語の良本はこれ。 マルコフ連鎖モンテカルロ法 (統計ライブラリー) 作者: 豊田秀樹出版社/メーカー: 朝倉書店発売日: 2008/05/01メディア: 単行本購入: 11人 クリック: 168回この商品を含むブログ (13件) を見る 有名な解説論文： Sampling-Based Approaches to Calculating Marginal Densities. Gelfand AE and Afrian F. M. Smith. Journal of the American Statistical Association, 85;410:398-409, 1990. 【概念】 Monte Carlo（モンテカルロ法） モンテカルロ：金持ちの町、F1もやってる 興味のある値を「頻度」を使
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
天体望遠鏡で“宇宙の彼方”をひたすらスキャン：ビッグデータ解析で、ダークエネルギーの謎に近づけるか
一般人がプログラミングで、ヒッグス粒子の謎に迫る：コンテスト開催中
生体細胞のプログラミング言語をつくるオープンソースプロジェクト
「数学の研究にコンピューターを用いるべきか？」：学会を二分する問いについて