標記の通り,日本数式処理学会の大会を開催します。
発表される方は,発表内容に関する資料50部以上を発表当日に持参し所定の場所に置いて下さるようお願い致します。資料の郵送をご希望される場合は,jssac2019@jssac.orgまでメールにてご相談ください。
5月31日(金) | |
---|---|
14:40 - 14:50 | 開会挨拶 |
14:50 -- 15:50 | 【教育】マークシート選択式問題における数式処理の活用 |
【教育】数理的記述式問題のオンラインテストの実践報告〜線形代数の定期試験〜 | |
16:00 -- 17:00 | 【応用】常微分方程式のTaylor級数解の計算 |
【応用】関数近似と固有値問題の解法に用いるフィルタの設計 | |
6月1日(土) | |
9:30--10:30 | 【応用】Isabelle/HOL によるユークリッド原論の定理証明 |
【システム】Jupyter への asir カーネルの実装 | |
10:40--11:50 | 感謝状贈呈式 / 奨励賞授賞式 |
【名誉会員特別講演】 | |
11:50 - 13:30 | 昼休憩 |
13:30--14:30 | 【報告】JavaScript で CGT |
【システム*】未定義関数について引数を省略する記法のプログラミングへの導入 | |
14:40--15:40 | 【理論*】代数多様体のコホモロジー群へのフロベニウス作用を計算するアルゴリズム |
【理論】パラメトリックな代数方程式の根の連続性とBorder Basisとの関係 | |
16:00 - 17:00 | 2019年度定時社員総会 |
6月2日(日) | |
10:00--11:00 | 【応用】Barrlund の距離関数について |
【理論】Robustな疎多項式補間アルゴリズム | |
11:10--12:10 | 【理論】近似GCDとその応用 |
【理論】多変数近似GCD計算のためのSylvester部分行列のnull空間の効率的計算 |