2018-04-01から1ヶ月間の記事一覧

可愛いは正義の論理的考察

可愛い → 正義 → は「含意」を表す。 A → B ⇔ ( ¬A ) ∨ B A を「可愛い」、B を「正義」とすると、 (¬可愛い) ∨ (正義) すなわち「可愛くないか、または正義」と等値である。 Q. ブスは正義じゃないの? A. 可愛くなければ → 正義ではない、は成り立たない。…

定式化の結晶

・問題とは、何が問題なのかが分からないことが問題なのである。 ・明確な質問の形にできたとき、問題は8割以上解けている。 ・数学とは、解法の寄せ集めではなく、言語である。 -- 詠み人知らず。 学生の頃、先生からこんな話を聞いたことがあります。 『…