|
標記の通り，日本数式処理学会の大会を開催します．
なお，発表される方は， 発表内容に関する資料５０部以上を発表前に大会実行委員長までお届け下さるか， 発表当日に持参し，所定の場所に置いて下さるようお願い致します． 6月8日（土）の18:00から懇親会を予定しております． |
| 会場 | 防衛大学校 理工学2号館25番教場(校内図の９番) |
| 開催日 | 2013 年 6 月 7 日（金）～ 6 月 9 日 （日） |
| 大会実行委員長 | 藤村 雅代 (防衛大学校) |
| 連絡先(大会プログラム委員会) | jssac2013@jssac.org |
| 6月7日（金） | |
|---|---|
| 14:30 ～ 14:45 |
開催挨拶 及び 諸連絡 |
| 6月7日（金）セッション1 | |
| 14:45 ～ 17:00 |
有理関数のモジュライ空間のグローバルパラメータについて 藤村 雅代 (防衛大学校)○ |
| 消去イデアルの応用III 高橋 正 (甲南大学)○ | |
| 多変数 Pade 近似について 北本 卓也 (山口大学)○ | |
| MathLibre 2013 について 濱田 龍義 (福岡大学/JST CREST/OCAMI)○ | |
| 6月8日（土）セッション2 | |
| 9:30 ～ 11:00 |
Syzygyの近似計算による1変数多項式の近似GCDの計算 照井 章 (筑波大学)○ |
| 近似GCDの性能評価 - LIBSNAPにおける3つの実装 - 長坂 耕作 (神戸大学)○ | |
| An adventure of chasing operations with order 11 on Rubik's Cube 藤本 光史 (福岡教育大学)○, 泊 昌孝 (日本大学) | |
| 6月8日（土）セッション3【奨励賞対象講演1】 | |
| 11:15 ～ 12:15 |
グレブナー基底はどの程度のパズルを解くことができるのか？★ 杉原 彩○, 鍋島 克輔 (徳島大学) |
| Complex QE について★ 深作 亮也○, 井上 秀太郎, 佐藤 洋祐 (東京理科大学) | |
| 6月8日（土）セッション4【奨励賞対象講演2】 | |
| 13:30 ～ 14:30 |
Lauricella 超幾何微分方程式系のグレブナー基底とその応用★ 中山 洋将 (神戸大学/JST CREST)○ |
| Magmaによるp進拡大体の高速生成アルゴリズムの実装★ 横山 俊一 (九州大学IMI/JST CREST)○, 吉田 学 (九州産業大学付属九州産業高校) | |
| 6月8日（土）セッション5【名誉会員就任記念講演】 | |
| 14:50 ～ 15:50 |
名誉会員就任記念講演: TBA 竹島 卓 (金沢工業大学)○ |
| 感謝状贈呈式 | |
| 6月8日（土）2013年度定時社員総会 | |
| 16:00 ～ 17:00 |
2013年度定時社員総会 |
| 6月9日（日）セッション6 | |
| 9:30 ～ 11:45 |
ブーリアングレブナ基底を使用した集合制約の解法の改良 井上 秀太郎 (東京理科大学)○ |
| FP区間演算による実対称三重対角行列の固有値のカウント 村上 弘 (首都大学東京)○ | |
| ifplotの改良 (仮) 兵頭 礼子 (サレジオ工業高専)○, 近藤 祐史 (香川高専), 村尾 裕一 (電気通信大学), 齋藤 友克 ((株)アルファオメガ) | |
| 整数行列の最小多項式の候補の計算について 木村 欣司 (京都大学)○ | |
| 氏名の後ろの○は登壇者 | 講演タイトルの後ろの★は奨励賞対象講演 |
| 防衛大ページ | 交通案内， 校内地図 |
| バス時刻表 | 京急バス |
| 浦賀駅から | 徒歩ルート(写真付き) |
| 防大ツアー | 定員に達しました． |
| 諸注意 | 身分証明書を携帯ください．(できれば顔写真付きのもの) |
| 宿泊 | 京急線沿線（横須賀中央，汐入近辺）が便利です． |
| 懇親会 |
日時： 6月8日(土) 18:00より 場所： 中華料理「雪園」 横須賀中央駅前 横須賀モアーズシティ8F 料金： 5,000円/１人，学割あり |
| 課外講演 |
6月7日(金)には，防衛大学校 情報工学科4年生を対象にした課外講演が
以下のように開催されます． 興味のある方はこちらもご聴講いただけます． 日時： 6月7日(金) 10:10 ～ 11:40 講師： 富士通研究所 下山 武司 氏 タイトル : 暗号技術と安全性評価 |
| 大会記録に戻る | Topに戻る |
Last modified: $Jssac: jssac2013.html,v 1.1.1.1 2015/11/18 16:09:26 html Exp $