Welcome to the web page of Katsuyoshi Ohara.

• 小原功任(おはら かつよし)
  金沢大学理工研究域数物科学系

• 論文・講究録原稿など
  1. Ari Dwi Hartanto, K. Ohara: An F5 algorithm for tropical Gröbner bases in the Weyl algebras, preprint. (arXiv:2312.14419 [cs.CS])
  2. Ari Dwi Hartanto, K. Ohara: Computing Gröbner bases on Weyl algebras over fields with valuations, preprint.
  3. S. Tajima, K. Nabeshima, K. Ohara, Y. Umeta: Computing holonomic D-modules associated to a family of non-isolated hypersurface singularities via comprehensive Groebner systems of PBW algebra, Mathematics in Computer Science, 17 (2023) (DOI) (full paper)
  4. S. Tajima, K. Ohara, A. Terui: Exact Algorithms for Computing Generalized Eigenspaces of Matrices via Annihilating Polynomials, preprint (arXiv:2209.04807 [math.RA])
  5. S. Tajima, K. Ohara, K. Nabeshima: Computing holonomic D-modules associated to a family of non-isolated hypersurface singularities via comprehensive Groebner systems of PBW algebra, Proceedings of 26th Conference on Applications of Computer Algebra --- ACA 2021, 241--242, 2021. (proceeding)
  6. K. Ohara, S. Tajima: An algorithm for computing Grothendieck local residues II: general case, Mathematics in Computer Science 14 (2020), 483--496. (DOI) (full paper)
  7. J. Kaneko, K. Matsumoto, K. Ohara: The structure of a local system associated with a hypergeometric system of rank 9, International Journal of Mathematics 31-3 (2020) (DOI)
  8. S. Tajima, K. Ohara, A. Terui: Fast Algorithm for Computing Eigenvectors of Matrices via Pseudo Annihilating Polynomials, preprint, (arXiv:1811.09149 [math.NA])
  9. K. Ohara, S. Tajima: An algorithm for computing Grothendieck local residues II --- general case ---, Proceedings of 24th Conference on Applications of Computer Algebra --- ACA 2018, 245--248, 2018. (proceeding)
  10. S. Tajima, K. Ohara, A. Terui: Fast Algorithm for Calculating the Minimal Annihilating Polynomials of Matrices via Pseudo Annihilating Polynomials, preprint. (arXiv:1801.08437 [math.AC])
  11. K. Ohara, S. Tajima: An algorithm for computing Grothendieck local residues I: shape basis case, Mathematics in Computer Science 13 (2019), 205--216. (DOI) (full paper)
  12. K. Ohara, S. Tajima: An algorithm for computing Grothendieck local residues I --- shape base case ---, Abstracts of 23rd Conference on Applications of Computer Algebra --- ACA 2017, 226--227, 2017. (proceeding)
  13. 小原功任, 田島慎一: Poincare-Birkhoff-Witt代数のグレブナー基底計算とRisa/Asirへの実装, 数理研講究録 2054 (2017), 134--138.
  14. K. Nabeshima, K. Ohara, S. Tajima: Comprehensive Gröbner systems in PBW algebras, Bernstein-Sato ideals and holonomic D-modules, Journal of Symbolic Computation 89 (2018), 146--170. (DOI)
  15. F. H. Danufane, K. Ohara, N. Takayama, C. Siriteanu: Holonomic Gradient Method-Based CDF Evaluation for the Largest Eigenvalue of a Complex Noncentral Wishart Matrix, preprint. (arXiv:1707.02564 [math.ST])
  16. K. Ohara, N. Takayama: Pfaffian Systems of A-Hypergeometric Systems II --- Holonomic Gradient Method, preprint. (arXiv:1505.02947 [cs.SC])
  17. J. Kaneko, K. Matsumoto, K. Ohara: A system of hypergeometric differential equations in two variables of rank 9, International Journal of Mathematics 28-3 (2017) (DOI)
  18. K. Nabeshima, K. Ohara, S. Tajima: Comprehensive Gröbner systems in rings of differential operators, holonomic D-modules and b-functions, Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation (ISSAC 2016), 349--356.
  19. 田島慎一, 小原功任, 照井章: 行列Horner法の並列化による行列の固有ベクトル計算の効率化について, 数理研講究録 1976 (2015), 81--90.
  20. 小原功任, 田島慎一: 最小消去多項式を用いた一般固有ベクトル空間の基底計算法, 数理研講究録 1955 (2015), 198--203.
  21. M. Z. Almuzakki, K. Ohara: Computing general error locator polynomial of 3-error-correcting BCH codes via syndrome varieties using minimal polynomial, Recent Development in Computational Science 6 (2015), 80--85.
  22. 田島慎一, 小原功任, 照井章: 行列Horner法の拡張と効率化, 数理研講究録 1930 (2014), 26--38.
  23. 田島慎一, 小原功任, 照井章: 行列Horner法の並列化の実装について, 数理研講究録 1930 (2014), 51--59.
  24. T. Koyama, H. Nakayama, K. Ohara, T. Sei, N. Takayama: Software Packages for Holonomic Gradient Method, The proceedings of ICMS 2014, Lecture Notes in Computer Science 8592, 706--712, Springer, 2014.
  25. K. Ohara, S. Tajima, A. Terui: Developing linear algebra packages on Risa/Asir for eigenproblems, The proceedings of ICMS 2014, Lecture Notes in Computer Science 8592, 321--324, Springer, 2014.
  26. S. Tajima, K. Ohara, A. Terui: An extension and efficient calculation of the Horner's rule, The proceedings of ICMS 2014, Lecture Notes in Computer Science 8592, 346--351, Springer, 2014.
  27. 小原功任, 田島慎一: 最小消去多項式候補を用いた行列の一般固有空間の構造の計算アルゴリズム, 数理研講究録 1907 (2014), 62--70.
  28. 伏里拓也, 小原功任: BCH符号における Orsini-Sala 復号アルゴリズムの改良, 数理研講究録 1907 (2014), 80--84.
  29. T. Sei, H. Shibata, A. Takemura, K. Ohara and N. Takayama: Properties and applications of Fisher distribution on the rotation group, Journal of Multivariate Analysis 116 (2013), 440--455.
  30. P. H. Gunawan, S. Omata, K. Ohara and M. Kazama: Droplet collision via the SPH method with surface tension, Gakuto Intern. Ser. Math. Sci. Appl. 34 (2011), 151--156.
  31. H. Nakayama, K. Nishiyama, M. Noro, K. Ohara, T. Sei, N. Takayama and A. Takemura: Holonomic Gradient Descent and its Application to Fisher-Bingham Integral, Advances in Applied Mathematics 47-3 (2011), 639--658.
  32. 小原功任, 田島慎一: 拡張行列ホーナー法と行列スペクトル分解の並列算法, 数理研講究録 1785 (2012), 123--130.
  33. 小原功任: OpenXMを用いた Risa/Asir 並列計算フレームワークの開発, 数式処理 18-1 (2011), 20--26.
  34. 小原功任, 小俣正朗, 中谷大輔: 仮想株式市場における空売りシミュレーション, 第59回理論応用力学講演会講演論文集, 281--282, 2010.
  35. 小原功任, 田島慎一: 最小消去多項式を用いた行列スペクトル分解計算の並列化, 数理研講究録 1815 (2012), 21--28.
  36. 田島慎一, 奈良 洸平, 小原功任: 行列の最小多項式計算について, 数理研講究録 1814 (2012), 1--8.
  37. K. Ohara and S. Tajima: Spectral Decomposition and Eigenvectors of Matrices by Residue Calculus, Proceedings of the Joint Conference of ASCM 2009 and MACIS 2009, COE Lecture Note 22, Kyushu University, 137--140.
  38. K. Matsumoto and K. Ohara: Some transformation formulas for Lauricella's hypergeometric functions F_D, Funkcialaj Ekvacioj, 52-2 (2009), 203--212.
  39. K. Ohara and N. Takayama: Holonomic rank of A-hypergeometric differential-difference equations, Journal of Pure and Applied Algebra 213-8 (2009), 1536--1544.
  40. 小原功任, 田島慎一: 行列のスペクトル分解・固有ベクトルの分散計算, 数理研講究録 1666 (2009), 65--68.
  41. 小原功任, 田島慎一: 行列のスペクトル分解について, 数式処理 16-1 (2009), 53--56.
  42. 小原功任, 岩崎宏, 伊藤好二: 最小化法による多次元アメリカンオプションプライシングの数値解析, 日本応用数理学会論文誌, 18-4 (2008), 671--679.
  43. 小原功任, 岩崎宏: 市場シミュレータ, 第57回理論応用力学講演会講演論文集, 533--534, 2008.
  44. 小原功任, 岩崎宏: アメリカンオプションの陰解法のさまざまな評価, 第56回理論応用力学講演会講演論文集, 573--574, 2007.
  45. H. Yoshiuchi, S. Omata, K. Svadlenka and K. Ohara: Numerical solution of film vibration with obstacle, Adv. Math. Sci. Appl. 16-1 (2006), 33--43.
  46. T. Yamazaki, S. Omata, K. Svadlenka and K. Ohara: Construction of approximate solution to a hyperbolic free boundary problem with volume constraint and its numerical computation, Adv. Math. Sci. Appl. 16-1 (2006), 57--67.
  47. 小原功任: 時間発展をともなう1次元自由境界問題の数値解法の比較, 数理研講究録 1474 (2005), 46--54.
  48. K. Ohara and N. Takayama: Dimension formula of solution spaces of A-hypergeometric differential-difference systems, Proceedings of the Seventh Asian Symposium on Computer Mathematics (ASCM2005), edited by Sung-il Pae and Hyungju Park, Korea Institute for Advanced Study, 100--102, 2005.
  49. T. Yamazaki, S. Omata, H. Yoshiuchi and K. Ohara: Bubble motion on water surface, Gakuto Intern. Ser. Math. Sci. Appl. 23 (2005), 209--216.
  50. H. Iwasaki, K. Ohara, S. Omata and T. Zhou: Numerical computations for interfaces motion related to a triple potential well problem, Adv. Math. Sci. Appl. 14-2 (2004), 457--464.
  51. K. Mimachi, K. Ohara and M. Yoshida: Intersection numbers for loaded cycles associated with Selberg-type integrals, Tohoku Math. J. 56-4 (2004), 531--551.
  52. K. Ohara, Y. Sugiki and N. Takayama: Quadratic Relations for Generalized Hypergeometric Functions _pF_p-1, Funkcialaj Ekvacioj 46-2 (2003), 213--251.
  53. 小原功任: Risa/Asir package for Non-commutative Groebner Bases and its Applications, 数理研講究録 1395 (2004), 45--49.
  54. 岩根秀直, 小原功任, 野呂正行, 高山信毅: OpenXM の新サーバ, 新プロトコル, 数理研講究録 1395 (2004), 138--143.
  55. 小原功任, 杉木雄一, 高山信毅: Quadratic Relations for Generalized Hypergeometric Functions, 数理研講究録 1296 (2002), 21--28.
  56. 小原功任, 高山信毅, 田村恭士, 野呂正行, 前川将秀: OpenXM 1.1.3 の概要, 数理研講究録 1199 (2001), 179--191.
  57. M. Maekawa, M. Noro, K. Ohara, N. Takayama and Y. Tamura: OpenXM --- an Open System to Integrate Mathematical Software:
      Kerber, M. and Kohlhase, M., eds, Symbolic Computation and Automated Reasoning: The Calculemus 2000 Symposium. AK Peters, 2001.
  58. M. Maekawa, M. Noro, K. Ohara, N. Takayama and K. Tamura: The Design and Implementation of OpenXM-RFC 100 and 101, Computer Mathematics, Proceedings of the Fifth Asian Symposium (ASCM 2001), edited by Shirayanagi and Yokoyama, World Scientific, 102--111, 2001.
  59. 奥谷行央, 小原功任, 高山信毅, 田村恭士, 野呂正行, 前川将秀: OpenXM プロジェクトの現状について, 数理研講究録 1138 (2000), 189--200.
  60. 小原功任, 高山信毅, 野呂正行: Open asir 入門, 数式処理, 7-2 (1999), 2--17, SEG 出版. [pdf]
  61. K. Ohara: Computation of the monodromy of the generalized hypergeometric function _pF_p-1(a₁, ..., a_p; b₂, ..., b_p; z), Kyushu J. Math. 51(1997), 101--124.
