SEARCH

Search Details

NAGASAKA Kosaku
Graduate School of Human Development and Environment / Department of Human Environmental Science
Associate Professor

Researcher basic information

■ Research Keyword
  • computational algebra
  • computer algebra
  • mathematical education
  • symbolic manipulation
  • symbolic computation
■ Research Areas
  • Natural sciences / Algebra / computer algebra
  • Informatics / Information theory / computer algebra
■ Committee History
  • Jun. 2021 - Present, Maple Transactions, Associate Editor
  • Aug. 2016 - Present, ACM Communications in Computer Algebra, Associate Editor
  • Jun. 2024 - Jun. 2026, 日本数式処理学会, 分科会連絡委員会 委員長
  • Apr. 2008 - Mar. 2026, 日本数式処理学会, 代表会員
  • Apr. 2018 - Mar. 2024, 日本数式処理学会, 教育分科会運営委員会 委員長
  • Jul. 2021 - Jul. 2022, ISSAC 2022 (International Symposium on Symbolic and Algebraic Computation, 2022), Program Committee
  • Apr. 2016 - Mar. 2018, 日本数式処理学会, 大会プログラム委員会 委員長
  • Apr. 2014 - Mar. 2016, 日本数式処理学会, システム分科会運営委員会 副委員長
  • 2014 - 2014, SNC 2014 (Symobolic-Numeric Computation, 2014), Program Committee
  • 2014 - 2014, ISSAC 2014 (International Symposium on Symbolic and Algebraic Computation, 2014), General Co-Chair and Local Chair
  • 2012 - 2012, ASCM 2012 (Asian Symposium on Computer Mathematics, 2012), Program Committee
  • 2011 - 2011, SNC 2011 (Symobolic-Numeric Computation, 2011), Program Committee
  • 2009 - 2009, ISSAC 2009 (International Symposium on Symbolic and Algebraic Computation, 2009), Program Committee
  • 2009 - 2009, CASC 2009 (Computer Algebra in Scientific Computing, 2009), Local Organizing Committee Chair
  • 2006 - 2006, ISSAC 2006 (International Symposium on Symbolic and Algebraic Computation, 2006), Poster and Software Demos Co-Chair

Research activity information

■ Award
  • Jun. 2005 Japan Society for Symbolic and Algebraic Computation, Encouragement Prize, 多変数多項式の絶対既約半径の改善について
    NAGASAKA KOSAKU

