論文
公開件数:71件
No. 発表論文の標題 掲載誌名 論文誌種別 単著・共著区分 巻号頁 出版日 共著者名 ISSN DOI 機関リポジトリ
1 GCD計算における機械学習による最適アルゴリズムの選択
日本数式処理学会誌
学術雑誌
共著
23/ 2, 92-95
2017/05
向井郁



2 GCD計算における機械学習による最適アルゴリズムの選択
2015年度数学・物理学・情報科学の研究交流シンポジウム
その他
単著

2016/03




3 パラメータ係数の疎な線形方程式系の局所ブロック化による解法
京都大学数理解析研究所講究録
学術雑誌
共著

2014/12
佐々木建昭、稲葉大樹、加古富志雄



4 Solving Parametric Sparse Linear Systems by Local Blocking
ACM Communications in Computer Algebra
学術雑誌
共著
48/ 3, 137-139
2014/09
T. Sasaki, D. Inaba, F. Kako



5 Solving Parametric Sparse Linear Systems by Local Blocking
Lecture Notes in Computer Science
学術雑誌
共著
8660, 403-418
2014/08
T. Sasaki, D. Inaba, F. Kako



6 産業計算における近似代数演算の有用性
京都大学数理解析研究所講究録
大学・研究所紀要
共著

2013
佐々木建昭、稲葉大樹、加古富志雄



7 Towards Industrial Application of Approximate Computer Algebra
Proc. Computer Algebra in Scientific Computing - 15th Internationa Workshop, CASC 2013, Lecture Notes on Computer Science
学術雑誌
共著
315-330
2013/09
T. Sasaki, D. Inaba, F. Kako
978-3-319-02296-3


