パソコン上で実行可能なmicro-Validの試作 - 共立出版コンピュータサイエンス誌『bit』