■ Paper
  • Kosaku Nagasaka
    Mar. 2025, Journal of Symbolic Computation, English
    [Refereed]
    Scientific journal

  • 見取図のデジタルコンテンツにおける教育的効果の検討
    秦野楓, 長坂耕作
    Jan. 2025, 京都大学数理解析研究所講究録, 2301, 110 - 121, Japanese
    Symposium

  • 助言指導ありの階層型多肢選択問題とその実践
    長坂耕作
    Jan. 2025, 京都大学数理解析研究所講究録, 2301, 98 - 109, Japanese
    Symposium

  • 多変数多項式の近似GCD
    長坂耕作
    May 2024, 京都大学数理解析研究所講究録, 2280, 87 - 95, Japanese
    Symposium

  • 長坂耕作
    Feb. 2024, 城西大学数学科数学教育紀要, 5, 13 - 23, Japanese
    [Refereed]
    Research institution

  • 多肢選択問題と順序並び替え問題を併用した学習活動の分析
    長坂耕作
    Dec. 2023, 京都大学数理解析研究所講究録, 2273, 80 - 90, Japanese
    Symposium

  • Kosaku Nagasaka, Ryo Oshimatani
    For a given finite polynomial set, finding a monomial order such that the given set is already a GrÖbner basis for the ideal generated by the given set with respect to the found monomial order is called GrÖbner basis detection (GBD) problem and there is also its simpler version, called structural GrÖbner basis detection (SGBD) problem. In this short communication, we give algorithms to solve these problems for polynomials with parameters on their coefficients.
    Association for Computing Machinery (ACM), Sep. 2023, ACM Communications in Computer Algebra, 57(3) (3), 160 - 164, English
    [Refereed]
    Symposium

  • Kosaku Nagasaka
    ACM, Jul. 2023, Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, 470 - 479, English
    [Refereed]
    International conference proceedings
    Link to Kobe Univ. Repository (Kernel)

  • 二変数多項式の近似GCD
    長坂耕作
    Jun. 2023, 京都大学数理解析研究所講究録, 2255, 117 - 125, Japanese
    Symposium

  • Ordering Question with Clue in Moodle
    Kosaku Nagasaka, Takahiro Nakahara
    Dec. 2022, Proceedings of the 27th Asian Technology Conference in Mathematics, 18 - 31, English
    [Refereed][Invited]
    International conference proceedings

  • 階層型多肢選択問題の提案とその可能性
    丹家諒, 長坂耕作
    Dec. 2022, 京都大学数理解析研究所講究録, 2236, 50 - 55, Japanese
    Symposium

  • 計算機代数の講義と試験における計算機の利用について
    長坂耕作
    Dec. 2022, 京都大学数理解析研究所講究録, 2236, 42 - 49, Japanese
    Symposium

  • 数学的思考力と順序並び替え問題の自動生成
    長坂耕作
    Jul. 2022, 数式処理, 28(2) (2), 95 - 108, Japanese
    [Refereed]
    Scientific journal

  • パラメータを伴ったGroebner基底の構造的な検出について
    大島谷遼, 長坂耕作
    Jun. 2022, 京都大学数理解析研究所講究録, 2224, 79 - 94, Japanese
    Symposium

  • 近似Groebner基底の逐次算法に向けて（再訪）
    長坂耕作
    Jun. 2022, 京都大学数理解析研究所講究録, 2224, 95 - 102, Japanese
    Symposium

  • 数学教育における順序並び替え問題
    長坂耕作
    Dec. 2021, 京都大学数理解析研究所講究録, 2208, 68 - 76, Japanese
    Symposium

  • Kosaku Nagasaka
    We propose a better algorithm for approximate greatest common divisor (approximate GCD) of univariate polynomials in terms of robustness and distance, based on the NewtonSLRA algorithm that is a solver for the structured low rank approximation (SLRA) problem. Our algorithm mainly enlarges the tangent space in the NewtonSLRA algorithm and adapts it to a certain weighted Frobenius norm. Moreover, we propose some improvement in computing time.
    Association for Computing Machinery (ACM), Sep. 2021, ACM Communications in Computer Algebra, 55(3) (3), 97 - 101, English
    [Refereed]
    Symposium
    Link to Kobe Univ. Repository (Kernel)

  • Kosaku Nagasaka
    Springer International Publishing, Aug. 2021, Computer Algebra in Scientific Computing (CASC 2021, Lecture Notes in Computer Science), 12865, 272 - 292, English
    [Refereed]
    International conference proceedings
    Link to Kobe Univ. Repository (Kernel)

  • Kosaku Nagasaka
    Elsevier BV, Jul. 2021, Journal of Symbolic Computation, 105, 4 - 27, English
    [Refereed]
    Scientific journal
    Link to Kobe Univ. Repository (Kernel)

  • Kosaku Nagasaka
    Elsevier BV, May 2021, Journal of Symbolic Computation, 104, 402 - 418, English
    [Refereed]
    Scientific journal
    Link to Kobe Univ. Repository (Kernel)

  • グレブナー基底の項順序についての再考
    大島谷遼, 長坂耕作
    Apr. 2021, 京都大学数理解析研究所講究録, 2185, 22 - 28, Japanese
    Symposium

  • 近似GCDでのNewtonSLRAアルゴリズムの効果的な利用に向けて
    長坂耕作
    Apr. 2021, 京都大学数理解析研究所講究録, 2185, 16 - 21, Japanese
    Symposium

  • 多肢選択問題の自動生成 - 数学IIIの微分積分から偏微分まで -
    長坂耕作
    Apr. 2021, 京都大学数理解析研究所講究録, 2178, 31 - 38, Japanese
    Symposium

  • Multiple-choice questions in Mathematics: automatic generation, revisited
    Kosaku Nagasaka
    Dec. 2020, Electronic Proceedings of the 25th Asian Technology Conference in Mathematics, 21785-1 - 21785-15, English
    [Refereed][Invited]
    International conference proceedings

  • Approximate GCD by Bernstein Basis, and its Applications
    Kosaku Nagasaka
    Jul. 2020, Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation, ISSAC 2020, 372 - 379, English
    [Refereed]
    International conference proceedings

  • パラメータを含む1変数多項式の因数分解について
    関 伯実, 長坂耕作
    Jun. 2020, 京都大学数理解析研究所講究録, 2159, 137 - 142, Japanese
    Symposium

  • バーンスタイン基底関数を用いた近似GCDの評価について
    長坂耕作
    Jun. 2020, 京都大学数理解析研究所講究録, 2159, 132 - 136, Japanese
    Symposium

  • Moodle XML Question Generator for Python
    長坂耕作
    Dec. 2019, 京都大学数理解析研究所講究録, 2142, 67 - 70, Japanese
    Symposium

  • 近似GCDの枠組みでの近似無平方分解
    長坂耕作
    Dec. 2019, 京都大学数理解析研究所講究録, 2138, 96 - 100, Japanese
    Symposium

  • 近似GCDアルゴリズムの新たな組み合わせ
    NAGASAKA KOSAKU
    Feb. 2019, 京都大学数理解析研究所講究録, 2104, 14 - 19, Japanese
    Symposium

  • Moodle KaTeX filter
    NAGASAKA KOSAKU
    Feb. 2019, 京都大学数理解析研究所講究録, 2105, 106 - 108, Japanese
    Symposium

  • 数式処理と学習管理システム - 静的評価の再評価 -
    NAGASAKA KOSAKU
    Apr. 2018, 京都大学数理解析研究所講究録, 2067, 160 - 169, Japanese
    Symposium

  • Kosaku Nagasaka
    Association for Computing Machinery, Jul. 2017, Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC, 129312, 341 - 348, English
    [Refereed]
    International conference proceedings

  • 平成28年度RIMS共同研究「数式処理の新たな発展」：その最新研究と基礎理論の再構成
    NAGASAKA KOSAKU
    Apr. 2017, 京都大学数理解析研究所講究録, 2019, 1 - 2, Japanese
    Symposium

  • Kosaku Nagasaka
    Association for Computing Machinery, Mar. 2017, ACM Communications in Computer Algebra, 51(1) (1), 15 - 17, English
    [Refereed]
    Scientific journal
    Link to Kobe Univ. Repository (Kernel)

  • Approximate Polynomial GCD over Integers with Digits-wise Lattice
    NAGASAKA KOSAKU
    Japan Society for Symbolic and Algebraic Computation, Mar. 2016, Communications of JSSAC, 2, 15 - 32, English
    [Refereed]
    Scientific journal

  • 近似GCDにおける逐次的なQR分解法とその実装について
    NAGASAKA KOSAKU
    京都大学, Dec. 2015, 京都大学数理解析研究所講究録, 1976, 1 - 7, Japanese
    Symposium

  • 近似GCDの安定性について
    NAGASAKA KOSAKU
    京都大学, Jul. 2015, 京都大学数理解析研究所講究録, 1955, 42 - 47, Japanese
    Symposium

  • The Berlekamp Algorithm -サーベイと試み-
    NAGASAKA KOSAKU
    Kyoto University, Jan. 2015, 京都大学数理解析研究所講究録, 1930, 15 - 25, Japanese
    Symposium

  • 近似GCDアルゴリズムにおける枢軸選択の影響
    NAGASAKA KOSAKU
    京都大学, Jul. 2014, 京都大学数理解析研究所講究録, 1907, 8 - 19, Japanese
    Symposium

  • 単純な手書き計算ソフトの可能性を探る
    長坂 耕作, 丸山 真穂
    Nov. 2013, 京都大学数理解析研究所講究録, 1865, 164 - 170, Japanese
    Symposium

  • SNAPパッケージとQRGCDアルゴリズムの改善
    MASUI TAKAAKI, NAGASAKA KOSAKU
    Jul. 2013, 京都大学数理解析研究所講究録, 1843, 101 - 113, Japanese
    Symposium

  • 厳密に与えられた系のGroebner基底を数値的に求める場合に必要な桁精度の考察
    NAGASAKA KOSAKU
    九州大学 マス・フォア・インダストリ研究所, 2013, MI レクチャーノート, 49, 104 - 111, Japanese
    Symposium

  • Revisiting QRGCD and Comparison with ExQRGCD
    NAGASAKA KOSAKU, MASUI TAKAAKI
    2013, ACM Communications in Computer Algebra, 47(3) (3), 88 - 89, English
    [Refereed]
    Symposium

  • Extended QRGCD Algorithm
    Kosaku Nagasaka, Takaaki Masui
    2013, COMPUTER ALGEBRA IN SCIENTIFIC COMPUTING, CASC 2013, 8136, 257 - 272, English
    [Refereed]
    International conference proceedings
    Link to Kobe Univ. Repository (Kernel)

  • 近似Groebner基底の逐次算法に向けて
    NAGASAKA KOSAKU
    京都大学, Oct. 2012, 京都大学数理解析研究所講究録, 1815, 70 - 78, Japanese
    Symposium

  • 近似Groebner基底に向けて
    NAGASAKA KOSAKU
    Oct. 2012, 京都大学数理解析研究所講究録, 1814, 160 - 167, Japanese
    Symposium

  • 近似代数の汎用ライブラリに向けて
    NAGASAKA KOSAKU
    京都大学, May 2012, 京都大学数理解析研究所講究録, 1793, 30 - 37, Japanese
    Symposium

  • 近似GCDの無平方分解への応用
    NAGASAKA KOSAKU
    京都大学, Mar. 2012, 京都大学数理解析研究所講究録, 1785, 1 - 7, Japanese
    Symposium

  • Backward error analysis of approximate Groebner basis
    NAGASAKA KOSAKU
    2012, ACM Communications in Computer Algebra, 46(3) (3), 116 - 117, English
    [Refereed]
    Symposium
    Link to Kobe Univ. Repository (Kernel)

  • Kosaku Nagasaka
    Dec. 2011, JOURNAL OF SYMBOLIC COMPUTATION, 46(12) (12), 1306 - 1317, English
    [Refereed]
    Scientific journal
    Link to Kobe Univ. Repository (Kernel)

  • 準同型暗号と整数及び整数多項式の近似GCD
    NAGASAKA KOSAKU
    Kyoto University, Sep. 2011, 京都大学数理解析研究所講究録, 1759, 115 - 123, Japanese
    Symposium

  • Kosaku Nagasaka
    2011, SNC'11 - Proceedings of the 2011 International Workshop on Symbolic-Numeric Computation, 63 - 64, English
    [Refereed]
    International conference proceedings

  • Computing a Structured Grobner Basis Approximately
    Kosaku Nagasaka
    2011, ISSAC 2011: PROCEEDINGS OF THE 36TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION, 273--280, 273 - 280, English
    [Refereed]
    International conference proceedings

  • 数式処理による教育の充実
    NAGASAKA KOSAKU
    京都大学, Jan. 2010, 京都大学数理解析研究所講究録, 1674, 1 - 4, Japanese
    Symposium

  • 近似GCDによる人間らしい簡単化
    NAGASAKA KOSAKU
    京都大学, Oct. 2009, 京都大学数理解析研究所講究録, 1666, 145 - 152, Japanese
    Symposium

  • Ruppert行列による近似GCDの算出
    NAGASAKA KOSAKU
    京都大学, Jun. 2009, 京都大学数理解析研究所講究録, 1652, 63 - 70, Japanese
    Symposium

  • 数式処理ソフトと正課外活動
    NAGASAKA KOSAKU, TAKAHASHI TADASHI
    京都大学, Jan. 2009, 京都大学数理解析研究所講究録, 1624, 45 - 48, Japanese
    Symposium

  • A Study on Grobner Basis with Inexact Input
    Kosaku Nagasaka
    2009, COMPUTER ALGEBRA IN SCIENTIFIC COMPUTING, PROCEEDINGS, 5743, 247 - 258, English
    [Refereed]
    International conference proceedings
    Link to Kobe Univ. Repository (Kernel)

  • Approximate Polynomial GCD over Integers
    NAGASAKA KOSAKU
    2008, ACM Communications in Computer Algebra, 42(3) (3), 124 - 126, English
    [Refereed]
    Symposium

  • 整数係数多項式の近似GCD II
    NAGASAKA KOSAKU
    京都大学, Nov. 2007, 京都大学数理解析研究所講究録, 1572, 50 - 58, Japanese
    Symposium

  • Symbolic-Numeric Algebra for Polynomials
    Kosaku Nagasaka
    2007, The Mathematica Journal, Vol. 10(3), 593-616, English
    [Refereed]
    Scientific journal

  • SNAP package for Mathematica
    NAGASAKA KOSAKU
    2007, ACM Communications in Computer Algebra, 41(3) (3), 105 - 106, English
    [Refereed]
    Symposium

  • Ruppert matrix as subresultant mapping
    Kosaku Nagasaka
    2007, Computer Algebra in Scientific Computing, Proceedings, 4770, 316 - 327, English
    [Refereed]
    International conference proceedings
    Link to Kobe Univ. Repository (Kernel)

  • ITOH Masayuki, TANAKA Shigenori, EBINA Kuniyoshi, NAGASAKA Kosaku, OHMIDO Nobuko, OGASAWARA Fumie, SAKURAI Kaori, HAMAOKA Rie
    「市民の科学に対する大学の支援に関する実践的研究」(略称「市民の科学」)プロジェクトの一環として、「サイエンスカフェ神戸」を創始した。このプロジェクトは、科学技術的課題に対する市民のエンパワーメント・システム構築をめざすもので、サイエンスカフェ開催はその第一段階として位置づけられる。2005年10月から2006年6月までに16回を開催し、科学コミュニケーションの新しいスタイルとして高い可能性を確認した。サイエンスカフェは現在各地に広がりつつあるが、「サイエンスカフェ神戸」では、文化としての科学を地域社会に根づかせることを大きな目的とし、運営に市民が主体的に参加し、様々な場で頻繁に開催されるようなあり方をゴールとして設定している点で特徴をもっている。「市民の科学」プロジェクトでは、次のステップとして、サイエンスカフェを通じて形成された緩やかなネットワークも利用しつつ、大学の支援のもとでの、環境などに関わる課題の市民による調査・研究の展開可能性を探ってゆく。
    Japan Society of Science Education, Aug. 2006, 日本科学教育学会研究会研究報告, Vol. 21, No. 1, pp. 37-42(1) (1), 37 - 42, Japanese
    Scientific journal

  • Using Coefficient-wise Tolerance in Symbolic-Numeric Algorithms for Polynomials
    NAGASAKA, Kosaku
    日本数式処理学会, Mar. 2006, 数式処理, 12-3, 21-30(3) (3), 21 - 29, English
    [Refereed]
    Scientific journal

  • ITOH, Masayuki, OGAWA, Masataka, TAKEDA, Yoshiaki, USHIMARU, Atsushi, TAINOSHO, Yoshiaki, EBINA, Kuniyoshi, OHMIDO, Nobuko, SHIRASUGI, Naoko, NAGASAKA, Kosaku, TANAKA, Shigenori, SANUKIDA, Satoshi, NOBUKAWA, Takako
    科学・技術が高度に発達した社会において、(a)環境問題等の解決手段として、(b)知的探求活動として、市民の科学・技術にかかわる問題の調査・研究能力を高めてゆくこと(エンパワーメント)が大きな意味を持つ。我々は、神戸大学大学院総合人間科学研究科に設置された発達支援インスティテュート/ヒューマン・コミュニティ創成研究センターの研究プロジェクトとして「市民科学に対する大学の支援に関する実践的研究」の取り組みを始めた。本プロジェクトは、神戸を主なフィールドとして、幅広い年齢や素養をもつ市民が、大学の支援のもとに、科学リテラシーを高めるとともに、自らが調査・研究能力を獲得してゆく持続可能なシステムとそれを担う組織、人材のあり方を実践的に探り、日本の社会に適したモデルを構築することを目指す。
    Japan Society of Science Education, Sep. 2005, 科教研報, 20・2, 47-51(2) (2), 47 - 51, Japanese
    Scientific journal

  • On the Degeneracy Conditions of Singularities by using CGBs
    TAKAHASHI, Tadashi, NAGASAKA, Kosaku
    Apr. 2005, Algorithmic Algebra and Logic 2005 (Conference in Honor of the 60th Birthday of Volker Weispfenning). Proc. A3L, , 253p-256p, English
    [Refereed]
    Scientific journal

  • Towards more accurate separation bounds of empirical polynomials II
    K Nagasaka
    2005, COMPUTER ALGEBRA IN SCIENFIFIC COMPUTING, PROCEEDINGS, 3718, 318 - 329, English
    [Refereed]
    Scientific journal
    Link to Kobe Univ. Repository (Kernel)

  • SNAP Package for Mathematica and Its Applications
    NAGASAKA, Kosaku
    Dec. 2004, Proc. The Ninth Asian Technology Conference in Mathematics (ATCM2004), , 308-316, English
    [Refereed]
    International conference proceedings

  • NAGASAKA, Kosaku
    2004, SIGSAM Bulletin: Communications in Computer Algebra, 38(4), 119-129(4) (4), 119 - 129, English
    [Refereed]
    Scientific journal

  • Neighborhood Irreducibility Testing of Multivariate Polynomials
    NAGASAKA, Kosaku
    Sep. 2003, Proc. Computer Algebra in Scientific Computing (CASC2003), 283-292, English
    [Refereed]
    Scientific journal

  • Towards Certified Irreducibility Testing of Bivariate Approximate Polynomials
    NAGASAKA, Kosaku
    ACM Press, Jul. 2002, Proc. International Symposium on Symbolic and Algebraic Computation (ISSAC2002), 192-199, 192 - 199, English
    [Refereed]
    Scientific journal

  • Estimation of Cancellation Errors in Multivariate Hensel Construction with Floating-Point Numbers
    NAGASAKA, Kosaku
    Dec. 2001, Proc. The Sixth Asian Technology Conference in Mathematics (ATCM2001), 408-415, English
    [Refereed]
    International conference proceedings

