ぼくがコンピューターで数学をするようになった理由

はじめにぼくがTwitterでやたら「Coq！ Coq！」と言ってますが、今回はその話です。 暗算ができない、計算は遅い、ミスを連発するテストでまったく点が取れないタイプでした。 今考えると当然ですが、数学のルールを全然知らない状態で、意味を読み取ろうとしていました。 たとえるなら、ゲームのハードだけ持っていてゲームのソフトを持ってないような感じです。 みんなで共通のルールを使ってるはずだ数学がわからなかったので、高校の教科書を写しました。 一言一句見逃さないように写したのですが、等号=の変形ができるような気分になっただけでした。 もちろん今考えると完全ではないです。 ただ等号=の変形だけでは説明できないことをしているところがあるというのには気づけるようになりました。 なので、当時のぼくは「みんなで共通のルールを使ってるはずなんだ。なのにぼくだけ知らない」と思い込んで落ち込んでました。 真