加古 富志雄

かこ ふじお

• 研究分野
• 研究内容
• 主な論文と著書
• 関連リンク
• 連絡先

研究分野

数式処理、 計算機代数

研究内容

数式処理システムの構築

近似計算を行う上での新しい数値型として、有効浮動小数型および有効複素数型の数値型を提案しているが、 これを装備した近似代数用の数式処理システム GAL を構築する。

計算機による近似計算アルゴリズムの研究

数式処理システムGALの上で、線形代数やグレブナ基底などの代数演算の多くを近似代数の観点から算法化し、 これまで考案してきた算法の誤差解析を行って安定化をはかり、その算法の応用を考える。

主な論文と著書

1. S.Sasaki and F.Kako, GAL における近似代数演算の諸機能 , 京都大学数理解析研究所講究録 986, 1997
2. F.Kako and S.Sasaki, Proposal of ``Effective Floating-point Number'' for Approximate Algebraic Computation , SIGSUM Bulletin, Vol. 31, No. 3, p.31, 1998
3. T. Sasaki, K.Shiihara, A.Terui, Y.Ozaki and F. Kako, Approximate Algebraic Computation: Practice and Problems, SIGSUM Bulletin, Vol. 31, No. 3, p.32, 1998
4. 佐々木建昭、加古富志雄,「近似代数」とは？, 数理科学(サイエンス社),No. 425, pp. 8-20, 1998.
5. Kazuko Kambe, Tsuneo Nakanishi, Kazuki Joe, Yoshitoshi Kunieda and Fujio Kako, Implementation of Loop Transformations with a Universal Intermediate Representation Interface Library , Proceeding of 1999 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'99), 1999.
6. Noriko Soyama, Tsuneo Nakanishi, Kazuki Joe, Yoshitoshi Kunieda and Fujio Kako, Converting Different Intermediate Representations of Parallelizing Compilers: A Case Study Proceeding of 1999 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'99), 1999.
7. T.Sasaki and F.Kako, Solving Multivariate Algebraic Equation by Hensel Construction, Japan Journal of Indust. and Applied Math., Vol. 16, No. 2, pp. 257-285, 1999
8. M. Ochiai and F. Kako, Computational Construction of Representation Matrices for 3-Parallel Version Polynomial Invariants of 5-Braids, 情報処理学会論文誌, Vol. 40, No. SIG9(TOM2), pp. 132-137, 1999
9. K. Kambe and F. Kako, Reduction of Quadratic Equations for Data Dependence Tests Proceeding of 2000 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'2000), 2000.
10. 神戸和子、加古富志雄、データ依存解析のための二次不定方程式の分解、情報処理学会論文誌、 Vol. 42, No. 4, pp. 821-828, 2001.

関連リンク

連絡先