第15回 日本数式処理学会大会

2006年 6月 東京都


標記の通り,日本数式処理学会の大会を開催します.

なお,発表される方は, 発表内容に関する資料50部以上を発表前に大会委員長までお届け下さるか, 発表当日に持参し,所定の場所に置いて下さるようお願い致します.

6月6日(火)の18:30から懇親会(会費3000円程度)を開催する予定です.

場所 東京理科大学神楽坂キャンパス森戸記念館
開催日 2006 年 6 月 5 日(月)〜6 月 7 日 (水)
大会委員長  佐藤洋祐(東京理科大学)

6月5日(月)セッション1
13:30
  〜
 15:00
Mandelbrot集合の泡について
藤村雅代(防衛大学校)○, 竹島 卓(富士通研究所)
Mandelbrot集合の泡の終結式計算
竹島 卓(富士通研究所)○, 藤村雅代(防衛大学校)
準正多面体の不変式について
高橋 正(神戸大学発達科学部)
6月5日(月)セッション2
15:30
  〜
 17:00
数値根に対するきつい誤差上界
佐々木建昭(筑波大学数理物質科学研究科)
パラメータを含んだシステムのHノルムの計算法
北本卓也(山口大学教育学部)
ブロックシステムを利用した置換群の正規化群計算の高速化
宮本 泉(山梨大学コンピュータ・メディア工学科)
6月6日(火)セッション3
9:30
  〜
 11:00
対話式幾何学ソフトウェアの応用について
濱田龍義(福岡大学)
物理数学授業における数式処理システムを利用した教材の活用
中村泰之(名古屋大学情報科学研究科)
標本歪度・標本尖度分布の高次漸近展開における数式処理の役割
中川重和(倉敷芸術科学大学)○, 仁木直人(東京理科大学)
6月6日(火)セッション4
11:30
  〜
 12:30
数式処理を用いた制御系設計支援ツールの開発★
兵頭礼子((株)アルファオメガ)○, 洪明勲((株)富士通ソフトウェアテクノロジーズ), 屋並仁史((株)富士通研究所), 穴井宏和((株)富士通研究所), 原 辰次(東京大学)
代数的算法を用いた、 多細胞における複数細胞タイプの共存条件式の導出★
吉田 寛(東京大学・医科学研究所)○, 穴井宏和(富士通研究所/CREST JST), 堀本勝久(産業技術総合研究所・生命情報科学研究センター)
6月6日(火)奨励賞授賞式
14:00
  〜
 14:15
2005年度奨励賞授賞式(14:00〜14:15)
受賞者 長坂耕作(神戸大学発達科学部)
6月6日(火)セッション5
14:30
  〜
 15:30
近似因数分解の新たな試み(仮)★
長坂耕作(神戸大学発達科学部)
数理と芸術:記号処理と論駁可能性について★
桐生裕介(スタジオフォンズ)○, 長坂耕作(神戸大学発達科学部)○, 高橋 正(神戸大学発達科学部)
6月6日(火)セッション6
16:00
  〜
 17:30
Calculus of Sets における限量子消去について★
井上秀太郎(東京理科大学理学研究科)○, 佐藤洋祐(東京理科大学理学部)
多項式スペクトラル分解に付随するグレブナ基底の change of orderingについて★
木村欣司(CREST JST)○, 管野政明(CREST JST), 穴井宏和(富士通研究所/CREST JST), 横山和弘(立教大学/CREST JST)
Risa/AsirによるEuclid幾何定理証明プログラムの実装
荒井千里(筑波大学図書館情報メディア研究科)○, 森継修一(筑波大学図書館情報メディア研究科)
6月7日(水)セッション7
9:30
  〜
 11:00
8直線配置と関係するE8型Weyl群のルート系集合の分類と応用
福井哲夫(武庫川女子大)○, 関口次郎(東京農工大)
素体上の射影平面の6直線配置について
関口次郎(東京農工大学工学部)
数式処理におけるデュアルコア並列処理
村尾裕一(電気通信大学情報工学科)
6月7日(水)セッション8
11:30
  〜
 13:00
実閉区間内の分母最小の有理数を求める連分数算法
村上 弘(首都大学東京)
実区間多項式の実重複零点の所在について
関川 浩(NTT CS研)○, 白柳 潔(東海大学理学部)
Taylor展開による三体問題の解法
平山 弘(神奈川工科大学工学部)○, 白石文秀(九州大学バイオアーキテクチャーセンター)
氏名の後ろの○は登壇者 講演タイトルの後ろの★は奨励賞対象講演

佐藤洋祐(大会運営委員長) 中川重和(大会運営副委員長)
東京理科大学 倉敷芸術科学大学


大会記録に戻る Topに戻る

webmaster@jssac.org
  Last modified: $Jssac: jssac2006.html,v 1.1.1.1 2015/11/18 16:09:26 html Exp $