根据霍兰德类型论改编的测试