プレプリント

  1. Makoto Mizuguchi, Kazuaki Tanaka, Kouta Sekine, and Shin'ichi Oishi: “Estimation of Sobolev embedding constant on a domain dividable into bounded convex domains”.
  2. Kazuaki Tanaka, Michael Plum, Kouta Sekine, Masahide Kashiwagi, and Shin'ichi Oishi: “Verified numerical computation for semilinear elliptic problems with lack of Lipschitz continuity of the first derivative”.
  3. Kazuaki Tanaka, Kouta Sekine, and Shin'ichi Oishi: “Numerical verification method for positiveness of solutions to elliptic equations”.

査読付き論文

  1. Kazuaki Tanaka, Kouta Sekine, Makoto Mizuguchi, and Shin'ichi Oishi: “Sharp numerical inclusion of the best constant for embedding \(H_{0}^{1}(\Omega)\hookrightarrow L^{p}(\Omega)\) on bounded convex domain, Journal of Computational and Applied Mathematics, Vol.311, pp.306–313, Feb., 2017.(link)
  2. Kazuaki Tanaka, Kouta Sekine, Makoto Mizuguchi, and Shin'ichi Oishi: “Estimation of the Sobolev embedding constant on domains with minimally smooth boundary using extension operator”, Journal of Inequalities and Applications, 2015:389, Dec., 2015.(link)
  3. Atsushi Minamihata, Kouta Sekine, Takeshi Ogita, Siegfried M. Rump, and Shin'ichi Oishi: “Improved error bounds for linear systems with H-matrices”, NOLTA, IEICE, Vol.6, No.3, pp.377-382, July, 2015.(link)
  4. Kouta Sekine, Akitoshi Takayasu, and Shin'ichi Oishi: “An algorithm of identifying parameters satisfying a sufficient condition of Plum’s Newton-Kantorovich like existence theorem for nonlinear operator”, NOLTA, IEICE, Vol.5, No.1, pp.64-79, Jan., 2014.(link)
  5. Atsushi Minamihata, Kouta Sekine, Takeshi Ogita, and Shin'ichi Oishi: “Fast verified solutions of sparse linear systems with H-matrices”, Reliable Computing, Vol.19, Issue.2, pp.127-141, Dec., 2013.(link)

その他論文

  1. 関根晃太, 田中一成, 大石進一, "ある無限次元固有値を用いた楕円型偏微分方程式の解の存在性に対する計算機援用証明法", RIMS講究録, (2016/10/21)
  2. 田中一成, 関根晃太, 大石進一, "楕円型微分方程式の正値解に対する精度保証付き数値計算法", RIMS講究録, (2016/10/21)
  3. 関根晃太, 田中一成, 大石進一, "有界な凸領域における連立楕円型偏微分方程式の解の計算機援用存在証明法", Proceedings of the Twenty-Eighth RAMP Stmposium, Nigata University, (2016/10/13)

Letter

  1. Kazuaki Tanaka, Kouta Sekine, Makoto Mizuguchi, and Shin'ichi Oishi: "Numerical verification for positiveness of solutions to semilinear elliptic problems", JSIAM Letters, Vol.7, pp.73-76, Dec., 2015.(link)

