前に、設定した圧力に保つ真空ポンプ自作してた人がいたと思うんだけどここの住人だっけ？