2021年度合同分科会開催のご案内


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


webmaster@jssac.org