Yosuke Sato

Profile Information

Degree: Ph.D(State University of New York at Buffalo)

Contact information: ysators.kagu.tus.ac.jp
J-GLOBAL ID: 200901056692242576
researchmap Member ID: 1000171053

Research Interests

Computer Algebra

Research Areas

Research History

1998 - 2003

College of Science and Engineering, Ritsumeikan University
1993 - 1998

College of Science and Engineering, Ritsumeikan University
1987 - 1993

研究員, (財)新世代コンピュータ技術開発機構

Education

Committee Memberships

Apr, 2004 - Dec, 2037

International advisory committee member, International Conference Applications of Computer Algebra
Apr, 2004 - Dec, 2037

International advisory committee member, International Conference Applications of Computer Algebra
Apr, 2018 - Mar, 2021

Editor, Japan Society for Symbolic and Algebraic Computation
Apr, 2018 - Mar, 2021

Editor, Japan Society for Symbolic and Algebraic Computation
Jun, 2018 - Jun, 2018

session organizer, 24th Conference on Applications of Computer Algebra (ACA2018)
Jun, 2018 - Jun, 2018

セッションオーガナイザー
Jul, 2017 - Jul, 2017

session organizer, 23rd Conference on Applications of Computer Algebra (ACA2017)
Jul, 2017 - Jul, 2017

セッションオーガナイザー
Nov, 2013 - Nov, 2016

Editorial Board, Journal of Systems Science and Complexity
Nov, 2013 - Nov, 2016

Editorial Board, Journal of Systems Science and Complexity
Dec, 2013 - Aug, 2014

Program committee member, The 4th International Congress on Mathematical Software(ICMS2014)
Dec, 2013 - Aug, 2014

Program committee member, The 4th International Congress on Mathematical Software(ICMS2014)
Aug, 2013 - Aug, 2014

Program committee member, ISSAC 2014
Aug, 2013 - Aug, 2014

Program committee member, ISSAC 2014
Jan, 2012 - Dec, 2012

Program Committee Member, The Asian Symposium on Computer Mathematics 2012
Jan, 2012 - Dec, 2012

Program Committee Member, The Asian Symposium on Computer Mathematics 2012
Nov, 2009 - Nov, 2012

Editorial Board, Journal of Systems Science and Complexity
Nov, 2009 - Nov, 2012

Editorial Board, Journal of Systems Science and Complexity
Apr, 2009 - Mar, 2011

Editor-in-Chief
Apr, 2009 - Mar, 2011

Editor-in-Chief

Papers

On Parametric Border Bases

Yosuke Sato, Hiroshi Sekigawa, Ryoya Fukasaku, Katsusuke Nabeshima

Proceedings of MACIS2018(8th International Conference on Mathematical Aspects of Computer and Information Sciences), LNCS, 11989 10-15, Mar, 2020 Peer-reviewed
On Applications of Technology to Understanding Hierarchies of Elementary Geometry

Yosuke Sato, Ryoya Fukasaku, Katsusuke Nabeshima

Proceedings of the 23rd Asian Technology Conference in Mathematics(ATCM 2018), 176-185, Nov, 2018 Peer-reviewed
On Multivariate Hermitian Quadratic Forms

Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato

Mathematics in Computer Science, Oct, 2018 Peer-reviewed
On Continuity of the Roots of a Parametric Zero Dimensional Multivariate Polynomial Ideal

Yosuke Sato, Ryoya Fukasaku, Hiroshi Sekigawa

Proceedings of International Symposium on Symbolic and Algebraic Computation(ISSAC 2018), 359-365, Jul, 2018 Peer-reviewed
On Possible Use of Quantifier Elimination Software in Upper Secondary Mathematics Education

Yosuke Sato, Ryoya Fukasaku

Proceedings of the 22nd Asian Technology Conference in Mathematics(ATCM 2017), 198-207, Dec, 2017 Peer-reviewed
On real roots counting for non-radical parametric ideals

Ryoya Fukasaku, Yosuke Sato

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 10693 258-263, 2017 Peer-reviewed
Parallel and Distributed Boolean Groebner Bases Computation in SageMath

