技术总结
矩阵生成装置(100)具有树构造生成部(110)、根处理部(120)、节点处理部(130)。树构造生成部(110)生成表现逻辑式F的二叉树T。根处理部(120)生成与逻辑式F的要素中的由二叉树T的根表现的要素的种类对应的矩阵M。节点处理部(130)依次选择二叉树T的根以外的节点，对矩阵M进行与由具有子节点的节点表现的要素的种类对应的操作，将由不具有子节点的节点表现的要素即变量与矩阵M的一行对应起来。节点处理部(130)在二叉树T的节点的选择结束后，输出矩阵M和映射ρ。映射ρ是表示与矩阵M的各行对应的变量的信息。
技术研发人员：川合丰;酒井康行
受保护的技术使用者：三菱电机株式会社
文档号码：201480080242
技术研发日：2014.07.02
技术公布日：2017.03.01