• 記事
  • TeXにおけるプレゼンテーションツール, 数学通信, 第10巻第4号, 121 -- 126, 2006年2月, 日本数学会. [pdf]
  • GNU TeXmacs, 数式処理 11-2 (2004), 35 -- 39, 日本数式処理学会. [pdf]
• 講演原稿など
  • ox_math への計算中断機能の実装, 2003/02/12.
• ソフトウェア
  
  • OpenXMの代替配布ページ
  • 数式処理システム Risa/Asir の Windows用 64bit バイナリ
  • 微分差分作用素環用グレブナー基底計算(+α)パッケージ yang (準備中, OpenXM に同梱されています)
  • Horn's Listに載っている2変数超幾何関数と3変数ロリチェラ超幾何関数と(3,6)型超幾何関数のパッフィアンの一覧 (yang で導出したもの)

• Risa/Asir conference 2024
  2024年3月26日(火)〜28日(木)

• Risa/Asir conference 2023
  2023年3月27日(月)〜29日(水)
• Risa/Asir conference 2022
  2022年3月20日(日)〜22日(火)
• Risa/Asir conference 2021
  2021年3月20日(土)〜21日(日)
• Risa/Asir conference 2020(中止)
  2020年3月19日(木)〜21日(土)
• Differential Systems: from theory to computer mathematics
  2019年12月3日(火)〜6日(金) (東京大学駒場キャンパス)