Akira Nagai, Yosuke Sato

Proceedings of the 21st Asian Technology Conference in Mathematics(ATCM 2016), 269-278, Dec, 2016 Peer-reviewed
On Simple Representation of Locally Closed Sets

Yosuke Sato, Ryoya Fukasaku, Katsusuke Nabeshima

Proceedings of the 21st Asian Technology Conference in Mathematics(ATCM 2016), 190-199, Dec, 2016 Peer-reviewed
CGSQE/SyNRAC - A real quantifier elimination package based on the computation of comprehensive Gröbner systems

Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato

ACM Communications in Computer Algebra, 50(3) 101-104, Sep 1, 2016 Peer-reviewed
Improving a CGS-QE algorithm

Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 9582 231-235, 2016 Peer-reviewed
On the Implementation of CGS Real QE

Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato

MATHEMATICAL SOFTWARE, ICMS 2016, 9725 165-172, 2016 Peer-reviewed
Detecting unnecessary assumptions of elementary geometry problems by CAS

Yosuke Sato, Ryoya Fukasaku

Proceedings of the 20th Asian Technology Conference in Mathematics(ATCM 2015), 316-325, Dec, 2015 Peer-reviewed
An Efficient Implementation of Boolean Gröbner Bases of a Power Set Algebra

Akira Nagai, Yosuke Sato

Proceedings of the 20th Asian Technology Conference in Mathematics(ATCM 2015), 326-335, Dec, 2015 Peer-reviewed
On QE Algorithms over an Algebraically Closed Field Based on Comprehensive Gröbner Systems

Ryoya Fukasaku, Shutaro Inoue, Yosuke Sato

Mathematics in Computer Science, 9(3) 267-281, Oct 1, 2015 Peer-reviewed
Real quantifier elimination by computation of comprehensive Gröbner systems

Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato

Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC, 2015- 173-180, Jun 24, 2015 Peer-reviewed
A Mathematical Hierarchy of Sudoku Puzzles and its Computation by Boolean Groebner Bases

Shutaro Inoue, Yosuke Sato

Artificial Intelligence and Symbolic Computation, Proceedings of 12th International Conference,AISC2014, Lecture Notes in Artificial Intelligence, Springer, (LNAI 8884) 88-98, Dec, 2014 Peer-reviewed
On QE Algorithms over Algebraically Closed Field

Ryoya Fukasaku, Shutaro Inoue, Yosuke Sato

Proceedings of the Fifth International Conference on Mathematical Aspects of Computer and Information Sciences(MACIS 2013), 21-24, Dec, 2013 Peer-reviewed
Boolean Grobner bases

Yosuke Sato, Shutaro Inoue, Akira Suzuki, Katsusuke Nabeshima, Ko Sakai

JOURNAL OF SYMBOLIC COMPUTATION, 46(5) 622-632, May, 2011 Peer-reviewed
Implementation of Boolean Gröbner bases in Risa/Asir

Shutaro Inoue, Yosuke Sato

ACM Communications in Computer Algebra, Volume 43(Number 3-4) 83-84, Sep, 2009 Peer-reviewed
Computation of Inverses in Residue Class Rings of Parametric Polynomial Ideals

Yosuke Sato, Akira Suzuki

ISSAC2009: PROCEEDINGS OF THE 2009 INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION, 311-315, 2009 Peer-reviewed

Misc.

パラメトリックな連立代数方程式の根の連続性についてII

佐藤洋祐, 深作亮也, 関川浩

数式処理, 25(1) 87-89, Jan, 2019
On continuity of the roots of a parametric zero dimensional multi-variate polynomial ideal

Yosuke Sato, Ryoya Fukasaku, Hiroshi Sekigawa

23rd Conference on Applications of Computer Algebra, Book of Abstracts, 224-225, Jul, 2017
包括的グレブナー基底系を利用した限量子消去における包括的グレブナー基底系計算

深作亮也, 岩根秀直, 佐藤洋祐

数式処理, 23(2) 116-119, May, 2017
不等式制約をもつ論理式に対する包括的グレブナー基底系を利用した限量記号消去の出力の簡易化

岩根秀直, 深作亮也, 佐藤洋祐

