| 日本数式処理学会の3分科会では，2021年度合同分科会を下記のように開催致します．皆様のご参加をお待ち申し上げます． |
| 日 時 | 2022年1月29日(土)〜30日(日) | |
| 場 所 | オンライン（参加方法は参加を希望される方に別途ご連絡します） | |
| 主 催 | 一般社団法人日本数式処理学会 理論分科会，システム分科会，Mathematica分科会 |
| 1月29日(土) | |
|---|---|
| 14:00-14:10 | 開催の挨拶および1日目の説明 |
| 14:10-14:40 | ○伊藤 綾音，照井 章（筑波大学） Gröbner基底を用いた「刈屋の定理」の証明 |
| 14:45-15:15 | ○葛西 剛史，照井 章（筑波大学） Wu’s Methodを用いた「刈屋の定理」の証明 |
| 15:20-15:50 | ○岩間 詞也，高橋 正（甲南大学） 幾何学基礎論をIsabelle/HOLで実証する |
| 1月30日(日) | |
| 10:00-10:10 | 2日目の説明 |
| 10:10-10:40 | ○鷲野 朋広，高橋 正（甲南大学） ニューラルネットワークを用いた学習状況における過剰汎化現象 |
| 10:45-11:15 | 村上 弘（東京都立大学） 固有値解法用フィルタの有理関数補間法による構成 |
| 11:20-11:50 | ○大墨 礼子（関東学院大），近藤 祐史（香川高等専門学校），藤村 雅代（防衛大学校） 反復計算での式の展開について |
| 11:50-13:30 | 休憩 |
| 13:30-15:00 | 特別セッション「数式処理関連書籍の執筆と出版まで」 登壇者：長坂耕作（神戸大学）※2019年3月に共立出版から刊行の「計算機代数の基礎理論」編著者 登壇者：横山和弘（立教大学）※2022年2月に朝倉書店から刊行予定の「多項式と計算機代数」著者 |
| ○は登壇者を表す． |
| Zoomでの開催となります．参加のために必要なURLなどは，日本数式処理学会会員メーリングリストでご案内予定ですが，メーリングリストに未登録の方でご参加頂ける方は，下記連絡先まで，名前と所属をお知らせ下さい．開催までにURL等をご連絡します． |
| ご質問・ご要望は， joint@jssac.org までメールで送信下さい． |
| 分科会連絡委員長 藤本光史 |
| 理論分科会運営委員長 中山洋将 |
| システム分科会運営委員長 近藤祐史 |
| Mathematica分科会運営委員長 大橋真也 |
| Topに戻る |