第21回日本数式処理学会大会

2012年 6月 山口県


標記の通り,日本数式処理学会の大会を開催します.

なお,発表される方は, 発表内容に関する資料50部以上を発表前に大会実行委員長までお届け下さるか, 発表当日に持参し,所定の場所に置いて下さるようお願い致します.

6月9日(土)の18:00から懇親会を予定しております。

会場 山口大学大学会館2階会議室(地図の8番、 交通・宿泊案内)
開催日 2012 年 6 月 8 日(金)~ 6 月 10 日 (日)
大会実行委員長  北本卓也(山口大学)
連絡先(大会プログラム委員会)  jssac2012@jssac.org

6月8日(金)セッション1
14:00
  ~
 15:30
標本歪度と標本尖度分布の同時密度関数導出と数式処理
中川重和(倉敷芸術科学大学)○,橋口博樹(埼玉大学),仁木直人(東京理科大学)
SK3再考
高橋正(甲南大学)○
Chapple's formula and Blaschke products
藤村雅代(防衛大学)○
6月8日(金)セッション2
16:00
  ~
 17:00
KNOPPIX/Math から MathLibre へ 
濱田龍義(福岡大学/JST CREST/OCAMI)○
ゴールドバッハのアイデアによる級数加速法について
山本晴日(甲南大学大学院自然科学研究科)○,松本茂樹(甲南大学知能情報学部) 
6月9日(土)セッション3
10:00
  ~
 11:30
ブーリアングレブナ基底のグラフ彩色問題への応用
井上秀太郎(東京理科大学)○
近似Groebner基底の後退誤差解析について
長坂耕作(神戸大学)○
Sign Definite Condition 専用 Quantifier Elimination の実装高速化のための論理式の簡単化★
岩根秀直(富士通研究所)○,樋口博之(富士通研究所),穴井宏和(富士通研究所/九州大学) 
6月9日(土)奨励賞授賞式
11:30
  ~
 11:45
奨励賞 岩根秀直(富士通研究所)
6月9日(土)セッション4(分科会企画)
13:00
  ~
 14:30
理論分科会
藤本光史(福岡教育大学)○
システム分科会
濱田龍義(福岡大学/JST CREST/OCAMI)○
6月9日(土)セッション5(分科会企画)
14:45
  ~
 16:15
教育分科会
北本卓也(山口大学)○
Mathematica分科会
大橋真也(千葉県立船橋啓明高等学校)○
6月9日(土)2012年度定時社員総会
16:30
  ~
 18:00
2012年度定時社員総会
6月10日(日)セッション6
10:00
  ~
 11:00
連立代数方程式の解の個数を保つ摂動限界
関川浩(東海大学理学部)○,白柳潔(東邦大学理学部)
係数に媒介変数を含む不定値2元2次形式を簡約するプログラムの実装の構想
橋本竜太(香川高専)○
6月10日(日)セッション7
11:15
  ~
 12:15
算数オリンピックの問題解法について
北本卓也(山口大学教育学部)○
STACKの問題作成ツールの開発とSTACK3に向けて
中村泰之(名古屋大学)○,大俣友佳(名古屋大学),中原敬広(合同会社三玄舎) 
氏名の後ろの○は登壇者 講演タイトルの後ろの★は奨励賞対象講演



大会記録に戻る Topに戻る

webmaster@jssac.org
 
  Last modified: $Jssac: jssac2012.html,v 1.1.1.1 2015/11/18 16:09:26 html Exp $