キーワードQuantifi cation theory type I 種類紀要論文