|
標記の通り，日本数式処理学会の大会を開催します．
なお，発表される方は， 発表内容に関する資料５０部以上を発表前に大会実行委員長までお届け下さるか， 発表当日に持参し，所定の場所に置いて下さるようお願い致します． 5月31日（土）の19:00から懇親会を予定しております．日にちにより会場が違いますのでご注意ください． |
| 会場 |
徳島大学地域連携プラザ 地域連携大ホール (5月30日(金)) 徳島大学総合科学部1号館301講義室 (5月31日(土), 6月1日(日))校内図 |
| 開催日 | 2014 年 5 月 30 日（金）～ 6 月 1 日 （日） |
| 大会実行委員長 | 鍋島 克輔 (徳島大学) |
| 連絡先(大会プログラム委員会) | jssac2014@jssac.org |
| プログラムPDF版 |
| 詳しい地図 |
| 5月30日（金） | |
|---|---|
| 13:50 ～ 14:00 |
開催挨拶 |
| 14:00 ～ 15:30 |
An extension of Fuss' theorem 藤村 雅代 (防衛大学校)○ |
| ブーリアングレブナ基底を使用した数独の難易度判定 井上 秀太郎 (東京理科大学)○ | |
| 数式処理システムを授業の現場で効率よく活用するためのインフラ整備の一事例 橋本 竜太(香川高専)○ | |
| 休憩 | |
| 15:40 ～ 16:40 |
３次 Virtual Substitution とその簡単化 岩根秀直(国立情報学研究所／（株）富士通研究所)○ |
| 包括的グレブナー基底系を利用した実数領域における限量子消去 深作 亮也○，井上 秀太郎，佐藤 洋祐 (東京理科大学) | |
| 5月31日（土） | |
| 9:10 ～ 10:40 |
複数の多項式に対する最近多項式 関川 浩 (東京理科大学)○ |
| fastgcdとuvgcdの改良について 長坂 耕作 (神戸大学)○ | |
| 反復法を用いた多項式を要素に持つ線型方程式の解法 讃岐 勝 (筑波大学)○ | |
| 休憩 | |
| 10:55 ～ 11:55 |
正定値対称行列を係数とする連立1次方程式のレゾルベントを用いた解法 村上 弘 (首都大学東京)○ |
| ２変数 Pade近似とその制御系設計への応用 北本 卓也(山口大学)○ | |
| 昼休み | |
| 13:10 ～ 13:40 |
奨励賞授賞式：中山 洋将 (東海大学)，横山 俊一 (九州大学) |
| 13:40 ～ 14:40 |
代数体上至る所良い還元を持つ楕円曲線の決定問題について 横山 俊一(九州大学) ○，筒石奈央 (津田塾大学) |
| Sageでの次数2のジーゲル保型形式の計算について 竹森 翔 (京都大学) ○ | |
| 休憩 | |
| 14:55 ～ 16:25 |
|
| Kampé de Fériet の微分方程式系のグレブナー基底 中山 洋将 (東海大学) ○ | |
| マトリス双対定理を用いた代数的コホモロジー類の満たす偏微分方程式系の計算アルゴリズム 渋田 敬史(九州大学)○， 田島 慎一（筑波大学） | |
| 代数的局所コホモロジーを用いたスタンダード基底の項順序変換について 鍋島 克輔（徳島大学）○，田島 慎一（筑波大学） | |
| 16:35 ～ 17:35 |
2014年度定時社員総会 |
| 6月1日（日） | |
| 9:10 ～ 10:40 |
MathLibre 2014 について 濱田 龍義 (福岡大学/OCAMI)○ |
| 画像秘密分散法の不正者検出に関する研究 上田 圭太○，甲斐 博，園尾 貴文 (愛媛大学） | |
| 中国剰余定理による高速化のための浮動小数点数の符号bitの利用について 木村 欣司 (京都大学)， 村尾 裕一 (電気通信大学) | |
| 休憩 | |
| 10:55 ～ 11:55 |
Risa/Asir のエディタ連携と asir-contrib update 小原功任(金沢大学)○ , 高山信毅 (神戸大学), 野呂正行 (立教大学) |
| Asirにおける陰関数描画ifplotの改良 近藤 祐史 (香川高専)○, 兵頭 礼子 (サレジオ工業高専), 村尾 裕一 (電気通信大学), 齋藤 友克 ((株)アルファオメガ)) | |
| 氏名の後ろの○は登壇者 |
| 徳島大学ページ | 交通案内， 校内地図 |
| 宿泊 | JR徳島駅周辺が便利です． |
| 懇親会 |
日時： 5月31日(土) 19:00より 場所： 未定 料金： 5,000円/１人，学割あり |
| 大会記録に戻る | Topに戻る |