長坂 耕作

基本情報

所属

神戸大学 大学院人間発達環境学研究科 教授

学位

修士(理学)(1998年3月 筑波大学)

博士(理学)(2002年3月 筑波大学)

J-GLOBAL ID

201101062333306150

researchmap会員ID

B000000092

研究キーワード

• 計算代数
• 計算機代数
• 数学教育
• 記号処理
• 数式処理

研究分野

• 自然科学一般 / 代数学 / 計算機代数 数式処理
• 情報通信 / 情報学基礎論 / 計算機代数 数式処理

経歴

• 2026年8月 - 現在

  神戸大学, 大学院人間発達環境学研究科, 教授
• 2009年5月 - 2026年7月

  神戸大学, 大学院人間発達環境学研究科, 准教授
• 2007年4月 - 2009年4月

  神戸大学, 大学院人間発達環境学研究科, 講師
• 2004年4月 - 2007年3月

  神戸大学, 発達科学部, 講師
• 2002年10月 - 2004年4月

  山口大学, メディア基盤センター, 助手
• 2002年4月 - 2002年9月

  筑波大学, ベンチャービジネスラボラトリ, 非常勤研究員

学歴

• - 2002年3月

  筑波大学 大学院博士課程数学研究科(数学専攻)修了

委員歴

• 2021年6月 - 現在

  Maple Transactions, Associate Editor
• 2016年8月 - 現在

  ACM Communications in Computer Algebra, Associate Editor
• 2026年8月 - 2028年3月

  日本数式処理学会, 教育分科会運営委員会 委員長
• 2008年4月 - 2028年3月

  日本数式処理学会, 代表会員
• 2024年6月 - 2026年6月

  日本数式処理学会, 分科会連絡委員会 委員長
• 2018年4月 - 2024年3月

  日本数式処理学会, 教育分科会運営委員会 委員長
• 2021年7月 - 2022年7月

  ISSAC 2022 (International Symposium on Symbolic and Algebraic Computation, 2022), Program Committee
• 2016年4月 - 2018年3月

  日本数式処理学会, 大会プログラム委員会 委員長
• 2014年4月 - 2016年3月

  日本数式処理学会, システム分科会運営委員会 副委員長
• 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

受賞

• 2005年6月

  奨励賞, 多変数多項式の絶対既約半径の改善について, 日本数式処理学会

  長坂 耕作

主要な論文

• Approximate GCD of several multivariate sparse polynomials based on SLRA interpolation

  Kosaku Nagasaka

  Journal of Symbolic Computation 2025年3月 査読有り筆頭著者最終著者責任著者
• SLRA Interpolation for Approximate GCD of Several Multivariate Polynomials

  Kosaku Nagasaka

  Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023 470-479 2023年7月24日 査読有り筆頭著者最終著者責任著者
• Approximate GCD by relaxed NewtonSLRA algorithm

  Kosaku Nagasaka

  ACM Communications in Computer Algebra 55(3) 97-101 2021年9月 査読有り
• Relaxed NewtonSLRA for Approximate GCD

  Kosaku Nagasaka

  Computer Algebra in Scientific Computing (CASC 2021, Lecture Notes in Computer Science) 12865 272-292 2021年8月 査読有り筆頭著者最終著者責任著者
• Toward the best algorithm for approximate GCD of univariate polynomials

  Kosaku Nagasaka

  Journal of Symbolic Computation 105 4-27 2021年7月 査読有り筆頭著者最終著者責任著者
• Approximate square-free part and decomposition

  Kosaku Nagasaka

  Journal of Symbolic Computation 104 402-418 2021年5月 査読有り筆頭著者最終著者責任著者
• Approximate GCD by Bernstein Basis, and its Applications

  Kosaku Nagasaka

  Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation, ISSAC 2020 372-379 2020年7月 査読有り筆頭著者最終著者責任著者
• Parametric greatest common divisors using comprehensive Gröbner systems

  Kosaku Nagasaka

  Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC 129312 341-348 2017年7月23日 査読有り
