プログラム

プログラム (PDF)

12月20日(水)

13:20~13:30 オープニング

13:30~14:00 讃岐勝(筑波大)
桁落ち判定による整数係数1変数多項式の互いに素である判定法

14:00~14:30 池泊明*, 照井章(筑波大)
Bezoutの終結式行列を用いたGPGCD法による1変数多項式の近似GCDの計算

14:30~15:00 長坂耕作(神戸大)
近似GCDアルゴリズムの新たな組み合わせ

15:10~15:40 落合竜也*, 牧野潔夫(工学院大)
平方根の任意多倍長精度演算(連分数とNewton法の融合)

15:40~16:10 中山洋将(東海大)
ある微分方程式系のグレブナー基底について

16:10~16:40 神谷徳昭*†, 森和好(会津大)
計算機科学から視た2次代数Zp[q]

12月21日(木)

09:30~10:00 北見宗士*, 関川浩(東京理科大)
複数の零点を指定した場合の最近接多項式~2重根を持つ場合~

10:00~10:30 若月雄麻*, 関川浩(東京理科大)
複数の零点を指定した場合の最近接多項式~簡潔な距離表示について~

10:40~11:10 亀田真澄(山陽小野田市立山口東京理科大)*, 宇田川暢(山口県立大)
数式処理機能をもつ動的数学ソフトウェアGeoGebraによる学習レベルに応じた一考察

11:10~11:40 北本卓也(山口大)
Javascriptを活用した数学教材作成ツールについて

11:40~12:10 大島利雄(城西大)
Risa/Asirと他のプログラムとの連携

13:30~14:00 岩根秀直(富士通研)
Sign definite condition専用限量子消去の公式の簡単化

14:00~14:30 Xavier Dahan (お茶の水女子大)
根基でない三角形の多項式集合のビット長

14:30~15:00 佐々木建昭(筑波大)
疎な多変数多項式系の高速な変数消去法の探求

15:10~15:40 鍋島克輔(徳島大)*, 田島慎一(筑波大)
収束冪級数環におけるgeneralized integral dependence relationの計算について

15:40~16:10 田島慎一(筑波大)
ホロノミーD-加群をもちいたGrothendieck local residuesの計算法について

16:10~16:40 宮本泉(山梨大)
SubdirectProduct群の作るcoherent configurationの計算

12月22日(金)

09:30~10:00 中川幸一(埼玉大)*, 吉村英竜(埼玉県立大宮高等学校)
非同型なパターンロックの列挙

10:00~10:30 中川幸一(埼玉大)*, 髙橋太郎(さいたま市立大宮北高等学校)
3次素数アンチ陣の生成

10:30~11:00 森継修一(筑波大)
円内接多角形の外接円半径公式の計算と解析

11:00~11:10 クロージング

(*は登壇者, は名誉教授)