パネルディスカッション_「どのような分散OSが望まれているか」