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