現在地

森継 修一(モリツグ シユウイチ; Moritsugu, Shuichi)

所属
図書館情報メディア系
職名
教授
研究分野
情報学基礎理論
研究キーワード
数式処理
研究課題
数式処理のアルゴリズム -- (現在)/
グレブナー基底を応用した幾何定理証明アルゴリズムの新たな展開2010 -- 2012日本学術振興会/基盤研究(C)2,600,000円
和算で扱われた計算幾何学問題に対する現代的解法の研究2013 -- 2015森継 修一日本学術振興会/基盤研究(C)2,730,000円
職歴
1989-04 -- 1994-02図書館情報大学 助手
1994-02 -- 2002-09図書館情報大学 助教授
2002-10 -- 2004-03筑波大学 図書館情報学系 助教授
2004-04 -- 2007-03筑波大学 大学院図書館情報メディア研究科 助教授
2007-04 -- 2009-03筑波大学 大学院図書館情報メディア研究科 准教授
2009-04 -- (現在)筑波大学 大学院図書館情報メディア研究科 教授
学歴
1980-04 -- 1984-03東京大学 理学部 情報科学科卒業
1984-04 -- 1989-03東京大学大学院 理学系研究科 情報科学専門課程修了
取得学位
理学修士東京大学
理学博士東京大学
所属学協会
1997 -- (現在)Association for Computing Machinery
1990 -- (現在)日本応用数理学会
1991 -- (現在)日本数式処理学会
1989 -- (現在)情報処理学会
論文
  • Computing Area, Circumradius, and their Integrated Formulae for Cyclic Polygons
    Moritsugu Shuichi
    Lecture Note Series: ICMMA2016 Origami-Based Modeling and Analysis/pp.175-181, 2017-04
  • Computing Area, Circumradius, and their Integrated Formulae for Cyclic Polygons
    Moritsugu Shuichi
    ICMMA2016: Origami-Based Modeling and Analysis/pp.18-18, 2016-11
  • 円内接多角形における面積公式・半径公式・統合公式について
    森継 修一
    文理融合を目指した折紙科学研究/pp.4-4, 2015-11
  • Integrated Circumradius and Area Formulae for Cyclic Pentagons and Hexagons
    Moritsugu Shuichi
    ADG 2014, Lecture Notes in Artificial Intelligence 9201/9201/pp.94-107, 2015-09
  • 円内接多角形における面積公式・半径公式・統合公式について
    森継 修一
    数理解析研究所講究録/1955/pp.91-101, 2015-07
  • Integrating Circumradius and Area Formulae for Cyclic Pentagons
    Moritsugu Shuichi
    Mathematical Software – ICMS 2014, Lecture Notes in Computer Science/(8592)/pp.214-221, 2014-08
  • 円内接多角形問題について -半径公式と面積公式の統合-
    森継 修一
    数理解析研究所講究録/(1907)/pp.174-181, 2014-07
  • Extending the Descartes Circle Theorem for Steiner n-Cycles
    Moritsugu S.
    Lecture Notes in Artificial Intelligence (AUTOMATED DEDUCTION IN GEOMETRY: 9TH INTERNATIONAL WORKSHOP)/7993/pp.48-58, 2013-09
  • シュタイナー環におけるデカルトの円定理の拡張について (Extended Abstract)
    森継 修一
    数理解析研究所講究録/1843/pp.155-162, 2013-07
  • 円内接多角形問題と「算法発揮(1690)」における解について (Computer Algebra : Design of Algorithms, Implementations and Applications)
    森継 修一
    数理解析研究所講究録/1815/pp.124-132, 2012-10
  • Extending the Descartes Circle Theorem for Steiner n-cycles
    Moritsugu S.
    Proc. of ADG 2012, Edinburgh, UK, September 17-19, 2012./p.173-183, 2012-09
  • Computing Explicit Formulae for the Radius of Cyclic Hexagons and Heptagons
    MORITSUGU Shuichi
    数式処理/18(1)/pp.3-9, 2011-12
  • Radius Computation for an Inscribed Pentagon in "Sanpou-Hakki" (1690)
    Moritsugu S.
    ISSAC 2010: Abstracts of Poster Sessions, ACM Communications in Computer Algebra/44(3&4)/p.127-128, 2010-09
  • 宮城清行「明元算法」に現れる連立代数方程式の解について
    荒井 千里; 森継 修一; 横山 和弘
    数式処理/16(2)/pp.85-87, 2009-12
  • 和算における「冪乗演段」で扱われた連立代数方程式の解について
    森継 修一; 横山 和弘; 荒井 千里
    数式処理/16(2)/pp.3-11, 2009-12
  • 折紙による代数方程式の解法について
    森継修一; 中村怜子
    京都大学数理解析研究所講究録/1666/pp.14-22, 2009-10
  • グレブナー基底による幾何定理の証明について (II) : イデアル成分の分解の利用 (Computer Algebra : Design of Algorithms, Implementations and Applications)
    森継 修一; 荒井 千里
    数理解析研究所講究録/1652/pp.173-181, 2009-06
  • An application of computer algebra to studies on the history of Japanese mathematics
    MORITSUGU Shuichi; ARAI Chisato
    数式処理/15(2)/pp.3-13, 2008-12
  • Geometry Theorem Proving by Groebner Bases - Algebraic Factoring Free Approach
    Moritsugu Shuichi; Arai Chisato
    Proc. of ADG 2008, Shanghai, China, September 22-24, 2008./pp.12-20, 2008-09
  • Geometry Theorem Proving by Groebner Bases – Using Ideal Decompositions
    Moritsugu S.; Arai C.
    ISSAC 2008: Abstracts of Poster Sessions, ACM Communications in Computer Algebra/42(3&4)/p.158-159, 2008-09
  • 古今算法記遺題の数値解について (Computer Algebra : Design of Algorithms, Implementations and Applications)
    荒井 千里; 森継 修一
    数理解析研究所講究録/1568/pp.87-93, 2007-09
  • グレブナー基底による幾何定理の代数的証明の効率について
    森継 修一; 荒井 千里
    日本応用数理学会論文誌/17(2)/pp.183-193, 2007-06
  • On the Efficiency of Geometry Theorem Proving by Groebner Bases
    Moritsugu S.; Arai C.
    Proc. of Calculemus/MKM 2007 Work in Progress, RISC-Linz Report Series No.07-06/p.35-45, 2007-06
  • Risa/Asir による Euclid 幾何定理証明プログラムの実装
    荒井 千里; 森継 修一
    数式処理/13(1)/pp.54-57, 2006-12
  • Solving Cubic Equations by ORIGAMI(Computer Algebra : Design of Algorithms, Implementations and Applications)
    森継 修一
    京都大学数理解析研究所講究録/1514/pp.155-159, 2006-09
