京大数研(RIMS)の平成22年度RIMS共同研究「数式処理研究の新たな発展」を、下記の通り開催しますので、ご案内いたします。
本共同研究は、2〜3年おきに夏に行っているもので（前回は2007年7月）、数式処理および関連分野の若手研究者、大学院生等を中心に、関連分野の研究発表、討論を行うものです。
（例年、冬に行っている研究集会 "Computer Algebra --- Design of Algorithms, Implementations and Applications" とは異なりますので、ご注意下さい。）
ご参加の方に、2点連絡があります。
1) 無線LANの利用について
RIMSでは、無線LANをご利用になれます。仕様は以下の通りです。
・IEEE802.11a/11b/11g, WPA/WPA2（WEP利用不可）
・無線LANアカウントは日本の携帯電話からwebアクセスで自動発行
もし、無線LAN利用希望者で、日本の携帯電話をお持ちでない（利用できない）方がいらっしゃいましたら、別途対応しますので、至急研究代表者までご連絡下さい。
2) 懇親会の開催について
中日8日のセッション終了後、懇親会を予定しております。当日参加も可能ですが、できましたら、参加予定の方は事前に研究代表者までご連絡いただければ幸いです。
その他、ご質問等がございましたら、研究代表者までご連絡下さい。
皆様の周辺で、本共同研究に関心をお持ちの方がいらっしゃいましたら、本メールの転送等、周知を歓迎いたします。
以上、よろしくお願いいたします。
-----
RIMS共同研究「数式処理研究の新たな発展」
http://sites.google.com/site/dcar2010/
日 時：2010年7月7日(水) 13:30 〜 7月9日(金) 12:30（3日間）
場 所：京都大学数理解析研究所 111 号室
研究代表者：照井 章（筑波大学 数理物質科学研究科）
プログラム：（プログラムのページもご参照下さい）
7月7日（水）
＜オープニング＞ 13:30〜13:35
＜セッション1＞ 13:40〜15:20
種々の行列を利用した整数係数近似GCD計算法
讃岐 勝 (筑波大学)
有理関数近似を用いた秘密分散法
甲斐 博 (愛媛大学)
近似GCD算法GPGCDの複数入力多項式への拡張
照井 章 (筑波大学)
＜セッション2＞ 15:40〜16:40
What for, why and how to get bit-size estimates for polynomial systems over Q: a few answers
Eric Schost (University of Western Ontario, ORCCA lab), Abdulilah Kadri (University of Western Ontario), Xavier Dahan (九州大学)
7月8日（木）
＜セッション3＞ 9:30〜10:50
積分の満たす非斉次微分方程式系を与えるアルゴリズム
中山洋将, 西山絢太 (神戸大学, JST CREST)
半代数的集合から代数的集合への変換に伴うスラック変数の個数について
吉田一星 (日本アイ・ビー・エム(株) 東京基礎研究所)
＜セッション4＞ 11:10〜12:20
OpenMP 3.0による多項式補間法の並列実装について
木村欣司 (京都大学)
USB起動 KNOPPIX/Math/2010 について
濱田龍義 (福岡大学 / JST CREST)
＜チュートリアル1＞ 13:40〜14:40
21世紀の数式処理に対する三つの新機軸：ディペンダビリティ・ユーザビリティ・並列/並行計算
池上大介 (産業技術総合研究所)
＜チュートリアル2＞ 15:00〜16:00
国際研究集会を開くまで - CASC 2009 開催までの道のり -
長坂耕作 (神戸大学)
＜情報交換＞16:00〜16:30
国際会議等の情報交換
7月9日（金）
＜セッション5＞ 9:30〜11:10
Böttcher 関数の構成による Julia 集合の可視化
吉田怜史, 藤村雅代, 後藤泰宏 (防衛大学校)
電子相関理論のための数式処理システムに向けて
小副川健, 望月祐志, 横山和弘 (立教大学)
TBA
岩見真希 (大阪経済法科大学)
＜セッション6＞ 11:30〜12:30
準同型暗号と整数及び整数多項式の近似GCD
長坂耕作 (神戸大学)
境界多項式について
北本卓也 (山口大学)
以上