この記事の目的
文系学部から情報系に進学する人は検索するとたまーにいます(経済→機械学習系、言語学→自然言語処理)が、哲学から情報系に行った人はそこまでいないんじゃないかなということで参考になればという感じです。ただ論理学をやっている人からすれば論理学から情報系はまあなくはない選択肢ではあるので、そこまで目新しくはないかもしれないです。
自己紹介
- 文系の情報系学部出身
- 旧帝大のコンピュータサイエンスの大学院に進学
- 専門は形式論理学(哲学)
時系列
大学１年：学部は情報と名前はついていますが、実態はほぼ教養系の学部に進学しました。思っていたよりコンピュータについて学ばなくて、どちらかというと情報技術をどう社会に着地させるか、どういう風に他の学問領域に活かすかという雰囲気でした。
大学２年：論理学の授業を受けて、論理学にハマりました。それまで数学系の授業は人より多めに取っていてこういう形式的な議論をするのが楽しいなーとうっすら思っていたので、哲学の一領域である論理学は自分にぴったりでした。論理学を学びつつ、その傍らで言語哲学、科学哲学、数学の哲学など論理学と関連が深い哲学の領域を勉強しました。言語学寄りの形式意味論とかあとは形式認識論っていうのもちょっと勉強したかなと思います。
大学３年：哲学的論理学から少しズレて、数理論理学という数学として論理学をやろうって方とか計算機科学寄りの計算論や型理論などを勉強しました。こちらは実際にコンピュータという応用先があってめっちゃおもろいというかモチベーションが上がるなーと漠然と思っていました。コンビネータ計算とかラムダ計算とかですね。圏論もやりたいなーと思い、Haskellというプログラミング言語が圏論のモナドとかと関係あるらしいというのを聞き、ちょっと触ってみたりしました。結局あんまり分かりませんでしたが、多分若干違うらしいです。
大学３年生の１月頃にうっすらと理系の大学院に進学したいと思うようになりました。哲学的な論理学は面白いけど、浮世離れしすぎていると感じました。また、キャリア的な面からいっても、人文科学で大学院に残っていくのは現実的な選択肢ではないと私は感じました。吉本で芸人目指す方が経済的には安定しそうだなって思いました。
この頃に数学系の先生や情報系の先生に話を聴きに行きました。論理学を数学や情報科学でやるとはどういうことなのか、研究内容を聞きに行きました。
その中の１つの研究室が、論理学を元にして、プログラムにある種のバグがないことを保証するシステムを研究していると知り、とても興味を持ちました。調べてみると、理論的な形式体系が現代の最先端の技術の安全性を支えていることがわかりました。すごくワクワクして、ここに骨をうずめようと思いました。
この頃から院試対策を意識し始めました。
院試対策(しんどすぎた)
院試はコンピュータの基礎に関する科目が大量にあり、とんでもなくしんどかったです。過去問から効率よく知識をつけて頑張ったつもりですが、半年間かかって、おそらくギリギリ合格という点数だと思います。
やはり学部が人文社会的な授業ばかりだったので基礎知識がないなと感じる場面が多かったです。
読者の中に受験生の人がもしいるなら、なんちゃって情報系は辞めた方が良いと思います。専門性が身につきません。広く浅くよりも狭く深くです。AIに打ち勝ちましょう。
大学４年：ガチ情報系の１、２年生に混じってオートマトンやプログラミングの授業を受けて基礎知識をつけました。院試は8月だったので、時間がないとかなり焦っていました。形式は筆記試験と面接です。
院試本番、筆記試験前に周りの人の話を聴いていると明らかに自分が実力不足だなと感じました、しかしもうやるしかないので気合いで問題を解きました。第一問が論理学で、おそらく満点が取れたと思います。ここで流れができて、その後のアルゴリズムの問題も良い感じに取れて、オートマトンもまあ耐えて、あとはもう覚えていないです。ギリギリ及第点って手応えでした。
その後面接がありました。論理学への熱意と自分が情報科学分野で論理学を研究したいという想いを伝えました。いくつかの授業は受けたものの、自分がほぼ独学で院試対策をしたという話をしたら、結構ヤバこいつ、という顔をされました。気持ちよかった。面接の部屋から出た後中から面接官の先生方の笑い声が聞こえました。まあウケはとれたようでした。
落ちたらフリーターになるしかなかったので、本当に緊張しながら合格通知を見ると
合格でした。
まとめ
最初にも述べたとおり、歴史的に見ると論理学は計算機科学の基礎的な部分と密接に関連していて、人文社会系から情報系と聞いたときのイメージほどは離れた領域ではないです。ですが、やはり院試を突破するとなると様々な科目を勉強する必要があり相当にハードルを感じました。
もし哲学の中で論理学をやっていて、なんか、コンピュータにも興味あるな、、、なんならパソコンカタカタしてお金稼ぎたいかも、、、って思っている人は早めに研究室訪問、過去問入手、院試対策をしましょう。案外なんとかなります。多分休学とかすれば余裕で行けると思います。後悔の無いように、象牙の塔から飛び出しましょう。
ありがとうございました。
