国際数式記号処理学会議(ISSAC-90)開催準備のための総合研究

1989 Fiscal Year Annual Research Report

• Project/Area Number: 01306025
• Research Institution: Kyushu University
• Principal Investigator: 仁木 直人 九州大学, 理学部, 助教授 (10000209)
• Co-Investigator(Kenkyū-buntansha): 吉田 正章 九州大学, 理学部, 助教授 (30030787) ; 野田 松太郎 愛媛大学, 工学部, 助教授 (10036402) ; 渡辺 隼郎 津田塾大学, 学芸学部, 教授 (00055310) ; 後藤 英一 東京大学, 理学部, 教授 (00011445) ; 佐々木 建昭 理化学研究所, 情報科学研究室, 研究員 (80087436)
• Keywords: 数式処理 / 記号処理 / 代数的アルゴリズム / 自動証明 / 計算幾何 / 自動プログラミング / 計算環論 / 微分積分方程式

Research Abstract

国内外の研究動向把握のため、世界および日本の各地域、また、関連する各研究分野における活動的研究者間の意見交換(郵送等による意見聴取を含む)を行った。また、国内の研究者による研究発表・討論会を企画し、九州大学・京都大学・理化学研究所において、ソフトウェア科学会数式処理研究会および会場機関の協力を得て実施した。その成果は、数多くの発表論文・本国際会議への投稿論文等に反映されている他、国際会議での公募テ-マの設定、国際的な論文審査体制の確立に大きく寄与している。
本国際会議における特定テ-マとして「記号および論理計算の理論」「記号および論理計算のシステム」「定理の自動証明および自動プログラミング」「幾何学対象の処理」「記号・数値計算間のインタフェ-ス」「記号および論理計算の並列化」「科学・工学・教育への応用」の8種が最終的に決定されている。
また、国際的視野に立ったプログラム委員会の構成も、D.Y.Y.Yun(米)委員長・佐々木建昭(日)副委員長の下、「記号計算の理論(含論理計算)」「言語およびシステム(含パッケ-ジ組込み)」「計算数論、計算集合論」「代数的定理証明および幾何学のための算法」「微分方程式・積分方程式」「多項式および環論に関する算法」「線形代数算法および並列算法」「数式・数値計算間のインタフェ-スおよび応用一般」の8専門委員会を設け、各専門委員会に2名ずつの担当委員を置くこととした。担当委員の内訳は、米国8名、日本・英国・西独・スイス・オ-ストラリア・フランス・ソ連・オランダ各1名である。

Research Products

• [Publications] Naoto Niki: "Maximum entropy principle in probability logic" Proc.3rd Japan-China Simp.Statist. 283-287 (1989)
• [Publications] Naoto Niki: "Cumulants of random sum distributions." Commun.Statist.-Theor.Meth.
• [Publications] Tateaki Sasaki: "Approximate square-free decomposition and root-finding of ill-conditioned algebraic equations." J.Inform.Proc.12. 159-168 (1989)
• [Publications] 佐々木建昭: "グレブナ-基底の並列算法と代数方程式" 情報処理学会誌論文誌. 30. 1555-1561 (1989)
• [Publications] Tateaki Sasaki: "Analysis of accuracy decreasing in polynomical remainder sequence with floating-point number coefficients." J.Inform.Proc.(1990)
• [Publications] Tateaki Sasaki: "A modular method for Grobner-basis construction over Q and solving system of algebraic equations." J.Inform.Proc.(1990)
• [Publications] Matu-Tarow Noda: "Algorithm selection problem in the hybrid computation" Intelligent Mathematical Software System. (1990)
• [Publications] Masaaki Yoshida: "Linear differential equations modeled after hyperquadics." Tohoku Math.J.41. 321-348 (1989)
• [Publications] Masaaki Yoshida: "Tensor products of linear differential equations II." Funkcial Ekvac. (1990)
• [Publications] Shigetoshi Katsura: "Spin glass problem by the method of integral equation of the effective field." New Trends in Magnetism. (1990)
• [Publications] Morio Nagata: "A method for processing subjective issues of users.--A user model and analogical reasoning--" Designing and Using Human-Computer Interfaces and Knowledge Based Systems. 473-478 (1989)
• [Publications] Masayuki Suzuki: "A hybrid algebraic-numeric system ANS and its preliminary implementation." Lecture Notes in Computer Science. 378. 163-171 (1989)
• [Publications] 渡辺隼郎: "Mathematicaによる数式処理入門" 朝倉書店, 200 (1990)
• [Publications] 渡辺隼郎: "数式処理の数学" コロナ社, 200 (1990)
• [Publications] Katsunori Iwasaki: "Differential Equations in Complex Variables." Vieweg Verlag,Wiesbaden, 300 (1990)