タグ : science + computer 6件中 1 - 6 件目 rss RSS

最新のものから表示しています [?]

並び順: 新着 注目 人気 表示件数: 10 表示切替: 画像表示 画像非表示 タイトルのみ

不老不死、生命の合成、生命シミュレーションにおけるバイオロジーの未来 - バイオ研究者見習い生活 with IT

http://d.hatena.ne.jp/Hash/20080513/1210693115 追加

コメント ついにタンパク質の自在設計&実装時代に突入 / 生物に対する直感をデジタルに落としてテストする / その時、生命のシミュレーションが実用レベルに入り、生命プログラミングが現実のものとなるのだろう

タグ life biology programming 合成生物学 システム生物学 science computer ユーザー/*ウォッチリストに追加*/ tsupo 100日前 (2008/05/14 01:20)

Radium Software - Paraconsistent Logic

http://www.radiumsoftware.com/0704.html#070425 追加

コメント 矛盾を「許容」する論理体系「パラコンシステント論理」 / 四値論理において真偽の値は「真」と「偽」のふたつだけに留まらず、「真でも偽でもない」あるいは「真であり偽でもある」という「中間的な真偽値」が存在

タグ logic 矛盾 Paraconsistent 推論 science computer ユーザー/*ウォッチリストに追加*/ tsupo 484日前 (2007/04/26 01:15)