Entries from 2012-03-13 to 1 day
旧聞になりますが「大学生の4人に1人「平均」分からず 数学基本調査、論理力欠如明確に」より引用。 「偶数に奇数を足すと必ず奇数になる」ことを数式と文章で説明する中2レベルの問題 ということらしいので coq を使って自分が中二レベルあることを証明…
旧聞になりますが「大学生の4人に1人「平均」分からず 数学基本調査、論理力欠如明確に」より引用。 「偶数に奇数を足すと必ず奇数になる」ことを数式と文章で説明する中2レベルの問題 ということらしいので coq を使って自分が中二レベルあることを証明…