2005年11月

全文

(1)ISSN1880‑2818. 数理解析研究所講究録1456. ▲. ■■. 1. t. ComputerAlgebra‑Designo土Algorithms,. ImplementationsandApplications. 京都大学数理解析研究所 2005年11月.

(2) はじめに神戸大学理学部数学科虹乙[コ. Tr4:ニ. /凡打几{{̲̲̲̲1̲二. ■hT〈̲̲{＼. き｣′亡コ⊥Ll｣し｣VlabayuK11ヽUエUノ. 本講究録は,2004年12月13日〜16日に,京都大学数理解析研究所で開催された研究集会｢ComputerAlgebra‑DesignofAlgorithms,lmplementationsandApplications｣ (CA‑ALIAS,04)の報告集である･本研究集会では33件の講演があった･内容は,タイトルが示す通り多岐にわたるが,特に数億計算に関係する話題が多かったと言えよう･数値計算に限らず,ComputerAlgebraの手法を持ち込むことで,患わぬ成果が得られる分野がまだまだあるかもしれか‑.発表者,参加者のリストを眺めると,ベテランが元気である､,.̲｢一童十､､̲一h⊥‑.⊥ト′+‑∴P.†､J一､､し七一サRl とヮヰト､､よす̲ヰ･〜一コI立ノ女JJ̲L41ヱトスナス由妄一十7日かブゝ干t可,新'しい蓼〟U有力ユニ少■甘いよノせ‑芯んQ･石■∨■ノヽノしっで∴プトビ1司‑ユリ丞し勺■くh ノ′ム/凹ノJUソ'ふ. 応用の開拓が望まれる. 浄ヒなJケ三日法き H卜J十一. する.. ま舌ム爪羊田出7′ナナ己1童蕃容量嘉の利キ功首足. ｣'ノ川ソし⊂=)′】王̀1Y/くコニー⊥｣Y､く7､. ノ. m/Uyq､▼/111J. ′Y. ′､⊥'. ‑̀｢一. か〔で‑ノまっかことをを皇;喜字び一. 1. ))1. ,. ▼. ▼. 【.

(3) ComputerAlgebra義l}eslgnOIAlgorithns,lmPlenentadonsandApPllCadons. 研究集会報告集 2004年12月13日〜12月16日右耳辞作東岩 ■リ｣ノLJ Yl‑ヽ. 野見. トイ. ■r■. てF雫千. L.･.■. i. 目. rM月qRⅥ1ki Nnm). 一. ､ ‑ ■■一一■. ノ. ‑. '■ ̀ ̀′. 次. 1.主係数が特異な場合の多変数多項式の解析的因数分解一巾一一一一…‑州一一…叩‑. 筑波大･数理物質科学. 岩見. 真希(MakiIwami). 2.拡張Hemel構成を用いた多変数多項式の因数分解の効率性一一一一岬一一一一････日･=･一一一一一一10. 筑波大･数理物質科学. 稲葉大樹(DaかIn血〉. 3･近接根クラスタの代数的分離法と最小根間距離…一一一一一一一一一一一一一…一一一一一一一…一一一一･一一二一一一････一lS. 筑波大･数学系. 佐々木建昭(T如癒iSas癒i). 奈良女子大･理. 加古富志雄(Fl痕OK血0) ､..̲. 卜.｣.H. .. ‑̲. ▲. 1▲,‑. ノゝ̲.L. ヽ̲. ̲,. ヽr‑｣｣,▲′エロ. ′▼､.三.lJ由生･. 4.1変数代数方程式の一つの虹賛根グフスクに苛まれる疋牒伐リノ訂昇一一一一一一一日…1‑一27. 筑波大･数理物質科学. 照井. jj. 牽くAk血Temi). 佐々木蓮昭(Taお盆iSぉ蕊i). 5.置換群の可移拡大の計算法t･一一一一一一一1‑‑‑‑‑‑‑‑‑‑‑‑‑一一一一一一一日一一一一一一一一一…一一一一一叩一一一山一…一一一一一一…35 日一乗｣1‑‑.1哀尊丁尊皇公谷宗許容垂R Hフ†くノ＼. PT⊥TJIYU､LJ. へ′｣ノUHl一. 督太日 l▼. 虚JTァHmj Miv只mntnl. /J､ヽ一一一一】■. ▲'. ノ･.･.■･▼. ′. 6.SymbolicJNl皿edcOp血iz血onfbrKhe血Models ̲. A¶只nnljnRパnntnhininhm慮icsneld ‑ ̲…1̲̲…‑.一一一一t一一一一一一一一一一一一一一･一一一日…一一一一一一一一一一一一一40 ▲ ■▲ Trr ■■■■ ̀ ‑ ▼ ■‑‑▼ ‑｢'. 富士通(株). 折居. (株)富士通研究所/CRESTJST. 茂夫(ShgeoOrii). 穴井. 東大･医科学研. 堀本. 宏和(nroka2nAnai) 勝久(K如S血isaHo血oto) 49. 7.0nComputingSumofRootswihPositiveRealPartsofPob7nOmialS一･･･････". (株)富士通研究所/CRESTJST. 穴井. 宏和(HirokaZuAnai). 立教大/CR丑STJST. 横山. 和弘(KazuhiroYokoyana). 東大/CRESTJST. 原. 辰次(ShiniiH訂a). 8.DevelopmentofSyNRAC‑ACylindriCalAlgebraicDecompositionProcedure"･･‑‑‑58. (株)富士通研究所/CRESTJST JJ ̲･ノ̲̲̲. 屋並仁史(通わShiYan弧i) 穴井宏和(Hkok乱mAnai) ̲̲̲!⊥1̲. ′1̲̲｣二上ご一員▲こ̲̲̲. ̲,二八. 〇▼,..̲｣｣〈1こ{. 9.NdmedcalLylmdd姐A嶋eDrai￠DeCOmpOSmOmWl皿し糾山UauUnY▲aJJ山UU仙鮎con或mc血n岬一･･･一一一一一一一一一一嘉一州…一一一一一一‑一一一……一一･一一一一一一一一一一一一一一一一一山一一一鵬一川‑…一一一一一…65. /壱ヒ＼′身｣一二品真正歯石仔/√1}tHrTlqT ＼1/トノ. 自∃｣｣J上巳'Iツ1ノuJノーJ. ヽノ⊥ヽ⊥JLl▲. JLl⊥. 立教大/CRESTJST. ′方士ヒ ′ヽノt. 横山. 赤天nJl汀irr､古見m At柑il. ′■1■lr｢＼▲■■■■･■■'. ■･■ H''. 【 ̀′. 和弘(KazuhiroYokoyama). 1n A.n,j(レ〔∩,nm十負パnmnf只1tkind宍nftransve制止Hbr血sseCtionsofan肛r払g8m孤t‑…一一70 ⊥. ヽ′･. ▲111■●JU､′‑1‑〉■. r. ‑. ̀. ̀. ▲. ▼▼. '. ▼. ‑. ▼▼1▼▼. 武庫川女子大･生活環境東京農工大･工. 福井哲夫(Te如OF血i) 関口次郎(J血Sekig血i). 1̲.