数式処理, 23(2) 120-123, May, 2017
飽和イデアル計算なしのCGS-QE

深作亮也, 岩根秀直, 佐藤洋祐

京都大学数理解析研究所講究録, (2019) 113-123, Apr, 2017
不等式制約をもつ論理式に対する包括的グレブナー基底系を利用した限量記号消去の出力の簡単化

岩根秀直, 深作亮也, 佐藤洋祐

京都大学数理解析研究所講究録, (2019) 124-130, Apr, 2017
論理関数処理による論理式の簡易化 - 包括的グレブナー基底系を利用した限量記号消去法 -

岩根秀直, 深作亮也, 佐藤洋祐

数式処理, 22(2) 31-34, May, 2016
初等幾何学の階層付けと自動定理証明

佐藤洋祐

京都大学数理解析研究所講究録, (1976) 52-61, Dec, 2015
包括的グレブナー基底系を利用した実数領域における限量子消去

深作亮也, 井上秀太郎, 佐藤洋祐

数式処理, 21(2) 21-24, Aug, 2015
数独問題のイデアル構造による階層付けとブーリアングレブナ基底による並列計算

井上秀太郎, 野口慎司, 和氣宏明, 佐藤洋祐

京都大学数理解析研究所講究録, (1955) 124-133, Jul, 2015
包括的グレブナ基底系を利用した限量子消去

深作亮也, 岩根秀直, 佐藤洋祐

京都大学数理解析研究所講究録, (1955) 134-141, Jul, 2015
「ロボットは東大に入れるか2014-東ロボくん,代ゼミ模試に挑戦-」数学チームの結果について

岩根秀直, 松崎拓也, 深作亮也, 井上秀太郎, 佐藤洋祐, 穴井宏和, 新井紀子

京都大学数理解析研究所講究録, (1955) 142-145, Jul, 2015
On QE Algorithms over algebraically closed field

深作亮也, 井上秀太郎, 佐藤洋祐

京都大学数理解析研究所講究録, (1907) 132-141, Jul, 2014
Complex QEについて

深作亮也, 井上秀太郎, 佐藤洋祐

数式処理, 20(2) 58-61, Jun, 2014
代数的閉体における限量子消去アルゴリズムについて

深作亮也, 井上秀太郎, 佐藤洋祐

数式処理研究と産学連携の新たな展開 , COE Lecture Note Vol.49 Kyushu University, (49) 27-32, Aug, 2013
数独の難易度判定のためのブーリアングレブナー基底の並列計算について

佐藤裕介, 井上秀太郎, 佐藤洋祐

京都大学数理解析研究所講究録, (1843) 28-37, Jul, 2013
グレブナー基底を使った数独の難易度判定と問題作成

井上秀太郎, 佐藤洋祐

京都大学数理解析研究所講究録, (1785) 51-56, Mar, 2012
グレブナー基底の安定性に関する研究の最近の進展について

佐藤洋祐

数式処理, 17(2) 9-11, Mar, 2011
剰余環の逆元と準素イデアル分解

佐藤洋祐

数式処理, 16(2) 100-102, Dec, 2009
多項式剰余環における逆元の計算と準素イデアル分解

佐藤洋祐

京都大学数理解析研究所講究録, (1666) 6-8, Oct, 2009

Books and Other Publications

Computer Mathematics 9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM2012), Beijing, October 2012, Contributed Papers and Invited Talks

Ruyong Feng, Wen-shin Lee, Yosuke Sato (Role: Joint editor)

Springer, Oct, 2014 (ISBN: 9783662437995)
グレブナー基底の現在（いま）

日比孝之, 横山和弘, 佐藤洋祐, 大杉英史, 大阿久俊則, 齋藤睦, 竹村彰通, 坂田年男, 松井泰子, 阪田省二郎, 村井聡 (Role: Joint author)

数学書房, Aug, 2006

Presentations

On Parametric Border Bases

Yosuke Sato, Hiroshi Sekigawa, Ryoya Fukasaku and Katsusuke Nabeshima

The 8th International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS 2019), Nov 13, 2019
パラメトリックな代数方程式の根の連続性とBorder Basisとの関係II