• Seeking better algorithms for approximate GCD

  Kosaku Nagasaka

  ACM Communications in Computer Algebra 51(1) 15-17 2017年3月1日 査読有り
• Approximate Polynomial GCD over Integers with Digits-wise Lattice

  Kosaku Nagasaka

  Communications of JSSAC 2 15-32 2016年3月 査読有り
• Revisiting QRGCD and Comparison with ExQRGCD

  Kosaku Nagasaka, Takaaki Masui

  ACM Communications in Computer Algebra 47(3) 88-89 2013年 査読有り
• Extended QRGCD Algorithm

  Kosaku Nagasaka, Takaaki Masui

  COMPUTER ALGEBRA IN SCIENTIFIC COMPUTING, CASC 2013 8136 257-272 2013年 査読有り
• Backward error analysis of approximate Groebner basis

  Kosaku Nagasaka

  ACM Communications in Computer Algebra 46(3) 116-117 2012年 査読有り
• Approximate polynomial GCD over integers

  Kosaku Nagasaka

  JOURNAL OF SYMBOLIC COMPUTATION 46(12) 1306-1317 2011年12月 査読有り
• An improvement in the lattice construction process of approximate polynomial GCD over integers

  Kosaku Nagasaka

  SNC'11 - Proceedings of the 2011 International Workshop on Symbolic-Numeric Computation 63-64 2011年 査読有り
• Computing a Structured Grobner Basis Approximately

  Kosaku Nagasaka

  ISSAC 2011: PROCEEDINGS OF THE 36TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION 273--280 273-280 2011年 査読有り
• A Study on Grobner Basis with Inexact Input

  Kosaku Nagasaka

  COMPUTER ALGEBRA IN SCIENTIFIC COMPUTING, PROCEEDINGS 5743 247-258 2009年 査読有り
• Approximate Polynomial GCD over Integers

  Kosaku Nagasaka

  ACM Communications in Computer Algebra 42(3) 124-126 2008年 査読有り
• Ruppert matrix as subresultant mapping

  Kosaku Nagasaka

  Computer Algebra in Scientific Computing, Proceedings 4770 316-327 2007年 査読有り
• Using Coefficient-wise Tolerance in Symbolic-Numeric Algorithms for Polynomials

  Nagasaka Kosaku

  数式処理 12-3, 21-30(3) 21-29 2006年3月 査読有り
• Towards more accurate separation bounds of empirical polynomials II

  K Nagasaka

  COMPUTER ALGEBRA IN SCIENFIFIC COMPUTING, PROCEEDINGS 3718 318-329 2005年 査読有り
• Towards More Accurate Separation Bounds of Empirical Polynomials

  Nagasaka Kosaku

  SIGSAM Bulletin: Communications in Computer Algebra 38(4), 119-129(4) 119-129 2004年 査読有り
• Neighborhood Irreducibility Testing of Multivariate Polynomials

  Nagasaka Kosaku

  Proc. Computer Algebra in Scientific Computing (CASC2003) 283-292 2003年9月 査読有り
• Towards Certified Irreducibility Testing of Bivariate Approximate Polynomials

  Nagasaka Kosaku

  Proc. International Symposium on Symbolic and Algebraic Computation (ISSAC2002) 192-199 192-199 2002年7月 査読有り

MISC

• Special issue on the conference ISSAC 2014: Symbolic computation and computer algebra Foreword

  Kosaku Nagasaka, Agnes Szanto, Franz Winkler

  JOURNAL OF SYMBOLIC COMPUTATION 75 1-3 2016年7月
• 国際研究集会の仕組みとその運営 - ISSAC 2014 -

  長坂 耕作

  京都大学数理解析研究所講究録 1927 103-105 2014年12月 招待有り
• 国際研究集会を開くまで : CASC 2009 開催までの道のり (数式処理研究の新たな発展)

  長坂 耕作

  数理解析研究所講究録 1759 84-84 2011年9月
• A09 色彩変換ソフトウエアの開発のための感性的色空間の解析(感性デザインと情緒デザイン(デザイン理論・方法論研究部会),「想像」する「創造」〜人間とデザインの新しい関係〜,第56回春季研究発表大会)

  山本 道子, 長坂 耕作

  デザイン学研究. 研究発表大会概要集 (56) 18-19 2009年6月20日
