情報科学若手の会冬の陣2015 - 3846masa's memo情報科学若手の会 冬の陣 2015 に参加してきました． 自分も発表してきました． 発表の緊張 とプレゼンが間に合わない焦り で， みなさんの話が所々抜けているので（かなり後悔....）， ボロが出ない程度にまとめようかな 若手の会 冬の陣 とは，情報科学若手の会非公式イベント， 若手の会の濃密さを1日に凝縮して体験してもらう，そんな感じ． 本来の若手の会は2泊3日らしい． 今回の冬の陣では，発表者各々15分＋質疑5分で， 自分の分野を思う存分語っていた． とにかく，みなさん「濃い」の一言に尽きる． しかし，だからといって話の内容がチンプンカンプンなんてことはなく， 自分も知らない世界ばかりだったが，とても楽しめるプレゼンだった． （発表が進むにつれて，「自分の発表，こんなんでいいのか...」という不安が増していったけど） 自分が印象に残ったのは，門脇香子さんの「証明プログラミング入門」と
