NAIST の情報科学研究科では、学生にプチ研究体験でもしてもらおうという目的で「(学内)プロジェクト実習」という演習授業が用意されている(ちなみに学外プロジェクト実習はインターンシップであり、インターンシップに行っても単位になる)のだが、今学期は…