• 手で触る数理情報教育

  宮田 任寿, 長坂 耕作, 高橋 正

  神戸大学発達科学部研究紀要 第14巻,第2号(2) 211-216 2007年3月
• 数理と芸術 : 記号処理と論駁可能性について

  桐生 裕介, 長坂 耕作, 高橋 正

  数式処理 13(1) 47-50 2006年12月1日
• 数式処理システムを用いた芸術における数理科学的アプローチ (Computer Algebra : Design of Algorithms, Implementations and Applications)

  桐生 裕介, 長坂 耕作, 高橋 正

  数理解析研究所講究録 1514 53-58 2006年9月
• Calculation of Groebner Basis with Parametric Coefficients or Indeterminante Exponents (Computer Algebra : Design of Algorithms, Implementations and Applications)

  高橋 正, 長坂 耕作

  数理解析研究所講究録 1456 220-221 2005年11月
• On the Theorem Prover using Computer Algebra Systems in Mathematics Education

  船越 俊介, 辰己 丈夫, 長坂 耕作, 出口 博章, 高橋 正

  科学研究費補助金基盤研究 (B)(2)「大学における数理情報教育に求められている課題の分析とその改善に関する研究」研究成果中間報告書 , 47p-52p 2005年3月
• Calculation Program of Groebner Basis with Indeterminate Exponents

  NAGASAKA KOSAKU, TAKAHASHI Tadashi

  数式処理 11(2) 29-30 2005年2月1日

書籍等出版物

• 計算機代数の基礎理論

  長坂 耕作, 岩根 秀直, 北本 卓也, 讃岐 勝, 照井 章, 鍋島 克輔

  共立出版株式会社 2019年3月 (ISBN: 9784320113732)
• 入門Mathematica【決定版】Ver.7対応

  長坂 耕作, 日本Mathematicaユーザー会, 編著 (担当:共著)

  東京電機大学出版局 2009年6月
• キーワード 人間と発達[増補改訂版] V. 生活とテクノロジー

  丸谷 宣子, 井上 真理, 青木 務, 平山 洋介, 市橋 秀樹, 浜口 八朗, 高橋 正, 長坂 耕作, 矢野 澄雄, 福田 博也, 城 仁士, 阪本 雄二, 高橋 譲嗣, 高橋 真, 白倉 暉弘, 稲葉 太一, 白杉 直子, 近江戸 伸子, 宮田 任寿, 澤 宗則, 二宮 厚美 (担当:共著)

  大学教育出版 2007年4月

講演・口頭発表等

• 階層型多肢選択問題の補足的AIフィードバックの試み

  長坂耕作

  日本数式処理学会 第17期第3回 教育分科会 2026年3月28日
• 冗長な線形制約を伴う近似Groebner基底計算法

  長坂耕作

  研究集会 Computer Algebra – Foundations and Applications 2025年11月19日
• 擬似対話型教材の設計と実践:階層型演習と AI 活用 FAQ 演習による深い学びの促進

  長坂耕作

  研究集会 数学ソフトウェアとその効果的教育利用に関する研究 2025年8月29日
• 数式処理教育におけるAI支援型実装演習の構築に向けた初期設計の試み

  長坂耕作

  日本数式処理学会 第17期第2回 教育分科会 2025年8月26日
• Matrix-F5型の近似Groebner基底計算法

  長坂耕作

  日本数式処理学会 第34回大会 2025年6月8日
• H5P等の複数の問題形式を併用した学習活動の分析

  長坂耕作

  日本数式処理学会 第17期第1回 教育分科会 2025年2月21日
• 階数制御を行うMatrix-F5型のグレブナー基底計算法

  長坂耕作

  研究集会 Computer Algebra – Foundations and Applications 2024年12月20日
• SymPyの多項式GCD計算の改善

  松林龍世, 長坂耕作

  研究集会 Computer Algebra – Foundations and Applications 2024年12月19日
