論  文 ======== [計算可能性] ■ 論理関数のあるクラスについて最小性を保証するAND-EXOR論理式の簡単化  アルゴリズム .................................................... 409 平山貴司 西谷泰昭 ■ 2相式非同期回路の高速化 ......................................... 416 籠谷裕人 南谷 崇 ■ 同時実行性を高めた改良拡張ハッシング ............................ 424 平野泰宏 三浦史光 佐藤哲司 ◎ 英文論文誌紹介 (IEICE Transactions on Information and Systems) 434 ◎ 複写をされる方に ................................................ 436