著書
  • 折紙工学 折紙の情報・数学問題への応用-数学問題への応用
    日本応用数理学会[監修]; 森継 修一
    応用数理ハンドブック/pp.265-265, 2013-10
  • 数学への応用
    野島武敏・萩原一郎[編]; +森継 修一
    折紙の数理とその応用/p.89-100, 2012-09
  • デザインサイエンス百科事典-かたちの秘密をさぐる-
    萩原一郎・宮崎興二・野島武敏 [監訳]; +森継 修一
    2011-05
会議発表等
  • Computing Area, Circumradius, and their Integrated Formulae for Cyclic Polygons
    Moritsugu Shuichi
    ICMMA 2016: Origami-Based Modeling and Analysis/2016-11-09--2016-11-12
  • 円内接多角形問題について - 半径公式再論
    森継 修一
    数式処理とその周辺分野の研究/2015-12-02--2015-12-04
  • 円内接多角形における面積公式・半径公式・統合公式について
    森継 修一
    文理融合を目指した折紙科学研究/2015-11-12--2015-11-13
  • 代数方程式系の求解への挑戦を振り返って: 学会黎明期の頃
    村尾 裕一; 森継 修一
    桂先生名誉会長推戴記念特別研究会/2015-10-17--2015-10-18
  • 円内接多角形における面積公式・半径公式・統合公式について
    森継 修一
    数式処理とその周辺分野の研究/2014-12-24--2014-12-26
  • Integrating Circumradius and Area Formulae for Cyclic Pentagons
    Moritsugu Shuichi
    ICMS 2014/2014-08-04--2014-08-09
  • 円内接多角形問題について -面積公式と半径公式の統合-
    森継 修一
    数式処理とその周辺分野の研究/2013-12-25--2013-12-27
  • シュタイナー環におけるデカルトの円定理の拡張について
    森継修一
    研究集会「Computer Algebra - The Algorithms, Implementations and the Next Generation 2012」/2012-12-25--2012-12-27
  • Extending the Descartes Circle Theorem for Steiner n-cycles
    Moritsugu S.
    9th International Workshop on Automated Deduction in Geometry (ADG)/2012-09-17--2012-09-19
  • 円内接多角形問題と「算法発揮(1690)」における解について
    森継修一
    研究集会「Computer Algebra - Design of Algorithms, Implementations and Applications 2010」/2010-12-01--2010-12-03
  • 代数方程式の解の折紙による表現について
    森継修一
    日本応用数理学会2010年研究部会連合発表会/2010-03-09--2010-03-09
  • 宮城清行「明元算法」に現れる連立代数方程式の解について
    荒井千里; 森継修一; 横山和弘
    第18回日本数式処理学会大会/2009-06-11--2009-06-13
  • 折紙による代数方程式の解法について
    森継修一; 中村怜子
    研究集会「Computer Algebra - Desgin of Algorithms, Implementations and Applications 2008」/2008-11-25--2008-11-27
  • Geometry Theorem Proving by Groebner Bases - Algebraic Factoring Free Approach
    Moritsugu Shuichi; Arai Chisato
    ADG 2008, Shanghai, China, September 22-24, 2008./2008-09-22--2008-09-24
  • Solving Cubic Equations by ORIGAMI
    Moritsugu S.
    日本機械学会「RC235 計算力学援用による折紙工学の推進とその応用に関する調査研究分科会」/2008-08-18--2008-08-18
  • グレブナー基底による幾何定理の代数的証明について
    森継修一; 荒井千里
    定理証明と定理証明系に関する研究集会「TPP 2007」/2007-11-22--2007-11-23
  • グレブナー基底による幾何定理の証明について(II)  -イデアル成分の分解の利用
    森継修一; 荒井千里
    研究集会「Computer Algebra - Design of Algorithms, Implementations and Applications 2007」/2007-11-07--2007-11-09
  • On the Efficiency of Geometry Theorem Proving by Groebner Bases
    Moritsugu Shuichi; Arai Chisato
    Calculemus 2007, Hagenberg, Austria, June 27-30, 2007./2007-06-27--2007-06-30
  • Groebner基底のEuclid幾何への応用
    荒井千里; 森継修一
    研究集会「Computer Algebra - Design of Algorithms, Implementations and Applications 2006」/2006-12-18--2006-12-21
  • Risa/AsirによるEuclid幾何定理証明プログラムの実装
    荒井千里; 森継修一
    日本数式処理学会第15回大会/2006-06-05--2006-06-07
  • Solving Cubic Equations by ORIGAMI
    Moritsugu S.
    研究集会「Computer Algebra - Design of Algorithms, Implementations and Applications 2005」/2005-12-19--2005-12-22
  • Solving Cubic Equations by ORIGAMI
    Moritsugu S.
    11th International Conference on Applications of Computer Algebra : ACA 2005/2005-07-31--2005-08-03
  • 折り紙による角の三等分について
    森継修一; 菊池留珠
    野田先生定年退職記念研究会「Noda2005」/2005-03-25--2005-03-26
  • Computing RUR Solutions to Polynomial Systems by Matrix Eigenproblems
    Moritsugu S.; Arai C.
    International Conference on Polynomial System Solving 2004/2004-11-24--2004-11-26
  • On Multiple Zeros of Systems of Algebraic Equations
    Moritsugu S.; Kuriyama K.
    Proceedings of International Symposium on Symbolic and Algebraic Computation (July 29-31, 1999, Vancouver, Canada)/1999-07-29--1999-07-31
