Computer-Human Interaction in Symbolic Computation

کارگاه آموزشی مارس 1994 HIse در آمستردام با حضور پرشور، کنفرانس بسیار پر جنب و جوشی بود که بحث و گفتگو و تعامل انسان و انسان را برانگیخت. همانطور که ویراستار این جلد اشاره می کند، نشست آمستردام تنها بخشی از یک پروژه یک ساله بود که افراد زیادی را از بسیاری از نقاط جهان گرد هم آورد. ارزش این تلاش نه تنها در ایجاد ایده‌های جدید، بلکه در آگاه کردن مردم از کارهایی بود که در بسیاری از زمینه‌ها در استفاده از رایانه برای درک بیشتر ریاضیات انجام شده است. نویسنده از حضور در کارگاه بسیار خوشحال بود. * نویسنده با فکر کردن به کنفرانس و خواندن مقالات این مجموعه، احساس می‌کند که شاید چهار نتیجه اصلی از وضعیت فعلی کار گرفته شود: 1. گرافیک بسیار مهم است، اما چنین ویژگی‌هایی باید به آسانی ساخته شوند. تا حد امکان استفاده شود؛ 2. محاسبات ریاضی نمادین بسیار قدرتمند است، اما کاربر باید بتواند \"مراحل میانی\" را ببیند. 3. طراحی سیستم پیشرفت زیادی داشته است، اما برای دوره‌های آموزشی یک ترم و تولیدات طولانی کتاب، به ابزارهای بیشتری برای کمک به ترکیب و پیمایش نیاز داریم. 4. سیستم های یکپارچه شاید بهترین مسیر برای آینده نباشند، زیرا کاربران مختلف نیازهای متفاوتی دارند و ممکن است مجبور باشند انواع مختلفی از ابزارها را به هم پیوند دهند. ویراستار این جلد و نویسندگان مقالات ارائه شده در اینجا نیز به نتایج مشابهی دست یافته و مستند کرده اند.

The well attended March 1994 HIse workshop in Amsterdam was a very lively con­ ference which stimulated much discussion and human-human interaction. As the editor of this volume points out, the Amsterdam meeting was just part of a year-long project that brought many people together from many parts of the world. The value of the effort was not only in generating new ideas, but in making people aware of work that has gone on on many fronts in using computers to make mathematics more understandable. The author was very glad he attended the workshop. * In thinking back over the conference and in reading the papers in this collection, the author feels there are perhaps four major conclusions to be drawn from the current state of work: 1. graphics is very important, but such features should be made as easy to use as possible; 2. symbolic mathematical computation is very powerful, but the user must be able to see "intermediate steps"; 3. system design has made much progress, but for semester-long coursework and book-length productions we need more tools to help composition and navigation; 4. monolithic systems are perhaps not the best direction for the future, as different users have different needs and may have to link together many kinds of tools. The editor of this volume and the authors of the papers presented here have also reached and documented similar conclusions.