Room 21, Faculty of Science Building No.2, Tsushima Campus, Okayama University
There are frequent bus services from Okayama station to both the Shikata and Tsushima campus. The bus fore is JPY 200 as of 2016.
Day
September 23, 2018, 13:00–18:00
Organizers
NORO, Masayuki (Rikkyo University)
TAKAYAMA, Nobuki (Kobe University)
HAMADA, Tatsuyoshi (Nihon University / OCAMI)
YOKOYAMA, Shun-ichi (Kyushu University)
SAKAI, Takashi (Tokyo Metropolitan University)
Support
MSJ Committee for Network Administration
Speakers (Alphabetical order)
EGI, Satoshi (Rakuten Institute of Technology)
MARUYAMA, Naomasa (The Institute of Statistical Mathematics)
NAKAGAWA, Yoshiyuki (Ryukoku University)
NUMATA, Yasuhide (Shinshu University)
Program
13:00–13:50, “Strange usage of GeoGebra — as negative examples —”, NAKAGAWA, Yoshiyuki (Ryukoku University)
14:10–15:00, “Tutorial of Python for users of other languages”, NUMATA, Yasuhide (Shinshu University)
15:20–16:10, “A visitor from the American Mathematical Society on Oct. 17, 1986”, MARUYAMA, Naomasa (The Institute of Statistical Mathematics)
16:30–17:20, “Customizable Computer Algebra System Implemented on the Egison Pattern-Matching-Oriented Programming Language”, EGI, Satoshi (Rakuten Institute of Technology)
Abstract
13:00–13:50, “Strange usage of GeoGebra — as negative examples —”, NAKAGAWA, Yoshiyuki (Ryukoku University)
GeoGebra is one of the mathematical software which can be expected to have a good effect in education. When we find a good software and while beginners, we want to try various ideas. However, when we concentrate on the realization of ideas, we often do not notice a serious mistake, until we understand the characteristics of the software enough.
When we incorporate ideas too much, we tend to forget about machine specs.
If we are too focused on completeness, we will not be able to fully utilize GeoGebra’s features.
When we enjoy GeoGebra too much, we often forget that the most important purpose of using Geogebra is the mathematics education.
Because we are conscious too much of announcing works by Geogebra, we undertake inadvertently giving a lecture in front of experts.
I will explain such “pitfalls” with negative examples based on my real experience.
14:10–15:00, “Tutorial of Python for users of other languages”, NUMATA, Yasuhide (Shinshu University)
In Sage days 39, we had a tutorial session of Python, because SageMath is a library of Python. I wrote a textbook and a quick reference sheet for the session. In this talk, I will give a tutorial and exercises of Python. Because my talk will not include how to install, please install Python into your computer by yourself.
15:20–16:10, “A visitor from the American Mathematical Society on Oct. 17, 1986”, MARUYAMA, Naomasa (The Institute of Statistical Mathematics)
Oct. 1986, a staff of American Mathematical Society Ms. Taissa Kusma visited Japan, and on 17th, she gave a presentation for AMS Tex and MathSci database at Math department of the University of Tokyo. In this talk, the speaker recalls this presentation along with PC(personal computer) environment at that time and history of MathSci database.
16:30–17:20, “Customizable Computer Algebra System Implemented on the Egison Pattern-Matching-Oriented Programming Language”, EGI, Satoshi (Rakuten Institute of Technology)
Egison is a programming language that features the customizable efficient non-linear pattern-matching facility for non-free data types including mathematical expressions. Egison allows users to define a pattern-matching method by themselves for mathematical expressions whose data structure is defined also by themselves. This lecture presents a computer algebra system implemented on Egison utilizing this feature. In addition to that, several original methods such as a method for importing tensor index notation has been proposed and implemented on this computer algebra system. This lecture also introduces these features.