• 見取図のデジタルコンテンツにおける教育的効果の検討

  秦野楓, 長坂耕作

  研究集会 数学ソフトウェアとその効果的教育利用に関する研究 2024年8月27日
• 助言指導ありの階層型多肢選択問題とその実践

  長坂耕作

  研究集会 数学ソフトウェアとその効果的教育利用に関する研究 2024年8月27日
• 線形代数における階層型多肢選択問題の改善

  長坂耕作

  日本数式処理学会 第16期第3回 教育分科会 2024年2月12日
• 多変数多項式の近似GCD

  長坂耕作

  研究集会 Computer Algebra - Foundations and Applications 2023年12月19日
• 多肢選択問題と順序並び替え問題を併用した学習活動の分析

  長坂耕作

  研究集会 数学ソフトウェアとその効果的教育利用に関する研究 2023年8月31日
• SLRA Interpolation for Approximate GCD of Several Multivariate Polynomials

  Kosaku Nagasaka

  The 48th International Symposium on Symbolic and Algebraic Computation (ISSAC 2023) 2023年7月26日
• Conditional Groebner Basis: Groebner Basis Detection with Parameters

  Kosaku Nagasaka, Ryo Oshimatani

  ISSAC 2023 (poster presentations) 2023年7月26日
• 線形代数における階層型多肢選択問題のH5Pとしての自動生成

  長坂耕作

  日本数式処理学会 第32回大会 2023年6月10日
• JupyterLab を用いた数学教材作成時のデザイン考

  長坂耕作

  第5回 数学教育セミナー 2023年3月4日
• MoodleでのH5Pのカスタマイズの試み

  長坂耕作

  日本数式処理学会 第16期第1回 教育分科会 2023年2月23日
• Jupyter Notebookでの数学教材作成における事前学習教材の事例紹介

  長坂耕作

  日本数式処理学会 第16期第1回 教育分科会 2023年2月23日
• 二変数多項式の近似GCD

  長坂耕作

  研究集会 Computer Algebra – Foundations and Applications 2022年12月20日

担当経験のある科目(授業)

• 特別研究II (神戸大学)
• 特別研究I (神戸大学)
• 代数系の基礎 (神戸大学)
• 卒業研究 (神戸大学)
• 線形代数4 (神戸大学)
• 線形代数3 (神戸大学)
• 数理科学入門(代数系) (神戸大学)
• 数理モデルプログラミング (神戸大学)
• 数式処理特論演習 2 (神戸大学)
• 数式処理特論演習 1 (神戸大学)
• 数式処理特論II-2 (神戸大学)
• 数式処理特論II-1 (神戸大学)
• 数式処理特論I-2 (神戸大学)
• 数式処理特論I-1 (神戸大学)
• 数学科教育論D2 (神戸大学)
• 数学科教育論D1 (神戸大学)
• 情報環境特論3 (神戸大学)
• 情報環境特論2 (神戸大学)
• 計算代数A (神戸大学)
• 計算機科学B (神戸大学)

主要な所属学協会

• 1999年11月 - 現在

  日本数式処理学会
• 2002年7月 - 現在

  ACM SIGSAM
• 2022年9月 - 現在

  数学教育学会

Works(作品等)

• ますます出来る Mathematica ビギナー版

  長坂 耕作, 佐藤 真人, 市川 浩, 山口 哲, 春日 和久, 宮地 力, 大橋 真也

  2001年 コンピュータソフト
• ますます出来る Mathematica 標準版

  長坂 耕作, 佐藤 真人, 市川 浩, 山口 哲, 春日 和久, 宮地 力, 大橋 真也

  2000年 コンピュータソフト

共同研究・競争的資金等の研究課題

• AI共生時代の大学初年次数学チーティング耐性教材の再定義と総合学習支援環境の構築

  日本学術振興会 科学研究費助成事業 基盤研究(A) 2024年4月 - 2029年3月

  吉冨 賢太郎, 市川 裕子, 小松川 浩, 濱中 裕明, 樋口 三郎, 長坂 耕作, 金西 計英
