かじもとにっき

ゆるふわなおはなしをかきます

2014-05-30から1日間の記事一覧

第1回 ものまね鳥をまねる会

日記が少し遅くなりましたが、第1回 ものまね鳥をまねる会 - connpassに参加しました。 改めて問題を計算によって解いておきます。 1章の4問目 問題を形式化する為に命題変数を3つ導入します。 さらに、君くんが述べる命題にというラベルを付与しておきます…