8 Efficient Large-Scale Power Grid Analysis with Parallel Computing in Mathematica
Proc. 2nd International Conference on Applied, Numerical and Computational Mathematics (ICANCM '13)
学術雑誌
共著

2013/03
Tamiyo Nakabayashi, Keiji Nakabayashi, and Fujio Kako,



9 多項式の分解の拡張
数式処理
学術雑誌
共著
18/ 2, 73-75
2012
村上愛実
978-4-903027-19-7


10 REDUCEのすすめ
数式処理
学術雑誌
単著
18/ 2, 151-160
2012

978-4-903027-19-7


11 A New Technique of Electro-thermal Modeling and Reliability Circuit Analysis of Power MOSFETs with Mathematica
Proc. 3rd Int’l Conference on MATHEMATICAL MODELS for ENGINEERING SCIENCE (MMES'12)
学術雑誌
共著

2012/12
Tamiyo Nakabayashi, Keiji Nakabayashi, and Fujio Kako



12 Application of Computer Algebra Approach to Solve Engineering Problems -- A Case Study: Power Supply Stabilization Loop Circuit
Proc. of the 2012 American Conference on Applied Mathematics (AMERICAN-MATH'12)
学術雑誌
共著
228-233
2012/01
T. Nakabayashi, K. Nakabayashi



13 An example of the application of computer algebra approach to solving engineering problems
Proceedings of the 13th International Conference on Mathematical Methods and Computational Techniques in Electrical Engineering
学術雑誌
共著
170-175
2011
T.Nakabayashi, K. Nakabayashi



14 Term Cancellations in Computing Floating-point Groebner Bases
Proceedings of CASC2010, Lecture Notes in Computer Science
学術雑誌
共著
6244, 20-231
2010
T. Sasaki



15 悪条件性を推定する浮動小数点数グレブナー基底の計算法
京都大学数理解析研究所講究録
大学・研究所紀要
共著
1652, 33-43
2009/06
佐々木建昭



16 素な結び目の表の作成
奈良女子大学人間文化研究科年報
大学・研究所紀要
共著
24
2009/03
秋山寛子、松村麻貴子、加古富志雄



17 数式処理を用いたLSI配線の熱解析に関する研究
奈良女子大学人間文化研究科年報
大学・研究所紀要
共著
23, 319-328
2008
中林太美世、加古富志雄



18 Computing floating-point Groebner bases with Ill-conditionedness Estimation
Proc. Asian Sympojium on Computer Mathematics ASCM2007
学術雑誌
共著
LNAI 5081, 278-292
2008
T. Sasaki, F. Kako



19 An Algebraic Method for Separating Close-root Cluster and Minimum Root Separation
Symbolic-Numeric Computation, Trends in Mathematics
学術雑誌
共著
149-166
2007
Tateaki Sasaki and Fujio Kako



20 Floating-point Groebner Base Computation with Ill-conditionedness Estimation,
ACM Communications in Computer Algebra
学術雑誌
共著
51/ 2, 65-66
2007
Tateaki Sasaki, Fujio Kako



21 浮動小数点数Groebner基底の計算法
京都大学数理解析研究所講究録
その他
共著
1568, 142-148
2007/09
佐々木建、加古富志雄



22 数式処理を用いたLSI設計に関する研究
京都大学数理解析研究所講究録
その他
共著
1568, 14-19
2007/09
中林太美世、加古富志雄



23 Computing Floating-Point Groebner Bases Stably
Proceedings of the 2007 International Workshop on Symbolic-Numeric Computation
学術雑誌
共著
180-189
2007/06
Tateaki Sasaki, Fujio Kako



24 Hecke環の線形表現の計算
奈良女子大学大学院人間文化研究科複合現象科学専攻「2004年度数学・物理学・情報科学の研究交流シンポジウム」報告集
その他
単著
44-60
2005




25 An Algebraic Method for Separating Close-root Cluster and Minimum Root Separation
Procceding of SNC 2005
その他
共著

2005
Tateaki Sasaki



26 近接根クラスターの代数的分離法と最小根間距離
京都大学数理解析研究所講究録
大学・研究所紀要
共著
1456, 18-26
2005
佐々木建昭



27 Lascoux-Schuetzenbergerの算法によるHecke環の線形表現の構成
奈良女子大学人間文化研究科年報
大学・研究所紀要
単著
20, 321-334
2005/04




28 多項式における剰余区間演算誤差削減のための演算規則
日本数式処理学会誌
学術雑誌
共著
9/ 3, 36-49
2003/03
曽山典子、加古富志雄



29 郡論計算システムGAP
日本数式処理学会誌
学術雑誌
単著
9/ 1, 11-25
2002/09




30 多項式における剰余区間演算の誤差削減方法
奈良女子大学人間文化研究科年報
大学・研究所紀要
共著
17, 305-316
2002/03
曽山典子、加古富志雄



31 多変数多項式のベキ級数根の桁落誤差--その2
京都大学数理解析研究所講究録
その他
共著
1199, 137-148
2001
T. Sasaki and F. Kako



32 Genetic Programming を利用したループ変換手法の組み合わせ
情報処理学会研究報告、計算機アーキテクチャ研究会報告
その他
共著
39, 7-11
2001
神戸和子、加古富志雄



33 データ依存解析のための二次不定方程式の分解
情報処理学会論文誌
学術雑誌
共著
42/ 4, 821-828
2001/04
神戸和子、加古富志雄



34 Fundation and Application of Modulo Interval Arithmetic for Program Analysis
Proceedings of the 4th Joint Workshop on System Development


284-286
2001/02




35 データ依存解析のための二次不定方程式の分解
情報処理学会研究報告、計算機アーキテクチャ研究会報告
学術雑誌
共著
74, 25-30
2000
神戸和子、加古富志雄



36 剰余区間演算規則とその応用例
情報処理学会研究報告、計算機アーキテクチャ研究会報告
学術雑誌
共著
74, 43-48
2000
曽山典子、中西恒夫、加古富志雄、福田晃



37 Reducing Error on Modulo Interval Arithmetic
Proceedings of the Fifth Asian Technology Conference in Mathematics


482-491
2000/12




38 Reduction of Quadratic Equations for Data Dependence Tests.
Proceedings of 2000 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'200)


IV, 2265-2270
2000/06




39 異なるコンパイラ中間表現の相互変換に関する考察
情報処理学会研究報告、計算機アーキテクチャ研究会報告
学術雑誌
共著
67, 85-90
1999
曽山典子、神戸和子、城和貴、加古富志雄



40 Convering 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




41 Implementation of Loop Transformations with an Universal Intermediate Representation Interface Library
Proceeding of 1999 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'99)



1999




42 Computational Construction of Represer tation Matrix for 3-parallel Version Polynomial Invariants of 5-Braids.
情報処理学会論文誌
学術雑誌

40/ SIG9(TOM2), 132-137
1999




43 Solving Multivariate Algebraic Equation by Hensel construction
JAPAN Journal of Industrial and Applied Mathematics.
学術雑誌

16/ 2, 257-285
1999




44 5-ブレイドの3ー平行化不変量のための行列表現のコンピュータによる構成
情報処理学会研究報告、MPS、数理モデル化と問題解決研究報告
学術雑誌
共著
105, 43-49
1998
落合豊行、加古富志雄



45 「近似代数」とは?
数理科学(サイエンス社)


425, 8-20
1998




46 GALにおける近似代数演算の諸機能
京都大学数理解析研究所講究録
大学・研究所紀要

986
1997




47 Approximate Algebraic Computation : Practice and Problems(共著)
SIG SAM Bulletin
学術雑誌

31/ 3, 32
1997




48 Proposal of "Effective Floating-point Number" for Approximate Algebraic Computation(共著)
SIG SAM Bulletin
学術雑誌

31/ 3, 31
1997




49 Computational Construction of W-graphs of Hecke algebra H(g, n) for n up to 15(共著)
Experimental Mathematics
学術雑誌

4/ 1, 61-67
1995




50 Reduce3.4ユーザーズマニュアル




1993




51 数式処理システムGALの移植について
京都大学数理解析研究所講究録
大学・研究所紀要

811, 183-187
1992/03




52 Recusioni Operator, Hereditary Operator および Schouten bracket の計算について
京都大学数理解析研究所講究録
大学・研究所紀要

722, 50-58
1990/03




53 Two-Dimensional Toda Lattice Equations
Progress of Theoretical Physics Supplement
学術雑誌

94
1988




54 作図問題解答システム
京都大学数理解析研究所講究録
大学・研究所紀要

646, 93-108
1988/03




55 Toda Lattice with Mass Interface II. Coupled Toda Lattice
Journal of Physical Society of Japan
学術雑誌

55, 9
1986




56 Toda Lattice with Mass Interface I. Scattering of Soliton
Journal of Physical Society of Japan
学術雑誌

55/ 9, 2919-2927
1986/09




57 A REDUCE program for finding conserved densities of partial differential equations with uniform rank
Computer Physics Communications
学術雑誌

38
1985




58 Oblique collision of cylindrical outgoing ion-acoustic solitons
Physics of Fluids
学術雑誌

26, 3
1983




59 Interaction of Ion-Acoustic Solitons in Multi-Dimensional Space. II
Journal of Physical Society of Japan
学術雑誌

51/ 1, 311-322
1982/01




60 Anomalies in the Diffraction of Ion Acoustic Solitons
Physical Letter
学術雑誌

87A/ 1,2, 41-45
1981/01




61 Interaction of Ion-Acoustic Solitons in Two-Dimensional Space
Journal of Physical Society of Japan
学術雑誌

49, 5
1980




62 Numerical Analysis of the Buneman Instability in a Magnetic Field
Journal of Physical Society of Japan
学術雑誌

49/ 5, 1974-1980
1980/11




63 Interaction of Ion-Acoustic Solitons in Two-Dimensional Space
Proceeding of International Conference in Plasma Physics


I, 86
1980/11




64 Buneman Instability in Magnetic Field
Proceeding of International Conference of Plasma Physics


I, 271
1980/11




65 Successive Bifurcations to Chaotic State in the Nonlinear Evolution of Collisional Drift Wave
Journal of Physical Society of Japan
学術雑誌

47/ 5, 1659-1664
1979/11




66 Propagation of Solitons in a Dissipative Nonlinear Transmission Line
Journal of Physical Society of Japan
学術雑誌

47/ 5, 1686-1692
1979/11




67 Complete Integrability of General Nonlinear Differential-Difference Equations Solvable by the Inverse Method. II
Progress of Theoretical Physics
学術雑誌

61/ 4, 776-790
1979/09




68 Complete Integrability of General Nonlinear Differential-Difference Equations Solvable by the Inverse Method. I
Progress of Theoretical Physics
学術雑誌

60/ 4, 975-984
1979/03




69 Complete Integrability of Nonlinear Differential-Difference Equations
京都大学数理解析研究所講究録
大学・研究所紀要

332, 81-103
1978/03




70 Complete Integrability of Nonlinear Network Equations Describing a Volterra System
Journal of Physical Society of Japan
学術雑誌

43/ 5, 1783-1791
1977/11




71 Inverse Method Applied to the Solution of Nonlinear Network Equations Describing a Volterra System
Journal of Physical Society of Japan
学術雑誌

42/ 1, 335-340
1977/01