• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

機械学習モデルの特異統計構造と計算代数解析アルゴリズム

研究課題

研究課題/領域番号 15KT0102
研究種目

基盤研究(C)

配分区分基金
応募区分特設分野
研究分野 連携探索型数理科学
研究機関筑波大学

研究代表者

田島 慎一  筑波大学, 数理物質系, 教授 (70155076)

研究分担者 小原 功任  金沢大学, 数物科学系, 准教授 (00313635)
照井 章  筑波大学, 数理物質系, 准教授 (80323260)
渋田 敬史  九州産業大学, 理工学部, 講師 (40648200)
連携研究者 長谷川 誠  東京電機大学, 工学部, 教授 (80303171)
研究期間 (年度) 2015-07-10 – 2018-03-31
研究課題ステータス 完了 (2017年度)
配分額 *注記
4,550千円 (直接経費: 3,500千円、間接経費: 1,050千円)
2017年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円)
2016年度: 1,950千円 (直接経費: 1,500千円、間接経費: 450千円)
2015年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円)
キーワード特異点 / アルゴリズム / semi-algebraic set / local Euler obstruction / Grothendieck residue / Samuel multiplicity / Matlis duality / 機械学習 / 特異統計 / 代数解析 / ホロノミーD-加群 / Bernstein-Sato イデアル / 多変数留数 / 最小消去多項式 / semi algebraic set / 局所コホモロジー / multiplicity / D-加群
研究成果の概要

機械学習モデルの特異統計構造の解析と計算代数解析アルゴリズムの研究・開発に関する研究を行った。特に, 特異性解析において重要となる不変量等に関する研究を進めた。
主な研究成果は, (i) イデアルのreductionとSamuel multiplicity, (ii) 加群にたいするMatlis双対性, (iii) 固有ベクトル, (iv) Grothendieck local residue, (v)Poincare-Birkhoff-Witt代数によるb-関数とホロノミーD-加群, (vi) 超曲面のlocal Euler obstruction, 等を求めるアルゴリズムの研究・開発である.

報告書

(4件)
  • 2017 実績報告書   研究成果報告書 ( PDF )
  • 2016 実施状況報告書
  • 2015 実施状況報告書
  • 研究成果

    (35件)

すべて 2018 2017 2016 2015

