研究者
J-GLOBAL ID：200901056692242576   更新日: 2022年09月26日

佐藤 洋祐

サトウ ヨウスケ | Sato Yosuke
研究分野 (2件)： 応用数学、統計数学 ,  数学基礎
研究キーワード (1件)： 計算機代数
競争的資金等の研究課題 (2件)：
  • 数式処理
  • Computer Algebra
論文 (46件)：
もっと見る
MISC (37件)：
  • 佐藤洋祐, 深作亮也, 関川浩. パラメトリックな連立代数方程式の根の連続性についてII. 数式処理. 2019. 25. 1. 87-89
  • Yosuke Sato, Ryoya Fukasaku, Hiroshi Sekigawa. On continuity of the roots of a parametric zero dimensional multi-variate polynomial ideal. 23rd Conference on Applications of Computer Algebra, Book of Abstracts. 2017. 224-225
  • 深作亮也, 岩根秀直, 佐藤洋祐. 包括的グレブナー基底系を利用した限量子消去における包括的グレブナー基底系計算. 数式処理. 2017. 23. 2. 116-119
  • 岩根秀直, 深作亮也, 佐藤洋祐. 不等式制約をもつ論理式に対する包括的グレブナー基底系を利用した限量記号消去の出力の簡易化. 数式処理. 2017. 23. 2. 120-123
  • 深作亮也, 岩根秀直, 佐藤洋祐. 飽和イデアル計算なしのCGS-QE. 京都大学数理解析研究所講究録. 2017. 2019. 113-123
もっと見る
書籍 (2件)：
  • Computer Mathematics 9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM2012), Beijing, October 2012, Contributed Papers and Invited Talks
    Springer 2014 ISBN:9783662437995
  • グレブナー基底の現在(いま)
    数学書房 2006
講演・口頭発表等 (57件)：
  • On Parametric Border Bases
    (The 8th International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS 2019) 2019)
  • パラメトリックな代数方程式の根の連続性とBorder Basisとの関係II
    (日本数式処理学会2019年度理論分科会&システム分科会合同研究会 2019)
  • パラメトリックな代数方程式の根の連続性とBorder Basisとの関係
    (日本数式処理学会2019年度理論分科会&システム分科会合同研究会 2019)
  • On Applications of Technology to Understanding Hierarchies of Elementary Geometry
    (The 23rd Asian Technology Conference in Mathematics(ATCM 2018) 2018)
  • Hierarchies of Elementary geometry problems and their computation by CAS
    (International Workshop on Mathematical Softwares in Educations and Researches 2018)
もっと見る
学歴 (4件)：
  • - 1986 ニューヨーク州立大学バッファロー校大学院 数学科 数学
  • - 1983 神戸大学 理学研究科 数学
  • - 1983 神戸大学 理学研究科 数学
  • - 1979 名古屋大学 理学部 数学科
学位 (1件)：
  • Ph.D (ニューヨーク州立大学バッファロー校)
経歴 (3件)：
  • 1998 - 2003 立命館大学理工学部 教授
  • 1993 - 1998 立命館大学理工学部 助教授
  • 1987 - 1993 (財)新世代コンピュータ技術開発機構 研究員
委員歴 (29件)：
  • 2004/04/01 - 2037/12/31 International Conference Applications of Computer Algebra International advisory committee member
  • 2004/04/01 - 2037/12/31 International advisory committee member
  • 2018/04/01 - 2021/03/31 Japan Society for Symbolic and Algebraic Computation Editor
  • 2018/04/01 - 2021/03/31 日本数式処理学会 学会誌及び論文誌の編集者
  • 2018/06/18 - 2018/06/22 セッションオーガナイザー
全件表示
所属学会 (12件)：
日本数式処理学会 ,  日本数式処理学会 ,  The Asian Symposium on Computer Mathematics 2012 ,  The Asian Symposium on Computer Mathematics 2009 ,  The 4th International Congress on Mathematical Software(ICMS2014) ,  The 3rd International Workshop on Symbolic-Numeric Computation ,  Journal of Systems Science and Complexity ,  ISSAC 2014 ,  International Symposium on Symbolic and Algebraic Computation ,  International Conference Applications of Computer Algebra ,  24th Conference on Applications of Computer Algebra (ACA2018) ,  23rd Conference on Applications of Computer Algebra (ACA2017)
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM