ＳＴＡＰ論文、修正へ 共著者の教授「単純ミス」 - MSN産経ニュース
「小保方さん気付かなかった」 理化学研究所などが英科学誌ネイチャーに発表した新型万能細胞「ＳＴＡＰ細胞」の論文に不自然な画像があると指摘された問題で、共著者の若山照彦山梨大教授は２４日、産経新聞の取材に対して単純ミスによる画像の誤掲載があったとして、論文を修正すべきだとの考えを明らかにした。研究の成果自体に問題はないとしている。 若山氏によると、筆頭著者の小保方（おぼかた）晴子・理研研究ユニットリーダーは「指摘されて初めて（ミスが）分かった。全く気付かなかった。研究そのものを疑われるのは悔しい」と話しているという。 論文では、異なる実験で作ったはずのマウス胎児の画像２点が酷似していた。 若山氏は「不作為の単純ミスだと思う。画像は数百枚あり、小保方さんが勘違いで同じものを使ってしまったようだ。私を含め、共著者全員のミス」と話した。 この問題をめぐっては理研とネイチャー誌が調査を始めている。
Haskell における依存型プログラミングと証明の記述を用いた実用的なプログラミングって何
スマートコン @mr_konn Haskell における依存型プログラミングでは、大抵の場合安全性の"証明"として依存型を用いる場合が多いから、ひとたび証明が出来てしまえば、その証明に対応する実行時計算は無駄なんだよなあ。type erasure ならぬ proof erasure が出来ればよいのだが 2014-02-23 17:10:29 スマートコン @mr_konn 帰納法は O(n) 書かるし、二重帰納法なら O(n^2) だ。一回示せたら unsafeCoerce すりゃいいかもしれないけど、そういうのを自動的にやってくれるのを欲しい 2014-02-23 17:12:45
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
