"本記事は「はぐれ学生Advent Calendar 2013」 http://www.adventar.org/calendars/131 という企画のひとつです。 本企画では「はぐれ学生」とは、大学などの学校を中退、休学、留年した方、また、仮面浪人やちょっと変わった進路を選んだ方などを指すことにします。"
私は渡邉公隆といいます。筑波大学情報学群情報科学類を2011年3月に卒業し、同4月に筑波大学大学院システム情報工学研究科コンピュータサイエンス専攻に進学しました。 その後、研究が頓挫し、精神的に病んでしまい必修単位を落とし、2012年10月から療養のため休学しました。 翌2013年10月より復学し、無事過程を修了することを目指して頑張っています。 専門はプログラミング論理で、キーワードは型システム、マルチステージプログラミング、定理証明支援系などです。 専門分野の話は別の機会に譲るとして、皆さんにはお金の話を少ししたいと思います。