論理回路のグラフィック・シミュレーション――図形によるコンピュータとの対話