論理関数のスペク トラル解析とその論理合成への応用に関する研究