日本数式処理学会の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に戻る |