これまでの経歴

これまでの研究業績や開発実績などについて．

プロジェクト

Kobe Studio Seminar

論文

長坂耕作. Jupyter Notebookを用いた数学教材におけるデザインの改善. 城西大学数学科数学教育紀要, Vol.5, 2024, 13--23.
K.Nagasaka. SLRA Interpolation for Approximate GCD of Several Multivariate Polynomials. Proc. International Symposium on Symbolic and Algebraic Computation (ISSAC2023), 2023. 470--479.
K.Nagasaka, T.Nakahara. Ordering Question with Clue in Moodle. Electronic Proceedings of the 27th Asian Technology Conference in Mathematics (ATCM2022), 2022. 18--31. (invited speaker).
長坂耕作. 数学的思考力と順序並び替え問題の自動生成. 数式処理, Vol. 28(2), 2022, 95--108.
K.Nagasaka. Relaxed NewtonSLRA for Approximate GCD. Lecture Notes in Computer Science. Volume 12865. Computer Algebra in Scientific Computing: 23rd International Workshop, CASC 2021, Sochi, Russia, September 13-17, 2021. Proceedings. Springer. 2021, 272--292.
K.Nagasaka. Approximate square-free part and decomposition. Journal of Symbolic Computation, Vol. 104, 2021, Pages 402--418.
K.Nagasaka. Multiple-choice questions in Mathematics: automatic generation, revisited. Electronic Proceedings of the 25th Asian Technology Conference in Mathematics (ATCM2020), 2020. 21785-1--21785-15. (invited speaker).
K.Nagasaka. Toward the best algorithm for approximate GCD of univariate polynomials. Journal of Symbolic Computation, Vol. 105, 2021, Pages 4--27.
K.Nagasaka. Approximate GCD by Bernstein Basis, and its Applications. Proc. International Symposium on Symbolic and Algebraic Computation (ISSAC2020), 2020. 372--379.
K.Nagasaka. Parametric Greatest Common Divisors using Comprehensive Groebner Systems. Proc. International Symposium on Symbolic and Algebraic Computation (ISSAC2017), 2017. 341--348.
K.Nagasaka. Approximate Polynomial GCD over Integers with Digits-wise Lattice. Communications of JSSAC. Vol. 2, 2016, Pages 15--32.
K.Nagasaka and T.Masui. Extended QRGCD Algorithm. Lecture Notes in Computer Science. Volume 8136. Computer Algebra in Scientific Computing: 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings. Springer. 2013, 257--272.
K.Nagasaka. Approximate Polynomial GCD over Integers. Journal of Symbolic Computation, Vol. 46(12), 2011, Pages 1306--1317.
K.Nagasaka. Computing a Structured Groebner Basis Approximately. Proc. International Symposium on Symbolic and Algebraic Computation (ISSAC2011), 2011. 273--280.
K.Nagasaka. A Study on Groebner Basis with Inexact Input. Lecture Notes in Computer Science. Volume 5743. Computer Algebra in Scientific Computing: 11th International Workshop, CASC 2009, Kobe, Japan, September 13-17, 2009. Proceedings. Springer Berlin. 2009, 247--258.
K.Nagasaka. Ruppert matrix as subresultant mapping. Lecture Notes in Computer Science. Volume 4770. Computer Algebra in Scientific Computing: 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007. Proceedings. Springer Berlin. 2007, 316--327.
K.Nagasaka. Symbolic-Numeric Algebra for Polynomials. The Mathematica Journal, Vol. 10(3), 2007, 593--616.
K.Nagasaka. Using Coefficient-wise Tolerance in Symbolic-Numeric Algorithms for Polynomials. 数式処理, Vol. 12(3), 2006, 21--30.
K.Nagasaka. Towards More Accurate Separation Bounds of Empirical Polynomials II. Lecture Notes in Computer Science. Volume 3718. Computer Algebra in Scientific Computing: 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005. Proceedings. Springer-Verlag. 2005, 318--329.
K.Nagasaka. Towards More Accurate Separation Bounds of Empirical Polynomials. ACM SIGSAM Bulletin, Formally Reviewed Articles, Vol. 38(4), 2004, 119--129.
K.Nagasaka. SNAP Package for Mathematica and Its Applications. Proc. The Ninth Asian Technology Conference in Mathematics (ATCM2004), 2004. 308--316.
K.Nagasaka. Neighborhood Irreducibility Testing of Multivariate Polynomials. Proc. Computer Algebra in Scientific Computing (CASC2003), 2003. 283--292.
K.Nagasaka. Towards Certified Irreducibility Testing of Bivariate Approximate Polynomials. Proc. International Symposium on Symbolic and Algebraic Computation (ISSAC2002), 2002. 192--199.
K.Nagasaka. Estimation of Cancellation Errors in Multivariate Hensel Construction with Floating-Point Numbers. Proc. The Sixth Asian Technology Conference in Mathematics (ATCM2001), 2001. 408--415.
K.Nagasaka and T.Sasaki. Approximate Multivariate Factorization and Its Time Complexity. International IMACS Conference on Applications of Computer Algebra '98．IMACS ACA '98 Electrical Proceedings，1998．

