文部科学大臣認定「産業数学の先進的・基礎的共同研究拠点」九州大学マス・フォア・インダストリ研究所

Developments in Computer Algebra Research and Collaboration with Industry|20200015

CATEGORY:Events

TAG: General Short-term 

How to holdHybrid Meeting (in person/Zoom)
VenueSeminar Room (W1-C-512), West Zone 1, Ito campus, Kyushu University and Live-streaming by Zoom
Main languageJapanese

Title of Research Project: Developments in computer algebra research and collaboration with industry
Principal Investigator: Shun’ichi Yokoyama(Associate Professor/Graduate School of Science, Tokyo Metropolitan University)
Research Period:February 14, 2022 – February 17, 2022
Open to the Public: February 14, 2022 – February 15, 2022

Program

February 14(Mon)

13:00-13:30
Overview of joint meeting: recent progression of the computer algebra research
Shun’ichi Yokoyama (Tokyo Metropolitan University)

13:40-14:30
Development of KNOPPIX/Math and MathLibre
Tatsuyoshi Hamada (Nihon University)

14:30-15:00 Free Discussion

15:10-16:00
Conversion of mathematical software into Web app using WebAssembly
Mitsushi Fujimoto (University of Teacher Education Fukuoka)

16:00-16:30 Free Discussion

February 15 (Tue)

13:00-13:50
Quantifier Elimination
Ryoya Fukasaku (Kyushu University)

13:50-14:20 Free Discussion

14:30-15:20
Development Process of New Language Features for Intuitive Representation of Mathematical Expressions
Satoshi Egi (Rakuten, Inc.)

15:20-15:50 Free Discussion

Registration

Anyone (up to 100 people) can participate in this conference for free.
To get Zoom URL, please fill the registration form:

\To participate this meeting, please apply below/

Zoom

If you have not downloaded the Zoom application yet, please download it (https://zoom.us) in advance.
https://zoom.us/download#client_4meeting

How to install it on your computer or smartphone.
https://zoom.nissho-ele.co.jp/blog/manual/zoom-install.html