生命科学は、情報学・数学・1分子計測技術の魅力的な実験場です。私たちは、これらの学問を生命科学に取り入れ、DNAとオーミクス周辺の生命科学の研究課題に取り組んでいます。 情報学・数学からのアプローチ 数学的思考等の知的活動を計算機で自動化することには限界があることは、たとえばゲーデルの不完全性定理等で知られています。この限界を意識しつつ、自動化できる範囲が機械学習、データマイニング等の情報学分野で徐々に広がっています。一方、私たちが取り組んでいるのは、生物における自動化メカニズムの理解です。たとえば、ゲノムがどのように情報をコードして細胞や組織を構築し、また進化してきたか? 核内でDNAはどのように畳み込まれ遺伝子の発現を制御しているか? などを深く知りたいと考えています。このような歩みから、生命科学は情報学と数学の魅力的な実験場であると感じています。特に最適化アルゴリズム、並列計算、機械
とりあえず動くプログラムを書く ここでは例として、Fooという構造体の2次元配列を、引数で指定された幅と高さで作る、createFooMatrixという関数を作ってみます。 なお、配列の各要素を、initializeFoo関数で初期化しています。 Foo **createFooMatrix ( int width, int height ) { Foo **ptr = NULL; int w, h; ptr = (Foo **)malloc(height * sizeof(Foo *)); for (h = 0 ; h < height ; h++) { ptr[h] = (Foo *)malloc(width * sizeof(Foo)); for (w = 0 ; w < width ; w++) { initializeFoo(&ptr[h][w]); } } return ptr;
今日発表されました。 今年のPODS2009は面白そうです。XML関連の研究もまだまだ盛ん。研究の世界ではやりの、Uncertain dataは多くなってきていますが、それだけでなく、heavy-hitterとか、secondary indexingとか、DBのcore技術寄りの論文もあるみたいで、論文が出てくるのが楽しみです。 採録された中には、日本人(面識はないのですが天野さんという方)も一人。Libkinのラボにいるのですね。おめでとうございます。こうやって日本からデータベースコミュニティの中で活躍していけるようになる人が増えるとうれしいですね。 29 Dynamic Indexability: The Query-Update Tradeoff for One-Dimensional Range Queries (Ke Yi) 31 Satisfiability of the do
val fruits = List("apple", "banana", "avocado", "papaya") val countsToFruits = // count how many 'a' in each fruit fruits.groupBy(fruit => fruit.count(_ == 'a')) for (count, fruits) <- countsToFruits do println(s"with 'a' × $count = $fruits") // prints: with 'a' × 1 = List(apple) // prints: with 'a' × 2 = List(avocado) // prints: with 'a' × 3 = List(banana, papaya)
時系列で 1990年代後半: Eric Brewer (UCB)が inktomi でいろいろ作る CAPとBASEの基礎ができる http://www.ccs.neu.edu/groups/IEEE/ind-acad/brewer/ 2000年7月19日: Eric Brewer が PODC (Principles of Distributed Computing) の基調講演で CAP 定理?と BASE を発表 CAP は Brewer 予測として知られるようになる この時点で、inktomiと同等スケールのWebサービスの問題に対処していた人はあまりいなかったのかもしれない 2002年 MIT の Seth Gilbert と Nancy Lynch が CAP を形式化 ここで Brewer の CAP が晴れて定理となった この間、よくわからず 2007年-: eBay の
ホリエモンと言えばもはや日本全国で知らない者はいないほどの著名人である堀江貴文氏のことですが、その実像に関しては一方的な側面からのみ報じられることが多いというのがこれまでの実情です。報道だけを通していると「ひたすら金儲けに邁進して、みんなわかっているのに知らないことにしてウソをついている」というように扱われているのですが、必ずしもそうではない部分があったということを誰も理解していないように思えます。完全な善人や完全な悪人といったものは存在するわけがなく、人間には良い面も悪い面も同じように存在するはずだからです。 今回の取材はホリエモンの「六本木で働いていた元社長のアメブロ」にて取材直前まで書かれたエントリーすべてを読み込んでからインタビューを行っています。そのため、ブログを読めばわかるような事柄についても、「GIGAZINEの読者にはブログを読んでいない者もいるはずだ」という前提に立ってお
この言葉に励まされた・ホロリときた(う∀`) 2 http://anchorage.2ch.net/test/read.cgi/baby/1190880723/l50 243 名前: 名無しの心子知らず [sage] 投稿日: 2009/02/25(水) 21:00:00 ID:SSR7vop3 生まれたときから結構手のかかる子だった 私べったりで、旦那と泣かずにお留守番できるようになったのは2歳 旦那とお風呂に入れるようになったのは3歳過ぎてから 一人遊びはあまりしない、一日中話しかけてくる しんどいけど、イライラするけど、可愛くてつい相手をしてしまう。 今日、いつものように二人でブロックで遊んでいたら 「ぼくに赤ちゃんが出来ておとうさんになったら、 こうやっていっぱい一緒に遊んであげるんだ」 「何で?」 「だって、いつもママ、ぼくと遊んでくれて、すごくうれしいから」 ありがとう。 関連
From 1999 until 2011, I was editing the Database Principles Column of SIGMOD Record which publishes surveys of recent results that appear in database theory publications (such as ACM PODS or ICDT) in a form suitable for the larger audience of the Record. Some of the best database theoreticians (and not only database theoreticians) contributed papers on many different aspects of databases. All tho
J. B. Nation's counter example to the finite height conjecture This lattice is infinte and subdirectly irreducible but the variety it generates contains only finitely many other varieties, refuting an old conjecture. Think of this lattice as wrapped around a cylinder so that the elements at the sides with the same labels are identified. Note the middle part of this diagrams moves up when going fro
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く