プレプリント

K.Nagasaka. Backward error analysis of approximate Groebner basis. 2012. 15 pages. Note: This is the extended full paper version of the poster presentation at ISSAC2012.
K.Nagasaka. Approximate Polynomial GCD over Integers with Digits-wise Lattice. 2011 (revised in 2012). 19 pages. Note: This is the extended full paper version of the presentation at SNC2011.
K.Nagasaka. Extracting a Groebner Basis from Inexact Input. 2010. 15 pages.
K.Nagasaka. Polynomially Recursive Relations on PowerSeries Roots. 2004. 6 pages.

研究報告

宮田任寿，長坂耕作，高橋正．手で触る数理情報教育．神戸大学発達科学部研究紀要．第14巻，第2号．2007．211--216．

研究発表（2021年〜現在）

長坂耕作．線形代数における階層型多肢選択問題の改善．日本数式処理学会第16期第3回教育分科会ワークショップ．2024年2月．
長坂耕作．多変数多項式の近似GCD．研究集会 Computer Algebra - Foundations and Applications．京都大学数理解析研究所．2023年12月．京都大学数理解析研究所講究録，No. 2280(2024), 87--95．
長坂耕作．多肢選択問題と順序並び替え問題を併用した学習活動の分析．研究集会数学ソフトウェアとその効果的教育利用に関する研究．京都大学数理解析研究所．2023年8月．京都大学数理解析研究所講究録，No. 2273(2023), 80--90．
K.Nagasaka and R.Oshimatani. Conditional Groebner Basis: Groebner Basis Detection with Parameters. ISSAC 2023 Poster presentations. 24th - 27th July. 2023.
長坂耕作．線形代数における階層型多肢選択問題のH5Pとしての自動生成．第32回日本数式処理学会大会．2023年6月．
長坂耕作．JupyterLab を用いた数学教材作成時のデザイン考．第5回数学教育セミナー．2023年3月．
長坂耕作．MoodleでのH5Pのカスタマイズの試み．日本数式処理学会第16期第1回教育分科会ワークショップ．2023年2月．
長坂耕作．Jupyter Notebookでの数学教材作成における事前学習教材の事例紹介．日本数式処理学会第16期第1回教育分科会ワークショップ．2023年2月．
長坂耕作．二変数多項式の近似GCD．研究集会 Computer Algebra - Foundations and Applications．京都大学数理解析研究所．2022年12月．京都大学数理解析研究所講究録，No. 2255(2023), 117--125．
丹家諒，長坂耕作．階層型多肢選択問題の提案とその可能性．研究集会数学ソフトウェアとその効果的教育利用に関する研究．京都大学数理解析研究所．2022年8月．京都大学数理解析研究所講究録，No. 2236(2022), 50--55．
長坂耕作．計算機代数の講義と試験における計算機の利用について．研究集会数学ソフトウェアとその効果的教育利用に関する研究．京都大学数理解析研究所．2022年8月．京都大学数理解析研究所講究録，No. 2236(2022), 42--49．
K.Nagasaka, R.Oshimatani. Groebner basis detection with parameters (Extended Abstract). Computer Algebra in Scientific Computing: 24th International Workshop, CASC 2022. 22-26th August 2022.
長坂耕作．パラメータを伴ったGroebner基底の構造的な検出法の改善．第31回日本数式処理学会大会．2022年6月．
大島谷遼，長坂耕作．パラメータを伴ったGroebner基底の構造的な検出について．研究集会 Computer Algebra - Theory and its Applications．京都大学数理解析研究所．2021年12月．京都大学数理解析研究所講究録，No. 2224(2022), 79--94．
長坂耕作．近似Groebner基底の逐次算法に向けて（再訪）．研究集会 Computer Algebra - Theory and its Applications．京都大学数理解析研究所．2021年12月．京都大学数理解析研究所講究録，No. 2224(2022), 95--102．
青山雄太郎，長坂耕作．中等数学の証明問題と自動採点における課題．日本数式処理学会第15期第2回教育分科会ワークショップ．2021年8月．
長坂耕作．数学教育における順序並び替え問題．研究集会数学ソフトウェアとその効果的教育利用に関する研究．京都大学数理解析研究所．2021年8月．京都大学数理解析研究所講究録，No. 2208(2021), 68--76．
K.Nagasaka. Approximate GCD by relaxed NewtonSLRA algorithm. ISSAC 2021 Short communications. 18th - 23rd July. 2021. ACM Communications in Computer Algebra．Vol. 55(3)．2021．97--101.
長坂耕作．NewtonSLRAの緩和アルゴリズムとその効果．第30回日本数式処理学会大会．2021年6月．

※ 2020年まではこちらを参照

それ以外の講演

