|
標記の通り，日本数式処理学会の大会を開催します．
なお，発表される方は， 発表内容に関する資料５０部以上を発表前に大会実行委員長までお届け下さるか， 発表当日に持参し，所定の場所に置いて下さるようお願い致します． 6月9日（土）の18:00から懇親会を予定しております。 |
| 会場 | 山口大学大学会館２階会議室(地図の８番、 交通・宿泊案内) |
| 開催日 | 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に戻る |
Last modified: $Jssac: jssac2012.html,v 1.1.1.1 2015/11/18 16:09:26 html Exp $