トップ 2011年 11月 3日 2011年11月3日 知能システム論第4回 東京大学理学部情報科学科冬学期の知能システム論の講義まとめ メモ carbon_twelve 1166 0 0 0 0 ツイート 0 いいね!0 ログインしてこの広告を非表示にする 前へ 1 2 3 次へ 🍣 @nin_ten 後ろの方の席の狭さは異常 #知能システム論 2011-10-27 11:13:01 ゲーデルの完全性定理 ネクタイ @carbon_twelve ゲーデルの完全性定理 #知能システム論 2011-10-27 11:15:11 XENO @xenophobia__ ゲーデルの完全性定理 #知能システム論 2011-10-27 11:16:10 XENO @xenophobia__ 示されたのはこっちのが不完全性定理より早いんだよね。 #知能システム論 2011-10-27 11:16:38 ネクタイ @carbon_twelve 完全性定理ってどういう定理だっけ? #知能システム論 2011-10-27 11:17:52 導出原理 YNQ @ynq1242 落ち着け #知能システム論 2011-10-27 11:26:24 🍣 @nin_ten 大丈夫ですか先生 #知能システム論 2011-10-27 11:26:32 XENO @xenophobia__ 黒板では何気に正しい方を使うなしww #知能システム論 2011-10-27 11:26:37 🍣 @nin_ten 証拠隠滅 #知能システム論 2011-10-27 11:27:20 XENO @xenophobia__ ド・モルガン則:¬(P∧Q)=¬P∨¬Q 、 ¬(P∨Q)=¬P∧¬Q ですね。 #知能システム論 2011-10-27 11:28:03 🍣 @nin_ten ド・モアブルってなんだっけ #知能システム論 2011-10-27 11:31:23 XENO @xenophobia__ てかスライドは? #知能システム論 2011-10-27 11:32:13 ネクタイ @carbon_twelve スライドとは #知能システム論 2011-10-27 11:32:32 XENO @xenophobia__ 「時間無いのでスライド使います」といってから10分くらいたったろうか #知能システム論 2011-10-27 11:32:57 🍣 @nin_ten スライドなんてなかった #知能システム論 2011-10-27 11:33:01 XENO @xenophobia__ 「クローズ」って単語は初めて出たんじゃないのか #知能システム論 2011-10-27 11:33:25 SAT ネクタイ @carbon_twelve ここから先が今日の触りか #知能システム論 2011-10-27 11:35:20 XENO @xenophobia__ SATかな #知能システム論 2011-10-27 11:36:28 ネクタイ @carbon_twelve SATのお話 #知能システム論 2011-10-27 11:37:19 ネクタイ @carbon_twelve 整数計画問題に変換できるとな #知能システム論 2011-10-27 11:37:44 ネクタイ @carbon_twelve 10^5個の変数でも解ける! #知能システム論 2011-10-27 11:40:16 XENO @xenophobia__ SATってそんなに多変数でも解けるの? #知能システム論 2011-10-27 11:40:22 前へ 1 2 3 次へ