はじめに

私の趣味はコンピューターサイエンスなのですが、今まではどちらかというと工学的なアプローチをとっていて、アーキテクチャーがどうのこうのとか、OSがどうのこうのとかを楽しんできました。

ですが、そろそろ理論面も勉強しないと視野が狭い感じがするなぁ。。。と思っているうちにアラフォーになっちまいまして、ぼちぼち覚悟を決めて理論を勉強しようと思ったわけです。

で、実際にコンピューターサイエンスの理論を勉強をすると、そこには数学という大きな壁があることがわかりました。しかも高校生レベルの数学ではなく、大学・大学院生レベルの数学です。

大学レベルの数学は学生時代に数学をサボっていた身としてはだいぶ厳しいです。が、まぁ、やれないこともないだろうという安価な気持ちで飛び込んだわけです。が、これが間違いだった。どう考えても「沼」ですわ。マジで。

ということで、これから「沼」にハマろうとしている皆さん向けに、いろいろと情報を共有していこうと思います。

このブログの目標

このブログの目的は計算理論を数学的な側面から理解することです。単なる表層的な理解ではなく、数学を身につけた上で語れるようになるのが目標です。

（もちろん私もそこまでは到達していません）

そして、私が苦労した内容がコンピューターサイエンスをの理論面を攻めたいという方の支援になればと思っています。