■ MISC
  • Kosaku Nagasaka, Agnes Szanto, Franz Winkler
    Jul. 2016, JOURNAL OF SYMBOLIC COMPUTATION, 75, 1 - 3, English
    Others

  • 国際研究集会の仕組みとその運営 - ISSAC 2014 -
    NAGASAKA KOSAKU
    京都大学, Dec. 2014, 京都大学数理解析研究所講究録, 1927, 103 - 105, Japanese
    [Invited]
    Lecture materials

  • Holding International Scientific Meeting : A Case of CASC 2009 (Developments in Computer Algebra Research)
    NAGASAKA KOSAKU
    Kyoto University, Sep. 2011, RIMS Kokyuroku, 1759, 84 - 84

  • A09 Analysis of color space as human sensibility for development of software converting color
    Yamamoto Michiko, Nagasaka Kosaku
    This study analyzed the color space as human sensibility to develop the software converting the expression of graphics into more effective color. In existing researches, a lot of researches using the Munsell Color System were performed.As a result, the color space of three dimensions was assumed. However, it was difficult to plot the color in the space. Because the the favor of the color varied from person to person.Therefore, it experimented by both the sensibility words used by the past research and the sensibility words that newly suited L^*u^*v^* in this experiment. As a result, the main axis of dimension and a new color space as human sensibility by the color specification system of L^*u^*v^* of even color space CIELUV were extracted by this experiment.
    Japanese Society for the Science of Design, 20 Jun. 2009, Proceedings of the Annual Conference of JSSD, (56) (56), 18 - 19, Japanese

  • 宮田 任寿, Kosaku Nagasaka, 高橋 正
    神戸大学発達科学部, Mar. 2007, 神戸大学発達科学部研究紀要, 第14巻,第2号(2) (2), 211 - 216, Japanese
    Report scientific journal
    Link to Kobe Univ. Repository (Kernel)

  • 数理と芸術 : 記号処理と論駁可能性について
    桐生 裕介, 長坂 耕作, 高橋 正
    日本数式処理学会, 01 Dec. 2006, 数式処理, 13(1) (1), 47 - 50, Japanese

  • 数式処理システムを用いた芸術における数理科学的アプローチ (Computer Algebra : Design of Algorithms, Implementations and Applications)
    桐生 裕介, 長坂 耕作, 高橋 正
    京都大学, Sep. 2006, 数理解析研究所講究録, 1514, 53 - 58, Japanese

  • Calculation of Groebner Basis with Parametric Coefficients or Indeterminante Exponents (Computer Algebra : Design of Algorithms, Implementations and Applications)
    Takahashi Tadashi, Nagasaka Kosaku
    Kyoto University, Nov. 2005, RIMS Kokyuroku, 1456, 220 - 221, Japanese

  • On the Theorem Prover using Computer Algebra Systems in Mathematics Education
    FUNAKOSHI, Shunsuke, TATSUMI, Takeo, NAGASAKA, Kosaku, DEGUCHI, Hiroaki, TAKAHASHI, Tadashi
    Mar. 2005, 科学研究費補助金基盤研究 (B)(2)「大学における数理情報教育に求められている課題の分析とその改善に関する研究」研究成果中間報告書, , 47p-52p, English
    Report scientific journal

  • Calculation Program of Groebner Basis with Indeterminate Exponents
    NAGASAKA KOSAKU, TAKAHASHI Tadashi
    01 Feb. 2005, 数式処理, 11(2) (2), 29 - 30, English

■ Books And Other Publications
  • Fundamentals of Computer Algebra
    NAGASAKA KOSAKU, IWANE Hidenao, KITAMOTO Takuya, SANUKI Masaru, TERUI Akira, NABESHIMA Katsusuke
    KYORITSU SHUPPAN CO., LTD., Mar. 2019, Japanese, 正誤表は共立出版ウェブ: https://www.kyoritsu-pub.co.jp/bookdetail/9784320113732, ISBN: 9784320113732
    Scholarly book

  • 入門Mathematica【決定版】Ver.7対応
    Kosaku Nagasaka, 日本Mathematicaユーザー会 編著
    Joint work, 東京電機大学出版局, Jun. 2009, Japanese
    Others

  • キーワード 人間と発達［増補改訂版］ V. 生活とテクノロジー
    丸谷 宣子, 井上 真理, 青木 務, 平山 洋介, 市橋 秀樹, 浜口 八朗, 高橋 正, 長坂 耕作, 矢野 澄雄, 福田 博也, 城 仁士, 阪本 雄二, 高橋 譲嗣, 高橋 真, 白倉 暉弘, 稲葉 太一, 白杉 直子, 近江戸 伸子, 宮田 任寿, 澤 宗則, 二宮 厚美
    Joint work, 大学教育出版, Apr. 2007, Japanese
    Textbook