佐藤洋祐,関川浩,深作亮也,鍋島克輔

日本数式処理学会2019年度理論分科会＆システム分科会合同研究会, Oct 19, 2019
パラメトリックな代数方程式の根の連続性とBorder Basisとの関係

佐藤洋祐,関川浩,深作亮也,鍋島克輔

日本数式処理学会2019年度理論分科会＆システム分科会合同研究会, Jun 1, 2019
On Applications of Technology to Understanding Hierarchies of Elementary Geometry

Yosuke Sato, Ryoya Fukasaku, Katsusuke Nabeshima

The 23rd Asian Technology Conference in Mathematics(ATCM 2018), Nov 21, 2018
Hierarchies of Elementary geometry problems and their computation by CAS

Yosuke Sato

International Workshop on Mathematical Softwares in Educations and Researches, Oct 7, 2018
初等幾何学の問題の階層付けとCASによる計算

佐藤洋祐

平成30年度京都大学数理解析研究所共同研究（公開型）「数学ソフトウェアとその効果的教育利用に関する研究」, Aug 28, 2018
On Continuity of the Roots of a Parametric Zero Dimensional Multivariate Polynomial Ideal

Yosuke Sato, Ryoya Fukasaku, Hiroshi Sekigawa

International Symposium on Symbolic and Algebraic Computation(ISSAC 2018), Jul 17, 2018
A canonical representation of continuity of the roots of a parametric zero dimensional multi-variate polynomial ideal

Yosuke Sato, Ryoya Fukasaku, Hiroshi Sekigawa

Conference on Applications of Computer Algebra 2018, Jun 21, 2018
パラメトリックな連立代数方程式の根の連続性について II

佐藤洋祐, 深作亮也, 関川浩

第27回日本数式処理学会大会, Jun 10, 2018
数式処理のアルゴリズムで解ける問題と解けない問題 --- 大学入試問題を中心に ---

佐藤洋祐

第5回金沢数理データサイエンス研究会, Mar 23, 2018
On Possible Use of Quantifier Elimination Software in Upper Secondary Mathematics Education

Yosuke Sato, Ryoya Fukasaku

The 22nd Asian Technology Conference in Mathematics(ATCM 2018), Dec 18, 2017
On Real Roots Counting for Non-radical Parametric Ideals

Ryoya Fukasaku, Yosuke Sato

Seventh International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS 2017), Nov 15, 2017
限量子記号消去ソフトウエアの中等教育における活用の可能性について

佐藤洋祐

東京理科大学数学教育研究会月例会, Oct 7, 2017
限量子記号消去アルゴリズムとその計算の現状について

佐藤洋祐

日本数学会2017年度秋季総合分科会数学基礎論および歴史特別講演, Sep 14, 2017
中等教育における QuantifierElimination ソフトウエアの活用について

佐藤洋祐

平成29年度京都大学数理解析研究所共同研究（公開型）「数学ソフトウェアとその効果的教育利用に関する研究」, Aug 31, 2017
Parallel and Distributed Boolean Groebner Bases Computation in SageMath

Akira Nagai, Yosuke Sato

The 21st Asian Technology Conference in Mathematics(ATCM 2016), Dec 15, 2016
On Simple Representation of Locally Closed Sets

Yosuke Sato, Ryoya Fukasaku, Katsusuke Nabeshima

The 21st Asian Technology Conference in Mathematics(ATCM 2016), Dec 15, 2016
Locally Closed Sets の使い方

佐藤洋祐

平成28年度RIMS 研究集会「数式処理とその周辺分野の研究」, Dec 8, 2016
限量子記号消去アルゴリズムとその計算の現状について

佐藤洋祐

RIMS研究集会数学基礎論とその応用, Sep 29, 2016
飽和イデアル計算なしのCGS-QE

深作亮也, 岩根秀直, 佐藤洋祐

平成28年度RIMS共同研究「数式処理の新たな発展」, Sep 9, 2016

Profile Information

Research Interests

Research Areas

Research History

Education

Committee Memberships

Papers

Misc.

Books and Other Publications

Presentations

Professional Memberships

Research Projects

Menu