2002年 Theory of judgments and derivations Lecture Notes in Artificial Intelligence 巻 2281,78-122 号 エクスポート BibTeX RIS