設計によるセレンディピティ

"The best way to predict the future is to invent it. " ∧ "The future is here. It's just not evenly distributed yet."

logic

とてもわかりやすいプログラミングの本を見つけた

『10才からはじめるプログラミング図鑑』という本がとても良い本だったので, この本で学ぶ子供,親向けに,Python のコードを写経する. 詰んだ時などに参考にしてもらえたら嬉しい. 10才からはじめるプログラミング図鑑:たのしくまなぶスクラッチ&Python…

数学ド素人が独学する際のノウハウ

この記事はQiita 数学 Advent Calendar 2015の1日目の記事です. 独学しながら考えた事,気づいた事 自分が知りたいコト,身につけたい力を明確にして,広い数学の世界で迷子にならないように気をつける. 大学の研究室のサイトからも,学び方のヒントが得ら…

停止問題の決定不能性

停止問題が計算できない = 停止問題を解くプログラムが作れないということ = 不完全性定理 これを,停止問題の決定不能性という. xは,判定したいチューリング・マシンのことで,A(x)のテープに,xのプログラムとして入力するという意味. このとき, A(x):{xが無…

数学の証明についてメモ

"科学の真理は揺さぶられるが,数学の定理として証明された事柄は,2000年以上たってもその真理としての性格が揺らぐことはない. 事実で検証できることをきちんと検証してきたこと,事実に合わない事を反証をあげて検証してきたことこそが科学の確かさを保証し…

誤解しやすい論理の基礎

命題とは 真偽が定まる数学的主張 命題の間の演算が定義でき,演算の結果も命題である. pとqが命題であるとき,「pまたは(∨)q」には注意が必要 それは,pとqの少なくとも一方が真のときに真であり, 両方が偽であるときにのみ偽となる命題のこと. 日常語で 「A君…