@article{oai:tenshi.repo.nii.ac.jp:00000129,
 author = {カワグチ, ユウイチ and KAWAGUCHI, Yuuichi and カワグチ, ユウイチ and カワグチ, ユウイチ and KAWAGUCHI, Yuuichi and カワグチ, ユウイチ and カワグチ, ユウイチ and KAWAGUCHI, Yuuichi and カワグチ, ユウイチ},
 journal = {天使大学紀要, Bulletin of Tenshi College},
 month = {},
 note = {P(論文), 「レゾリューション」(導出)とは論理式に対する計算方法である。本稿では、論理式を行列により表現する。基本行列変形によりレゾリューションを進める。この表現と計算の方法によるレゾリューションの複雑さ(計算量)は有限である。計算の効率を改善することはこれからの課題である。, 'Resolution' is an algorithm for logical formulae. In this paper, logical formulae are denoted by matrices. Resolution steps are processed by elementary transformations of matrices. By this representation, the complexity of resolution is estimated to be finite. Improvement of the algorithm is a subject of future work.},
 pages = {13--16},
 title = {命題論理における導出のための行列表現},
 volume = {8},
 year = {2008},
 yomi = {川口, 雄一 and 川口, 雄一 and 川口, 雄一}
}