国際会議発表

  1. Kazuaki Tanaka, Kouta Sekine, and Shin'ichi Oishi: "On verified numerical computation for positive solutions to elliptic boundary value problems", 17th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerics (SCAN'2016), Sweden (2016/9/28).
  2. Kouta Sekine, Kazuaki Tanaka, and Shin'ichi Oishi: "A norm estimation for an inverse of linear operator using a minimal eigenvalue", 17th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerics (SCAN'2016), Sweden (2016/9/28).
  3. Yusuke Morikura, Yusuke Nozawa, Kouta Sekine, Masahide Kashiwagi, and Shin'ichi Oishi: "Fast enclosure for matrix multiplication on a GUP", 17th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerics (SCAN'2016), Sweden (2016/9/27).
  4. Kazuaki Tanaka, Kouta Sekine, and Shin'ichi Oishi: "Numerically verifiable condition for positivity of solution to elliptic equation", The 11th East Asia SIAM Conference, University of Macau, China (2016/6/20).
  5. Makoto Mizuguchi, Kouta Sekine, Akitoshi Takayasu, Takayuki Kubo, and Shin'ichi Oishi: "Verified computations for solutions of semilinear heat equations using an analytic semigroup generated by a self-adjoint operator", Japan Society for Simulation Technology (JSST2015), Toyama international conference center, (2015/10/12), (登壇者がstudent presentation awardを受賞).
  6. Kazuaki Tanaka, Kouta Sekine, Makoto Mizuguchi, and Shin'ichi Oishi: "Numerical verification for positiveness of solutions to self-adjoint elliptic problems", Japan Society for Simulation Technology (JSST2015), Toyama international conference center, (2015/10/12).
  7. Kouta Sekine, Akitoshi Takayasu, and Shin'ichi Oishi: "A numerical verification method using H^1_sigma-norm for an elliptic system of FitzHugh-Nagumo type", Japan Society for Simulation Technology (JSST2014), Kitakyushu, (2014/10/30).
  8. Atsushi Minamihata, Kouta Sekine, Takeshi Ogita, Siegfried M. Rump, and Shin'ichi Oishi: "A Simple Modified Verification Method for Linear Systems", 16th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerics (SCAN'2014), Germany (2014/9/24).
  9. Kouta Sekine, Akitoshi Takayasu, and Shin'ichi Oishi: "A verified computation of steady-state solutions to Reaction-Diffusion equations ", Japan Society for Simulation Technology (JSST2013), Meiji university, (2013/9/13).
  10. Kazuaki Tanaka, Makoto Mizuguchi, Kouta Sekine, Akitoshi Takayasu, and Shin'ichi Oishi: "Estimation of an embedding constant on Lipshitz domains using extension operators", Japan Society for Simulation Technology (JSST2013), Meiji university, (2013/9/13), (登壇者がstudent presentation awardを受賞).
  11. Kouta Sekine, Akitoshi Takayasu, and Shin'ichi Oishi: "A numerical verification method for solutions to systems of elliptic partial differential equations", 15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerics (SCAN'2012), Novosibirsk, Russia (2012/9/24).

査読なし国際会議発表

  1. Ryo Kobayashi, Kouta Sekine, Masahide Kashiwagi, and Shin'ichi Oishi: “Verified numerical integration for function with power-type singularity using partial integration”, The International Workshop on Numerical Verification and its Applications (INVA2017), Miyako Island in Okinawa, (2017/3/17).
  2. Makoto Mizuguchi, Kouta Sekine, and Shin'ichi Oishi: “A numerical verification method for solutions to systems of parabolic equations”, The International Workshop on Numerical Verification and its Applications (INVA2017), Miyako Island in Okinawa, (2017/3/17).
  3. Kazuaki Tanaka, Kouta Sekine, Makoto Mizuguchi, and Shin'ichi Oishi: “Numerical method for estimationg the best constant in Sobolev type inequality on unit square”, The International Workshop on Numerical Verification and its Applications (INVA2017), Miyako Island in Okinawa, (2017/3/17).
  4. Ryo Kobayashi, Kouta Sekine, Masahide Kashiwagi, and Shin'ichi Oishi: “Verified quadrature for integrand with power-type singularity using partial integral”, ANZIAM 2017, Adelaide in Australia, (2017/2/6).
  5. Kouta Sekine, Kazuaki Tanaka, and Shin'ichi Oishi: “Estimation for optimal constant satisfying an inequality for linear operator using minimal eigenvalue”, Nonlinear Analysis and Optimization(NAO-Asia 2016), Toki Messe in Niigata, (2016/8/2).
  6. Makoto Mizuguchi, Kouta Sekine, Akitoshi Takayasu, Takayuki Kubo, and Shin'ichi Oishi: “Verification algorithm for enclosing a mild solution of semilinear heat equations”, Nonlinear Analysis and Optimization(NAO-Asia 2016), Toki Messe in Niigata, (2016/8/2).
  7. Yuuka Yanagisawa, Kouta Sekine, Shoji Shinoda, and Shin'ichi Oishi: “A pivoting algorithm based on Gram–Schmidt orthogonalization”, Analysis at Niigata University, Niigata University, (2015/9/3).
  8. Atsushi Minamihata, Kouta Sekine, Takeshi Ogita, Siegfried M. Rump, and Shin'ichi Oishi: “A modified verification method for linear system”, The International Workshop on Numerical Verification and its Applications, Tokyo (2014/3/17).
  9. Kouta Sekine, Akitoshi Takayasu, and Shin'ichi Oishi: “Computer assisted proof for existence of solutions to a system of elliptic partial differential equations”, The International Workshop on Numerical Verification and its Applications (INVA2014), Tokyo (2014/3/16).

