トップ 2011年 11月 3日 2011年11月3日 知能システム論第4回 東京大学理学部情報科学科冬学期の知能システム論の講義まとめ メモ carbon_twelve 1164 0 0 0 0 ツイート 0 いいね!0 XENO @xenophobia__ 今日は黒板 #知能システム論 2011-10-27 10:17:21 記号論理 命題論理 XENO @xenophobia__ 命題論理 #知能システム論 2011-10-27 10:18:04 XENO @xenophobia__ このへんは聞き尽くした感が…… #知能システム論 2011-10-27 10:23:01 ネクタイ @carbon_twelve 命題論理のお話 #知能システム論 2011-10-27 10:24:00 XENO @xenophobia__ これ今日講義聞く意味は…… #知能システム論 2011-10-27 10:28:13 XENO @xenophobia__ 高校ではやってないけどみんな知ってるのでは #知能システム論 2011-10-27 10:31:24 XENO @xenophobia__ 含意の記号は人によってまちまちだなー #知能システム論 2011-10-27 10:31:54 ネクタイ @carbon_twelve こっちの方が分かりやすい感 #知能システム論 2011-10-27 10:33:07 🍣 @nin_ten 毎週言うけどこれ情報科学科の必修講義だよね? #知能システム論 2011-10-27 10:33:39 XENO @xenophobia__ 教科書どおりに進めてる感 #知能システム論 2011-10-27 10:35:44 🍣 @nin_ten 何十年…だと…!? #知能システム論 2011-10-27 10:36:20 ネクタイ @carbon_twelve 「こんなに黒板に書いたのは何十年かぶりで手が痛くなってしまいましたが」 #知能システム論 2011-10-27 10:36:21 ネクタイ @carbon_twelve ISer以外も来ているはずだがこのハッシュタグはISerに独占されている #知能システム論 2011-10-27 10:40:44 XENO @xenophobia__ 「正しい」「間違っている」の定義は……哲学の分野か #知能システム論 2011-10-27 10:42:53 XENO @xenophobia__ Mapの話ですかね #知能システム論 2011-10-27 10:43:24 XENO @xenophobia__ この話もあるある #知能システム論 2011-10-27 10:51:02 ネクタイ @carbon_twelve 恒真、充足不能 #知能システム論 2011-10-27 11:00:54 ネクタイ @carbon_twelve 論理的帰結 #知能システム論 2011-10-27 11:03:25 命題論理の証明 ネクタイ @carbon_twelve 照明のお話 #知能システム論 2011-10-27 11:04:58 ネクタイ @carbon_twelve あっ、証明ですね #知能システム論 2011-10-27 11:05:15 ネクタイ @carbon_twelve 殺伐とした講義室にCoqが! #知能システム論 2011-10-27 11:05:57 XENO @xenophobia__ ヒルベルト流ってこんなあっさりしてたっけ? #知能システム論 2011-10-27 11:10:54 1 2 3 次へ