算術論理式システムBEM-Ⅱを使ってパズルを解こう - 共立出版コンピュータサイエンス誌『bit』