研究課題
基盤研究(C)
本研究の主な目的はプール関数及び多値論理関数の様々な性質を調べ、分類した上で関数及び関数族の最適な表現を得ることである。この4年間の研究期間には次の三つの課題を中心にして研究を行った。(1)関数の最適展開に関する重要な研究課題について、具体的な形式による展開の問題を研究した。即ち、任意のプール関数のための最短ESOP式を作るアルゴリズムを作成した。その結果、またその後既に改善したアルゴリズムの研究成果を二つの国際会議で発表し会議のProceedingsに出版された。(2)論理関数族を「項」として扱う公式で表す様々な性質を調べた結果がJournal of Multiple-Valued Logic and Soft Computing国際学術雑誌に出版された。その後、Post束に現れるプール関数の全てのクローンを簡潔な項で表した論文はElsevier出版社のDiscrete Applied Mathematicsの「プール関数の増刊号」に掲載された。(3)多値論理クローンが作る束の構造は極めて複雑であるが、この束を既約なクローンを用いて代数的な演算でジェネレートする問題を検討した。Post束の場合ジェネレータで全てのクローンを表しうることを昨年発表してから、多値論理関数の束における既約なクローンのいくつかのチェーンを発見し,それらの全貌を解明した。ISMVL国際会議で発表しIEEEPress社で会議のProceedingsに出版された。
すべて 2004 2003 2002
すべて 雑誌論文 (12件)
Discrete Applied Mathematics. Elsevier Publishers, North Holland Vol.142
ページ: 35-51
Proceedings of the 34^th International Symposium on Multiple-Valued Logic. IEEE Press ISMVL-2004
ページ: 109-114
Proceedings of 6th International Workshop on Boolean Problems. WSBP-2004
ページ: 201-207
Discrete Applied Mathematics, Elsevier Publishers (North Holland) Vol.142
Proceedings of 34^<th> International Symposium on Multiple-Valued Logic (IEEE Press)
Proceedings of 6^<th> International Workshop in Boolean Problems
Proceedings of 6th International Symposium on Representations and Methodology of Future Computing Technology RM2003
ページ: 27-34
Proceedings of the 33^rd International Symposium on Multiple-Valued Logic. IEEE Press ISMVL2003
ページ: 309-314
Proceedings of 6^<th> International Symposium on Representations and Methodology of future Computing Technology
Proceedings of 33^<rd> International Symposium on Multiple-Valued Logic (IEEE Press)
Multiple Valued Logic. Gordon and Breach Publishers (currently - Journal of Multiple-Valued Logic and Soft Computing. OCP Science). Vol. 7
ページ: 417-448
Multiple Valued Logic - An International Journal (Gordon and Breach Publishers) (currently - Journal of Multiple Valued Logic and Soft Computing, OCP Science) Vol.7