(4) 11.数学Webサービスにおけるグラフ表示サービスとその教育への応用一一一一一一一一一一･愛媛大･理工学. 渡達. 愛媛大･工. 巧(T血miWatan血e〉. 甲斐. JJ. 77. 博(H血血Kai). 野田. 松太郎(Ma山一TmWNoda). 12.Ma血BlackBoadからのOpenXMの利用‑エー一一…‑…‑…一一一一……一一一一一一一一一…一一一一一一一…一一一一一一87. 神戸大･国際協力. 出口. 博幸(Hk0並iDeg血i). 13.人間らしい初等幾何証明における角の取り扱いについて一一一一一一一一一一一……一一t一一一川一一一一90. NTTコミュニケーション科学基礎研究所法政大･工 NTTコミュニケーション科学基礎研究所法政大･工. 白柳. 潔(鮎yosbiSir野弧喝i). 宮本. 健司(鮎房iMかmOtO). 関川. 浩(nroshiSekigawa). 山本. 航(WatamYむnamOtO). 14.コンパイラと数式処理コンパイラ･インフラストラクチャCOINSの活用一構想=一一一…一一一一一…･……‑…100. (株)三菱綺研 JJ. 藤瀬哲朗(TetSurO瑚ise) 西岡利博(To血mkoN血ioka). 電通大･電気通信. 渡連. 坦(TanW誠anぬら). 15.式変形支援システムの作成･･■･･‖･H･一一…･…一一一一一t一一一‑一一t一一一日山一一一一…一一一t一一一……一一一一一一日…一一一10S. 産総研. 元吉. 文男(FumioMotoyoshi). 16.局所グレブナ扇一一一一一…一一…一一一一一一一一一一一一一一一1‑‑…一一一一一tl血一一一一一一……一一…量一一一一一t…一一一一…山一一一112. 神戸大･理. 高山. 信毅(Nob止kiT永野皿1a). 神戸大･理,JSPS ROu血di鼠血lo山 17.Moraの割り算アルゴリズムと多項式のlocd∂関数の計算一一一一一一一一…一一一一一一一一一一一一･･日.‑117. 神戸大･自然科学. 中山. 洋将(H血nasaNak野弧la). 18.零次元代数的局所コホモロジーの計算法とスタンダード基底計算について…‑126 新潟大･工. 田島. 慎一(Sh血diT毎血a). 19.高速常数計算アルゴリズム一一…一日一一一一一日一一叫t‑1日一一一一一一一一一一一■･L･･一一…一一一叩一日一･･一･一･･■･一一一一一一一叩‑133. 新潟大･自然科学. 庄司. 新潟大･工. 卓夢(T並nmuSh頑). 田島慎一(S王血id止で毎血a). 20.鮎S扉Asirの行列演算の実装Ⅱ一一一一一一…一一一日一一一一一一一一‑…=‑仙･一一一一一一一1‑‑‑‑‑叩一一一一一一■･･･‑…一一一144. (株)アルファオメガ. 兵頭. 礼子(No舷0町odo). 電通大･電気通信. 村尾裕一(HhokazuMl汀aO). (株)アルファオメガ. 斎藤. 友克(Tomoka血S血0). 21.数論システムNZMATHにおける複数多項式二次蘇法(MPqS)の実装について一･･一……一一一…‑…一一一一……一一…一一一日一一t一一一t一一一一一…一一…一一一一一一一一一一一山山一一一1‑日. 都立大･理学. 熊木. 幸司(KolかKum止i). 22.SCILABへのべき級数の導入とその制御系設計への応用■･い･･‑…叩一一…一一一一一一一一叩一･. 山口大･教育. 北本. ･2‑. 151. 卓也(T嶽Wa鮎tamoto). 159.

(5) 23.一般化されたオイラーの定数について一山山一一一一一一一一…一一一…‑…‑…一一一一一一一一山一……‑…‑167 4,金高一･ト.讃召. 召す;ロ. ウ外r司/ヽ. 1=E. H. Vヽ. 1RlJ. 城西大･理学ゥ4 ‑. ▲. 寸書̲ヱ▲｢1r;､′ハLハNj亡hiヮmt,負1. ＼▲1リヽ′■mV. 斎藤. ⊥1■̀JJHL▲▲山】▼'1‑′. 真一(Sh最chiS血to). ‡曽封射数関数等の詔誠関数の象倍籍摩計笠∴…̲̲‑̲̲̲■̲̲̲̲..｡..̲̲̲̲̲…叩̲日日̲̲̲̲̲…̲̲‑…一174 ‑. ｣トイブゝ′ヽ′t■. 乃′ ヽlノヽJJ′>′ヽ. '■. r. ′､‑′､■占‑1′ ､一J′■′1‑. ▼. 一 ′. l r ,】■■̀′､. ◆一. ′. ′. 神奈川工大･工. ■. 平山. 〝. 弘(HkoshHh野郎na). 森州. 敦司(Atsu血iMorkawa). 25.代通日motOOunti喝に関する話題lt…一･…一一‑一一･･一叩一一一一一一一一一一一一…‑……一一一一一一一一一一一一…一一…一一180. 九大･数理学神奈川工大･情報早大･理工京大･情報学東大･工学系九大･数理学. 木村欣司(監房iKh1W威平野照比古(Ter血koH独mo) 荻田. 武史(T並esbOgita). 山澤. 宏樹(HkokiY餌naZ踊a). 曽我部横山. 知広(TomohiroSog濾e). 和弘(KazubkoYokoy揖na) 18§. 26.連分数展開による有理関数の復元とその応用について ⊥｣｣l. 首都六●郡巾黎季. 刊｣二. コJ′▼T●. 1･1∫. 1. ･＼. ゴムt∫urOSmⅣmraKamlノ. 27.St嶽坤of色6bnerbaseS皿dACGB‑reVised‥一一一‑一山一…一一…一････一一叩一一一…一一一…一一一一一一一195 ･士7±･‑口羽｣̲ ̲ .尽力もJ王ノ＼■J:聖. コ:霜. 鳥㌧忘我とi土/V(̲,,La qq+〈1 1⊂LJJ祭 11 rlキ｣＼1ヽ′Buuゝヽ′L′■■もヽ′ノ. 28.Disc柁teComprehensiveG畑bnerBaSeSと計算比較‑…‑……一…一一一……一一一一一…‑…一一一206 てウ品名音一五.7鞘丁蛍 J.｣l■lJJ▲P/. ヽ. 仏.‑.｣L一. 食間. ｣. 東京理大･理. 佐藤. 29,代数体上のイデアルのグレブナー基底計算について. 民具/介rYr､宍ⅥkeKura土a). 洋祐(Yos止eSato). 一一一一…‑…一一一一一一一川…一叩一一一一一214. 神戸大･理. 野呂. 正行(MaSay止iNoro). 30.CalculationofGroebnerBasiswithParametricCoefncientsorhdeterminaJlte Exponents一川エー…一一一一一一一一一一一一一t一一一…一一一一一一叫一一…一一一一一一一一一････▲･一日一一一一一一山一一一一…一一一一一義一一…一一一叩一220. 神戸大･発達科学 JJ. 高橋正(TadasbiT止血shi) 長坂耕作(Kos血Nagas血a). 1. ̲.

(6)