査読なし国内発表

  1. 小林領, 関根晃太, 柏木雅英, 大石進一, ”部分積分とEuler-Maclaurinの公式を用いたベキ型特異点を持つ関数の精度保証付き数値積分”, 2016年日本応用数理学会年会, 北九州国際会議場, (2016/9/14).
  2. 森倉悠介, 野澤優介, 関根晃太, 柏木雅英, 大石進一, ”CUDAの丸めモード指定演算を用いた行列積の高速な包含方法”, 2016年日本応用数理学会年会, 北九州国際会議場, (2016/9/14).
  3. 水口信, 関根晃太,大石進一, ”Lotka-Volterra型偏微分方程式の初期値境界値問題の解に対する精度保証付き数値計算法について”, 2016年日本応用数理学会年会, 北九州国際会議場, (2016/9/14).
  4. 若山馨太, 田中一成, 関根晃太, 尾崎克久, 大石進一, ”Delaunay三角形分割の精度保証付き数値計算手法に対する考察(ポスター講演)”, 2016年日本応用数理学会年会, 北九州国際会議場, (2016/9/13)(優秀ポスター賞を受賞).
  5. 木村翔矢, 関根晃太, 大石進一, ”一次元領域における非線形各参考を伴う方程式の定常解に対する精度保証付き数値計算法(ポスター講演)”, 2016年日本応用数理学会年会, 北九州国際会議場, (2016/9/13)(優秀ポスター賞を受賞).
  6. 若山馨太, 田中一成, 関根晃太, 尾崎克久, 大石進一, ”逐次添加法による三角形分割のDelaunay性に対する数値的検証法”, 2015年日本応用数理学会年会, 金沢大学, (2015/9/10).
  7. 水口信, 関根晃太, 高安亮紀, 久保 隆徹, 大石進一, ”ある自己共役作用素から生成される解析半群を用いた半線形熱方程式の解の数値的検証法”, 2015年日本応用数理学会年会, 金沢大学, (2015/9/9).
  8. 田中一成, 関根晃太, 水口信, 大石進一, ”楕円型偏微分方程式の解の正値性に対する数値的検証法”, 2015年日本応用数理学会年会, 金沢大学, (2015/9/9).
  9. 新井航, 山崎憲, 関根晃太, ”数値積分法を離散化に使用した破面合成法の研究-三次元での検証-”, 2015年春季日本音響学会研究発表講演, 中央大学後楽園キャンパス, (2015/3/17).
  10. 田中一成, 関根晃太, 水口信, 大石進一, ”偏微分方程式の解の正値性に対する数値的検証法”, 精度保証付き数値計算の最近の展開, 北九州国際会議場, (2015/3/9).
  11. 関根晃太, 田中一成, 大石進一, 山崎憲, ”シグマノルムを利用した精度保証付き数値計算法の連立楕円型偏微分方程式への応用”, 日本大学生産工学部第47回学術講演会, (2014/12/6).
  12. 新井航, 山崎憲, 関根晃太, ”第二種レイリー積分を想定したNIM-WFS”, 日本大学生産工学部第47回学術講演会, (2014/12/6).
  13. 関根晃太, 田中一成, 高安亮紀, 大石進一, ”重み付きノルムによる特異摂動問題の精度保証付き数値計算結果の改善”, 2014年日本応用数理学会年会, 政策研究大学院大学, (2014/9/3).
  14. 南畑淳史, 関根晃太, 荻田武史, Siegfried M. Rump, 大石進一, ”連立一次方程式の数値解に対する高速精度保証法の改良”, 2014年日本応用数理学会年会, 政策研究大学院大学, (2014/9/3).
  15. Kazuaki Tanaka, Kouta Sekine, Makoto Mizuguchi and Shin'ichi Oishi: " An a priori estimation of the Sobolev embedding constant and its application to numerical verification for solutions to PDEs. "2014年研究部会連合発表会, 京都大学,(2014/3/20).
  16. 新井航, 関根晃太, 山崎憲, "数値積分法による波面合成法の離散化の提案とその誤差に関する検討", 2014年春季日本音響学会研究発表講演, 日本大学お茶の水キャンパス,(2014/3/10).
  17. 新井航, 関根晃太, 山崎憲, 大石進一, ”台形公式及びシンプソン公式を用いた波面合成法の離散化の提案とその誤差に関する研究”, 日本大学生産工学部第46回学術講演会, (2013/12/7).
  18. 関根晃太, 高安亮紀, 大石進一, 山崎憲, ”連立非線形楕円型偏微分方程式の精度保証付き数値計算に対する線形化逆作用素の一評価”, 日本大学生産工学部第46回学術講演会, (2013/12/7).
  19. 田中一成, 水口信, 関根晃太, 大石進一, "拡張作用素を用いたLipschitz領域における埋め込み定数の評価法",2013年日本応用数理学会年会, アクロス福岡, (2013/9/10).
  20. 関根晃太, 高安亮紀, 大石進一, "反応拡散方程式の定常解に対する精度保証付き数値計算 ", 2013年日本応用数理学会年会, アクロス福岡,(2013/9/9).
  21. 南畑淳史, 関根晃太, 荻田武史, 大石進一, "連立一次方程式における成分毎の評価に関する一考察", 2013年度数値線形代数研究集会, (2013/8/21).
  22. 南畑淳史, 関根晃太, 荻田武史, 大石進一, "H行列における連立一次方程式の高速精度保証", 数値解析シンポジウム2013, (2013/6/12).
  23. 南畑淳史, 関根晃太, 荻田武史, 大石進一, "区間連立一次方程式に対する精度保証付き事後誤差評価法", 2013年研究部会連合発表会, 東洋大学 白山キャンパス, (2013/3/15).
  24. 関根晃太, 大石進一, 山崎憲, ”数値積分法からみた波面合成法の離散化について”, 日本大学生産工学部第45回学術講演会, (2012/12/1).
  25. 南畑淳史, 関根晃太, 荻田武史, 大石進一, "区間連立一次方程式に関する誤差評価", 環瀬戸内ワークショップ, 土庄町総合会館「フレトピアホール」,(2012/11/17).
  26. 関根晃太, 高安亮紀, 大石進一, "ある連立2階楕円型偏微分方程式系の解に対する計算機援用証明", 2012年日本応用数理学会年会, (2012/8/31).
  27. 中村祐太郎, 関根晃太, 森倉悠介, 大石進一, "成分毎評価を用いた近似逆行列の精度保証法(ポスター講演)", 2012年日本応用数理学会年会, (2012/8/30), (優秀ポスター賞を受賞).
  28. 小林郷平, 山崎憲, 関根晃太, "アクティブノイズコントロールの実験と波面合成法によるシミュレーションの検討", 2012年春季日本音響学会研究発表会講演論文集, (2012/3/15).
  29. 関根晃太, 大石進一, "3次元音響散乱問題におけるLippmann-Schwinger方程式の非自明解の存在と一意性の計算機援用証明", 日本応用数理学会2012年度研究部会連合発表会, (2012/3/8).
  30. 小林郷平, 山崎憲, 関根晃太, "騒音制御への一つの試み", 第44回日本大学生産工学部学術講演会電気電子部会, (2011/12/3).
  31. 小林郷平, 山崎憲, 関根晃太, "アクティブノイズコントロールへの一つの試み", 2011年秋季日本音響学会研究発表会講演論文集, (2011/9/21).
  32. 関根晃太, 大石進一, "3次元音響散乱問題におけるLippmann-Schwinger方程式の精度保証付き数値計算(ポスター講演)", 2011年度数値解析研究集会, (2011).
  33. 関根晃太, 山崎憲, " TLM法を用いた波面合成法の応用―反射壁がある場合―", 2011年春季日本音響学会研究発表会講演論文集, (2011/3/11).
  34. 関根晃太, 山崎憲, "TLM法を用いた波面合成法の応用", 第43回日本大学生産工学部学術講演会電気電子部会, (2010/12/3).
  35. 関根晃太, 小林郷平, 山崎憲, "3 次元TLM 法を用いた波面合成法の解析", 2010年秋季日本音響学会研究発表会講演論文集, (2010/9/14).
  36. 関根晃太, 山崎憲, "波面合成法におけるスピーカの離散化による影響に関する検討", 2010年春季日本音響学会研究発表会講演論文集, (2010/3/8).
  37. 関根晃太, 山崎憲, "TLM法を用いた波面合成法の検討", 第42回日本大学生産工学部学術講演会電気電子部会, (2009/12/5.)
  38. 関根晃太, 田中洸平, 山崎憲, "音楽CDに超音波領域を加えた場合の人間に与える生理の影響~非侵襲測定を用いた場合~", 2009年秋季日本音響学会研究発表会講演論文集, (2009/9/17).

セミナー講演

  1. 関根 晃太 , “偏微分方程式の解に対する精度保証付き数値計算法について”, 早稲田大学 理工学研究所「精度保証付きワークショップ」, (2016/9/12).
  2. Kouta Sekine, “Introduction to verified computation (II)”, Joint Seminar on Numerical Analysis at Niigata University, Niigata University, (2015/9/4).
  3. Kouta Sekine, “Introduction to verified computation (I)”, Joint Seminar on Numerical Analysis at Niigata University, Niigata University, (2015/9/1).
  4. 関根 晃太, “楕円型連立半線形偏微分方程式の解に対する精度保証付き数値計算法”, 日本応用数理学会 三部会連携「応用数理セミナー」, 早稲田大学, (2014/12/26).