未定係数法による公理系の真理値表確定の高速化アルゴリズム

スポンサーリンク

概要

• 論文の詳細を見る

• The method of inderminate coefficients developed for the study of logic axioms requires huge amout of memory and computation time to find special solution for independent variable when there are many dependent variables. In this papar, we consider a couple of methods for reducing the number of dependent variables, and realize the speed-up of computation and reduction of memory.

• 明治大学の論文

著者

• 加王 森治

  School Of Science And Technology Meiji University

• 片貝 正紀

  School of Science and Technology, Meiji University

• 片貝 正紀

  School Of Science And Technology Meiji University

関連論文

• 未定係数法による公理系の真理値表確定の高速化アルゴリズム

スポンサーリンク