すべて 雑誌論文 (8件) (うちオープンアクセス 7件、 査読あり 1件) 学会発表 (27件) (うち国際学会 4件、 招待講演 3件)

  • [雑誌論文] D. Siersmaの非孤立特異点に付随するD-加群とPoincare-Birkhoff-Witt代数2018

    • 著者名/発表者名
      田島慎一
    • 雑誌名

      京都大学数理解析研究所講究録

      巻: 2054

    • 関連する報告書
      2017 実績報告書
    • オープンアクセス
  • [雑誌論文] Poincare-Birkhoff-Witt代数上のグレブナ基底計算とRisa/Asirへの実装2018

    • 著者名/発表者名
      小原功任, 田島慎一
    • 雑誌名

      京都大学数理解析研究所講究録

      巻: 2054

    • 関連する報告書
      2017 実績報告書
    • オープンアクセス
  • [雑誌論文] 行列の最小多項式候補と拡張Horner法を用いた逆行列計算について2017

    • 著者名/発表者名
      田島慎一, 小原功任, 照井章
    • 雑誌名

      数式処理

      巻: 23

    • 関連する報告書
      2017 実績報告書
  • [雑誌論文] 行列の最小多項式候補と拡張Horner法を用いた逆行列計算についてII2017

    • 著者名/発表者名
      田島慎一, 小原功任, 照井章
    • 雑誌名

      京都大学数理解析研究所講究録

      巻: 2019

    • 関連する報告書
      2017 実績報告書 2016 実施状況報告書
    • オープンアクセス
  • [雑誌論文] CM局所環の準素イデアルのHilbert-Samuel重複度の計算アルゴリズムについて2017

    • 著者名/発表者名
      渋田敬史, 田島慎一
    • 雑誌名

      京都大学数理解析研究所講究録

      巻: 2019

    • 関連する報告書
      2017 実績報告書 2016 実施状況報告書
    • オープンアクセス
  • [雑誌論文] 多変数留数の計算アルゴリズムとその実装(シェイプ基底をもつ場合)2017

    • 著者名/発表者名
      小原功任, 田島慎一
    • 雑誌名

      京都大学数理解析研究所講究録

      巻: 2019

    • 関連する報告書
      2017 実績報告書
    • オープンアクセス
  • [雑誌論文] 多変数留数の計算アルゴリズムとその実装(シェイプ基底をもつ場合)2017

    • 著者名/発表者名
      小原功任, 田島慎一
    • 雑誌名

      京都大学数理解析研究所講究録

      巻: 2019

    • 関連する報告書
      2016 実施状況報告書
    • オープンアクセス
  • [雑誌論文] Comprehensive Gr\"obner systems in rings of differential operators, holonomic D-modules and b-functions2016

    • 著者名/発表者名
      K. Nabeshima, K. Ohara, S. Tajima
    • 雑誌名

      Proceedings of the International Symposium on Symbolic and Algebraic Computation

      巻: 2016 ページ: 349-356

    • DOI

      10.1145/2930889.2930918

    • NAID

      110010006773

    • 関連する報告書
      2016 実施状況報告書
    • 査読あり / オープンアクセス
  • [学会発表] パラメータ付きBernstein-SatoイデアルとホロノミーD加群の計算2017

    • 著者名/発表者名
      鍋島克輔, 小原功任, 田島慎一
    • 学会等名
      日本数学会, 函数論分科会
    • 発表場所
      首都大学東京, 東京都八王子市
    • 年月日
      2017-03-24
    • 関連する報告書
      2016 実施状況報告書
  • [学会発表] 多変数留数の計算アルゴリズム II (一般の場合)2017

    • 著者名/発表者名
      小原功任, 田島慎一
    • 学会等名
      日本数学会, 函数論分科会
    • 発表場所
      首都大学東京, 東京都八王子市
    • 年月日
      2017-03-24
    • 関連する報告書
      2016 実施状況報告書
  • [学会発表] 行列Horner法の並列化による行列の固有ベクトル計算の効率化について2017

    • 著者名/発表者名
      田島慎一, 小原功任, 照井章
    • 学会等名
      日本数学会, 代数学分科会
    • 発表場所
      首都大学東京, 東京都八王子市
    • 年月日
      2017-03-24
    • 関連する報告書
      2016 実施状況報告書
  • [学会発表] 行列の最小多項式候補と拡張Horner法を用いた逆行列計算について2017

    • 著者名/発表者名
      田島慎一, 小原功任, 照井章
    • 学会等名
      日本数学会, 代数学分科会
    • 発表場所
      首都大学東京, 東京都八王子市
    • 年月日
      2017-03-24
    • 関連する報告書
      2016 実施状況報告書
  • [学会発表] Local Euler obstructionの計算法について2017

    • 著者名/発表者名
      田島慎一
    • 学会等名
      可微分写像の特異点論の局所的研究と大域的研究
    • 関連する報告書
      2017 実績報告書
  • [学会発表] Parametric local cohomology systems and algorithms for computing local Euler obstructions2017

    • 著者名/発表者名
      S. Tajima
    • 学会等名
      代数解析山口研究集会
    • 関連する報告書
      2017 実績報告書
    • 招待講演
  • [学会発表] An algorithm for computing Grothendieck local residues I - shape basis case -2017

    • 著者名/発表者名
      K. Ohara, S. Tajima
    • 学会等名
      Applications of Computer Algebra
    • 関連する報告書
      2017 実績報告書
    • 国際学会 / 招待講演
  • [学会発表] An implementation of the Le-Teissier method for computing local Euler obstructions2017

    • 著者名/発表者名
      S. Tajima, K. Nabeshima
    • 学会等名
      Applications of Computer Algebra
    • 関連する報告書
      2017 実績報告書
    • 国際学会 / 招待講演
  • [学会発表] Local Euler obstructionの計算法について2017

    • 著者名/発表者名
      田島慎一
    • 学会等名
      日本数式処理学会
    • 関連する報告書
      2017 実績報告書
  • [学会発表] 多変数留数の計算アルゴリズム II (一般の場合)2016

    • 著者名/発表者名
      小原功任, 田島慎一
    • 学会等名
      数式処理とその周辺分野の研究
    • 発表場所
      京都大学数理解析研究所, 京都府京都市
    • 年月日
      2016-12-07
    • 関連する報告書
      2016 実施状況報告書
  • [学会発表] Comprehensive Groebner systems in Poincare-Birkhoff-Witt algebra and Bernstein-Sato ideals2016

    • 著者名/発表者名
      K. Ohara, K. Nabeshima, S. Tajima
    • 学会等名
      超局所解析と特異摂動論の新展開
    • 発表場所
      京都大学数理解析研究所, 京都府京都市
    • 年月日
      2016-10-03
    • 関連する報告書
      2016 実施状況報告書
  • [学会発表] 多変数留数計算アルゴリズム--シェイプ基底を持つ場合--2016

    • 著者名/発表者名
      小原功任, 田島慎一
    • 学会等名
      日本数学会、関数論分科会
    • 発表場所
      関西大学, 大阪府吹田市
    • 年月日
      2016-09-15
    • 関連する報告書
      2016 実施状況報告書
  • [学会発表] 多変数留数の計算アルゴリズムとその実装(シェイプ基底を持つ場合)2016

    • 著者名/発表者名
      小原功任, 田島慎一
    • 学会等名
      数式処理の新たな発展
    • 発表場所
      京都大学数理解析研究所, 京都府京都市
    • 年月日
      2016-09-07
    • 関連する報告書
      2016 実施状況報告書
  • [学会発表] CM局所環の準素イデアルのHilbert-Samuel重複度の計算アルゴリズムについて2016

    • 著者名/発表者名
      渋田敬史, 田島慎一
    • 学会等名
      数式処理の新たな発展
    • 発表場所
      京都大学数理解析研究所, 京都府京都市
    • 年月日
      2016-09-07
    • 関連する報告書
      2016 実施状況報告書
  • [学会発表] 行列の最小多項式候補と拡張Horner法を用いた逆行列計算について II2016

    • 著者名/発表者名
      照井章, 小原功任, 田島慎一
    • 学会等名
      数式処理の新たな発展
    • 発表場所
      京都大学数理解析研究所, 京都府京都市
    • 年月日
      2016-09-07
    • 関連する報告書
      2016 実施状況報告書
  • [学会発表] Comprehensive Groebner Systems for parametric Poincae-Birkhoff-Witt ideals2016

    • 著者名/発表者名
      K. Ohara, K. Nabeshima, S. Tajima
    • 学会等名
      Algebraic Sratistics and Symbolic Computation,
    • 発表場所
      京都大学数理解析研究所, 京都府京都市
    • 年月日
      2016-07-25
    • 関連する報告書
      2016 実施状況報告書
  • [学会発表] Comprehensive Gr\"obner systems in rings of differential operators, holonomic D-modules and b-functions2016

    • 著者名/発表者名
      K. Nabeshima, K. Ohara, S. Tajima
    • 学会等名
      International Symposium on Symbolic and Algebraic Computation
    • 発表場所
      Wilfeid Laurier Univ. Waterloo, Ontario, Canada
    • 年月日
      2016-07-19
    • 関連する報告書
      2016 実施状況報告書
    • 国際学会
  • [学会発表] An algorithm for computing the reduced standard bases of modules of finite colength,2016

    • 著者名/発表者名
      T. Shibuta, S. Tajima
    • 学会等名
      Milesstones in Computer Algebra 2016
    • 発表場所
      Univ. of Waterloo, Ontario, Canada
    • 年月日
      2016-07-16
    • 関連する報告書
      2016 実施状況報告書
    • 国際学会
  • [学会発表] マトリス双対を用いた有限なcolengthを持つ加群の被約標準基底の計算アルゴリズム2016

    • 著者名/発表者名
      渋田敬史, 田島慎一
    • 学会等名
      日本数式処理学会
    • 発表場所
      福岡大学, 福岡県福岡市
    • 年月日
      2016-06-03
    • 関連する報告書
      2016 実施状況報告書
  • [学会発表] Grothendieck local residues の計算アルゴリズム(shape基底を持つ場合)2016

    • 著者名/発表者名
      小原功任, 田島慎一
    • 学会等名
      Risa/Asir Conference
    • 発表場所
      金沢大学, 石川県金沢市
    • 年月日
      2016-03-28
    • 関連する報告書
      2015 実施状況報告書
  • [学会発表] 抱合的グレブナ基底とパラメータ付きb-関数の計算2016

    • 著者名/発表者名
      鍋島克輔, 小原功任, 田島慎一
    • 学会等名
      Risa/Asir Conference
    • 発表場所
      金沢大学, 石川県金沢市
    • 年月日
      2016-03-28
    • 関連する報告書
      2015 実施状況報告書
  • [学会発表] 変形パラメータ付きホロノミーD-加群の計算法 --parametric Poincare -Birkhoff-Witt代数の利用--2016

    • 著者名/発表者名
      鍋島克輔, 小原功任, 田島慎一
    • 学会等名
      日本数学会函数論分科会
    • 発表場所
      筑波大学, 茨城県つくば市
    • 年月日
      2016-03-16
    • 関連する報告書
      2015 実施状況報告書
  • [学会発表] マトリス双対を用いた加群の標準基底の計算2016

    • 著者名/発表者名
      渋田敬史, 田島慎一
    • 学会等名
      日本数学会代数学分科会
    • 発表場所
      筑波大学, 茨城県つくば市
    • 年月日
      2016-03-16
    • 関連する報告書
      2015 実施状況報告書
  • [学会発表] 最小消去多項式を用いた一般固有ベクトル空間の基底計算2015

    • 著者名/発表者名
      田島慎一, 小原功任, 照井章
    • 学会等名
      日本数学会代数学分科会
    • 発表場所
      京都産業大学, 京都府京都市
    • 年月日
      2015-09-13
    • 関連する報告書
      2015 実施状況報告書
  • [学会発表] 超曲面に付随したホロノミーD-加群の計算アルゴリズムについて I --Weyl algebra における comprehensive GB の利用 ---2015

    • 著者名/発表者名
      鍋島克輔, 田島慎一
    • 学会等名
      日本数学会函数論分科会
    • 発表場所
      京都産業大学, 京都府京都市
    • 年月日
      2015-09-13
    • 関連する報告書
      2015 実施状況報告書
  • [学会発表] 超曲面に付随したホロノミーD-加群の計算アルゴリズムについて II --計算例 ---2015

    • 著者名/発表者名
      鍋島克輔, 田島慎一
    • 学会等名
      日本数学会函数論分科会
    • 発表場所
      京都産業大学, 京都府京都市
    • 年月日
      2015-09-13
    • 関連する報告書
      2015 実施状況報告書
  • [学会発表] 固有ベクトル計算のさらなる並列化について2015

    • 著者名/発表者名
      田島慎一, 小原功任, 照井章
    • 学会等名
      数式処理研究の新たな発展
    • 発表場所
      京都大学数理解析研究所, 京都府京都市
    • 年月日
      2015-08-19
    • 関連する報告書
      2015 実施状況報告書

URL: 

公開日: 2015-07-14   更新日: 2019-03-29  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi