The Japan Society for Symbolic and Algebraic Computation (JSSAC) is an association consisting of those who have a deep interest in research, development, application, and usage of symbolic and algebraic computation. JSSAC was established in April 1992 for the purpose of progressing, developing, and popularizing symbolic and algebraic computation through mutual cooperation and exchange between members and related organizations. In June 2009, JSSAC moved to a general incorporated association. In order to achieve the above objectives, JSSAC conducts the following projects:
Dear members of the Japan Society for Symbolic and Algebraic Computation
I am honored to have been appointed as the 17th president of the Japan Society for Symbolic and Algebraic Computation. I feel a great sense of responsibility for the trust you have placed in me, and I will do my best to contribute to the development of the society, however small my abilities may be.
The Japan Society for Symbolic and Algebraic Computation is a society that has played a role in the research of theory, application, and educational use of symbolic computation, and has brought together many excellent researchers and engineers who have achieved great results. I believe that it is my mission to pass on the history of this society, which has been built up by our predecessors, to the next generation and to further develop it.
In the future, I would like to focus on the potential applications of symbolic computation technology and the encouraging of young researchers. In addition, I will promote various initiatives so that members can inspire each other and build richer relationships through society activities.
The cooperation of each and every member is essential for the development of this society. I would like to ask for your continued support and assistance. I intend to do my utmost to fulfill my responsibilities as president.
Finally, I wish you all good health and happiness.
Sincerely yours.
Symbolic and Algebraic Computation is an interdisciplinary field at the boundary of mathematical science, natural science, and engineering, and researchers in various fields participate. Therefore, interests and research methods are diverse.
SIG Theory is studying Symbolic and Algebraic Computation from a theoretical point of view. In particular,
These are the main research subjects. The SIG theory provides a place for research presentations and discussions about once a year to promote information exchange and information transmission between researchers.
The applications of Symbolic and Algebraic Computation are widely used by many researchers, from computation in mathematics to mathematical clarification of various phenomena in applied fields such as optimization and control engineering. It is not uncommon for researchers to create software themselves. The importance of theoretical research in Symbolic and Algebraic Computation is, of course, not only in mathematical considerations, but also in developing software used by end users. This is evident from the fact that software execution efficiency contributes to the speed of research.
From such a point of view, we are pursuing theoretical and basic research in Symbolic and Algebraic Computation. At the research meetings, non-members can also make presentations. We look forward to your participation.
Typical keywords: Algebraic algorithm, Exact algorithm, Symbolic-numeric computation, Gröbner basis, Quantifier elimination
Computer Algebra Systems are now used in many situations as tools to solve various problems. The development of the Computer Algebra Systems are not only due to the dramatic progress of computer hardware, but also the development of efficient algorithms and the technical implementation. In terms of systems, data structures, implementation methods suitable for computers, user interfaces, etc. are targeted for development, but also applications using mathematical processing systems. Also, in the algorithm development, the implementation for verification is covered. It covers not only mathematical processing systems but also mathematical software that runs widely on computers.
The SIG System is closely related to other working groups. In theory, implementation is indispensable to verify the developed algorithm, and in education, it is important to develop a user interface or a system that meets the educational purpose. For this reason, the research meetings may be held as a joint research meetings in cooperation with other SIGs.
The SIG Education promotes exchanges among members engaged in research on the application of Symbolic and Algebraic Computation to education, deepens discussions on the research, and thereby promotes the research on Symbolic and Algebraic Computation and aims the spread of Symbolic and Algebraic Computation. The current activity is to hold a research meeting twice a year. Since this SIG is a multidisciplinary area of Symbolic and Algebraic Computation and education, there are actually various research themes and some of them are introduced here.
In online learning (e-Learning) in the field of mathematics, it is necessary to present mathematical formulas, input answers, and assess correct or incorrect of answers. Mathematical formulas are different from natural languages, and their processing requires a special mechanism. Research is being conducted from the viewpoint of handling mathematical expressions, such as the use of existing mathematical processing tools and the development of new methods.
By using the Computer Algebra Systems, it is possible to automatically generate exercises and model answers, and to create educational materials with graph drawing and formula deformation according to dynamic operations (mouse / touch operation, keyboard input, etc.). Multidisciplinary research is being pursued based on learning theories from elementary to higher education and in various fields.
The problem solving method used in secondary mathematics education is very different from the solution method based on the theory of Symbolic and Algebraic Computation. Understanding and recognizing this difference will help you to gain a deeper understanding of the mathematical background of the problem, and will help you understand problems that are easy for humans but difficult for computers, and will allow you to further study the theory of mathematical processing.
We hope that those who are interested in applying Symbolic and Algebraic Computation to education in various forms, including those mentioned above, will participate in research meetings organized by the SIG Education.
You can obtain more information about JSSAC in Japanese from here.
Contact us: jssac
jssac.org