私は2020年の10月に北陸先端科学技術大学院大学（Japan Advanced Institute of Science and Technology）先端情報科学 博士前期課程の東京社会人コースに入学しました。緒方研究室に所属しています。形式検証が主な研究テーマです。
修了するためには研究以外で20単位以上必要なので、この半年は講義の受講がメインでした。受講した講義は以下のとおりです。
- システム最適化
- オペレーティングシステム特論
- データサイエンス論
- 機械学習工学
- 高機能コンピュータネットワーク
- 遠隔教育システム工学
- 人間力イノベーション論
- 創出力イノベーション論
優が7つ、良が1つでした。良があったのはとても残念でした。自習と比べると、必死に勉強しようと自然と思える点、テストやレポートを通して理解度が明確になる点、先生から興味深い話を聞ける点が良かったです。未経験のことを短期間で習得しようとすることも楽しいです。
個人の将来的な目標は技術で未解決の問題を解決することです。人の役に立ち、かつ普遍的な知見となるようなことを目指したいです。博士前期課程では研究をとおして専門性を深めていくための準備をしたいと考えていたので、まだやりたいことはできていません。
よくある質問
いつ勉強していますか？
平日の朝と夜、休日です。
仕事と大学院を両立するのは大変ですか？
まだ、それほど大変だとは感じていません。自分の意志で自由に使える時間が多いことが関係していると思います。ただ、大学院で勉強や研究をしている状態と大学院に入学せず、何もしない状態を比較すれば、前者はやることが単純に増えているので、より大変だと言えるでしょう。また、どれだけ成果を出したいかは人それぞれですし、同様の事象に直面した際に大変だと捉えるかどうかも人それぞれです。
大学は文系学部だったのに、数学は大丈夫ですか？
今のところは大丈夫です。理解できていない箇所を明確にして、予め自習していたからです。ただ、ユーザーとして数学を使っているだけなので、数学自体を研究対象にするレベルのことはわかりません。
誰?
- 大学では経済学を専攻していたが、大学院では情報科学の分野で研究をしたい人
- 社会人
- プログラミング歴は約5年
受験の流れ
2020-04-19
オンラインでJapan Advanced Institute of Science and Technology(JAIST)の東京社会人コース説明会に参加した。
2020–04–22
関心のある研究室に受け入れが可能かを問うメールを送った。COVID-19のため、対面でなく、メールでやり取りすることになった。教授が発表した論文や担当している講義の資料のリンクが送られてきた。講義の単位を取得できそうとかなどについて確認するため課題を出していただくことになった。講義の資料はi217 Functional Programmingという講義のものだった。
2020–04–27
講義資料の指定された箇所を読み終わったという旨のメールを送った。1つ目の課題を出していただいた。
2020–04–28
1つ目の課題が完了した。課題をメールで送付した。
2020–04–29
2つ目の課題を出していただいた。
2020–05–02
2つ目の課題が完了した。課題をメールで送付した。短期間で2つの課題を完成させることができたので、該当の講義に関しては単位を取得できるレベルであるという評価を受けた。大学院や研究について改めて説明を受けた。どのような研究をしたいかと問われた。
2020–05–03
分散システムを形式検証したいという内容（実際には具体的な内容）のメールを送信した。そのメールに対する返信内容から自分のしたい研究を行うことができそうだとわかった。
出身大学に成績証明書と卒業証明書を発行する手続きをした。
2020–05–16
研究計画書の書き方を問うメールを送り、アドバイスをいただいた。
2020–05–22
研究計画書のドラフトを送付した。内容はよいという返信をいただいた。
2020–06
研究に関係する論文を読んでまとめたり、情報科学や数学の基礎的な内容を改めて勉強したりし始めた。職歴調書、エントリーシート、研究計画書を作成した。
2020–07–08
博士前期課程の社会人コース特別選抜に出願した。
2020–07–19
口頭試問で使用する資料を作成し始めた。
2020–08–06
受験票が届いた。
2020–08–21
有給を取得して、口頭試問でのプレゼンテーションの練習をひたすら行った。
2020–08–22
品川で口頭試問を受けた。会場に向かう最中にスマートフォンを無くして少し焦ったが、早めに出発していたので試験に間に合った。
2020–08–29
合格通知が届いた。
その他
- COVID-19のため出願期間と入試の日程が一度延期になった。
- 課題は関数型プログラミングと証明に関する内容だった。関数型プログラミング言語を用いて簡単な関数型プログラミング言語を実装した経験、数理論理学の基礎的な内容が書かれた本を読んだ経験、高校数学の知見などが役立ったと思う。
- 私が学部で文系科目専攻だったことが関係するのか(?)、面接では情報科学や数学に関する基礎的な質問があった。こちらも趣味で色々やっていたことが役立ったと思う。