• データに内在する誤差が代数問題に与える影響とその構造的な除去に関する研究

  日本学術振興会 科学研究費助成事業 基盤研究(C) 2024年4月 - 2029年3月

  長坂 耕作
• 電力分野の現状を考慮したデータのアーカイブとその数理的構造

  株式会社中電シーティーアイ 2026年度 共同研究 2026年
• チーティング耐性を有するオンライン問題による大学数学用思考誘発型教材の開発と運用

  日本学術振興会 科学研究費助成事業 基盤研究(B) 2021年4月 - 2025年3月

  吉冨 賢太郎, 亀田 真澄, 市川 裕子, 樋口 三郎, 長坂 耕作, 金西 計英
• 電力分野の現状を考慮したデータのアーカイブとその数理的構造

  株式会社中電シーティーアイ 2025年度 共同研究 2025年
• 代数曲面の近似・変形・補間の各操作に適する数値・数式融合計算の開発と検証

  日本学術振興会 科学研究費助成事業 基盤研究(C) 2019年4月 - 2024年3月

  長坂 耕作
• 気づきと深い学びを誘発する大学数学用スマートフォン適応型反転学習教材の開発と検証

  日本学術振興会 科学研究費助成事業 基盤研究(C) 2018年4月 - 2022年3月

  吉冨 賢太郎, 亀田 真澄, 長坂 耕作, 金西 計英
• 基盤的な数値数式融合計算における数値的安定性と数学的安定性の研究

  日本学術振興会 科学研究費助成事業 基盤研究(C) 2015年4月 - 2020年3月

  長坂 耕作
• International Symposium on Symbolic and Algebraic Computation, 2014 (ISSAC 2014)

  立石科学技術振興財団 国際会議等開催助成 2014年7月

  長坂 耕作
• The 39 th International Symposium on Symbolic and Algebraic Computation (ISSAC 2014)

  栢森情報科学振興財団 フォーラム・シンポジウム等開催助成金 2014年7月

  長坂 耕作
• 実践的な問題に即した近似代数計算の確立と実用化

  日本学術振興会 科学研究費助成事業 若手研究(B) 2010年4月 - 2014年3月

  長坂 耕作
• CASC 2009 「科学技術計算と数式処理」

  日本学術振興会 国際研究集会 2009年9月

  長坂 耕作
• ネットワーキングと協働を通じた持続可能な発展のための地域社会教育システムの構築

  日本学術振興会 科学研究費補助金/萌芽研究 挑戦的萌芽研究 2007年 - 2009年

  伊藤 真之
• 間隙級数が開く乱数論と確率論の新展開

  日本学術振興会 科学研究費補助金/基盤研究(B) 基盤研究(B) 2005年 - 2008年

  福山 克司
• 大学における数理情報教育に求められている課題の分析とその改善に関する研究

  日本学術振興会 科学研究費補助金/基盤研究(B) 基盤研究(B) 2005年 - 2006年

  船越 俊介
• 多変数多項式の近似代数演算の実用化とその検証

  日本学術振興会 科学研究費助成事業 若手研究(B) 2004年 - 2006年

  長坂 耕作

学術貢献活動

• RIMS共同研究(公開型)「数学ソフトウェアとその効果的教育利用に関する研究」

  企画立案・運営等

  野田健夫, 長坂耕作 2025年8月27日 - 2025年8月29日
• GCDART 2024(ワークショップ「GCD and related topics」)

  企画立案・運営等

  長坂耕作 2024年9月11日 - 2024年9月13日
• GCDART 2022(ワークショップ「GCD and related topics」)

  企画立案・運営等

  長坂耕作 2022年9月18日 - 2022年9月19日
• GCDART 2020(ワークショップ「GCD and related topics」)

  企画立案・運営等

  長坂耕作 2020年9月22日 - 2020年9月22日
• GCDART 2018(ワークショップ「GCD and related topics」)

  企画立案・運営等

  長坂耕作 2018年9月11日 - 2018年9月13日
• RIMS共同研究「数式処理の新たな発展 -その最新研究と基礎理論の再構成-」

  企画立案・運営等

  長坂耕作 2016年9月7日 - 2016年9月9日