• AIMaP集会「令和の時代における数理科学の社会的役割」
  2019年11月21日(木)〜22日(金)
• Risa/Asir conference 2019
  2019年3月25日(月)〜27日(水)
• Risa/Asir conference 2018
  2018年3月24日(土)〜26日(月)
• Risa/Asir conference 2017
  2017年3月28日(火)〜30日(木)
• RIMS研究集会「数式処理とその周辺分野の研究」
  2016年12月7日(水)〜9日(金)
• Risa/Asir conference 2016
  2016年3月28日(月)〜30日(水)
• RIMS研究集会「数式処理とその周辺分野の研究」
  2015年12月2日(水)〜4日(金)
• Risa/Asir conference 2015
  2015年3月17日(火)〜19日(木)
• RIMS研究集会「数式処理とその周辺分野の研究」
  2014年12月24日(水)〜26日(金)
• RIMS研究集会「数式処理とその周辺分野の研究」
  2013年12月25日(水)〜27日(金)
• IMI研究集会「数式処理研究と産学連携の新たな発展」
  2013年8月21日(水)〜23日(金)
• RIMS共同研究「数式処理研究の新たな発展」
  2011年7月6日(水)〜8日(金)
• 第一回 日本数式処理学会システム分科会研究会
  2009年1月28日(水)〜29日(木)
• 第三回 OpenXM committers meeting
  2005年2月16日(水)〜18日(金)

• 日本数学会
• 日本数式処理学会
• 日本応用数理学会
• 金沢大学 理工学域 数物科学類 計算科学コース
• 数理科学連携研究拠点 / 金沢数理データサイエンス研究会
• 金沢大学理科報告
• 小俣研