2005-05-25から1日間の記事一覧

推論と証明など

用語・関連語 命題 不明瞭な点のない文章 公理 証明する必要のないもの 悪魔の証明 存在しないものを証明することを例えた表現 推論の方法 帰納法 個別の事例から一般的な内容を導く 演繹法 一般的な内容を個別の事例に当てはめること 推論 三段論法 大前提…

無敵ロボット完成。

S

広島大学大学院工学研究科複雑システム工学専攻サイバネティクス講座ロボティクス研究室が無敵ロボットを作ったと言うことです。 スラッシュドット ジャパンの記事 http://slashdot.jp/article.pl?sid=05/05/24/014204&topic=90