TANIGUCHI, Tetsuji (Hiroshima Institute of Technology)
YASUNO, Fumiko (National Institute for Educational Policy Research)
Program
13:00-13:30, “A 3D scene description translator Sketch and its extension for
permutation puzzles”, AOKI, Ryosuke / MURAO, Hirokazu (The University of Electro-Communications)
13:40-14:10, “Making an e-book inserting teaching materials created by dynamic mathematical software : Using HTML5 widgets for iBooks Author”, YASUNO, Fumiko (Department for Curriculum Research Curriculum Research Center National Institute for Educational Policy Research)
14:30-15:20, “Technique of visualization and generation of decorative patterns by using Processing”, HAYAMA, Tatsuki (Senshu University)
15:40-16:30, “Utilization of Mathematical Software in Spectral Graph Theory”, TANIGUCHI, Tetsuji (Hiroshima Institute of Technology)
16:50-17:40, “How to use the Julia language and the Jupyter notebook in mathematics”, KUROKI, Gen (Tohoku University)
Abstract
13:00-13:30, “A 3D scene description translator Sketch and its extension for
permutation puzzles”, AOKI, Ryosuke / MURAO, Hirokazu (The University of Electro-Communications)
Sketch, written by Gene Ressler, is a software for producing clear and precise 3D drawings in LaTeX, originally aimed at textbooks. Sketch accepts 3D scene description based on its own language, and generates PSTricks or TikZ/PGF code that can be embedded in LaTeX source code. In this talk, I propose an extension to Sketch language for permutation puzzles like Rubik’s Cube, and report on the
implementation.
13:40-14:10, “Making an e-book inserting teaching materials created by dynamic mathematical software : Using HTML5 widgets for iBooks Author”, YASUNO, Fumiko (Department for Curriculum Research Curriculum Research Center National Institute for Educational Policy Research)
In this talk, I will talk about making an electronic book inserting teaching materials created by dynamic mathematical software such as GeoGebra and Cinderella. We use HTML5 widgets for iBooks Author to insert dynamic objects into e-books (Apple Books). We assume that mathematics teachers of junior high schools and
senior high schools themselves create them and use them in math classes. We will touch points to be noted and problems at that time.
14:30-15:20, “Technique of visualization and generation of decorative patterns by using Processing”, HAYAMA, Tatsuki (Senshu University)
Processing is a user-friendly programming language, which is often used for introductory education of programming. I will introduce a technique of visualization of mathematical objects and generation of decorative patterns by using it.
15:40-16:30, “Utilization of Mathematical Software in Spectral Graph Theory”, TANIGUCHI, Tetsuji (Hiroshima Institute of Technology)
In spectral graph theory and algebraic graph theory, we study the structure by looking at the eigenvalues of the graph, or vice versa, classify / determine / characterize graphs with specific eigenvalues. Recently, by the development of mathematical software, computer experiments and find out specific examples have become easy. So far, I have studied by using Magma. Also, I used Mathematica in
order to improve expressiveness for drawing graphs, and use SageMath when dealing with undirected graphs (which are not fully implemented in magma). I would like to talk what kind of scene used the software (especially Magma and SageMath) this time.
16:50-17:40, “How to use the Julia language and the Jupyter notebook in mathematics”, KUROKI, Gen (Tohoku University)
Julia is a fast and user-friendly new programming language, which can be used in the Jupyter notebook from a web browser. Using Julia, we can solve various problems as almost the same speed as the C language and immediately plot the results on a browser via Jupyter. Furthermore we can also insert comments including formatted mathematical expressions owing to MathJax-awareness of Jupyter. Thus the combination of Julia and Jupyter is an excellent solution for realizing both trial and error by high-speed calculation and the mathematical presentation of the result.
