といいつつ非公式研究室紹介ページを作ってる。

なんだろうね。ほかの研究室紹介にあってうちに無い紹介を補間してくよ。