■ Lectures, oral presentations, etc.
  • Matrix-F5型の近似Groebner基底計算法
    長坂耕作
    日本数式処理学会 第34回大会, Jun. 2025, Japanese
    Oral presentation

  • H5P等の複数の問題形式を併用した学習活動の分析
    長坂耕作
    日本数式処理学会 第17期第1回 教育分科会, Feb. 2025, Japanese
    Oral presentation

  • 階数制御を行うMatrix-F5型のグレブナー基底計算法
    長坂耕作
    研究集会 Computer Algebra – Foundations and Applications, Dec. 2024, Japanese
    Oral presentation

  • SymPyの多項式GCD計算の改善
    松林龍世, 長坂耕作
    研究集会 Computer Algebra – Foundations and Applications, Dec. 2024, Japanese
    Oral presentation

  • 見取図のデジタルコンテンツにおける教育的効果の検討
    秦野楓, 長坂耕作
    研究集会 数学ソフトウェアとその効果的教育利用に関する研究, Aug. 2024, Japanese
    Oral presentation

  • 助言指導ありの階層型多肢選択問題とその実践
    長坂耕作
    研究集会 数学ソフトウェアとその効果的教育利用に関する研究, Aug. 2024, Japanese
    Oral presentation

  • 線形代数における階層型多肢選択問題の改善
    長坂耕作
    日本数式処理学会 第16期第3回 教育分科会, Feb. 2024, Japanese
    Oral presentation

  • 多変数多項式の近似GCD
    長坂耕作
    研究集会 Computer Algebra - Foundations and Applications, Dec. 2023, Japanese
    Oral presentation

  • 多肢選択問題と順序並び替え問題を併用した学習活動の分析
    長坂耕作
    研究集会 数学ソフトウェアとその効果的教育利用に関する研究, Aug. 2023, Japanese
    Oral presentation

  • SLRA Interpolation for Approximate GCD of Several Multivariate Polynomials
    Kosaku Nagasaka
    The 48th International Symposium on Symbolic and Algebraic Computation (ISSAC 2023), Jul. 2023, English
    Oral presentation

  • Conditional Groebner Basis: Groebner Basis Detection with Parameters
    Kosaku Nagasaka, Ryo Oshimatani
    ISSAC 2023 (poster presentations), Jul. 2023, English
    Poster presentation

  • 線形代数における階層型多肢選択問題のH5Pとしての自動生成
    長坂耕作
    日本数式処理学会 第32回大会, Jun. 2023, Japanese
    Oral presentation

  • JupyterLab を用いた数学教材作成時のデザイン考
    長坂耕作
    第5回 数学教育セミナー, Mar. 2023, Japanese
    Oral presentation

  • MoodleでのH5Pのカスタマイズの試み
    長坂耕作
    日本数式処理学会 第16期第1回 教育分科会, Feb. 2023, Japanese
    Oral presentation

  • Jupyter Notebookでの数学教材作成における事前学習教材の事例紹介
    長坂耕作
    日本数式処理学会 第16期第1回 教育分科会, Feb. 2023, Japanese
    Oral presentation

  • 二変数多項式の近似GCD
    長坂耕作
    研究集会 Computer Algebra – Foundations and Applications, Dec. 2022, Japanese
    Oral presentation

  • Ordering Question with Clue in Moodle
    Kosaku Nagasaka, Takahiro Nakahara
    The 27th Asian Technology Conference in Mathematics, Dec. 2022, English
    [Invited]
    Invited oral presentation

  • 階層型多肢選択問題の提案とその可能性
    丹家諒, 長坂耕作
    研究集会 数学ソフトウェアとその効果的教育利用に関する研究, Aug. 2022, Japanese
    Oral presentation

  • 計算機代数の講義と試験における計算機の利用について
    長坂耕作
    研究集会 数学ソフトウェアとその効果的教育利用に関する研究, Aug. 2022, Japanese
    Oral presentation

  • Groebner basis detection with parameters
    Kosaku Nagasaka, Ryo Oshimatani
    Computer Algebra in Scientific Computing: 24th International Workshop, CASC 2022, Aug. 2022, English
    Oral presentation

  • パラメータを伴ったGroebner基底の構造的な検出法の改善
    長坂耕作
    日本数式処理学会第31回大会, Jun. 2022, Japanese
    Oral presentation

  • 多肢選択問題と順序並び替え問題の作問と数式処理
    長坂耕作
    日本数式処理学会 第15期第3回 教育分科会, Feb. 2022, Japanese
    Oral presentation

  • 特別セッション「数式処理関連書籍の執筆と出版まで」
    長坂耕作
    日本数式処理学会合同分科会, Jan. 2022, Japanese
    [Invited]
    Nominated symposium

  • 近似Groebner基底の逐次算法に向けて（再訪）
    長坂耕作
    研究集会 Computer Algebra - Theory and its Applications, Dec. 2021, Japanese
    Oral presentation

  • パラメータを伴ったGroebner基底の構造的な検出について
    大島谷遼, 長坂耕作
    研究集会 Computer Algebra - Theory and its Applications, Dec. 2021, Japanese
    Oral presentation

  • Relaxed NewtonSLRA for Approximate GCD
    Kosaku Nagasaka
    The 23rd International Workshop on Computer Algebra in Scientific Computing, CASC 2021, Sep. 2021, English
    Oral presentation

  • 中等数学の証明問題と自動採点における課題
    青山雄太郎, 長坂耕作
    日本数式処理学会 第15期第2回 教育分科会, Aug. 2021, Japanese
    Oral presentation

  • 数学教育における順序並び替え問題
    長坂耕作
    研究集会 数学ソフトウェアとその効果的教育利用に関する研究, Aug. 2021, Japanese
    Oral presentation

  • Approximate GCD by relaxed NewtonSLRA algorithm
    Kosaku Nagasaka
    The 46th International Symposium on Symbolic and Algebraic Computation (ISSAC 2021), Jul. 2021, English, International conference
    Others

  • NewtonSLRAの緩和アルゴリズムとその効果
    長坂耕作
    日本数式処理学会第30回大会, Jun. 2021, Japanese
    Oral presentation

  • グレブナー基底の項順序についての再考
    大島谷遼, 長坂耕作
    研究集会 Computer Algebra - Theory and its Applications, Dec. 2020, Japanese
    Oral presentation

  • 近似GCDでのNewtonSLRAアルゴリズムの効果的な利用に向けて
    長坂耕作
    研究集会 Computer Algebra - Theory and its Applications, Dec. 2020, Japanese
    Oral presentation

  • Multiple-choice questions in Mathematics: automatic generation, revisited
    Kosaku Nagasaka
    The 25th Asian Technology Conference in Mathematics, ATCM 2020, Dec. 2020, English
    [Invited]
    Invited oral presentation

  • 多肢選択問題の自動生成 – 数学 III の微分積分から偏微分まで –
    長坂耕作
    研究集会 数学ソフトウェアとその効果的教育利用に関する研究, Nov. 2020, Japanese
    Oral presentation

  • 近似GCD関連問題におけるNewtonSLRAアルゴリズムの評価
    長坂耕作
    日本数式処理学会第29回大会, Oct. 2020, Japanese
    Oral presentation

  • Approximate GCD by Bernstein Basis, and its Applications
    Kosaku Nagasaka
    The 45th International Symposium on Symbolic and Algebraic Computation, ISSAC 2020, Jul. 2020, English
    Oral presentation

  • Python版Moodle向け多肢選択問題の作成モジュールについて
    長坂耕作
    日本数式処理学会 第14期第3回 教育分科会, Feb. 2020, Japanese
    Oral presentation

  • パラメータを含む1変数多項式の有限体上の因数分解について
    関伯実, 長坂耕作
    研究集会 Computer Algebra - Theory and its Applications, Dec. 2019, Japanese
    Oral presentation

  • バーンスタイン基底関数を用いた近似GCDの評価について
    長坂耕作
    研究集会 Computer Algebra - Theory and its Applications, Dec. 2019, Japanese
    Oral presentation

  • Moodle XML Question Generator for Python
    KOSAKU NAGASAKA
    研究集会 数学ソフトウェアとその効果的教育利用に関する研究, Aug. 2019, Japanese
    Oral presentation

  • Jupyter Notebook で SymPy を使った授業展開について
    長坂耕作
    日本数式処理学会 第14期第2回 教育分科会ワークショップ, Aug. 2019, Japanese
    Oral presentation

  • Pythonによる多肢選択問題の生成について
    長坂耕作
    日本数式処理学会 第14期第2回 教育分科会ワークショップ, Aug. 2019, Japanese
    Oral presentation

  • 近似GCDとその応用
    長坂耕作
    第28回 日本数式処理学会大会, Jun. 2019, Japanese
    Oral presentation

  • 数学ソフトウェアと教材形式
    NAGASAKA KOSAKU
    日本数式処理学会 第14期第1回 教育分科会ワークショップ, Feb. 2019, Japanese, Domestic conference
    Oral presentation

  • 近似GCDの枠組みでの近似無平方分解
    NAGASAKA KOSAKU
    研究集会 Computer Algebra - Theory and its Applications, Dec. 2018, Japanese, 京都大学数理解析研究所, Domestic conference
    Oral presentation

  • スマートフォン適応のLMS用反転学習問題教材のCASによる自動生成について
    吉冨 賢太郎, NAGASAKA KOSAKU
    PCカンファンレンス北海道 2018, Nov. 2018, Japanese, 北翔大学, Domestic conference
    Oral presentation

  • スマートフォン適応のLMS用反転学習問題教材のCASによる自動生成
    吉冨 賢太郎, NAGASAKA KOSAKU
    教育システム情報学会 第43回 全国大会, Sep. 2018, Japanese, 北星学園大学, Domestic conference
    Oral presentation

  • Moodle KaTeX filter
    NAGASAKA KOSAKU
    研究集会 数学ソフトウェアとその効果的教育利用に関する研究, Aug. 2018, Japanese, 京都大学数理解析研究所, Domestic conference
    Oral presentation

  • 近似 GCD アルゴリズムの性能評価と選択基準
    NAGASAKA KOSAKU
    第27回 日本数式処理学会大会, Jun. 2018, Japanese, Domestic conference
    Oral presentation

  • 近似GCDアルゴリズムの新たな組み合わせ
    NAGASAKA KOSAKU
    研究集会 Computer Algebra - Theory and its Applications, Dec. 2017, Japanese, 京都大学数理解析研究所, Domestic conference
    Oral presentation

  • 数式処理と学習管理システム - 静的評価の再評価 -
    NAGASAKA KOSAKU
    研究集会 数学ソフトウェアとその効果的教育利用に関する研究, Sep. 2017, Japanese, 京都大学数理解析研究所, Domestic conference
    Oral presentation

  • ISSAC 2017とSC^2 2017の報告
    NAGASAKA KOSAKU
    研究集会 数式処理研究の新たな発展, Sep. 2017, Japanese, 京都大学数理解析研究所, Domestic conference
    Oral presentation

  • STLN-GCDの実装とその性能評価について
    NAGASAKA KOSAKU
    第26回 日本数式処理学会大会, Jun. 2017, Japanese, Domestic conference
    Oral presentation

  • パラメータを伴う最大公約因子計算における停止性
    NAGASAKA KOSAKU
    日本数式処理学会合同分科会, Jan. 2017, Japanese, Domestic conference
    Oral presentation

  • パラメータを含んだ多項式の最大公約因子の計算法
    NAGASAKA KOSAKU
    研究集会 Computer Algebra and Related Topics, Dec. 2016, Japanese, 京都大学数理解析研究所, Domestic conference
    Oral presentation

  • Seeking Better Algorithms for Approximate GCD
    NAGASAKA KOSAKU
    ISSAC 2016 (Poster presentations), Jul. 2016, English, International conference
    Poster presentation

  • Approximate GCD and Its Implementations
    NAGASAKA KOSAKU
    Milestones in Computer Algebra, MICA2016, Jul. 2016, English, International conference
    Oral presentation

  • 近似GCDの大規模実験とExQRGCDの性能向上について
    NAGASAKA KOSAKU
    第25回 日本数式処理学会大会, Jun. 2016, Japanese, Domestic conference
    Oral presentation

  • 近似GCDにおける逐次的なQR分解法とその実装について II
    NAGASAKA KOSAKU
    研究集会 Computer Algebra and Related Topics, Dec. 2015, Japanese, Domestic conference
    Oral presentation

  • 近似GCDにおける逐次的なQR分解法とその実装について
    NAGASAKA KOSAKU
    研究集会 数式処理研究の新たな発展, Aug. 2015, Japanese, Domestic conference
    Oral presentation

  • 近似GCD向けChasingアルゴリズム改良の試み
    NAGASAKA KOSAKU
    第24回 日本数式処理学会大会, Jun. 2015, Japanese, Domestic conference
    Oral presentation

  • Symbolic-Numeric Methodologies in Computer Algebra
    NAGASAKA KOSAKU
    Computer Algebra Seminar, Mar. 2015, English, Takikawa memorial Hall in Kobe University, International conference
    Oral presentation

  • 近似 GCD の安定性について
    NAGASAKA KOSAKU
    研究集会 Computer Algebra and Related Topics, Dec. 2014, Japanese, 京都大学数理解析研究所, Domestic conference
    Oral presentation

  • 国際研究集会の仕組みとその運営 - ISSAC 2014 -
    NAGASAKA KOSAKU
    研究集会 数式処理研究の新たな発展, Aug. 2014, Japanese, 京都大学数理解析研究所, Domestic conference
    [Invited]
    Invited oral presentation

  • fastgcdとuvgcdの改良について
    NAGASAKA KOSAKU
    第23回 日本数式処理学会大会, May 2014, Japanese, Domestic conference
    Oral presentation

  • 近似GCDの速度比較 qrgcdからfastgcdまで
    NAGASAKA KOSAKU
    Risa/Asir Conference 2014, Mar. 2014, Japanese, 神戸大学, Domestic conference
    Oral presentation

  • 近似 GCD アルゴリズムにおける枢軸選択の影響
    NAGASAKA KOSAKU
    研究集会 Computer Algebra and Related Topics, Dec. 2013, Japanese, 京都大学数理解析研究所, Domestic conference
    Oral presentation

  • 厳密に与えられた系のGroebner基底を数値的に求める場合に必要な桁精度の考察
    NAGASAKA KOSAKU
    研究集会 数式処理研究と産学連携の新たな発展, Aug. 2013, English, 九州大学 マス・フォア・インダストリ研究所, Domestic conference
    Oral presentation

  • 近似GCDの性能評価 - LIBSNAPにおける3つの実装 -
    NAGASAKA KOSAKU
    第22回 日本数式処理学会大会, Jun. 2013, Japanese, 防衛大学校, Domestic conference
    Oral presentation

  • 近似GCDアルゴリズムの改良 - QRGCDの解析とExQRGCDとの比較 -
    NAGASAKA KOSAKU, 増井 貴明
    第42回数値解析シンポジウム, Jun. 2013, Japanese, 愛媛, Domestic conference
    Oral presentation

  • Revisiting QRGCD and Comparison with ExQRGCD
    NAGASAKA KOSAKU, MASUI TAKAAKI
    ISSAC 2013 (Poster presentations), Jun. 2013, English, Boston, USA, International conference
    Poster presentation

  • ExQRGCDの近似代数ライブラリLIBSNAPへの実装について
    NAGASAKA KOSAKU
    Risa/Asir Conference 2013, Mar. 2013, Japanese, 神戸大学, Domestic conference
    Oral presentation

  • SNAP パッケージと QRGCD アルゴリズムの改善
    増井 貴明, NAGASAKA KOSAKU
    研究集会 Computer Algebra - The Algorithms, Implementations and the Next Generation, Dec. 2012, Japanese, 京都大学数理解析研究所, Domestic conference
    Oral presentation

  • The Berlekamp Algorithm -サーベイと試み-
    長坂 耕作
    研究集会 数式処理研究の新たな発展, Jul. 2012, Japanese, 京都大学数理解析研究所, Domestic conference
    Oral presentation

  • Backward error analysis of approximate Gröbner basis
    Kosaku NAGASAKA
    The International Symposium on Symbolic and Algebraic Computation (ISSAC) 2012, Jul. 2012, English, Grenoble, France, International conference
    Poster presentation

  • 近似グレブナ基底の後退誤差解析について
    長坂 耕作
    第21回 日本数式処理学会大会, Jun. 2012, Japanese, 山口大学, Domestic conference
    Oral presentation

  • 近似グレブナ基底の後退誤差解析の試み
    長坂 耕作
    Risa/Asir Conference 2012, Mar. 2012, Japanese, 神戸大学, Domestic conference
    Oral presentation

  • 近似GCDの無平方分解への応用
    Kosaku Nagasaka
    研究集会 Computer Algebra - The Algorithms, Implementations and the Next Generation, Dec. 2011, Japanese, 京都大学数理解析研究所, Domestic conference
    Oral presentation

  • A Symbolic-Numeric Approach to Groebner Basis with Inexact Input
    Kosaku Nagasaka
    Fields Institute Workshop on Hybrid Methodologies for Symbolic-Numeric Computation, Hybrid2011, Nov. 2011, English, The University of Waterloo, Waterloo, Ontario, Canada, International conference
    [Invited]
    Invited oral presentation

  • 整数係数多項式の近似GCDとその実装
    Kosaku Nagasaka
    第20回 日本数式処理学会大会, Sep. 2011, Japanese, 神戸大学, Domestic conference
    Oral presentation

  • 近似代数の汎用ライブラリに向けて
    Kosaku Nagasaka
    研究集会 数式処理研究の新たな発展, Jul. 2011, Japanese, 京都大学数理解析研究所, Domestic conference
    Oral presentation

  • An improvement in the lattice construction process of Approximate Polynomial GCD over Integers (Extended Abstract)
    Kosaku Nagasaka
    Symbolic-Numeric Computation (SNC2011), Jun. 2011, English, San Jose, International conference
    Oral presentation

  • 近似Groebner基底の逐次算法に向けて
    Kosaku Nagasaka
    研究集会 Computer Algebra - Design of Algorithms, Implementations and Applications, Dec. 2010, Japanese, 京都大学数理解析研究所, Domestic conference
    Oral presentation

  • 準同型暗号と整数及び整数多項式の近似GCD
    Kosaku Nagasaka
    研究集会 数式処理研究の新たな発展, Jul. 2010, Japanese, 京都大学数理解析研究所, Domestic conference
    Oral presentation

  • 国際研究集会を開くまで - CASC 2009 開催までの道のり -
    Kosaku Nagasaka
    研究集会 数式処理研究の新たな発展, Jul. 2010, Japanese, 京都大学数理解析研究所, Domestic conference
    [Invited]
    Invited oral presentation

  • 近似Groebner基底とSLRA
    Kosaku Nagasaka
    第19回 日本数式処理学会大会, Jun. 2010, Japanese, 名古屋大学, Domestic conference
    Oral presentation

  • 近似Groebner基底のSLRAによる安定化
    Kosaku Nagasaka
    Risa/Asir Conference 2010, Mar. 2010, Japanese, 神戸大学, Domestic conference
    Oral presentation

  • 近似Groebner基底に向けて
    Kosaku Nagasaka
    研究集会 Computer Algebra - Design of Algorithms, Implementations and Applications, Nov. 2009, Japanese, 京都大学数理解析研究所, Domestic conference
    Oral presentation

  • 数式処理による教育の充実
    Kosaku Nagasaka
    研究集会 数式処理と教育, Aug. 2009, Japanese, 京都大学数理解析研究所, Domestic conference
    Oral presentation

  • 色彩変換ソフトウェアの開発のための感性的色空間の解析
    Michiko Yamamoto, Kosaku Nagasaka
    日本デザイン学会 第56回春季研究発表大会, Jun. 2009, Japanese, 名古屋, 日本, Domestic conference
    Oral presentation

  • RREFによるグレブナー基底計算について
    Kosaku Nagasaka
    第18回 日本数式処理学会大会, Jun. 2009, Japanese, 滋賀, 日本, Domestic conference
    Oral presentation

  • 線形空間の基底としてグレブナ基底を計算する方法のまとめ
    Kosaku Nagasaka
    Risa/Asir Conference 2009, Mar. 2009, Japanese, 神戸, 日本, Domestic conference
    Oral presentation

  • 近似GCDによる人間らしい簡単化
    Kosaku Nagasaka
    Computer Algebra - Design of Algorithms, Implementations and Applications, Nov. 2008, Japanese, 京都大学数理解析研究所, Domestic conference
    Oral presentation

  • 数式処理ソフトと正課外活動
    Kosaku Nagasaka, Tadashi Takahasi
    研究集会 数式処理と教育, Aug. 2008, Japanese, 京都大学数理解析研究所, Domestic conference
    Oral presentation

  • Mathematica Playerの活用 -応用代数学講義編-
    Kosaku Nagasaka
    理数系教育におけるICT技術の活用 〜Mathematica の活用事例〜, Aug. 2008, Japanese, 大阪府立大学, 大阪府立大学, Domestic conference
    Invited oral presentation

  • Approximate Polynomial GCD over Integers
    Kosaku Nagasaka
    ISSAC 2008 Poster presentations, Jul. 2008, English, Hagenberg, Austria, International conference
    Poster presentation

  • 整数係数多項式の近似GCDの高速化
    Kosaku Nagasaka
    第17回 日本数式処理学会大会, Jun. 2008, Japanese, 東京, 日本, Domestic conference
    Oral presentation

  • 感性的表象としての色空間の開発に関する予備的研究
    Michiko Yamamoto, Kosaku Nagasaka
    芸術工学会2007年度秋期大会, Nov. 2007, Japanese, 名古屋, 日本, Domestic conference
    Oral presentation

  • Ruppert行列による近似GCDの算出
    Nagasaka Kosaku
    Computer Algebra - Design of Algorithms, Implementations and Applications, Nov. 2007, Japanese, 京都大学数理解析研究所, Domestic conference
    Oral presentation

  • 線形代数における数式処理ソフトの活用
    Kosaku Nagasaka
    研究集会 数式処理と教育, Aug. 2007, Japanese, 京都, 日本, Domestic conference
    Oral presentation

  • 整数係数多項式の近似GCD II
    Kosaku Nagasaka
    研究集会 数式処理研究の新たなる発展, Jul. 2007, Japanese, 京都, 日本, Domestic conference
    Oral presentation

  • SNAP package for Mathematica
    Kosaku Nagasaka
    ISSAC 2007 Software Exhibitions, Jul. 2007, English, Waterloo, Canada, International conference
    Others

  • 整数係数多項式の近似GCD
    Kosaku Nagasaka
    第16回 日本数式処理学会大会, Jun. 2007, Japanese, 倉敷, 日本, Domestic conference
    Oral presentation

  • ウェブでの近似代数演算
    Kosaku Nagasaka
    Risa/Asir Conference 2007, Mar. 2007, Japanese, 神戸, 日本, Domestic conference
    Oral presentation

  • 整数係数の近似因数分解はなぜ難しいか
    Kosaku Nagasaka
    研究集会 Computer Algebra -- Design of Algorithms,Implementations and Applications, Dec. 2006, Japanese, 京都, 日本, Domestic conference
    Oral presentation

  • カテナリーを用いた衣服における記号記述の基盤整備
    KIRIU, Yusuke, Takuya Kitamoto, Kosaku Nagasaka, Tadashi Takahashi, 山口 哲
    研究集会 Computer Algebra -- Design of Algorithms,Implementations and Applications, Dec. 2006, Japanese, 京都, 日本, Domestic conference
    Oral presentation

  • Niederreiterの因数分解法の実装について
    Akiko Yamanaka, Kosaku Nagasaka
    研究集会 Computer Algebra -- Design of Algorithms,Implementations and Applications, Dec. 2006, Japanese, 京都, 日本, Domestic conference
    Oral presentation

  • gridMathematicaを試す
    Kosaku Nagasaka
    Japan Mathematica Conference 2006, Dec. 2006, Japanese, 東京ビックサイト, Domestic conference
    Invited oral presentation

  • 大学における数式処理を使った転換教育と専門基礎教育
    Nagasaka Kosaku
    研究集会 数式処理と教育, Nov. 2006, Japanese, 京都, 日本, Domestic conference
    Oral presentation

  • Mathematicaのある教育と研究
    Kosaku Nagasaka
    数学ソフトウェアとフリードキュメントIII, Sep. 2006, Japanese, 大阪市立大学, Domestic conference
    Invited oral presentation

  • Mathematics and Arts: Symbolic Manipulation and Challengeable Fact
    KIRIU, Yusuke, NAGASAKA, Kosaku, TAKAHASHI, Tadashi
    第15回 日本数式処理学会大会, Jun. 2006, Japanese, 日本数式処理学会, 東京, 日本, Domestic conference
    Oral presentation

  • A Trial for Approximate Factorization
    NAGASAKA, Kosaku
    第15回 日本数式処理学会大会, Jun. 2006, Japanese, 日本数式処理学会, 東京, 日本, Domestic conference
    Oral presentation

  • Mathematical Issues of Mathematica's BigFloat and Our Resolutions in SNAP Package
    NAGASAKA, Kosaku
    International Mathematica Symposium, IMS 2006, Jun. 2006, English, Avignon, フランス, International conference
    Oral presentation

  • Finding Mathematical Structures in Arts I
    KIRIU, Yusuke, NAGASAKA, Kosaku, TAKAHASHI, Tadashi
    International Mathematica Symposium, IMS 2006, Jun. 2006, English, Avignon, フランス, International conference
    Oral presentation

  • Irreducibility Radii
    NAGASAKA, Kosaku
    ARCC Workshop: The computational complexity of polynomial factorization, May 2006, English, Paloalto, 米国, International conference
    Invited oral presentation

  • Report: Precision Assurance on Mathematica
    NAGASAKA, Kosaku
    Risa/Asir Conference 2006, Mar. 2006, Japanese, 神戸, 日本, Domestic conference
    Oral presentation

  • Mathematics Embeded Contents and Its Standardization
    NAGASAKA, Kosaku
    研究集会 Computer Algebra -- Design of Algorithms,Implementations and Applications, Dec. 2005, Japanese, 京都, 日本, Domestic conference
    Oral presentation

  • A Mathematical Approach to Arts,by Computer Algebra System
    KIRIU, Yusuke, NAGASAKA, Kosaku, TAKAHASHI, Tadashi
    研究集会 Computer Algebra -- Design of Algorithms,Implementations and Applications, Dec. 2005, Japanese, 京都, 日本, Domestic conference
    Oral presentation

  • SNAP
    NAGASAKA, Kosaku
    International Mathematica Symposium, IMS 2005, Aug. 2005, English, Perth, オーストラリア, International conference
    Oral presentation

  • An implementation issue on SNAP and significant digits
    NAGASAKA, Kosaku
    Conference on Applications of Computer Algebra, ACA 2005, Aug. 2005, English, 奈良, 日本, International conference
    Oral presentation

  • Calculation of Groebner Basis with Indeterminate Exponents II
    TAKAHASHI, Tadashi, NAGASAKA, Kosaku
    京都大学数理解析研究所研究集会, Jul. 2005, Japanese, 京都大学数理解析研究所, 京都, 日本, Domestic conference
    Oral presentation

  • Improving Radius of Absolute Irreducibility for Multivariate Polynomials
    NAGASAKA, Kosaku
    第１4回 日本数式処理学会大会, Jun. 2005, Japanese, 日本数式処理学会, 広島, 日本, Domestic conference
    Oral presentation

  • Implementing CGB on Mathematica
    NAGASAKA, Kosaku
    Risa/Asir Conference 2005, Mar. 2005, Japanese, 神戸, 日本, Domestic conference
    Oral presentation

  • Calculation of Groebner Basis with Parametric Coefficients or Indeterminante Exponents
    TAKAHASHI, Tadashi, Kosaku Nagasaka
    Computer Algebra -- Design of Algorithms, Implementations and Applications, Dec. 2004, Japanese, 京都, 日本, Domestic conference
    Oral presentation

  • Towards: Practical Approximate Algebraic Computation for Univariate Polynomials
    NAGASAKA, Kosaku
    第１３回 日本数式処理学会大会, Sep. 2004, Japanese, 日本数式処理学会, 東京, 日本, Domestic conference
    Oral presentation

  • Calculation Program of Groebner Basis with Indeterminate Exponents
    NAGASAKA, Kosaku, TAKAHASHI, Tadashi
    第１３回 日本数式処理学会大会, Sep. 2004, Japanese, 日本数式処理学会, 東京, 日本, Domestic conference
    Oral presentation

  • Calculation Program of Groebner Basis with Indeterminate Exponents
    NAGASAKA, Kosaku, TAKAHASHI, Tadashi
    研究集会 Computer Algebra の新たな展開, Aug. 2004, English, 京都, 日本, Domestic conference
    Oral presentation

  • Towards: Improving Radius of Absolute Irreducibility for Multivariate Polynomials
    NAGASAKA, Kosaku
    研究集会 Computer Algebra -- Algorithms, Implementations and Applications, Dec. 2003, Japanese, 京都, 日本, Domestic conference
    Oral presentation

  • Absolute Irreducibility Testing of Polynomials with Errors
    NAGASAKA, Kosaku
    第11回Risaコンソーシアム研究集会, Mar. 2003, Japanese, 神戸, 日本, Domestic conference
    Oral presentation

  • Distance between an expansion point and the nearest singular point in Multivariate Hensel Construction
    NAGASAKA, Kosaku
    研究集会 Computer Algebra -- Algorithms, Implementations and Applications, Nov. 2001, Japanese, 京都, 日本, Domestic conference
    Oral presentation

  • Approximate Bivariate Factrization - Lower Bound of Tolerance and Irreducibility Testing -
    NAGASAKA, Kosaku
    第２９回数値解析シンポジウム, Jun. 2000, Japanese, 那須, 日本, Domestic conference
    Oral presentation

  • Approximate Bivariate Factrization - Lower Bound of Tolerance and Irreducibility Testing -
    NAGASAKA, Kosaku
    数式処理における理論と応用の研究集会, Nov. 1999, Japanese, 京都, 日本, Domestic conference
    Oral presentation

  • Approximate Multivariate Factorization and Its Time Complexity
    NAGASAKA, Kosaku, SASAKI, Tateaki
    International IMACS Conference on Applications of Computer Algebra '98, Aug. 1998, English, IMACS, Prague, チェコ共和国, International conference
    Oral presentation

  • Approximate Multivariate Factorization and Its Time Complexity
    NAGASAKA, Kosaku, SASAKI, Tateaki
    数式処理における理論と応用の研究集会, Nov. 1997, Japanese, 京都, 日本, Domestic conference
    Oral presentation

