法律人工知能 : 法的知識の解明と法的推論の実現 - 吉野, 一; 松村, 良之; 加賀山, 茂; 廣田, 薫 (創成社, 2000)