藍 浩之 福岡 大学 cohf compilation