長坂耕作．数式処理関連書籍の執筆と出版まで．日本数式処理学会合同分科会特別セッション．2022年1月．
長坂耕作．ISSAC 2017とSC² 2017の報告．研究集会数式処理研究の新たな発展．京都大学数理解析研究所．2017年9月．
長坂耕作．国際研究集会の仕組みとその運営 - ISSAC 2014 -．研究集会数式処理研究の新たな発展．京都大学数理解析研究所．2014年8月．京都大学数理解析研究所講究録，No. 1927(2014)，103--105．
長坂耕作．国際研究集会を開くまで　- CASC 2009 開催までの道のり-．研究集会数式処理研究の新たな発展．京都大学数理解析研究所．2010年7月．

Mathematica関連の講演と講習会講師（2011年〜現在）

長坂耕作．Mathematica を用いた Moodle 用の小テスト作成．第27回日本数式処理学会大会．2018年6月．
トランジションによるスライドショーのグレードアップ．Wolfram User Conference 2012 Kyoto．京都．2012．
中級者用チュートリアル2: 文字列とパターンマッチ．2011年度第1回日本数式処理学会Mathematica分科会．甲南大学．2011

※ 2010年まではこちらを参照

開発＆管理業務

神戸大学人間発達環境学研究科ネットワーク管理システムの構築と管理．2007-．
神戸大学発達科学部人間環境科学科数理・情報環境論コース情報システムの構築と管理．2004-．
山口大学プライベート認証局の構築．2004．
山口大学メールシステムの構築と管理．2003-2004．
山口大学Linux端末認証システムの変更と構築．2003．
山口大学学内ネットワーク支線スイッチ管理システムの開発と構築．2004．
その他，山口大学メディア基盤センターにおける研究開発および管理業務．

著作物

計算機代数の基礎理論．長坂耕作・岩根秀直編著・北本卓也・讃岐勝・照井章・鍋島克輔著．共立出版．2019．（正誤表は共立出版ウェブを参照ください）
入門Mathematica【決定版】Ver.7対応．日本Mathematicaユーザー会編著（3章,4章,7章,付録Dを担当）．東京電機大学出版局．2009．
ますます出来る Mathematica ビギナー版．佐藤真人，市川浩，山口哲，長坂耕作，春日和久，宮地力(監修)，大橋真也(監修)．CD-ROM，(株)シーエーテー，2001．
ますます出来る Mathematica 標準版．長坂耕作，佐藤真人，市川浩，春日和久，山口哲，宮地力(監修)，大橋真也(監修)．CD-ROM，(株)シーエーテー，2000．

学会活動(編集及び会議運営)

ワークショップ「GCD and related topics, GCDART 2024」代表.
ワークショップ「GCD and related topics, GCDART 2022」代表.
ISSAC 2022 (International Symposium on Symbolic and Algebraic Computation, 2022). Program Committee.
ワークショップ「GCD and related topics, GCDART 2020」代表.
ワークショップ「GCD and related topics, GCDART 2018」代表.
平成28年度RIMS共同研究「数式処理の新たな発展」研究代表者.
Journal of Symbolic Computation. Volume 75 (July 2016). Special issue on the conference ISSAC 2014. Co-Editor.
SNC 2014 (Symobolic-Numeric Computation, 2014). Program Committee.
ISSAC 2014 (International Symposium on Symbolic and Algebraic Computation, 2014). General Co-Chair and Local Chair.
ASCM 2012 (Asian Symposium on Computer Mathematics, 2012). Program Committee.
SNC 2011 (Symobolic-Numeric Computation, 2011). Program Committee.
CASC 2009 (Computer Algebra in Scientific Computing, 2009). Local Organizing Committee Chair.
ISSAC 2009 (International Symposium on Symbolic and Algebraic Computation, 2009). Program Committee.
ISSAC 2006 (International Symposium on Symbolic and Algebraic Computation, 2006). Poster and Software Demos Co-Chair.

Maple Transactions. Associate Editor. 2021/06--.
ACM Communications in Computer Algebra. Associate Editor. 2016/08--.
Communications of JSSAC(Japan Society of Symbolic and Algebraic Computations). 副編集委員長. 2012/06--2014/05.
数式処理 (Bulletin of the Japan Society for Symbolic and Algebraic Computation). 編集委員. 2010--2012/04.

経歴

2009年5月〜現在に至る: 神戸大学大学院人間発達環境学研究科，准教授
2007年4月〜2009年4月: 神戸大学大学院人間発達環境学研究科，講師
2005年6月: 日本数式処理学会奨励賞受賞
2004年4月〜2007年3月: 神戸大学発達科学部，講師
2002年10月〜2004年4月: 山口大学メディア基盤センター，助手
2002年4月〜2002年9月: 筑波大学ベンチャービジネスラボラトリ，非常勤研究員
2002年3月: 博士（理学），筑波大学数学研究科（現数理物質科学研究科）
1999年7月〜1999年9月: インターンシップ，米国Wolfram Research Inc.
1998年3月: 修士（理学），筑波大学数学研究科（現数理物質科学研究科）
1996年3月: 筑波大学第一学群自然学類退学