この資料をSMS送信: Towards a formalization of digital circuit design /