理論プログラミング・シンポジウム(2)――ノボシビルスクにて - 共立出版コンピュータサイエンス誌『bit』