Historical_Memorandum_数式処理 - 共立出版コンピュータサイエンス誌『bit』