■ Affiliated Academic Society
  • Mathematics Education Society of Japan
    Sep. 2022 - Present

  • ACM
    May 2022 - Present

  • ACM SIGSAM
    Jul. 2002 - Present

  • Japan Society for Symbolic and Algebraic Computation
    Apr. 2002 - Present

  • Information Processing Society of Japan
    Apr. 2002 - Mar. 2023

  • Japan Society for Industrial and Applied Mathematics
    Apr. 2002 - Mar. 2023

■ Works
  • Getting Better at Mathematica, for beginners
    長坂 耕作, 佐藤 真人, 市川 浩, 山口 哲, 春日 和久, 宮地 力, 大橋 真也
    2001

  • Getting Better at Mathematica, Standard version
    長坂 耕作, 佐藤 真人, 市川 浩, 山口 哲, 春日 和久, 宮地 力, 大橋 真也
    2000

■ Research Themes
  • Redefining Cheating-Resistant Property of Mathematical Educational Materials for first-year students in the Era of AI Coexistence and Constructing a Comprehensive Learning Support Environment
    吉冨 賢太郎, 市川 裕子, 小松川 浩, 濱中 裕明, 樋口 三郎, 長坂 耕作, 金西 計英
    Japan Society for the Promotion of Science, Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (A), Osaka Metropolitan University, 01 Apr. 2024 - 31 Mar. 2029

  • データに内在する誤差が代数問題に与える影響とその構造的な除去に関する研究
    長坂 耕作
    日本学術振興会, 科学研究費助成事業, 基盤研究(C), 神戸大学, 01 Apr. 2024 - 31 Mar. 2029

  • Development and application of online mathematics questions which require deep thought to solve even with cheating
    吉冨 賢太郎, 亀田 真澄, 市川 裕子, 樋口 三郎, 長坂 耕作, 金西 計英
    Japan Society for the Promotion of Science, Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (B), Osaka Prefecture University, Apr. 2021 - Mar. 2025
    数学ｅラーニングにおいて、教材の柱は解説動画と自動採点システムを使ったオンラインテスト問題である。本研究の主要テーマは、特に問題教材について、チーティング耐性を持つ問題を開発し、まず、形成的評価を目的とした教材活用により、高い教育効果を狙うものである。同時に、自宅等でのオンラインテストにおいても、理解度を評価できる問題も目指す。本年度においては、まず、チーティング耐性のある問題とはどのような問題かを検討し、一定の考察を得た。まず、チーティングについては、当初の想定通り、(1) 数式処理ソフトやクラウド計算ソフト(Wolfram Alphaなど)の参照・利用、(2) Yahoo知恵袋や親族・友人のような他者による協力、の2つが主なチーティング方法と考えられる。これらチーティング利用で問題が解決したり、もしくはそれが直接評価に結びつくようでは、教育効果や正当な評価の観点からは、不十分であると考えられる。結論の1つとして、計算機に入力したり人に聞いたりする手間よりも、自分で考えて課題を実行した方が簡潔で自然と学習や理解が進むような問題を潤沢に用意することが重要であると考える。 また、分担者の長坂は、主にそのような問題として、かねてから取り組んできた多肢選択の他、並び換え問題による教育効果について検証している。代表者も、数式入力とアルゴリズム判定が可能なSTACKにより、単なる計算問題ではなく、考えることでしか解答の得られないような問題の開発に取り組み線形代数の授業で利用している。オンライン演習問題と評価用小テストに分け、オンライン演習では形成的評価を目的として、演習書レベル以前の基礎的問題から始めてやや高度なものまでの問題の拡充につとめ、学生のアンケート評価や成績によりその効果について検証を始めたところである。

  • 代数曲面の近似・変形・補間の各操作に適する数値・数式融合計算の開発と検証
    長坂 耕作
    日本学術振興会, 科学研究費助成事業, 基盤研究(C), 神戸大学, Apr. 2019 - Mar. 2024
    令和３年度（実績対象年度の前年度）の研究実績に基づき，令和４年度（実績対象年度）の研究計画では，申請当初の研究計画を修正し，多変数の近似GCDアルゴリズムの改良は行わず，近似Groebner基底及びパラメータを伴う多項式系に対するGroebner基底を検出するアルゴリズムの改良のみに取り組むこととしていた。前者に関しては，令和３年度の方針を継続し，A) signature based algorithmの枠組みを近似Groebner基底に適用可能とすることと，B) その枠組みの中でSLRA（Structured Low Rank Approximation，最近接階数落ち構造化行列）を活用可能とすることに取り組んだ。課題Aに関しては，申請当時の想定よりも大きな課題であることが判明しつつもあり，研究成果として取りまとめる段階にはなっていない。一方で課題BのSLRAの活用可能性を確保することに関しては，計算量の増大を抑えた非正方ブロック対角行列のSLRA問題に帰着する方法を開発し，多変数の近似GCDアルゴリズムに適用した事例（multidimensional FFTとSLRAを組み合わせることで，複数個の多変数多項式の近似GCD計算を，二個の単変数多項式の近似GCD計算に帰着させる方法）を研究集会等で速報として発表した。SLRA Interpolationと名付けた本方法は，令和５年度に国際研究集会で論文として発表予定である。後者のパラメータを伴う基底検出法に関しては，計算効率を向上（冗長な分岐の枝刈りなどのロジックを新たに導入）したものを国際研究集会で口頭発表を行った。

  • Development of learning materials suitable for mobile devices which induce students' awareness and deepen understanding
    Yoshitomi Kentaro
    Japan Society for the Promotion of Science, Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (C), Osaka Prefecture University, Apr. 2018 - Mar. 2022
    Currently, almost all or all students own smartphones, and it is important to use them in university classes, we think. The number of so-called BYODs that bring their own PCs to universities is increasing, but the use of smartphones is still important. In this research aimed at developing flipped learning materials for university mathematics, especially linear algebra, using such smartphones. Focusing on such question materials in particular, we have developed a multi-choice question that is randomly asked by the system and has appropriate feedback. We have already developed teaching materials by inputting mathematical formulas, but in many cases it is troublesome to input mathematical formulas on smartphones, and if we can expect the same learning effect, we will deal with it with multiple-choice questions.

  • numerical and mathematical stabilities in fundamental symbolic-numeric computations
    Nagasaka Kosaku
    Japan Society for the Promotion of Science, Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (C), Kobe University, Apr. 2015 - Mar. 2020
    Symbolic-numeric computations are used in the case where the given algebraic expression has a priori error, or for solving the given non-numeric problem by some numerical methods. In this project, we had studied numerical and mathematical stabilities in fundamental symbolic-numeric computations used in many algorithms. Our contributions are as follows. 1) we built a better performance framework that covers and interchanges known approximate GCD algorithms, 2) we published its implementations, 3) we gave the theory of parametric greatest common divisors by means of comprehensive Groebner systems (CGS), and 4) we applied them to approximate squarefree decomposition.

  • International Symposium on Symbolic and Algebraic Computation, 2014 (ISSAC 2014)
    長坂 耕作
    立石科学技術振興財団, 国際会議等開催助成, Jul. 2014

  • The 39 th International Symposium on Symbolic and Algebraic Computation (ISSAC 2014)
    長坂 耕作
    栢森情報科学振興財団, フォーラム・シンポジウム等開催助成金, Jul. 2014

  • Symbolic-Numeric Computations for Practical Situations
    NAGASAKA Kosaku
    Japan Society for the Promotion of Science, Grants-in-Aid for Scientific Research, Grant-in-Aid for Young Scientists (B), Kobe University, Apr. 2010 - Mar. 2014
    We proposed an algorithm for computing a structured Groebner basis approximately. With this algorithm, even if the input has some numerical error, we can compute their Groebner basis which are widely used for simplifying algebraic relations for example. For approximate polynomial GCD, we extended the concept to polynomials over integers and gave some special lattice to make it being compatible with multiple precision integers. Especially for the well known approximate polynomial GCD algorithm, QRGCD, we extended it with much theoretical considerations and proposed ExQRGCD algorithm. Moreover, for those results, to achieve that many people can use the results, we implemented them with C and published it on the website. The name of library is "LIBSNAP".

  • CASC 2009 「科学技術計算と数式処理」
    長坂 耕作
    日本学術振興会, 国際研究集会, Sep. 2009

  • 伊藤 真之
    日本学術振興会, 科学研究費補助金／萌芽研究, 挑戦的萌芽研究, 神戸大学, 2007 - 2009
    本研究ほ、地域社会の中に,大学等の高等教育機関を中核とし、学校、市民組織、社会教育施設など、多様な主体間のネットワーキングと協働を通じて、学校教育を中心とした公的教育と、社会教育や市民活動を通じた学びなどを含む非公的教育を包括した「持続可能な発展のための教育」(Education for Sustainable Development:ESD)のシステムモデルを構築し、その過程を実践的に研究することを目的とする。研究方法としては、研究者自身がネットワーキングやシステム構築を実践、あるいは取組に参画し、その過程を記録、検討、フィードバックする形で進められ、研究とシステム構築が同時進行する。 平成21年度は、(1)持続可能性(サステナビリティ)を重視した科学コミュニケーションのネットワーク構築とそれによるコミュニティ活性化の支援、および前年度に引き続き、(2)ESDの展開における市民と科学者等の専門家の対話と協働の枠組みづくりとその発展に重点を置いた。重点的フィールドの一つを、兵庫県南あわじ市神代地区におけるコミュニティづくりの活動に設定した。そこでは、科学に関心を持つ市民が、コミュニティの活性化を目的として、シカなどの野生動物による農作物の食害という地域の課題を基底に置き、自然との共生をテーマとした一連のサイエンスカフェを開催、地域住民による取組への展開などを進めた。さらに,これらの成果を受け、地域の自然・伝統・文化と調和したビジョンの構想とその実現に向けた取組みへの展開を見せている。その過程で、大学等の研究者の支援が重要な役割を果たしたほか、大学のBSDプログラムを通じて、学生の関与につながる契機もみられた。特に、神戸大学に設置された「サイエンスショップ」がそのインターフェイスとして機能した。本事例は、地域社会における「持続可能な発展のための教育」展開のモデルとして高い価値を有すると考える。
    Competitive research funding

  • FUKUYAMA Katusi, HIGUCHI Yasunari, YAMAZAKI Tadashi, SUGITA Hiroshi, OGAWA Shigeyoshi, HAMANA Yuji, YASUTOMI Kenji
    Japan Society for the Promotion of Science, Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (B), Kobe University, 2005 - 2008
    一様分布論にあらわれるdiscrepancy の漸近挙動の解析に取り組み、その重複対数の法則的な挙動が完全にわかっていなかった発散等比数列やいわゆるHardy-Littewood-P´olya の列について完全な形の重複対数が成立することを解明した。また、有界型重複対数の法則に従いながらも完全形の重複対数の法則が成り立たない例の構成などをおこない、一様分布論の測度的研究の進展に寄与した。
    Competitive research funding

  • FUNAKOSHI Syunsuke, SHIRAKURA Teruhiro, TAKAHASHI Joji, TAKAHASHI Makoto, TAKAHASHI Tadashi, MIYATA Takahisa
    Japan Society for the Promotion of Science, Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (B), Kobe University, 2005 - 2006
    We did presentations in domestic research meeting and an international conference and suggested about "A research about the improvement for mathematics information education in a university". As a results, we gave a suggestion of most to "A research about the improvement for mathematics information education in a university". We got basics of this research. We revolutionized mathematics statistics, analysis, geometry and linear algebra in Kobe university. As connection with area education (the Board of Education), we grasped issues about area education and connection about education research with a university and found a theme. We will research those theme with future research. Therefore, on this research theme, we want to develop as application research of the next theme. As development / use / evaluation of information education system, development / use of education system about information education at a university evaluated it. This research theme has a lot of subjects. Hence we confirmed that we let a research develop as "a theme about university education different kinds of teachings department about connection with information education" as application research of the next application. We settled result of these activity to the last report book as a research in enforcement period of this research and confirmed what we let a research develop in future.
    Competitive research funding

  • 多変数多項式の近似代数演算の実用化とその検証
    長坂 耕作
    日本学術振興会, 科学研究費助成事業, 若手研究(B), 神戸大学, 2004 - 2006
    2006年6月に国際会議IMS2006(International Mathematica Symposium)で,Mathematicaに組み込まれている数値誤差評価の仕組みが実践的であるもののドキュメント通りに動作しない点について報告した結果,開発元の主要開発者から抜本的解決につながる解決策が得られた.本年度のパッケージ開発の中心は,この解決策への移行であり,年度末までにドキュメントを除いて内容を一新したものをウェブにて公開できる予定である.また,本年度で本研究課題の研究期間は終了するが,今後も同パッケージの改良及びメンテナンスを続けていきたいと考えている. 一方,多項式の近似代数演算のアルゴリズムの研究については,昨年度から取り組んでいた新しいタイプの近似因数分解問題の解決が難しいことが様々な理論的,実験的な取り組みから判明したため,その内容を京都大学数理解析研究所の研究集会にて発表した.同内容は講究録に掲載されることになっている. 本年度の実施計画で予定していたウェブサイト上での本研究課題で開発しているMathematicaのパッケージを利用できるようにする件は,利用ソフトウェアの納品遅れから作業が遅れ,十分な公開期間を設けられなかったが,研究開発内容のアウトリーチのひとつの方法として非常に優れていると考えている.この件に関しては,Risa/Asir Conference 2007にて発表予定である. なお,本研究課題で実装している多項式誤差の取扱い方法についての発表が,昨年度の日本数式処理学会で認められ,同内容についての論文「Using Coefficient-wise Tolerance in Symbolic-Numeric Algorithms for Polynomials.」が論文誌「数式処理」に掲載された.

TOP