東北大学大学院 情報科学研究科 情報基礎科学専攻 小林・住井研究室

This Page
Home
学部生向け情報
インタビュー Aさん M2 学生

Main Contents

インタビュー

Aさん M2

Photos
  1. 学年と経歴を教えてください

    M2
    群馬県立太田女子高校
    東北大学工学部
    東北大学大学院情報科学研究科

  2. どんな研究をしていますか?

    並行プログラミング言語を対象に、型による検証手法でみつかったプログラムのエラーの原因箇所をプログラムスライスとして取り出すという研究をしています。

  3. 小林・住井研に入った理由・きっかけは何ですか?

    「型ってなに?」と思ったのがきっかけです。この分野についての知識はありませんでしたが、面白そうだと思いまして。

  4. これまでの研究室生活で印象に残っていることは?

    PPLに参加したことです。

  5. 将来どんな仕事をしたいですか?

    ひとを笑顔にする仕事をしたいです。

ページの先頭へ