担当授業科目
2017-04 -- 2017-08情報メディア特別演習(情報学)b筑波大学
2017-04 -- 2017-07情報メディアシステム総合特別実験II筑波大学
2017-11 -- 2018-02情報メディアシステム特別実験B筑波大学
2017-10 -- 2018-02特別演習a筑波大学
2017-10 -- 2018-02情報メディア特別演習(情報学)a筑波大学
2017-11 -- 2018-02情報メディアシステム特別実験A筑波大学
2017-04 -- 2017-07情報メディアシステム総合特別実験I筑波大学
2017-10 -- 2018-02情報メディア特別演習(図書館情報学)a筑波大学
2017-10 -- 2018-03情報メディア特別演習IIIb筑波大学
2017-10 -- 2017-12数式処理システム研究筑波大学
一般講演
  • 和算で扱われた計算幾何の問題の現代的解法について
    森継修一
    平成24年度文部科学省 数学・数理科学と諸科学・産業との連携研究ワークショップ「折紙工学の深化と適用拡大に貢献する数理科学」/2012-11-16
  • 数学問題への応用-代数方程式の解の折紙による表現について
    森継修一
    「折紙の数理とその応用」出版記念講習会/2012-10-04
学協会等委員
2002-04 -- 2004-03日本数式処理学会理事・学会誌編集委員長
2000-06 -- 2004-05情報処理学会論文誌編集委員
2012-04 -- 2013-09ADG2012 Program Committee
2013-10 -- 2015-09ADG2014 Program Committee
学内管理運営業績
2004-04 -- 2006-03入学室室員
2007-04 -- 2009-03入試実施委員会委員
2007-04 -- 2009-03知識情報・図書館学類入試グループ委員(2008年度主査)
2008-04 -- 2011-03図書館情報メディア研究科外部評価調査グループ委員
2008-04 -- 2011-03図書館情報メディア研究科専攻学生グループ委員
2009-04 -- 2011-03筑波大学FD委員会委員
2009-04 -- 2011-03情報学群FD委員会委員長
2009-04 -- 2010-03知識情報・図書館学類FDグループ主査
2009-04 -- 2011-03学生生活支援室室員
2010-04 -- 2012-03図書館情報メディア研究科運営委員会委員

(最終更新日: 2017-08-22)