タグ

2013年12月6日のブックマーク (4件)

  • システム化の目的は、Excelの焼き直しであってはならない - GoTheDistance

    これは興味深い問題提起。 エクセルでできることができない何百万のシステム・・ 「Excelで出来ることが出来ないシステムとかいうものに、なんで数百万も突っ込む必要があるのか」という話には、キチンと整理して説明できるようにしておきたいもの。 機能面ではExcelには勝てない Excelが提供している豊富な機能群は、世界でも選りすぐりのソフトウエア開発チームが途方も無い期間と金額をかけて作り上げたものです。Excelで出来る機能と同等の機能を提供することは、納期も予算も上限がある業務システム開発プロジェクトにおいて、非常にハードルの高い機能要件でしょう。業者からすると「ウサイン・ボルトに100m走で勝利しろ、期間は2ヶ月で」って言われても的な・・・ でも、「Excelとかいう最強の業務ソフトと同じこと望むなよ、そんなもん無理」で突っぱねてしまうのも違う。Excelには無い価値ってどこにあるかを

    システム化の目的は、Excelの焼き直しであってはならない - GoTheDistance
  • 「京」を使い世界最高速の固有値計算に成功 | 理化学研究所

    ポイント 「京」の全計算プロセッサを利用した世界最大規模の固有値計算に成功 半導体や新材料の開発などのシミュレーションがより大規模化・高速計算が可能に 大規模シミュレーションを実現するソフトウエア「EigenExa」を公開 要旨 理化学研究所(理研、野依良治理事長)は、大規模コンピュータシミュレーションや、ビッグデータにおけるデータ相関関係の解析などに必要な行列[1]の固有値を高速で計算できるソフトウエア「EigenExa(アイゲンエクサ)」を開発しました。EigenExaを用い、スーパーコンピュータ「京」[2]で100万×100万の行列での固有値計算を行った結果、これまで1週間程度必要だと考えられていた計算を、わずか1時間で計算することに成功しました。これは、理研計算科学研究機構(平尾公彦機構長)大規模並列数値計算技術研究チーム(今村俊幸チームリーダー)を中心とする研究チームによる成果で

  • Cookpadのコアユーザーを探す · Naoki Orii's blog

    Cookpadには様々な使い方が考えられます。真っ先に思い浮かぶものといったら、 夕飯の献立を考える主婦 子どものお弁当の献立を考えるお母さん お客を家に招いて、おもてなし料理を作る必要がある主婦 冷蔵庫の残り野菜を使いきりたい一人暮らしの学生 などが挙げられます。 どのケースにせよ、Cookpadの検索機能でレシピを探し出し、それを作り、べて満足するというのが一般的な流れでしょうか。つくれぽを投稿せずに、自分のオリジナルレシピを投稿するのでもなく、自分だけの閉じた世界で満足するという実利的な使い方もむろん十分良いですが(むしろ大多数のユーザーがそういう使い方をしているでしょう)、ユーザーをお気に入り登録したりつくれぽを投稿したり、他のCookpadユーザーと交流するのにも独特の楽しさがあると思います。 これを端的に表しているのが、8月下旬にネットで話題になった増加する“クックパッド至上

  • プログラムに証明が付く日 | RANDMAX

    この記事は「Theorem Prover Advent Calendar 2013」6日目の記事です。 http://qiita.com/advent-calendar/2013/theorem_prover 神田「野らぼー」にて、地下の薄暗い店内で… 「そう言えばこないだ隣で起こってたポインタオーバーラン、対応大変そうだったですけどちゃんと家に帰れてたんでしょうかね、新婚なのに…」 「ヌルポとかポインタオーバーランとか、どうして無くならないんだろうね。その時はみんな手を抜いてるつもりなんて毛頭なくて、一生懸命考えて大丈夫だと思ってるはずなんだけどね。レビューもして、それでも起こった後でみんなでソース見てみると、なんで気づかなかったんだよ!ってことになる。」 「人間って、そういうの苦手なんでしょうねきっと。ほら、『何かほかにありませんか』って聞かれても出てこないじゃないですか。静的な解析っ

    プログラムに証明が付く日 | RANDMAX