標記の通り,日本数式処理学会の大会を開催します.
なお,発表される方は, 発表内容に関する資料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に戻る |
Last modified: $Jssac: jssac2006.html,v 1.1.1.1 2015/11/18 16:09:26 html Exp $