¡Ì¤Ò¤È¤ÄÌá¤ë¡Í ¡Ì¥á¥¤¥ó¥á¥Ë¥å¡¼¤ËÌá¤ë¡Í

¶ÈÀÓ°ìÍ÷(¸¦µæ³èÆ°)

ºÇ½ª¹¹¿·Ç¯·îÆü: 2026ǯ3·î26Æü

Ãø½ñ

• Mitsuhiro T. Nakao, Michael Plum, and Yoshitaka Watanabe:
  Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations,
  Springer Series in Computational Mathematics, Volume 53, Springer Singapore, November 2019, ISBN 978-981-13-7669-6.

• ÃæÈø ½¼¹¨, ÅÏÉô Á±Î´:
  ¼ÂÎã¤Ç³Ø¤ÖÀºÅÙÊݾÚÉÕ¤­¿ôÃÍ·×»»¡ÁÍýÏÀ¤È¼ÂÁõ¡Á,
  Î×»þÊ̺ý¡¦¿ôÍý²Ê³Ø2011ǯ10·î (SGC¥é¥¤¥Ö¥é¥ê85), ¥µ¥¤¥¨¥ó¥¹¼Ò, 2011-10-25, JAN:4910054701012, B5Ƚ, 216ÊÇ.

Ãø½ñ(ʬô¼¹É®¡¦ÊÔ½¸)

• Zin Arai, Takeshi Ogita, and Yoshitaka Watanabe (Guest Editors),
  Special Section on Recent Progress in Verified Numerical Computations,
  Nonlinear Theory and Its Applications, IEICE, Vol. 4, No. 1, pp. 1-110, January 2013.

• ÆüËÜ¥·¥ß¥å¥ì¡¼¥·¥ç¥ó³Ø²ñÊÔ: ¥·¥ß¥å¥ì¡¼¥·¥ç¥ó¼­Åµ, ÈùʬÊýÄø¼°¤È¿ôÃÍ·×»»(ʬô¼¹É®),
  ¥³¥í¥Ê¼Ò, 2012ǯ2·î, A4Ƚ, 454ÊÇ.

• ÆüËܱþÍÑ¿ôÍý³Ø²ñ´Æ½¤¡§ ±þÍÑ¿ôÍý¥Ï¥ó¥É¥Ö¥Ã¥¯, ÊÐÈùʬÊýÄø¼°¤ÎÀºÅÙÊݾÚ(ʬô¼¹É®),
  Ä«ÁÒ½ñŹ, 2013ǯ10·î, B5Ƚ, 685ÊÇ.

ÏÀʸ(»¨»ï)

• Kenta Kobayashi and Yoshitaka Watanabe:
  Efficient numerical verification procedure of norm bound for infinite-dimensional differential operator with singular term,
  Japan Journal of Industrial and Applied Mathematics, Volume 43, article number 19, (2026)
  https://doi.org/10.1007/s13160-026-00776-z

• Takehiko Kinoshita, Yoshitaka Watanabe, and Mitsuhiro T. Nakao:
  Quantitative lower bounds estimates for the norm of resolvent using Galerkin approximation and its applications,
  Japan Journal of Industrial and Applied Mathematics, Volume 43, article number 28, (2026)
  https://doi.org/10.1007/s13160-026-00787-w

• Shuting Cai and Yoshitaka Watanabe:
  Stability analysis of Kolmogorov flow by an eigenvalue excluding method,
  Japan Journal of Industrial and Applied Mathematics, Volume 42, Issue 5 (December 2025), pages 2107-2132.
  https://doi.org/10.1007/s13160-025-00709-2
  https://hdl.handle.net/2324/7402145 (embargoed access)

• Yoshitaka Watanabe and Shuting Cai:
  A computer-assisted proof for solutions of Elkouh¡Çs equation related to Navier-Stokes equations,
  Fixed Point Theory and Algorithms for Sciences and Engineering, vol. 7, (May 2025).
  https://doi.org/10.1186/s13663-025-00790-9

• Yoshitaka Watanabe and Tomoyuki Miyaji:
  Another computer-assisted proof of unimodality of solutions for Proudman Johnson equation,
  Japan Journal of Industrial and Applied Mathematics, vol. 41, no. 2, (May 2024), pp. 1013-1032.
  https://doi.org/10.1007/s13160-023-00639-x

• Takehiko Kinoshita, Yoshitaka Watanabe, and Mitsuhiro T. Nakao:
  On some convergence properties for finite element approximations to the inverse of linear elliptic operators,
  Acta Cybernetica, vol. 26, no. 1 (June 2023), pp. 71-82.
  https://doi.org/10.14232/actacyb.294906

• Yoshitaka Watanabe, Takehiko Kinoshita, and Mitsuhiro T. Nakao:
  Efficient approaches for verifying the existence and bound of inverse of linear operators in Hilbert spaces,
  Journal of Scientific Computing, vol. 94, Article number: 43 (January 2023).
  https://doi.org/10.1007/s10915-023-02097-6

• Takehiko Kinoshita, Yoshitaka Watanabe, Nobito Yamamoto, and Mitsuhiro T. Nakao:
  Inclusion method of optimal constant with quadratic convergence for H10-projection error estimates and its applications,
  Journal of Computational and Applied Mathematics, vol. 417 (January 2023) 114521.
  https://doi.org/10.1016/j.cam.2022.114521

• Kenta Kobayashi and Yoshitaka Watanabe:
  Improvement of infinity norm estimations related to computer-assisted proofs of the Kolmogorov problem,
  JSIAM Letters, vol. 14 (July 2022) pp. 92-95.
  https://doi.org/10.14495/jsiaml.14.92

• Shuting Cai, Yoshitaka Watanabe:
  Computer-assisted proofs of the existence of a symmetry-breaking bifurcation point for the Kolmogorov problem,
  Journal of Computational and Applied Mathematics, Volume 395 (October 2021) 113603.
  https://doi.org/10.1016/j.cam.2021.113603

• Yoshitaka Watanabe, Takehiko Kinoshita, and Mitsuhiro T. Nakao:
  Some improvements of invertibility verifications for second-order linear elliptic operators,
  Applied Numerical Mathematics, Volume 154 (August 2020) pp. 36-46.
  https://doi.org/10.1016/j.apnum.2020.03.016

• Takehiko Kinoshita, Yoshitaka Watanabe, and Mitsuhiro T. Nakao:
  Some lower bound estimates for resolvents of a compact operator on an infinite-dimensional Hilbert space,
  Journal of Computational and Applied Mathematics, Volume 369 (May 2020) 112561.
  https://doi.org/10.1016/j.cam.2019.112561

• Shuting Cai, Yoshitaka Watanabe:
  A computer¡¾assisted method for the diblock copolymer model,
  Zeitschrift für Angewandte Mathematik und Mechanik (ZAMM); Journal of Applied Mathematics and Mechanics, Volume 99, Issue 7 (July 2019) e201800125.
  https://doi.org/10.1002/zamm.201800125

• Yoshitaka Watanabe, Takehiko Kinoshita, and Mitsuhiro T. Nakao:
  An improved method for verifying the existence and bounds of the inverse of second-order linear elliptic operators mapping to dual space,
  Japan Journal of Industrial and Applied Mathematics, Volume 36, Issue 2 (July 2019) pp. 407-420.
  https://doi-org.anywhere.lib.kyushu-u.ac.jp/10.1007/s13160-019-00344-8

• Takehiko Kinoshita, Yoshitaka Watanabe, and Mitsuhiro T. Nakao:
  An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces,
  Journal of Differential Equations, vol. 266, Issue 9 (April 2019) pp. 5431-5447.
  https://doi.org/10.1016/j.jde.2018.10.027

• Yoshitaka Watanabe, Mitsuhiro T. Nakao, and Kaori Nagatou:
  On the compactness of a nonlinear operator related to stream function-vorticity formulation for the Navier-Stokes equations,
  JSIAM Letters, vol. 9 (December 2017) pp. 77-80.
  doi://doi.org/10.14495/jsiaml.9.77

• Takehiko Kinoshita, Yoshitaka Watanabe, and Mitsuhiro T. Nakao:
  Validated constructive error estimations for biharmonic problems,
  in Scientific Computing, Computer Arithmetic, and Validated Numerics; 17th International Symposium, SCAN 2016, Uppsala, Sweden, September 26-29, 2016. Revised Selected Papers (V. Kreinovich, W. Tucker, eds.), Reliable Computing, vol. 25 (August 2017) pp. 168-177.

• Takehiko Kinoshita, Yoshitaka Watanabe, Nobito Yamamoto, and Mitsuhiro T. Nakao:
  Some remarks on a priori estimates of highly regular solutions for the Poisson equation in polygonal domains,
  Japan Journal of Industrial and Applied Mathematics, Vol. 33, Issue 3 (December 2016) pp. 629-636.
  doi:10.1007/s13160-016-0223-y

• Yoshitaka Watanabe:
  An Efficient Numerical Verification Method for the Kolmogorov Problem of Incompressible Viscous Fluid,
  Journal of Computational and Applied Mathematics, Vol. 302 (August 2016) pp. 157-170.
  doi:10.1016/j.cam.2016.01.055

• Yoshitaka Watanabe, Kaori Nagatou, Michael Plum, and Mitsuhiro T. Nakao:
  Norm Bound Computation for Inverses of Linear Operators in Hilbert Spaces,
  Journal of Differential Equations, Vol. 260, Issue 7 (April 2016) pp. 6363-6374, 2016.
  doi:10.1016/j.jde.2015.12.041

• Yoshitaka Watanabe and Mitsuhiro T. Nakao:
  A Numerical Verification Method for Nonlinear Functional Equations Based on Infinite-dimensional Newton-like Iteration,
  Applied Mathematics and Computation, Vol. 276, (March 2016) pp. 239-251.
  doi:10.1016/j.amc.2015.12.021

• Takehiko Kinoshita, Yoshitaka Watanabe, and Mitsuhiro T. Nakao:
  Recurrence Relations of Orthogonal Polynomials in H₀¹ and H₀²,
  Nonlinear Theory and Its Applications, IEICE, Vol. 6, No. 3 (July 2015) pp. 404-409.
  http://doi.org/10.1587/nolta.6.404

• Shuting Cai and Yoshitaka Watanabe:
  A Computer-assisted Method for Excluding Eigenvalues of an Elliptic Operator Linearized at a Solution of a Nonlinear Problem,
  Japan Journal of Industrial and Applied Mathematics, Vol. 32, No. 1 (March 2015) pp. 263-294.
  DOI 10.1007/s13160-015-0167-7

• Mitsuhiro T. Nakao, Yoshitaka Watanabe, Takehiko Kinoshita, Takuma Kimura, and Nobito Yamamoto:
  Some Considerations of the Invertibility Verifications for Linear Elliptic Operators,
  Japan Journal of Industrial and Applied Mathematics, Vol. 32, No. 1 (March 2015) pp. 19-32.
  DOI 10.1007/s13160-014-0160-6

• Yoshitaka Watanabe, Kaori Nagatou, Michael Plum, and Mitsuhiro T. Nakao:
  Verified Computations of Eigenvalue Exclosures for Eigenvalue Problems in Hilbert Spaces,
  SIAM Journal on Numerical Analysis, Vol. 52, No. 2 (May 2014) pp. 975-992.
  http://dx.doi.org/10.1137/120894683

• Takehiko Kinoshita, Yoshitaka Watanabe, and Mitsuhiro T. Nakao:
  An Improvement of the Theorem of A Posteriori Estimates for Inverse Elliptic Operators,
  Nonlinear Theory and Its Applications, IEICE, Vol. 5, No. 1 (January 2014) pp. 47-52.
  

• Yoshitaka Watanabe, Takehiko Kinoshita, and Mitsuhiro T. Nakao:
  A Posteriori Estimates of Inverse Operators for Boundary Value Problems in Linear Elliptic Partial Differential Equations,
  Mathematics of Computation, Vol. 82, No. 283 (July 2013) pp. 1543-1557.
  

• Yoshitaka Watanabe:
  A Simple Numerical Verification Method for Differential Equations Based on Infinite Dimensional Sequential Iteration,
  Nonlinear Theory and Its Applications, IEICE, Vol. 4, No. 1 (January 2013) pp. 23-33.
  

• Shuting Cai, Kaori Nagatou, and Yoshitaka Watanabe:
  A Numerical Verification Method for a System of FitzHugh-Nagumo Type,
  Numerical Functional Analysis and Optimization, Vol. 33, No. 10 (October 2012) pp. 1195-1220.
  

• Toshio Sakata, Kazumitsu Maehara, Takeshi Sasaki, Toshio Sumi, Mitsuhiro Miyazaki, Yoshitaka Watanabe, and Makoto Tagami:
  Tests of Inequivalence Among Absolutely Nonsingular Tensors Through Geometric Invariants,
  Universal Journal of Mathematics and Mathematical Sciences, Vol. 1, No. 1 (January 2012) pp. 1-28.
  

• Nobito Yamamoto, Mitsuhiro T. Nakao, and Yoshitaka Watanabe:
  A Theorem for Numerical Verification on Local Uniqueness of Solutions to Fixed-Point Equations,
  Numerical Functional Analysis and Optimization, Vol. 32, No. 11 (November 2011) pp. 1190-1204.
  

• Mitsuhiro T. Nakao, and Yoshitaka Watanabe:
  Numerical Verification Methods for Solutions of Semilinear Elliptic Boundary Value Problems,
  Nonlinear Theory and Its Applications, IEICE, Vol. 2, No. 1 (January 2011) pp. 2-31.
  

• Yoshitaka Watanabe, Kaori Nagatou, Michael Plum, and Mitsuhiro T. Nakao:
  A Computer-assisted Stability Proof for the Orr-Sommerfeld Problem with Poiseuille Flow,
  Nonlinear Theory and Its Applications, IEICE, Vol. 2, No. 1 (January 2011) pp. 123-127.
  

• Mitsuhiro T. Nakao, Yoshitaka Watanabe, Nobito Yamamoto, Takaaki Nishida and Myoung-Nyoun Kim:
  Computer Assisted Proofs of Bifurcating Solutions for Nonlinear Heat Convection Problems,
  Journal of Scientific Computing, Vol. 43, No. 3 (June 2010) pp. 388-401.
  

• Yoshitaka Watanabe and Mitsuhiro T. Nakao:
  Numerical Verification Method of Solutions for Elliptic Equations and Its Application to the Rayleigh-Bénard Problem ,
  Japan Journal of Industrial and Applied Mathematics, Vol. 26, No. 2-3 (October 2009) pp. 443-463.
  

• Yoshitaka Watanabe:
  A Numerical Verification Method for Two-Coupled Elliptic Partial Differential Equations,
  Japan Journal of Industrial and Applied Mathematics, Vol. 26, No. 2-3 (October 2009) pp. 233-247.
  

• Yoshitaka Watanabe:
  A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid,
  Journal of Computational and Applied Mathematics, Vol.223 (Jan.2009) pp.953-966.

• Yoshitaka Watanabe, Michael Plum and Mitsuhiro T. Nakao:
  A computer-assisted instability proof for the Orr-Sommerfeld problem with Poiseuille flow,
  Zeitschrift für Angewandte Mathematik und Mechanik (ZAMM) Journal of Applied Mathematics and Mechanics, Vol.89, No.1, pp.5-18 (Jan. 2009) / DOI 10.1002/zamm.200700158.

• Myoungnyoun Kim, Mitsuhiro T. Nakao, Yoshitaka Watanabe and Takaaki Nishida:
  A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Be\'nard problems,
  Numerische Mathematik, Vol.111, No.3 (Jan. 2009) pp.389-406.

• ÅÏÉô Á±Î´, »³ËÜ Ìî¿Í, ÃæÈø ½¼¹¨:
  Âʱ߷¿ÊýÄø¼°¤Î²ò¤ËÂФ¹¤ë¶É½ê°ì°ÕÀ­ÉÕ¤­¿ôÃÍŪ¸¡¾ÚË¡¤Î¸úΨ²½,
  ÆüËܱþÍÑ¿ôÍý³Ø²ñÏÀʸ»ï, Vol.15, No.4 (2005) pp.509-520.

• Mitsuhiro T. Nakao, Kouji Hashimoto and Yoshitaka Watanabe:
  A Numerical Method to Verify the Invertibility of Linear Elliptic Operators with Applications to Nonlinear Problems,
  Computing, Vol.75, Number 1 (July 2005) pp.1-14.
  Special issue: GAMM - Workshop on Guaranteed Error-bounds for the Solution of Nonlinear Problems in Applied Mathematics. Guest Editor: Jurgen Herzberger.

• Kouji Hashimoto, Ryohei Abe, Mitsuhiro T. Nakao and Yoshitaka Watanabe:
  A Numerical Verification Method for Solutions of Singularly Perturbed Problems with Nonlinearity,
  Japan Journal of Industrial and Applied Mathematics, Vol.22, No.1 (2005) pp.111-131.

• Mitsuhiro T. Nakao, Yoshitaka Watanabe:
  An Efficient Approach to the Numerical Verification for Solutions of Elliptic Differential Equations,
  Numerical Algorithms, Vol.37, Issue1-4 (2004) pp.311-323.
  Special Issue: SCAN'2002 International Conference (Guest Editors: Rene Alt and Jean-Luc Lamotte)

• Yoshitaka Watanabe, Nobito Yamamoto, Mitsuhiro T. Nakao and Takaaki Nishida:
  A Numerical Verification of Nontrivial Solutions for the Heat Convection Problem,
  Journal of Mathematical Fluid Mechanics, Vol.6, No.1 (2004) pp.1-20.
  

• Mitsuhiro T. Nakao, Yoshitaka Watanabe, Nobito Yamamoto and Takaaki Nishida:
  Some Computer Assisted Proofs for Solutions of the Heat Convection Problems,
  Reliable Computing, Vol.9, No.5 (2003) pp.359-372.
  (Special Issue Proceedings of the Validated Computing 2002 conference, May 23-25, 2002, Toronto, Canada, Guest Editor: R. Baker Kearfott)

• Kenji Toyonaga, Mitsuhiro T. Nakao and Yoshitaka Watanabe:
  Verified Numerical Computations for Multiple and Nearly Multiple Eigenvalues of Elliptic Operators,
  Journal of Computational and Applied Mathematics, Vol.147, Issue 1 (2002) pp.175-190.

• Mitsuhiro T. Nakao, Yoshitaka Watanabe and Nobito Yamamoto:
  Verified Numerical Computations for an Inverse Elliptic Eigenvalue Problem with Finite Data,
  Japan Journal of Industrial and Applied Mathematics, Vol.18, No.2 (2001) pp.567-585.

• Yoshitaka Watanabe, Nobito Yamamoto and Mitsuhiro T. Nakao:
  A Numerical Verification Method of Solutions for the Navier-Stokes Equations,
  Reliable Computing, Vol.5, No.3 (1999) pp.347-357.

• ÅÏÉô Á±Î´, »³ËÜ Ìî¿Í, ÃæÈø ½¼¹¨:
  °ìÈ̲½¸ÇÍ­ÃÍÌäÂê¤ÎÀºÅÙÊݾÚÉÕ¤­·×»»¤È¤½¤Î±þÍÑ,
  ÆüËܱþÍÑ¿ôÍý³Ø²ñÏÀʸ»ï, Vol.9, No.3 (1999) pp.137-150.

• Mitsuhiro T. Nakao, Nobito Yamamoto and Yoshitaka Watanabe:
  Constructive L^2 Error Estimates for Finite Element Solutions of the Stokes Equations,
  Reliable Computing, Vol.4, No.2 (1998) pp.115-124.

• Mitsuhiro T. Nakao, Nobito Yamamoto and Yoshitaka Watanabe:
  A Posteriori and Constructive A Priori Error Bounds for Finite Element Solutions of the Stokes Equations,
  Journal of Computational and Applied Mathematics, Vol.91 (1998) pp.137-158.

• Yoshitaka Watanabe, Nobito Yamamoto and Mitsuhiro T. Nakao:
  Verified Computations of Solutions for Nondifferentiable Elliptic Equations Related to MHD Equilibria,
  Nonlinear Analysis, Theory, Methods & Applications, Vol.28, No.3 (1997) pp.577-587.

• Mitsuhiro T. Nakao and Yoshitaka Watanabe:
  On Computational Proofs of the Existence of Solutions to Nonlinear Parabolic Problems,
  Journal of Computational and Applied Mathematics, Vol.50, No.1-3 (1994) pp.401-410.

• Yoshitaka Watanabe and Mitsuhiro T. Nakao:
  Numerical Verifications of Solutions for Nonlinear Elliptic Equations,
  Japan Journal of Industrial and Applied Mathematics, Vol.10, No.1 (1993) pp.165-178.

ÏÀʸ(²ñµÄÏ¿)

• Sora Matsuoka, Yoshitaka Watanabe and Takeshi Terao:
  Verified singular value computation related to approximate inverses of infinite-dimensional linear operators,
  Conference proceedings of The 43rd JSST Annual International Conference on Simulation Technology, University of Hyogo, Konan University, Kobe, Japan, September 17-20, 2024, pp.205-208.

• Takehiko Kinoshita, Yoshitaka Watanabe, and Mitsuhiro T. Nakao:
  Some Remarks on the Rigorous Estimation of Inverse Linear Elliptic Operators,
  in Scientific Computing, Computer Arithmetic, and Validated Numerics; 16th International Symposium, SCAN 2014, Würzburg, Germany, September 21-26, 2014. Revised Selected Papers (M. Nehmeier, J. Wolff von Gudenberg, W. Tucker, eds.), Lecture Notes in Computer Science, Vol. 9553, pp. 225-235, April, 2016.
  doi:10.1007/978-3-319-31769-4_18

• ÅÏÉô Á±Î´:
  ÈùʬÊýÄø¼°¤ÎÀºÅÙÊݾÚÉÕ¤­¿ôÃÍ·×»»¡ÝÃ༡ȿÉü¤Ë´ð¤Å¤¯·×»»µ¡±çÍѾÚÌÀ¡Ý,
  ¹ÖµæÏ¿Ê̺ý B30 (¸¦µæ½¸²ñ¡Ö²ÄÀÑʬ¿ôÍý¤Î¿Ê²½¡×, ¹­ÅÄ Îɸã, ¹â¶¶ÂçÊå ÊÔ), pp. 145-155, April, 2012.
  [±Ñ¸ìɽµ­]:
  Yoshitaka Watanabe:
  Numerical verification methods for differential equations: Computer-assisted proofs based on infinite dimensional sequential iteration,
  RIMS Kôkyûroku Bessatsu B30: Progress in Mathematics of Integrable Systems (R. Hirota and D. Takahashi, eds.), pp. 145-155, April, 2012.

• Mitsuhiro T. Nakao, Yoshitaka Watanabe, Nobito Yamamoto and Takaaki Nishida:
  A numerical verification of bifurcation points for nonlinear heat convection problems,
  The proceedings of 2nd International conference "From Scientific Computing to Computational Engineering" (2nd IC-SCCE), 8pages, July 2006.

• Takeshi Nanri, Yoshitaka Watanabe, Hiroyuki Sato:
  Performance comparison of vector-calculations between Itanium2 and other processors,
  Proceedings of International Workshop on Innovative Architecture, pp. 141-146 (2006, January).

• Nobito Yamamoto, Mitsuhiro T. Nakao and Yoshitaka Watanabe:
  Validated Computation for a Linear Elliptic Problem with a Parameter,
  Advances in Numerical Mathematics; Proceedings of the Fourth Japan-China Joint Seminar on Numerical Mathematics, held in Chiba, Japan, August 24-28, 1998 (H. Kawarada, M. Nakamura, Z. Shi, eds.), GAKUTO International Series Mathematical Sciences and Applications, Volume 12, Gakkotosho, Tokyo, Japan (1999) pp.155-162.

• Mitsuhiro T. Nakao, Nobito Yamamoto and Yoshitaka Watanabe:
  Guaranteed Error Bounds for the Finite Element Solutions of the Stokes Problem,
  Scientific Computing and Validated Numerics, Proceedings of the International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics SCAN-95, held in Wuppertal, Germany, September 26-29, 1995 (G. Alefeld, A. Frommer, B. Lang, eds.), Mathematical Research, Volume 90, Akademie Verlag (1996) pp.258-264.

²òÀâ

• ÅÏÉô Á±Î´:
  ¿ôÃÍ·×»»¤È̵¸Â¡Ý¶è´Ö±é»»¤Î³«Âó¼Ô¡¦¿Ü±Ê¾ÈͺÇî»Î¡Ý,
  ¿ôÍý²Ê³Ø, No. 644(2017ǯ2·î¹æ), pp. 57-59, February, 2017.

• ÅÏÉô Á±Î´:
  ÊÐÈùʬÊýÄø¼°¤Î²ò¤ÎÀºÅÙÊݾÚ,
  ¥·¥ß¥å¥ì¡¼¥·¥ç¥ó, Vol.31, No.3 (2012) pp.24-30.

• ÅÏÉô Á±Î´:
  ÊÐÈùʬÊýÄø¼°¤ÎÀºÅÙÊݾÚÉÕ¤­¿ôÃÍ·×»»¡¿PlumÍýÏÀ¤Î¾Ò²ð, ¿ô³Ø¥»¥ß¥Ê¡¼, 2012ǯ10·î¹æ, pp.32-36, September, 2012.

• ÅÏÉô Á±Î´:
  ÀºÅÙÊݾÚÉÕ¤­¿ôÃÍ·×»»(4)¡Ý¶è´Ö±é»»¤ÈÍ­¸Â¼¡¸µÌäÂê¤ÎÀºÅÙÊݾڡÝ, ±þÍÑ¿ôÍý, Vol.21, No.4, pp.57-63, December, 2011.

• ÅÏÉô Á±Î´:
  ÀºÅÙÊݾÚÉÕ¤­¿ôÃÍ·×»»(3)¡ÝÃæÈøÍýÏÀÆþÌç¡Ý, ±þÍÑ¿ôÍý, Vol.21, No.3, pp.47-53, September, 2011.

• ÅÏÉô Á±Î´:
  ÀºÅÙÊݾÚÉÕ¤­¿ôÃÍ·×»»(2)¡ÝÀþ·ÁµÕºîÍÑÁǤΥΥë¥àɾ²Á¡Ý, ±þÍÑ¿ôÍý, Vol.21, No.2, pp.54-60, June, 2011.

• ÅÏÉô Á±Î´:
  ÀºÅÙÊݾÚÉÕ¤­¿ôÃÍ·×»»(1)¡ÝÉÔÆ°ÅÀÄê¼°²½¡Ý, ±þÍÑ¿ôÍý, Vol.21, No.1, pp.40-45, March, 2011.

• ÅÏÉô Á±Î´, ÃæÈø ½¼¹¨:
  ÀºÅÙÊݾÚÉÕ¤­¥·¥ß¥å¥ì¡¼¥·¥ç¥ó[4]¡ÝÊÐÈùʬÊýÄø¼°¤ÎÀºÅÙÊݾڡÝ,
  ¥·¥ß¥å¥ì¡¼¥·¥ç¥ó, Vol.19, No.3 (2000) pp.208-215.

• ÅÏÉô Á±Î´:
  ¡Ö̾¼è μ, Àþ·Á·×»», Ä«ÁÒ½ñŹ, 1993, 141pp.¡× ±þÍÑ¿ôÍý, Vol.4, No.1, Mar. 1994, pp.95-96.

¹ÖµæÏ¿¡¤¸¦µæÊó¹ð¤Ê¤É

• ÅÏÉô Á±Î´:
  ¼Í±Æ¤È¤½¤Î¹½À®Åª¸íº¹É¾²Á ¡¼Í­¸Â¤È̵¸Â¤ò·Ò¤°¤â¤Î¡¼,
  ¸¦µæ½¸²ñ¡¦±þÍÑ¿ôÍý¤È·×»»²Ê³Ø¤Ë¤ª¤±¤ëÍýÏÀ¤È±þÍѤÎÍ»¹ç, µþÅÔÂç³Ø¿ôÍý²òÀϸ¦µæ½ê¹ÖµæÏ¿ Vol. 2005 (2016) pp. 149-160. (2016ǯ11·î)

• ÅÏÉô Á±Î´:
  ÀºÅÙÊݾÚÉÕ¤­¿ôÃÍ·×»»¤Ë¤è¤ëÂʱ߷¿ºîÍÑÁǤεպîÍÑÁǥΥë¥àɾ²Á,
  ¸¦µæ½¸²ñ¡¦Èó°µ½ÌÀ­Ç´À­Î®ÂΤοôÍý²òÀÏ, µþÅÔÂç³Ø¿ôÍý²òÀϸ¦µæ½ê¹ÖµæÏ¿ Vol. 1957 (2015) pp. 104-115. (2015ǯ7·î)

• ÅÏÉô Á±Î´:
  A computer-assisted proof of the Kolmogorov problem of incompressible viscos fluid,
  ¸¦µæ½¸²ñ¡¦Èó°µ½ÌÀ­Ç´À­Î®ÂΤοôÍý²òÀÏ, µþÅÔÂç³Ø¿ôÍý²òÀϸ¦µæ½ê¹ÖµæÏ¿ Vol. 1905 (2014) pp. 132-143. (2014ǯ7·î)

• ÅÏÉô Á±Î´, Ĺƣ ¤«¤ª¤ê, Michael Plum, ÃæÈø ½¼¹¨:
  ̵¸Â¼¡¸µ¸ÇÍ­ÃÍÌäÂê¤ËÂФ¹¤ë¸ÇÍ­ÃͤÎÈó¸ºß¾ÚÌÀ,
  ¸¦µæ½¸²ñ¡¦¿ôÃͲòÀϤȿôÃÍ·×»»¥¢¥ë¥´¥ê¥º¥à¤ÎºÇ¶á¤ÎŸ³«, µþÅÔÂç³Ø¿ôÍý²òÀϸ¦µæ½ê¹ÖµæÏ¿ Vol.1719 (2010) pp.118-129. (2010ǯ11·î)

• ÅÏÉô Á±Î´, Michael Plum, ÃæÈø ½¼¹¨:
  ʹÔPoiseuilleή¤ì¤ÎÉÔ°ÂÄêÀ­¤ËÂФ¹¤ë·×»»µ¡±çÍѾÚÌÀ,
  ¸¦µæ½¸²ñ¡¦·×»»²Ê³Ø¤Î´ðÈ×µ»½Ñ¤È¤·¤Æ¤Î¹â®¥¢¥ë¥´¥ê¥º¥à¤È¤½¤Î¼þÊÕ, µþÅÔÂç³Ø¿ôÍý²òÀϸ¦µæ½ê¹ÖµæÏ¿ Vol.1614 (2008) pp.11-19. (2008ǯ10·î)

• ÅÏÉô Á±Î´:
  Some computer assisted proofs on the bifurcation structure of solutions for the Rayleigh-Bénard problem,
  ¸¦µæ½¸²ñ¡¦Î®ÂΤȵ¤ÂΤοô³Ø²òÀÏ, µþÅÔÂç³Ø¿ôÍý²òÀϸ¦µæ½ê¹ÖµæÏ¿ Vol.1536 (2007) pp.87-96. (2007ǯ2·î)

• ÅÏÉô Á±Î´:
  Rayleigh-BénardÌäÂê¤ÎÂç°èʬ´ô¹½Â¤¤ËÂФ¹¤ëÀºÅÙÊݾÚÉÕ¤­¿ôÃÍ·×»»,
  ¸¦µæ½¸²ñ¡¦·×»»²Ê³Ø¤Î´ðÈ×µ»½Ñ¤È¤½¤ÎȯŸ, µþÅÔÂç³Ø¿ôÍý²òÀϸ¦µæ½ê¹ÖµæÏ¿ Vol.1505 (2006) pp.101-105.

• ºä¸ý ½¨Íº¡¤ÅÏÉô Á±Î´¡¤º£°æ ¿Î»Ê:
  ¿ÇÜĹ·×»»¤òŬÍѤ·¤¿ÀºÅÙÊݾڿôÃÍ·×»»,
  ¸¦µæ½¸²ñ¡¦21À¤µª¤Ë¤ª¤±¤ë¿ôÃͲòÀϤο·Å¸³«, µþÅÔÂç³Ø¿ôÍý²òÀϸ¦µæ½ê¹ÖµæÏ¿ Vol.1441 (2005) pp.165-172. (2005ǯ7·î)

• ÃæÈø ½¼¹¨, Michael Plum, ÅÏÉô Á±Î´:
  Orr-SommerfeldÌäÂê¤Î²ò¤ËÂФ¹¤ë·×»»µ¡±çÍѾÚÌÀ¤Ë¤Ä¤¤¤Æ,
  ¸¦µæ½¸²ñ¡¦¿ô³Ø²òÀϤÎÍýÏÀŪŸ³«¤Î·×»»µ¡¤Ë¤è¤ë»Ù±ç¡¦¿ë¹Ô²ÄǽÀ­, µþÅÔÂç³Ø¿ôÍý²òÀϸ¦µæ½ê¹ÖµæÏ¿ Vol.1381 (2004) pp.148-158. (2004ǯ6·î)

• ÅÏÉô Á±Î´:
  Navier-Stokes ÊýÄø¼°¤Î²ò¤ËÂФ¹¤ë¿ôÃÍŪ¸¡¾Ú¤Î¸½¾õ¤ÈÆ°¸þ,
  ¸¦µæ½¸²ñ¡¦¿ôÃͲòÀϤȿ·¤·¤¤¾ðÊóµ»½Ñ (nanit2003), µþÅÔÂç³Ø¿ôÍý²òÀϸ¦µæ½ê¹ÖµæÏ¿ Vol.1362 (2004) pp.56-61. (2004ǯ4·î) (ÆÃÊֱ̹é).

• ÅÏÉô Á±Î´, ÆîΤ ¹ë»Ö, Æ£Ìî À¶¼¡:
  Himeno BMT¤Ë¤è¤ë¥Ï¥¤¥Ñ¥Õ¥©¡¼¥Þ¥ó¥¹¥³¥ó¥Ô¥å¡¼¥¿¤ÎÀ­Ç½É¾²Á,
  2003ǯÊÂÎó¡¿Ê¬»¶¡¿¶¨Ä´½èÍý¤Ë´Ø¤¹¤ë ¡Ø¾¾¹¾¡Ù¥µ¥Þ¡¼¡¦¥ï¡¼¥¯¥·¥ç¥Ã¥× (SWoPP¾¾¹¾2003) 2003ǯ8·î4Æü¡Á6Æü, ¾ðÊó½èÍý³Ø²ñ¸¦µæÊó¹ð 2003-HPC-95 (2003) pp.137-142. (2003ǯ8·î)

• ÅÏÉô Á±Î´, ÃæÈø ½¼¹¨, »³ËÜ Ìî¿Í, À¾ÅÄ ¹§ÌÀ:
  Ç®ÂÐήÌäÂê¤Î²ò¤ËÂФ¹¤ë·×»»µ¡±çÍѾÚÌÀ,
  ¸¦µæ½¸²ñ¡¦¿ô³Ø²òÀϤη׻»µ¡¾å¤Ç¤ÎÍýÏÀŪŸ³«¤È¤½¤Î¿ë¹Ô²ÄǽÀ­, µþÅÔÂç³Ø¿ôÍý²òÀϸ¦µæ½ê¹ÖµæÏ¿ Vol.1286 (2002) pp.17-26. (2002ǯ9·î)

• ÅÏÉô Á±Î´, »³ËÜ Ìî¿Í, ÃæÈø ½¼¹¨, À¾ÅÄ ¹§ÌÀ:
  Rayleigh-B\'enardÂÐή¤ÎÄê¾ï²ò¤ËÂФ¹¤ëÀºÅÙÊݾÚÉÕ¤­¿ôÃÍ·×»» II,
  ¸¦µæ½¸²ñ¡¦ÈùʬÊýÄø¼°¤ÎÎ¥»¶²½¼êË¡¤È¿ôÃÍ·×»»¥¢¥ë¥´¥ê¥º¥à, µþÅÔÂç³Ø¿ôÍý²òÀϸ¦µæ½ê¹ÖµæÏ¿ Vol.1265 (2002) pp.71-80. (2002ǯ5·î)

• Æ£Ìî À¶¼¡, ÅÏÉô Á±Î´, ÆîΤ ¹ë»Ö:
  ´ðËÜ¿ôÃͱ黻:ÆâÀÑɾ²Á¤È¤½¤Î±þÍÑ,
  ¾ðÊó´ðÈ×¥»¥ó¥¿¡¼Ç¯Êó¡¦Âè2¹æ (2002) pp.45-53. (2002ǯ3·î)

• Ë­±Ê ·û¼£, ÃæÈø ½¼¹¨, ÅÏÉô Á±Î´:
  Âʱ߷Á¸ÇÍ­ÃÍÌäÂê¤Ë¤ª¤±¤ë½ÅÊ£¸ÇÍ­ÃͤÎÀºÅÙÊݾÚÉÕ¤­¿ôÃÍ·×»»¤Ë¤Ä¤¤¤Æ,
  ¾ðÊó´ðÈ×¥»¥ó¥¿¡¼Ç¯Êó¡¦Âè1¹æ (2001) pp.49-58. (2001ǯ10·î)

• ÅÏÉô Á±Î´, »³ËÜ Ìî¿Í, ÃæÈø ½¼¹¨:
  Âʱ߷¿µÕ¸ÇÍ­ÃÍÌäÂê¤Ë¤ª¤±¤ë¥Ý¥Æ¥ó¥·¥ã¥ë´Ø¿ô¤ÎÊñ¤ß¹þ¤ß¤Ë¤Ä¤¤¤Æ,
  ¸¦µæ½¸²ñ¡¦ÊÐÈùʬÊýÄø¼°¤Î¿ôÃͲòË¡¤È¤½¤Î¼þÊÕII, µþÅÔÂç³Ø¿ôÍý²òÀϸ¦µæ½ê¹ÖµæÏ¿, Vol.1198 (2001) pp.239-244.

• Takeshi Nanri, Yoshitaka Watanabe, Hiroyuki Sato and Masaaki Shimasaki:
  Preliminary Investigation of Distributed Shared Memory System on a Cluster of High Performance Clusters,
  European Congress on Computational Methods in Applied Sciences and Engineering (ECCOMAS 2000), September 11-14 2000, Barcelona, Spain
  Incorporating the VI International Conference on Computational Plasticity (COMPLAS VI)

• ÅÏÉô Á±Î´, ÃæÈø ½¼¹¨, »³ËÜ Ìî¿Í, À¾ÅÄ ¹§ÌÀ:
  Rayleigh-B\'enardÂÐή¤ÎÄê¾ï²ò¤ËÂФ¹¤ëÀºÅÙÊݾÚÉÕ¤­¿ôÃÍ·×»»,
  û´ü¶¦Æ±¸¦µæ¡¦ÀºÅÙÊݾÚÉÕ¤­¿ôÃÍ·×»»Ë¡¤È¤½¤Î¼þÊÕ, µþÅÔÂç³Ø¿ôÍý²òÀϸ¦µæ½ê¹ÖµæÏ¿, Vol.1147 (2000) pp.132-136.

• ÅÏÉô Á±Î´:
  SSL II¤ÎFortran 90¥¤¥ó¥¿¡¼¥Õ¥§¥¤¥¹¤Î³«È¯,
  Á´¹ñ¶¦Æ±ÍøÍÑÂç·¿·×»»µ¡¥»¥ó¥¿¡¼¸¦µæ³«È¯ÏÀʸ½¸, No.21 (1999) pp.83-89.

• ÅÏÉô Á±Î´, ÃæÈø ½¼¹¨, »³ËÜ Ìî¿Í:
  Navier-StokesÊýÄø¼°¤Î²ò¤Î¿ôÃÍŪ¸¡¾ÚË¡¤Ë¤Ä¤¤¤Æ,
  ¿ôÃÍ·×»»¥¢¥ë¥´¥ê¥º¥à¤Î¸¦µæ, µþÅÔÂç³Ø¿ôÍý²òÀϸ¦µæ½ê¹ÖµæÏ¿, Vol.1040 (1998) pp.100-105.

• ÅÏÉô Á±Î´:
  ÊÂÎ󥹡¼¥Ñ¡¼¥³¥ó¥Ô¥å¡¼¥¿¤Î±é»»À­Ç½¡ÁFortran¥×¥í¥°¥é¥à¤Ç¤Î¼Â¬¥Ç¡¼¥¿¡Á,
  Á´¹ñ¶¦Æ±ÍøÍÑÂç·¿·×»»µ¡¥»¥ó¥¿¡¼¸¦µæ³«È¯ÏÀʸ½¸, No.19 (1997) pp.100-108.

• ÅÏÉô Á±Î´, »³ËÜ Ìî¿Í, ÃæÈø ½¼¹¨:
  StokesÊýÄø¼°¤ÎÍ­¸ÂÍ×ÁDzò¤ËÂФ¹¤ëa priori¸íº¹É¾²Á,
  ²Ê³Øµ»½Ñ¤Ë¤ª¤±¤ë¿ôÃÍ·×»»¤ÎÍýÏÀ¤È±þÍÑ, µþÅÔÂç³Ø¿ôÍý²òÀϸ¦µæ½ê¹ÖµæÏ¿, Vol.944 (1996) pp.41-49.

• ÅÏÉô Á±Î´, »³ËÜ Ìî¿Í, ÃæÈø ½¼¹¨:
  StokesÊýÄø¼°¤ÎÍ­¸ÂÍ×ÁDzò¤ËÂФ¹¤ëa posteriori¸íº¹É¾²Á,
  û´ü¶¦Æ±¸¦µæ¡¦¿ôÃÍ·×»»¤Ë¤ª¤±¤ëÉʼÁÊݾڤȤ½¤Î±þÍÑ -´¶ÅÙ²òÀϤ«¤é¾ÚÌÀ¤Þ¤Ç-, µþÅÔÂç³Ø¿ôÍý²òÀϸ¦µæ½ê¹ÖµæÏ¿, Vol.928 (1995) pp.20-31.

• Yoshitaka Watanabe and Mitsuhiro T. Nakao:
  Verified Computation of Solutions for Nondifferentiable Elliptic Equations Related to MHD Equilibria,
  Zeitschrift f\"{u}r Angewandte Mathematik und Mechanik Vol.75 (1995) S553-S554.

• ÅÏÉô Á±Î´, ÃæÈø ½¼¹¨:
  ÈóÀþ·ÁÂʱ߷¿¶­³¦ÃÍÌäÂê¤Î²ò¤ËÂФ¹¤ëÀºÅÙÊݾÚÉÕ¤­¿ôÃÍŪ¸¡¾ÚË¡,
  ·×»»µ¡²Ê³Ø¸¦µæÊó¹ð 10, ¶å½£Âç³ØÂç·¿·×»»µ¡¥»¥ó¥¿¡¼ (1993) pp.1-6.

• ÅÏÉô Á±Î´, »³ËÜ Ìî¿Í, ÃæÈø ½¼¹¨:
  ÈùʬÉÔǽ¹à¤ò»ý¤ÄÂʱ߷¿ÊýÄø¼°¤Î²ò¤ËÂФ¹¤ë¸¡¾ÚÌäÂê¤Ë¤Ä¤¤¤Æ,
  û´ü¶¦Æ±¸¦µæ¡¦ÀºÅÙÊݾÚÉÕ¤­¿ôÃÍ·×»»¤È¤½¤Î±þÍÑ, µþÅÔÂç³Ø¿ôÍý²òÀϸ¦µæ½ê¹ÖµæÏ¿, Vol.831 (1993) pp.141-148.

• ÅÏÉô Á±Î´, »³ËÜ Ìî¿Í, ÃæÈø ½¼¹¨:
  ÈùʬÉÔǽ¹à¤ò»ý¤ÄÂʱ߷¿¶­³¦ÃÍÌäÂê¤Î²ò¤ËÂФ¹¤ë¿ôÃÍŪ¸¡¾ÚË¡,
  ÅŻҾðÊóÄÌ¿®³Ø²ñµ»½Ñ¸¦µæÊó¹ð, NLP-92-44 (1992).

³Ø½Ñ²ñ¹çÊó¹ð

• ÅÏÉô Á±Î´:
  SCAN 2004,
  ±þÍÑ¿ôÍý, Vol.15, No.1, pp.74-75 (2005).

• ÅÏÉô Á±Î´:
  ÀºÅÙÊݾÚÉÕ¤­¿ôÃÍ·×»»Ë¡¤È¤½¤Î¼þÊÕ,
  ±þÍÑ¿ôÍý, Vol.10, No.2, pp.92 (2000).

• ÅÏÉô Á±Î´:
  SCAN 2000 / Interval 2000,
  ±þÍÑ¿ôÍý, Vol.11, No.2, pp.92-93 (2001).

• ÅÏÉô Á±Î´:
  ¹âÀ­Ç½Â絬ÌÏ·×»»¤ÈÀºÅÙÊݾÚÉÕ¤­·×»»¤Ë´Ø¤¹¤ë¥ï¡¼¥¯¥·¥ç¥Ã¥×,
  ±þÍÑ¿ôÍý, Vol.12, No.1, pp.89-90 (2002).

¸ýƬȯɽ

(²ñµÄÏ¿¡¤¹ÖµæÏ¿¡¤¸¦µæÊó¹ð·ÇºÜʬ¤Ï½ü¤¯)

• ÅÏÉô Á±Î´, Cai Shuting:
  ¸ÇÍ­Ãͽü³°Ë¡¤Ë¤è¤ëKolmogorovή¤ì¤Î°ÂÄêÀ­²òÀÏ,
  ÆüËÜ¿ô³Ø²ñ2026ǯǯ²ñ, ±þÍÑ¿ô³Øʬ²Ê²ñ¹Ö±é¥¢¥Ö¥¹¥È¥é¥¯¥È, pp.119-122, ÅìµþÍý²ÊÂç³Ø¿À³Úºä¥­¥ã¥ó¥Ñ¥¹, ÅìµþÅÔ, 2026ǯ3·î23Æü¡Á3·î26Æü.
  ȯɽÆü: 2026.3.26.

• Cai Shuting, ÅÏÉô Á±Î´:
  Kolmogorovή¤ì¤ÎÀºÅÙÊݾÚÉÕ¤­°ÂÄêÀ­²òÀÏ(¾ò·ïÉÕ¤­),
  ÆüËܱþÍÑ¿ôÍý³Ø²ñ2025ǯ¸¦µæÉô²ñÏ¢¹çȯɽ²ñ, ÅìµþÂç³ØËܶ¿¥­¥ã¥ó¥Ñ¥¹, ÅìµþÅÔ, 2026ǯ3·î9Æü¡Á3·î11Æü.
  ȯɽÆü: 2026.3.10.

• Takeshi Terao, Yoshitaka Watanabe, and Katsuhisa Ozaki:
  Verification of singular values under oblique inner product space for matrices,
  in Auer, E., Lahme, M., and Rauh, A. (eds.) Book of Abstracts: SCAN 2025 - 20th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations (SCAN 2025) (https://doi.org/10.5281/zenodo.17584516), pp. 53--54.
  September 22-26, 2025, Oldenburg, Germany.
  ȯɽÆü: 2025.9.25.

• ÅÏÉô Á±Î´, Cai Shuting:
  Ê¿¹Ô±ßÈÄ´Ö¤ÎÁØή¤òµ­½Ò¤¹¤ëElkouhÌäÂê¤ËÂФ¹¤ëÀºÅÙÊݾÚÉÕ¤­¿ôÃÍ·×»»,
  ÆüËÜ¿ô³Ø²ñ2025ǯÅÙ½©µ¨Áí¹çʬ²Ê²ñ ±þÍÑ¿ô³Øʬ²Ê²ñ¹Ö±é¥¢¥Ö¥¹¥È¥é¥¯¥È, pp.105-108, ̾¸Å²°Âç³Ø, ̾¸Å²°»Ô, 2025ǯ9·î16Æü¡Á9·î19Æü.
  ȯɽÆü: 2025.9.18.

• ÅÏÉô Á±Î´, Cai Shuting:
  Ê¿¹Ô±ßÈÄ´Ö¤ÎÁØή¤ËÂФ¹¤ëÀºÅÙÊݾÚÉÕ¤­¿ôÃÍ·×»»,
  ÆüËܱþÍÑ¿ôÍý³Ø²ñ2025ǯÅÙǯ²ñ¹Ö±éͽ¹Æ½¸, 1A-1-1, ÅìµþÍý²ÊÂç³Ø¿À³Úºä¥­¥ã¥ó¥Ñ¥¹, ÅìµþÅÔ, 2025ǯ9·î2Æü¡Á9·î4Æü.
  ȯɽÆü: 2025.9.2.

• ÌÚ²¼ Éðɧ, ÅÏÉô Á±Î´, ÃæÈø ½¼¹¨:
  ¥ì¥¾¥ë¥Ù¥ó¥È¤Î¥Î¥ë¥à¤ËÂФ¹¤ëÄêÎÌŪ¤Ê²¼³¦É¾²Á¤È¤½¤Î±þÍÑ,
  ÆüËÜ¿ô³Ø²ñ2025ǯǯ²ñ, Áá°ðÅÄÂç³Ø, ±þÍÑ¿ô³Øʬ²Ê²ñ¹Ö±é¥¢¥Ö¥¹¥È¥é¥¯¥È, pp.137-138, 2025ǯ3·î18Æü¡Á21Æü.
  ȯɽÆü: 2025.3.21

• Yoshitaka Watanabe:
  Recent topics of numerical verification methods for partial differential equations,
  The Second French-Japanese Workshop on Numerical Computations (FJWNC 2025), March 11-15, 2024, Pierre and Marie Curie campus, Sorbonne University, Paris, France.
  ȯɽÆü: 2025.3.13.

• ÌÚ²¼ Éðɧ, ÅÏÉô Á±Î´, ÃæÈø ½¼¹¨:
  ¶á»÷Âʱ߷¿Àþ·ÁºîÍÑÁǤΥΥë¥à¤Ë´Ø¤¹¤ë»ö¸å¸íº¹É¾²Á¤Î²þÎÉ,
  ÆüËܱþÍÑ¿ôÍý³Ø²ñ2024ǯ¸¦µæÉô²ñÏ¢¹çȯɽ²ñ, ²¬»³Âç³Ø, ²¬»³»Ô, 2025ǯ3·î5Æü¡Á7Æü.
  ȯɽÆü: 2025.3.7.

• ÌÚ²¼ Éðɧ, ÅÏÉô Á±Î´, ÃæÈø ½¼¹¨:
  ¶á»÷¥ì¥¾¥ë¥Ù¥ó¥È¤ÎºîÍÑÁǥΥë¥à¤ËÂФ¹¤ë2¼¡¼ý«¤¹¤ë»ö¸å¸íº¹É¾²Á¤Ë¤Ä¤¤¤Æ,
  ±þÍÑ¿ô³Ø¹çƱ¸¦µæ½¸²ñ, ȯɽÈÖ¹æA10-2, ζëÂç³ØÀ¥ÅÄ¥­¥ã¥ó¥Ñ¥¹, ÂçÄÅ»Ô, 2024ǯ12·î5Æü¡Á12·î7Æü.
  ȯɽÆü: 2024.12.7.

• »ûÈø ¹ä»Ë, Èøºê ¹îµ×, ÅÏÉô Á±Î´:
  ÈùʬÊýÄø¼°¤ÎºîÍÑÁDzòÀϤÇÍѤ¤¤é¤ì¤ë¹ÔÎó¥Î¥ë¥à¤ÎÀºÅÙÊݾÚ,
  ÆüËܱþÍÑ¿ôÍý³Ø²ñ2024ǯÅÙǯ²ñ¹Ö±éͽ¹Æ½¸, A3-3-2, µþÅÔÂç³Ø, µþÅÔ»Ô, 2024ǯ9·î14Æü¡Á9·î16Æü.
  ȯɽÆü: 2024.9.16.

• ÅÏÉô Á±Î´:
  Æð۹à¤ò»ý¤ÄÀþ·ÁºîÍÑÁǤËÂФ¹¤ëÀºÅÙÊݾÚÉÕ¤­µÕºîÍÑÁǥΥë¥àɾ²Á,
  ÆüËܱþÍÑ¿ôÍý³Ø²ñ2024ǯÅÙǯ²ñ¹Ö±éͽ¹Æ½¸, A3-2-1, µþÅÔÂç³Ø, µþÅÔ»Ô, 2024ǯ9·î14Æü¡Á9·î16Æü.
  ȯɽÆü: 2024.9.16.

• ÅÏÉô Á±Î´:
  Æð۹à¤ò»ý¤Ä̵¸Â¼¡¸µÀþ·ÁºîÍÑÁǤËÂФ¹¤ëBünger-RumpÍýÏÀ¤Ë¤è¤ëÀºÅÙÊݾÚÉÕ¤­µÕºîÍÑÁǥΥë¥à·×»»,
  ÆüËÜ¿ô³Ø²ñ2024ǯÅÙ½©µ¨Áí¹çʬ²Ê²ñ ±þÍÑ¿ô³Øʬ²Ê²ñ¹Ö±é¥¢¥Ö¥¹¥È¥é¥¯¥È, pp.167-168, ÂçºåÂç³Ø, Ë­Ãæ»Ô, 2024ǯ9·î3Æü¡Á9·î6Æü.
  ȯɽÆü: 2024.9.6.

• ¾¾²¬ ¶õÎÉ, »ûÈø ¹ä»Ë, ÅÏÉô Á±Î´, Èøºê ¹îµ×:
  ̵¸Â¼¡¸µÀþ·ÁºîÍÑÁǤζá»÷µÕºîÍÑÁǥΥë¥à¤ËÂФ¹¤ëÀºÅÙÊݾÚÉÕ¤­ÆðÛÃÍ·×»»¤Î¹â®²½,
  Âè50²ó¿ôÃͲòÀÏ¥·¥ó¥Ý¥¸¥¦¥à; NAS2024 (Numerical Analysis Symposium 2024), ´ä¼êÂç³ØÍý¹©³ØÉô¶ä²Ï¥Û¡¼¥ë, À¹²¬»Ô, 2024ǯ6·î12Æü¡Á14Æü.
  ȯɽÆü: 2024.6.14

• »ûÈø ¹ä»Ë, ÅÏÉô Á±Î´, Èøºê ¹îµ×:
  ̵¸Â¼¡¸µÀþ·ÁºîÍÑÁǤζá»÷µÕºîÍÑÁǥΥë¥à¤ËÂФ¹¤ëÀºÅÙÊݾÚÉÕ¤­ÆðÛÃÍ·×»»,
  ÆüËÜ¿ô³Ø²ñ2024ǯǯ²ñ, Âçºå¸øΩÂç³Ø, ±þÍÑ¿ô³Øʬ²Ê²ñ¹Ö±é¥¢¥Ö¥¹¥È¥é¥¯¥È, pp.177-178, 2024ǯ3·î17Æü¡Á20Æü.
  ȯɽÆü: 2024.3.20

• ÌÚ²¼ Éðɧ, ÅÏÉô Á±Î´, ÃæÈø ½¼¹¨:
  ¼Â2¡ß2¹ÔÎó¤Î2¥Î¥ë¥à¤È¶á»÷µÕºîÍÑÁǥΥë¥à¤Î¼ý«¥ª¡¼¥À¡¼¤Î²þÁ±¤Ë¤Ä¤¤¤Æ,
  ÆüËÜ¿ô³Ø²ñ2024ǯǯ²ñ, Âçºå¸øΩÂç³Ø, ±þÍÑ¿ô³Øʬ²Ê²ñ¹Ö±é¥¢¥Ö¥¹¥È¥é¥¯¥È, pp.175-176, 2024ǯ3·î17Æü¡Á20Æü.
  ȯɽÆü: 2024.3.20

• »ûÈø ¹ä»Ë, ÅÏÉô Á±Î´, Èøºê ¹îµ×:
  Àþ·ÁºîÍÑÁǤζá»÷µÕºîÍÑÁǥΥë¥à¤ËÂФ¹¤ëÀºÅÙÊݾÚÉÕ¤­¿ôÃÍ·×»»,
  ÆüËܱþÍÑ¿ôÍý³Ø²ñÂè20²ó(2024ǯ)¸¦µæÉô²ñÏ¢¹çȯɽ²ñ, Ĺ²¬²Ê³Øµ»½ÑÂç³Ø, Ĺ²¬»Ô, 2024ǯ3·î4Æü¡Á6Æü.
  ȯɽÆü: 2024.3.6.

• ÌÚ²¼ Éðɧ, ÅÏÉô Á±Î´, ÃæÈø ½¼¹¨:
  ¶á»÷Âʱ߷¿Àþ·ÁºîÍÑÁǤΥΥë¥à¤Ë´Ø¤¹¤ë¼ý«À­É¾²Á¤Î²þÎÉ,
  ÆüËܱþÍÑ¿ôÍý³Ø²ñÂè20²ó(2024ǯ)¸¦µæÉô²ñÏ¢¹çȯɽ²ñ, Ĺ²¬²Ê³Øµ»½ÑÂç³Ø, Ĺ²¬»Ô, 2024ǯ3·î4Æü¡Á6Æü.
  ȯɽÆü: 2024.3.6.

• Yoshitaka Watanabe:
  Some computer-assisted proofs for nonlinear differential equations involved with self-similar blowup in wave equations,
  Nonlinear Analysis, Spectral theory and PDEs, Workshop in Honor of Prof. Dr. Michael Plum, February 21-22, 2024, Institute for Analysis, Karlsruhe Institute of Technology, Karlsruhe, Germany.
  ȯɽÆü: 2024.2.21.[¾·ÂÔ¹Ö±é]

• ÅÏÉô Á±Î´:
  ÈóÀþ·ÁÇÈÆ°ÊýÄø¼°¤Î¼«¸ÊÁê»÷Çúȯ²ò¤ËÂФ¹¤ëÀºÅÙÊݾÚÉÕ¤­¿ôÃÍ·×»»,
  RIMS¶¦Æ±¸¦µæ(¸ø³«·¿)¡Ö¿·»þÂå¤Ë¤ª¤±¤ë¹âÀ­Ç½²Ê³Øµ»½Ñ·×»»Ë¡¤Îõµæ¡× (Research on High-performance Scientific Computing in a New Era), µþÅÔÂç³Ø, ±×Àî¥Û¡¼¥ë, µþÅÔ»Ô, 2023ǯ10·î18Æü¡Á10·î20Æü.
  ȯɽÆü: 2023.10.20. [¾·ÂÔ¹Ö±é]

• ÅÏÉô Á±Î´, µÜÏ© ÃÒ¹Ô:
  ÀºÅÙÊݾÚÉÕ¤­¿ôÃÍ·×»»¤Ë¤è¤ëProudman-JohnsonÊýÄø¼°¤ÎñÊöÀ­²ò¤Î¸ºß¸¡¾Ú,
  ÆüËÜ¿ô³Ø²ñ2023ǯÅÙ½©µ¨Áí¹çʬ²Ê²ñ ±þÍÑ¿ô³Øʬ²Ê²ñ¹Ö±é¥¢¥Ö¥¹¥È¥é¥¯¥È, pp.195-196, ÅìËÌÂç³Ø, ÀçÂæ»Ô, 2023ǯ9·î20Æü¡Á9·î23Æü.
  ȯɽÆü: 2023.9.23.

• Yoshitaka Watanabe, Kaori Nagatou, Michael Plum, Birgit Sch©ìrkhuber, and Mitsuhiro T. Nakao:
  A computer-assisted proof for a nonlinear differential equation involved with self-similar blowup in wave equations,
  Minisymposia: Verified Numerical Computations and Applications, in the 10th International Congress on Industrial and Applied Mathematics (ICIAM), August 20-25, 2023, Waseda University, Tokyo, Japan.
  ȯɽÆü: 2023.8.22.

• ÌÚ²¼ Éðɧ, ÅÏÉô Á±Î´, ÃæÈø ½¼¹¨:
  2³¬Âʱ߷¿Àþ·ÁºîÍÑÁǤËÂФ¹¤ë¶á»÷µÕºîÍÑÁǥΥë¥à¤Î¼ý«¥ª¡¼¥À¡¼É¾²Á,
  ÆüËÜ¿ô³Ø²ñ2023ǯǯ²ñ, Ãæ±ûÂç³Ø, ±þÍÑ¿ô³Øʬ²Ê²ñ¹Ö±é¥¢¥Ö¥¹¥È¥é¥¯¥È, pp. 103-104, 2023ǯ3·î15Æü¡Á18Æü.
  ȯɽÆü: 2023.3.17

• ÌÚ²¼ Éðɧ, ÅÏÉô Á±Î´, ÃæÈø ½¼¹¨:
  Âʱ߷¿Àþ·ÁºîÍÑÁǤËÂФ¹¤ë¶á»÷µÕºîÍÑÁǥΥë¥à¤Î¼ý«À­É¾²Á,
  ÆüËܱþÍÑ¿ôÍý³Ø²ñ2023ǯ¸¦µæÉô²ñÏ¢¹çȯɽ²ñ, ²¬»³Íý²ÊÂç³Ø, 2023ǯ3·î8Æü¡Á10Æü.
  ȯɽÆü: 2023.3.8.

• ÅÏÉô Á±Î´:
  ÀºÅÙÊݾÚÉÕ¤­¿ôÃÍ·×»»¤Ë¤è¤ëProudman Johnson ÊýÄø¼°¤ÎÄê¾ï²ò¤Î¸ºßÊ̾Ú,
  ÆüËÜ¿ô³Ø²ñ2022ǯÅÙ½©µ¨Áí¹çʬ²Ê²ñ ±þÍÑ¿ô³Øʬ²Ê²ñ¹Ö±é¥¢¥Ö¥¹¥È¥é¥¯¥È, pp.79-80, Ë̳¤Æ»Âç³Ø, »¥ËÚ»Ô, 2022ǯ9·î13Æü¡Á9·î16Æü.
  ȯɽÆü: 2022.9.15.

• ÅÏÉô Á±Î´:
  Proudman-JohnsonÊýÄø¼°¤ÎÄê¾ï²ò¤ËÂФ¹¤ëÀºÅÙÊݾÚÉÕ¤­¿ôÃÍ·×»» ¡ÁMiyaji-OkamotoÄêÍý¤ÎÊ̾ڡÁ,
  ÆüËܱþÍÑ¿ôÍý³Ø²ñ2022ǯÅÙǯ²ñ¹Ö±éͽ¹Æ½¸, A3-1-1, Ë̳¤Æ»Âç³Ø(¥»¥ß¥Ï¥¤¥Ö¥ê¥Ã¥É), »¥ËÚ»Ô, 2022ǯ9·î8Æü¡Á9·î10Æü.
  ȯɽÆü: 2022.9.10.

• ÅÏÉô Á±Î´, Ĺƣ¤«¤ª¤ê, Michael Plum, ÌÚ²¼ Éðɧ, ÃæÈø ½¼¹¨:
  OrrSommerfeldÊýÄø¼°¤ÎÎ׳¦Reynolds¿ô¤ËÂФ¹¤ë·×»»µ¡±çÍѾÚÌÀ,
  ÆüËÜ¿ô³Ø²ñ2022ǯǯ²ñ, ºë¶ÌÂç³Ø, ±þÍÑ¿ô³Øʬ²Ê²ñ¹Ö±é¥¢¥Ö¥¹¥È¥é¥¯¥È, pp. 153-154, 2022ǯ3·î28Æü¡Á31Æü.
  ȯɽÆü: 2022.3.31

• Yoshitaka Watanabe, Kaori Nagatou, Michael Plum, Takehiko Kinoshita, Mitsuhiro T. Nakao:
  A computer-assisted proof toward the critical Reynolds number for the Orr-Sommerfeld problem,
  International Workshop on Reliable Computing and Computer-Assisted Proofs (ReCAP 2022), March 13-18, 2022 (online).
  ȯɽÆü: 2022.3.16.

• ÅÏÉô Á±Î´, ÌÚ²¼ Éðɧ, ÃæÈø ½¼¹¨:
  2³¬Âʱ߷¿¶­³¦ÃÍÌäÂ꤫¤éƳ¤«¤ì¤ë¶á»÷ºîÍÑÁǥΥë¥à¤Î¼ý«À­,
  ÆüËܱþÍÑ¿ôÍý³Ø²ñ2022ǯ¸¦µæÉô²ñÏ¢¹çȯɽ²ñ, ¶å½£Âç³Ø(¥ª¥ó¥é¥¤¥ó), 2022ǯ3·î8Æü¡Á9Æü.
  ȯɽÆü: 2022.3.8.

• ÅÏÉô Á±Î´:
  ¤¢¤ë»°³Ñ¹ÔÎó¤ÎºÇ¾®ÆðÛÃͤËÂФ¹¤ëBünger-RumpÍýÏÀ¤Ë¤è¤ëÀºÅÙÊݾÚÉÕ¤­¿ôÃÍ·×»»,
  Âè5²óÀºÅÙÊݾÚÉÕ¤­¿ôÃÍ·×»»¤Î¼ÂÌäÂê¤Ø¤Î±þÍѸ¦µæ½¸²ñ(NVR 2021) ¡¦JST/CREST¡Ö¥â¥Ç¥ê¥ó¥°¤Î¤¿¤á¤ÎÀºÅÙÊݾÚÉÕ¤­¿ôÃÍ·×»»ÏÀ¤ÎŸ³«¡×À®²ÌÊó¹ð²ñ,
  ¥ª¥ó¥é¥¤¥ó³«ºÅ, 2021ǯ11·î27Æü¡Á11·î28Æü.
  ȯɽÆü: 2021.11.27.

• ÅÏÉô Á±Î´:
  ÈóÀþ·ÁÈùʬÊýÄø¼°¤ËÂФ¹¤ëÀºÅÙÊݾÚÉÕ¤­¿ôÃÍ·×»»,
  CREST¡Ö¸½Âå¤Î¿ôÍý²Ê³Ø¤ÈÏ¢·È¤¹¤ë¥â¥Ç¥ê¥ó¥°¼êË¡¤Î¹½ÃÛ¡× À®²ÌÊó¹ð¸ø³«¥·¥ó¥Ý¥¸¥¦¥à¡ÁDX, AI, ¤³¤ì¤«¤é¤Î¿ôÍý¥â¥Ç¥ê¥ó¥°¡Á, ¥ª¥ó¥é¥¤¥ó³«ºÅ, 2021ǯ9·î21Æü¡Á9·î24Æü.
  ȯɽÆü: 2021.9.24.

• ÅÏÉô Á±Î´, èñ ¯ð¯õ:
  KolmogorovÌäÂê¤ÎÂоÎÀ­Ç˲õʬ´ôÅÀ¤ËÂФ¹¤ë·×»»µ¡±çÍѾÚÌÀ,
  ÆüËÜ¿ô³Ø²ñ2021ǯÅÙ½©µ¨Áí¹çʬ²Ê²ñ ±þÍÑ¿ô³Øʬ²Ê²ñ¹Ö±é¥¢¥Ö¥¹¥È¥é¥¯¥È, pp.123-124, ÀéÍÕÂç³Ø(¥ª¥ó¥é¥¤¥ó), ÀéÍÕ»Ô, 2021ǯ9·î14Æü¡Á9·î17Æü.
  ȯɽÆü: 2021.9.17.

• Takehiko Kinoshita, Yoshitaka Watanabe, and Mitsuhiro T. Nakao:
  On some convergence properties for finite element approximations to the inverse of linear elliptic operators,
  19th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2020), September 13-15, 2021, Szeged, Hungary.
  ȯɽÆü: 2021.9.14.

• ÅÏÉô Á±Î´, èñ ¯ð¯õ:
  Äê¾ïKolmogorovÌäÂê¤ÎÂоÎÀ­Ç˲õʬ´ôÅÀ¤ËÂФ¹¤ëÀºÅÙÊݾÚÉÕ¤­¿ôÃÍ·×»»,
  ÆüËܱþÍÑ¿ôÍý³Ø²ñ2021ǯÅÙǯ²ñ¹Ö±éͽ¹Æ½¸, pp.424-425, ¼Ç±º¹©¶ÈÂç³Ø(¥ª¥ó¥é¥¤¥ó), ¤µ¤¤¤¿¤Þ»Ô, 2021ǯ9·î7Æü¡Á9·î9Æü.
  ȯɽÆü: 2021.9.9.

• ÅÏÉô Á±Î´, ÌÚ²¼ Éðɧ, ÃæÈø ½¼¹¨:
  ½ÅÄ´ÏÂÊýÄø¼°¤Î¶á»÷²ò¤ËÂФ¹¤ë¹½À®Åª¸íº¹É¾²Á¤Î²þÎÉ,
  ÆüËÜ¿ô³Ø²ñ2021ǯǯ²ñ, ·ÄØæµÁ½ÎÂç³Ø(¥ª¥ó¥é¥¤¥ó), ±þÍÑ¿ô³Øʬ²Ê²ñ¹Ö±é¥¢¥Ö¥¹¥È¥é¥¯¥È, pp. 87-88, 2021ǯ3·î15Æü¡Á18Æü.
  ȯɽÆü: 2021.3.17

• ¾®ÎÓ ·òÂÀ, ÅÏÉô Á±Î´:
  KolmogorovÌäÂê¤ËÂФ¹¤ë·×»»µ¡±çÍѾÚÌÀ¤Ë¤ª¤±¤ëºÇÂçÃͥΥë¥àɾ²Á¤È¤½¤Î±þÍÑ,
  ÆüËܱþÍÑ¿ôÍý³Ø²ñ2021ǯ¸¦µæÉô²ñÏ¢¹çȯɽ²ñ, (¥ª¥ó¥é¥¤¥ó), 2021ǯ3·î4Æü¡Á3·î5Æü.
  ȯɽÆü: 2021.3.4.

• ÅÏÉô Á±Î´, ÌÚ²¼ Éðɧ, ÃæÈø ½¼¹¨:
  Hilbert¶õ´Ö¤Ë¤ª¤±¤ëÀþ·ÁºîÍÑÁǤËÂФ¹¤ë²ÄµÕÀ­¸¡¾Ú¤Î¸úΨ²½¤È¤½¤Î±þÍÑ,
  ÆüËÜ¿ô³Ø²ñ2020ǯÅÙ½©µ¨Áí¹çʬ²Ê²ñ ±þÍÑ¿ô³Øʬ²Ê²ñ¹Ö±é¥¢¥Ö¥¹¥È¥é¥¯¥È, pp.107-110, ·§ËÜÂç³Ø(¥ª¥ó¥é¥¤¥ó), ·§ËÜ»Ô, 2020ǯ9·î22Æü¡Á9·î25Æü.
  ȯɽÆü: 2020.9.24.

• ÅÏÉô Á±Î´, ÌÚ²¼ Éðɧ, ÃæÈø ½¼¹¨:
  Hilbert¶õ´Ö¤Ë¤ª¤±¤ëÀþ·ÁºîÍÑÁǤËÂФ¹¤ë²ÄµÕÀ­¸¡¾Ú¤Î¸úΨ²½,
  ÆüËܱþÍÑ¿ôÍý³Ø²ñ2020ǯÅÙǯ²ñ¹Ö±éͽ¹Æ½¸, pp.444-445, °¦É²Âç³Ø(¥ª¥ó¥é¥¤¥ó), ¾¾»³»Ô, 2020ǯ9·î8Æü¡Á9·î10Æü.
  ȯɽÆü: 2020.9.10.

• ÌÚ²¼ Éðɧ, ÅÏÉô Á±Î´, ÃæÈø ½¼¹¨:
  Í­³¦ºîÍÑÁǤΥ쥾¥ë¥Ù¥ó¥È¤ËÂФ¹¤ë¤¢¤ë¶á»÷ºîÍÑÁǤζ¯¼ý«À­¤Ë¤Ä¤¤¤Æ,
  ÆüËÜ¿ô³Ø²ñ2020ǯǯ²ñ, ÆüËÜÂç³Ø, ±þÍÑ¿ô³Øʬ²Ê²ñ¹Ö±é¥¢¥Ö¥¹¥È¥é¥¯¥È, pp. 117-118, 2020ǯ3·î16Æü¡Á19Æü.
  ȯɽÆü: 2020.3.19.

• ÌÚ²¼ Éðɧ, ÅÏÉô Á±Î´, ÃæÈø ½¼¹¨:
  Banach¶õ´Ö¤Ë¤ª¤±¤ëÍ­³¦Àþ·ÁºîÍÑÁǤζá»÷¤ËÂФ¹¤ë¼ý«À­,
  ÆüËܱþÍÑ¿ôÍý³Ø²ñ2020ǯ¸¦µæÉô²ñÏ¢¹çȯɽ²ñ, Ãæ±ûÂç³Ø, 2020ǯ3·î4Æü¡Á5Æü.
  ȯɽÆü: 2020.3.5.

• ÌÚ²¼ Éðɧ, ÅÏÉô Á±Î´, ÃæÈø ½¼¹¨:
  ¤¢¤ëÂʱ߷¿¶­³¦ÃÍÌäÂ꤫¤éƳ¤«¤ì¤ë¶á»÷ºîÍÑÁǤΥΥë¥à¤Î¼ý«À­,
  ±þÍÑ¿ô³Ø¹çƱ¸¦µæ½¸²ñ, ȯɽÈÖ¹æA14-2, ζëÂç³ØÀ¥ÅÄ¥­¥ã¥ó¥Ñ¥¹, ÂçÄÅ»Ô, 2019ǯ12·î12Æü¡Á12·î14Æü.
  ȯɽÆü: 2019.12.14.

• ÌÚ²¼ Éðɧ, ÅÏÉô Á±Î´, ÃæÈø ½¼¹¨:
  Nakao et al. (2005) ºÇ¸å¤ÎÆæ,
  Âè3²óÀºÅÙÊݾÚÉÕ¤­¿ôÃÍ·×»»¤Î¼ÂÌäÂê¤Ø¤Î±þÍѸ¦µæ½¸²ñ(NVR 2019), ¥µ¥ó¥Ý¡¼¥È¥Û¡¼¥ë¹â¾¾ 63²ñµÄ¼¼, ¹â¾¾»Ô, 2019ǯ11·î30Æü¡Á12·î1Æü.
  ȯɽÆü: 2019.11.30.

• ÌÚ²¼ Éðɧ, ÅÏÉô Á±Î´, »³ËÜ Ìî¿Í, ÃæÈø ½¼¹¨:
  H10´Ø¿ô¤Îľ¸ò¿¹à¼°¶á»÷¤ËÂФ¹¤ë2¼¡¤Î¸íº¹É¾²Á¤ÎºÇÎÉÄê¿ô¤Ë¤Ä¤¤¤Æ,
  ÆüËÜ¿ô³Ø²ñ2019ǯÅÙ½©µ¨Áí¹çʬ²Ê²ñ ±þÍÑ¿ô³Øʬ²Ê²ñ¹Ö±é¥¢¥Ö¥¹¥È¥é¥¯¥È, pp.43-44, ¶âÂôÂç³Ø, ¶âÂô»Ô, 2019ǯ9·î17Æü¡Á9·î20Æü.
  ȯɽÆü: 2019.9.17.

• ÌÚ²¼ Éðɧ, ÅÏÉô Á±Î´, »³ËÜ Ìî¿Í, ÃæÈø ½¼¹¨:
  H10¼Í±Æ¸íº¹¤ËÂФ¹¤ë2¼¡¤Î¸íº¹É¾²Á¤ÎºÇÎÉÄê¿ô¤ÎÊñ´ÞÊýË¡¤Ë¤Ä¤¤¤Æ,
  ÆüËܱþÍÑ¿ôÍý³Ø²ñ2019ǯÅÙǯ²ñ¹Ö±éͽ¹Æ½¸, pp.360-361, ÅìµþÂç³Ø¶ð¾ì¥­¥ã¥ó¥Ñ¥¹I, ÅìµþÅÔ, 2019ǯ9·î3Æü¡Á9·î5Æü.
  ȯɽÆü: 2019.9.5.

• Yoshitaka Watanabe:
  Numerical verification methods for nonlinear equations,
  JST Sakura Exchange Program in Science, 2019, August 25-September 1, 2019, Niigata University.
  ȯɽÆü: 2019.8.29.

• Yoshitaka Watanabe:
  A computer-assisted proof of the critical Reynolds number for the Orr-Sommerfeld equation,
  Minisymposia: Numerical verification methods and their application to differential equations - Part 1, in the 9th International Congress on Industrial and Applied Mathematics (ICIAM), July 15-19, 2019, Valencia, Spain.
  ȯɽÆü: 2019.7.19.

• Yoshitaka Watanabe:
  Computer-assisted proofs for the Orr-Sommerfeld equation,
  Workshop: Rigorous Computational Dynamics in Infinite Dimensions, April 3-6, 2019, Centre de recherches mathématiques (CRM), Université de Montréal, Montré, Québec, Canada.
  ȯɽÆü: 2019.4.5. (invited talk)

• ÅÏÉô Á±Î´, ÌÚ²¼ Éðɧ, »³ËÜ Ìî¿Í, ÃæÈø ½¼¹¨:
  PoissonÊýÄø¼°¤ËÂФ¹¤ë¹½À®Åª¹â¼¡¸íº¹É¾²Á¤È¤½¤Î±þÍÑ,
  ÆüËÜ¿ô³Ø²ñ2019ǯǯ²ñ, Åìµþ¹©¶ÈÂç³Ø, ±þÍÑ¿ô³Øʬ²Ê²ñ¹Ö±é¥¢¥Ö¥¹¥È¥é¥¯¥È, pp. 55-56, 2019ǯ3·î17Æü¡Á20Æü.
  ȯɽÆü: 2019.3.17.

• ÅÏÉô Á±Î´, ÌÚ²¼ Éðɧ, »³ËÜ Ìî¿Í, ÃæÈø ½¼¹¨:
  PoissonÊýÄø¼°¤ËÂФ¹¤ë¹½À®Åª¹â¼¡¸íº¹É¾²Á,
  ÆüËܱþÍÑ¿ôÍý³Ø²ñ2019ǯ¸¦µæÉô²ñÏ¢¹çȯɽ²ñ, ÃÞÇÈÂç³Ø, 2019ǯ3·î4Æü¡Á5Æü.
  ȯɽÆü: 2019.3.4.

• ÅÏÉô Á±Î´:
  ÀºÅÙÊݾÚÉÕ¤­¿ôÃÍ·×»»ÆþÌç¡Ô±þÍÑÊÔ¡Õ,
  Ê¿À®30ǯÅÙNIFS¶¦Æ±¸¦µæ ¸¦µæ²ñ¡ÖMHD¥·¥ß¥å¥ì¡¼¥·¥ç¥ó¤Ë¤ª¤±¤ëÀºÅÙÊݾڤβÄǽÀ­¤Ë¤Ä¤¤¤Æ¡× ³ËÍ»¹ç²Ê³Ø¸¦µæ½ê, ÅÚ´ô»Ô, ´ôÉ츩, 2018ǯ12·î11Æü¡Á12Æü.
  ȯɽÆü: 2018.12.11.

• Yoshitaka Watanabe:
  The essence of numerical verification methods for PDEs,
  2018 Workshop on Recent views of Nonlinear Analysis, December 8-10, 2018, The Toba Chamber of Commerce and Industry, Toba, Japan.
  ȯɽÆü: 2018.12.10.

• ÅÏÉô Á±Î´:
  È¿Éü²òË¡¤Ë¤ª¤±¤ë¸íº¹ÍúÎò,
  Âè2²óÀºÅÙÊݾÚÉÕ¤­¿ôÃÍ·×»»¤Î¼ÂÌäÂê¤Ø¤Î±þÍѸ¦µæ½¸²ñ(NVR 2018), ¹­Å祤¥ó¥Æ¥ê¥¸¥§¥ó¥È¥Û¥Æ¥ë¥¹¥¿¥¸¥¢¥àÁ°, ¹­Åç»Ô, 2018ǯ12·î1Æü¡Á12·î2Æü.
  ȯɽÆü: 2018.12.2.

• ÅÏÉô Á±Î´, ÌÚ²¼ Éðɧ, ÃæÈø ½¼¹¨:
  2³¬Àþ·ÁÂʱ߷¿ºîÍÑÁǤËÂФ¹¤ë²ÄµÕÀ­¸¡¾Ú¤ÈÀºÅÙÊݾÚÉÕ¤­¥Î¥ë¥àɾ²Á¤Î²þÁ±,
  ÆüËÜ¿ô³Ø²ñ2018ǯÅÙ½©µ¨Áí¹çʬ²Ê²ñ ±þÍÑ¿ô³Øʬ²Ê²ñ¹Ö±é¥¢¥Ö¥¹¥È¥é¥¯¥È, ²¬»³Âç³Ø, ²¬»³»Ô, 2018ǯ9·î24Æü¡Á9·î27Æü.
  ȯɽÆü: 2018.9.26.

• Takehiko Kinoshita, Yoshitaka Watanabe, Nobito Yamamoto and Mitsuhiro T. Nakao:
  A higher order error estimation for finite element approximations of the Poisson equation,
  18th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2018), September 10-15, 2018, Waseda University, Japan. ȯɽÆü: 2018.9.14.

• Yoshitaka Watanabe, Michael Plum, Kaori Nagatou and Mitsuhiro T. Nakao:
  Verified computations of eigenvalue exclosures for linearized Kolmogorov problem,
  18th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2018), September 10-15, 2018, Waseda University, Japan. ȯɽÆü: 2018.9.13.

• ÅÏÉô Á±Î´, ÌÚ²¼ Éðɧ, ÃæÈø ½¼¹¨:
  2³¬Âʱ߷¿ºîÍÑÁǤËÂФ¹¤ëµÕºîÍÑÁǥΥë¥àɾ²Á¤Î²þÎÉ,
  ÆüËܱþÍÑ¿ôÍý³Ø²ñ2018ǯÅÙǯ²ñ¹Ö±éͽ¹Æ½¸, ̾¸Å²°Âç³ØÅ컳¥­¥ã¥ó¥Ñ¥¹, ̾¸Å²°»Ô, 2018ǯ9·î3Æü¡Á9·î5Æü.
  ȯɽÆü: 2018.9.3.

• Yoshitaka Watanabe:
  A higher order error estimation of the Poisson equation and its applications,
  International Workshop on Numerical Methods for Partial Differential Equations, Hong Kong, 2018ǯ3·î26Æü¡Á28Æü.
  ȯɽÆü: 2018.3.28.

• ÌÚ²¼ Éðɧ, ÅÏÉô Á±Î´, ÃæÈø ½¼¹¨:
  ÃͰ褬¶¦Ìò¶õ´Ö¤È¤Ê¤ëÂʱ߷¿ºîÍÑÁǤËÂФ¹¤ëÀºÅÙÊݾÚÉÕ¤­²ÄµÕÀ­¸¡¾Ú,
  ÆüËÜ¿ô³Ø²ñ2018ǯǯ²ñ, ÅìµþÂç³Ø, ±þÍÑ¿ô³Øʬ²Ê²ñ¹Ö±é¥¢¥Ö¥¹¥È¥é¥¯¥È, pp. 103-106, 2018ǯ3·î18Æü¡Á21Æü.
  ȯɽÆü: 2018.3.20.

• ÅÏÉô Á±Î´, ÌÚ²¼ Éðɧ, ÃæÈø ½¼¹¨:
  Laplacian¥Î¥ë¥àɾ²Á¤ò±çÍѤ·¤¿Âʱ߷¿Àþ·ÁºîÍÑÁǤβĵÕÀ­¸¡¾Ú,
  ÆüËܱþÍÑ¿ôÍý³Ø²ñ2018ǯ¸¦µæÉô²ñÏ¢¹çȯɽ²ñ, ÂçºåÂç³Ø, 2018ǯ3·î15Æü¡Á16Æü.
  ȯɽÆü: 2018.3.16.

• ÅÏÉô Á±Î´:
  KolmogorovÌäÂê¤ËÂФ¹¤ë·×»»µ¡±çÍѾÚÌÀ¤Ë¤ª¤±¤ëºÇÂçÃͥΥë¥à¤Î²þÎÉ,
  ¸¦µæ½¸²ñ: ÉÔϢ³GalerkinÍ­¸ÂÍ×ÁÇË¡¤Î¿ô³ØÍýÏÀ¤È¤½¤Î¼þÊÕ, ¥³¥ó¥Õ¥©¡¼¥È¥Û¥Æ¥ëĹºê²ñµÄ¼¼, Ĺºê»Ô, 2018ǯ2·î14Æü¡Á15Æü.
  ȯɽÆü: 2018.2.14.

• ÅÏÉô Á±Î´, ÌÚ²¼ Éðɧ, ÃæÈø ½¼¹¨:
  Legendre¿¹à¼°¤òÍѤ¤¤¿½ÅÄ´ÏÂÌäÂê¤Î¹½À®Åª¸íº¹É¾²Á(¤È¤¤¤¯¤Ä¤«¤Î²ÝÂê),
  ±þÍÑ¿ô³Ø¹çƱ¸¦µæ½¸²ñ, ζëÂç³Ø, 2017ǯ12·î14Æü¡Á16Æü.
  ȯɽÆü: 2017.12.16.

• ÅÏÉô Á±Î´, ÌÚ²¼ Éðɧ, ÃæÈø ½¼¹¨:
  ½ÅÄ´ÏÂÌäÂê¤Î²ò¤ËÂФ¹¤ë¹½À®Åª¸íº¹É¾²Á,
  Âè1²óÀºÅÙÊݾÚÉÕ¤­¿ôÃÍ·×»»¤Î¼ÂÌäÂê¤Ø¤Î±þÍѸ¦µæ½¸²ñ(NVR 2017), À¾ÆüËÜÁí¹çŸ¼¨¾ì, Ë̶彣»Ô, 2017ǯ12·î9Æü¡Á10Æü.
  ȯɽÆü: 2017.12.10.

• ÌÚ²¼ Éðɧ, ÅÏÉô Á±Î´, ÃæÈø ½¼¹¨:
  Hilbert¶õ´Ö¤Ë¤ª¤±¤ëÀþ·ÁºîÍÑÁǤËÂФ¹¤ëµÕºîÍÑÁǥΥë¥àɾ²Á¤Î²þÎÉ,
  ÆüËÜ¿ô³Ø²ñ2017ǯÅÙ½©µ¨Áí¹çʬ²Ê²ñ ±þÍÑ¿ô³Øʬ²Ê²ñ¹Ö±é¥¢¥Ö¥¹¥È¥é¥¯¥È, »³·ÁÂç³Ø, »³·Á»Ô, 2017ǯ9·î11Æü¡Á9·î14Æü.
  ȯɽÆü: 2017.9.13.

• ÌÚ²¼ Éðɧ, ÅÏÉô Á±Î´, ÃæÈø ½¼¹¨:
  ÃͰ褬¶¦Ìò¶õ´Ö¤È¤Ê¤ë2³¬Âʱ߷¿ºîÍÑÁǤËÂФ¹¤ë²ÄµÕÀ­¸¡¾ÚË¡¤Î²þÎÉ,
  ÆüËܱþÍÑ¿ôÍý³Ø²ñ2017ǯÅÙǯ²ñ¹Ö±éͽ¹Æ½¸, Éð¢ÌîÂç³ØÍ­ÌÀ¥­¥ã¥ó¥Ñ¥¹, ÅìµþÅÔ, 2017ǯ9·î6Æü¡Á9·î8Æü.
  ȯɽÆü: 2017.9.6.

• Yoshitaka Watanabe:
  Some computer-assisted proofs for the Navier-Stokes equations,
  Rigorous Numerics for Infinite Dimensional Nonlinear Dynamics (17w5141), Banff International Research Station for Mathematical Innovation and Discovery, Banff, Canada, May 8-12, 2017.
  ȯɽÆü: 2017.5.8. [invited talk]

• ÌÚ²¼ Éðɧ, ÅÏÉô Á±Î´, ÃæÈø ½¼¹¨:
  ¤¢¤ë¥³¥ó¥Ñ¥¯¥ÈºîÍÑÁǤΥ쥾¥ë¥Ù¥ó¥È¤ËÂФ¹¤ë²¼Â¦É¾²Á¤Ë¤Ä¤¤¤Æ,
  ÆüËÜ¿ô³Ø²ñ2017ǯǯ²ñ, ¼óÅÔÂç³ØÅìµþ, ±þÍÑ¿ô³Øʬ²Ê²ñ¹Ö±é¥¢¥Ö¥¹¥È¥é¥¯¥È, pp. 87-90, 2017ǯ3·î24Æü¡Á27Æü.
  ȯɽÆü: 2017.3.26.

• ÅÏÉô Á±Î´:
  Navier-StokesÊýÄø¼°¤«¤éƳ¤«¤ì¤ëÈóÀþ·ÁºîÍÑÁǤΥ³¥ó¥Ñ¥¯¥ÈÀ­¤Ë¤Ä¤¤¤Æ,
  ¸¦µæ½¸²ñ¡¦¿ôÃͲòÀϤÎÍýÏÀ¤È¼ÂÁ©, ÀÐÀÀ¯µ­Ç° ¤·¤¤¤Î¤­·ÞÉдÛ, 2017ǯ3·î21Æü¡Á22Æü.
  ȯɽÆü: 2017.3.22.

• Takehiko Kinoshita, Yoshitaka Watanabe, Mitsuhiro T. Nakao:
  An alternative approach of invertibility verifications for linear operators in Hilbert spaces,
  The International Workshop on Numerical Verification and its Applications 2017 (INVA 2017), Hotel breeze bay marina, Miyako-jima, Okinawa, March 14-18, 2017.
  ȯɽÆü: 2017.3.17.

• Mitsuhiro T. Nakao, Takehiko Kinoshita, Yoshitaka Watanabe:
  Some remarks on the numerical norm estimation of the inverse operator in Hilbert spaces,
  The International Workshop on Numerical Verification and its Applications 2017 (INVA 2017), Hotel breeze bay marina, Miyako-jima, Okinawa, March 14-18, 2017.
  ȯɽÆü: 2017.3.17.

• ÃæÈø ½¼¹¨, Ĺƣ ¤«¤ª¤ê, ÅÏÉô Á±Î´:
  Navier-StokesÊýÄø¼°¤Ë´Ø¤¹¤ëÈóÀþ·ÁºîÍÑÁǤΥ³¥ó¥Ñ¥¯¥ÈÀ­¾ÚÌÀ,
  ÆüËܱþÍÑ¿ôÍý³Ø²ñ2017ǯ¸¦µæÉô²ñÏ¢¹çȯɽ²ñ, Åŵ¤ÄÌ¿®Âç³Ø, 2017ǯ3·î6Æü¡Á7Æü.
  ȯɽÆü: 2017.3.7.

• ÅÏÉô Á±Î´:
  ήÂÎÊýÄø¼°¤ËÂФ¹¤ëÀºÅÙÊݾÚÉÕ¤­¿ôÃÍ·×»»,
  ¸¦µæ½¸²ñ: ήÂÎÊýÄø¼°¤Î¹½Â¤¤ÈÆðÛÀ­¤ËÇ÷¤ë¿ôÃͲòÀÏ¡¦¿ôÃÍ·×»»II, ̾¸Å²°Âç³Ø, 2017ǯ1·î30Æü¡Á31Æü.
  ȯɽÆü: 2017.1.30.

• ÅÏÉôÁ±Î´:
  Orr-SommerfeldÊýÄø¼°¤ÎÎ׳¦Reynolds¿ô¤ËÂФ¹¤ëÀºÅÙÊݾÚÉÕ¤­¿ôÃÍ·×»»(²¼),
  ±þÍÑ¿ô³Ø¹çƱ¸¦µæ½¸²ñ, ζëÂç³Ø, 2016ǯ12·î15Æü¡Á17Æü.
  ȯɽÆü: 2016.12.17.

• ÌÚ²¼ Éðɧ, ÅÏÉô Á±Î´, ÃæÈø ½¼¹¨:
  ¥³¥ó¥Ñ¥¯¥ÈºîÍÑÁǤΥ쥾¥ë¥Ù¥ó¥È¤ËÂФ¹¤ë²¼Â¦É¾²Á,
  ±þÍÑ¿ô³Ø¹çƱ¸¦µæ½¸²ñ, ζëÂç³Ø, 2016ǯ12·î15Æü¡Á17Æü.
  ȯɽÆü: 2016.12.16.

• Yoshitaka Watanabe, Takehiko Kinoshita, and Mitsuhiro T. Nakao:
  Validated constructive error estimatations for bi-harmonic problems,
  17th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2016), September 26-29, 2016, Uppsala University, Sweden, ȯɽÆü: 2016ǯ9·î28Æü

• ÅÏÉô Á±Î´, ÌÚ²¼ Éðɧ, ÃæÈø ½¼¹¨:
  ½ÅÄ´ÏÂÊýÄø¼°¤Î¶á»÷²ò¤ËÂФ¹¤ë¹½À®Åª¸íº¹É¾²Á,
  ÆüËÜ¿ô³Ø²ñ2016ǯÅÙ½©µ¨Áí¹çʬ²Ê²ñ ±þÍÑ¿ô³Øʬ²Ê²ñ¹Ö±é¥¢¥Ö¥¹¥È¥é¥¯¥È, ´ØÀ¾Âç³Ø, ¿áÅÄ»Ô, 2016ǯ9·î15Æü¡Á9·î18Æü.
  ȯɽÆü: 2016.9.18.

• ÅÏÉô Á±Î´, ÌÚ²¼ Éðɧ, ÃæÈø ½¼¹¨:
  Legendre¿¹à¼°¤Ë¤è¤ë½ÅÄ´ÏÂÊýÄø¼°¤ÎÀºÅÙÊݾÚÉÕ¤­¸íº¹É¾²Á,
  ÆüËܱþÍÑ¿ôÍý³Ø²ñ2016ǯÅÙǯ²ñ¹Ö±éͽ¹Æ½¸, Ë̶彣¹ñºÝ²ñµÄ¾ì, Ë̶彣»Ô, 2016ǯ9·î12Æü¡Á9·î14Æü.
  ȯɽÆü: 2016.9.14.

• ÅÏÉô Á±Î´, ÌÚ²¼ Éðɧ, ÃæÈø ½¼¹¨:
  ÀºÅÙÊݾÚÉÕ¤­¿ôÃÍ·×»»¤Ë¤è¤ëÊ¿¹ÔPoiseuilleή¤ì¤Î¹âÀºÅÙÉÔ°ÂÄêÀ­²òÀÏ,
  ÆüËÜ¿ô³Ø²ñ2016ǯÅÙǯ²ñ, ÃÞÇÈÂç³Ø, ±þÍÑ¿ô³Øʬ²Ê²ñ¹Ö±é¥¢¥Ö¥¹¥È¥é¥¯¥È, pp. 149-150. 2016ǯ3·î16Æü¡Á19Æü.
  ȯɽÆü: 2016.3.19.

• ¾¾ÅÄ Ë¾, ÅÏÉô Á±Î´, »³ËÜ Ìî¿Í:
  ¿ÇÜŶè´Ö±é»»¥é¥¤¥Ö¥é¥êLILIB¤Ë¤è¤ëÀºÅÙÊݾÚÉÕ¤­¿ôÃÍ·×»»,
  ÆüËܱþÍÑ¿ôÍý³Ø²ñ2016ǯ¸¦µæÉô²ñÏ¢¹çȯɽ²ñ, ¿À¸Í³Ø±¡Âç³Ø, 2016ǯ3·î4Æü¡Á5Æü.
  ȯɽÆü: 2016.3.5.

• ÌÚ²¼ Éðɧ, ÅÏÉô Á±Î´, ÃæÈø ½¼¹¨:
  Hilbert¶õ´Ö¤ÎÀþ·ÁºîÍÑÁǤËÂФ¹¤ëµÕºîÍÑÁǥΥë¥àɾ²Á¤Î²þÎÉ,
  ÆüËܱþÍÑ¿ôÍý³Ø²ñ2016ǯ¸¦µæÉô²ñÏ¢¹çȯɽ²ñ, ¿À¸Í³Ø±¡Âç³Ø, 2016ǯ3·î4Æü¡Á5Æü.
  ȯɽÆü: 2016.3.5.

• ÅÏÉôÁ±Î´:
  Orr-SommerfeldÊýÄø¼°¤ÎÎ׳¦Reynolds¿ô¤ËÂФ¹¤ëÀºÅÙÊݾÚÉÕ¤­¿ôÃÍ·×»»(Ãæ),
  ±þÍÑ¿ô³Ø¹çƱ¸¦µæ½¸²ñ, ζëÂç³Ø, 2015ǯ12·î17Æü¡Á19Æü.
  ȯɽÆü: 2015.12.17.

• Takehiko Kinoshita, Yoshitaka Watanabe, and Mitsuhiro T. Nakao,
  H³ and H⁴ regularities of the Poisson equation on polygonal domains,
  Sixth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS 2015), Zuse Institute Berlin, Berlin, Germany, November 11-13, 2015.
  ȯɽÆü: 2015.11.12.

• ÅÏÉô Á±Î´:
  KolmogorovÌäÂê¤ÎÀºÅÙÊݾÚÉÕ¤­¿ôÃÍ·×»»¤ËÂФ¹¤ë¤¤¤¯¤Ä¤«¤Î¹Í»¡,
  ÆüËÜ¿ô³Ø²ñ2015ǯÅÙ½©µ¨Áí¹çʬ²Ê²ñ ±þÍÑ¿ô³Øʬ²Ê²ñ¹Ö±é¥¢¥Ö¥¹¥È¥é¥¯¥È, pp. 205-208, µþÅÔ»º¶ÈÂç³Ø, µþÅÔ»Ô, 2015ǯ9·î13Æü¡Á9·î16Æü.
  ȯɽÆü: 2015.9.16.

• ÌÚ²¼ Éðɧ, ÅÏÉô Á±Î´, ÃæÈø ½¼¹¨:
  H³ÀµÂ§À­¤ò»ý¤Ä°ìÈÌ¿³Ñ·ÁÎΰè¾å¤ÎPoissonÊýÄø¼°¤Î²ò¤Ë¤Ä¤¤¤Æ,
  ÆüËÜ¿ô³Ø²ñ2015ǯÅÙ½©µ¨Áí¹çʬ²Ê²ñ ±þÍÑ¿ô³Øʬ²Ê²ñ¹Ö±é¥¢¥Ö¥¹¥È¥é¥¯¥È, pp. 209-210, µþÅÔ»º¶ÈÂç³Ø, µþÅÔ»Ô, 2015ǯ9·î13Æü¡Á9·î16Æü.
  ȯɽÆü: 2015.9.16.

• ÅÏÉô Á±Î´, Kaori Nagatou, Michael Plum, ÃæÈø ½¼¹¨:
  Àþ·Á²½KolmogorovÌäÂê¤ËÂФ¹¤ë¸ÇÍ­Ãͤνü³°¤Ë¤Ä¤¤¤Æ,
  ÆüËܱþÍÑ¿ôÍý³Ø²ñ2015ǯÅÙǯ²ñ¹Ö±éͽ¹Æ½¸, ¶âÂôÂç³Ø ³Ñ´Ö¥­¥ã¥ó¥Ñ¥¹, ¶âÂô»Ô, 2015ǯ9·î9Æü¡Á9·î11Æü.
  ȯɽÆü: 2015.9.9.

• ÌÚ²¼ Éðɧ, ÅÏÉô Á±Î´, ÃæÈø ½¼¹¨:
  PoissonÊýÄø¼°¤Î²ò¤ËÂФ¹¤ëH³¤ª¤è¤ÓH⁴¥»¥ß¥Î¥ë¥à¤Ë¤Ä¤¤¤Æ,
  ÆüËܱþÍÑ¿ôÍý³Ø²ñ2015ǯÅÙǯ²ñ¹Ö±éͽ¹Æ½¸, ¶âÂôÂç³Ø ³Ñ´Ö¥­¥ã¥ó¥Ñ¥¹, ¶âÂô»Ô, 2015ǯ9·î9Æü¡Á9·î11Æü.
  ȯɽÆü: 2015.9.9.

• Yoshitaka Watanabe:
  An improvement of infinity norm estimations for numerical verifications of the Kolmogorov problem,
  Workshop on Information Technology, Applied Mathematics and Education (IME2015 in Tsuwano), Tsuwano Community Center, Tsuwano, Shimane, Japan, 2015ǯ8·î18Æü¡Á19Æü.
  ȯɽÆü: 2015.8.18.

• Yoshitaka Watanabe:
  A nonlinear PDE verification -- Fukuoka, Karlsruhe,
  Nonlinear PDE Days, Karlsruhe Institute of Technology, Germany, 2015ǯ7·î14Æü¡Á15Æü.
  ȯɽÆü: 2015.7.14. [invited talk]

• Yoshitaka Watanabe:
  Some computer-assisted proofs of the Kolmogorov problem of incompressible viscous fluid,
  International Workshop on Information Technology, Applied Mathematics and Science (IMS2015), µþÅÔ»ÔÀ¸³¶³Ø½¬Áí¹ç¥»¥ó¥¿¡¼, µþÅÔ»Ô, 2015ǯ3·î26Æü¡Á28Æü.
  ȯɽÆü: 2015.3.26.

• ÅÏÉô Á±Î´, ÌÚ²¼ Éðɧ, ÃæÈø ½¼¹¨:
  Àþ·ÁÂʱ߷¿ºîÍÑÁǤËÂФ¹¤ëLaplacian¥Î¥ë¥à¤Î¹½À®ÅªÉ¾²Á,
  ÆüËÜ¿ô³Ø²ñ2015ǯÅÙǯ²ñ, ÌÀ¼£Âç³Ø, ±þÍÑ¿ô³Øʬ²Ê²ñ¹Ö±é¥¢¥Ö¥¹¥È¥é¥¯¥È, pp. 121-124. 2015ǯ3·î21Æü¡Á24Æü.
  ȯɽÆü: 2015.3.24.

• ÅÏÉôÁ±Î´:
  ήÂÎÎϳإâ¥Ç¥ë¤ÎÀºÅÙÊݾÚ,
  ¸¦µæ½¸²ñ: ÀºÅÙÊݾÚÉÕ¤­¿ôÃÍ·×»»¤ÎºÇ¶á¤ÎŸ³«, Ë̶彣¹ñºÝ²ñµÄ¾ì(Ë̶彣»Ô¾®ÁÒË̶è) 2015ǯ3·î8Æü¡Á10Æü.
  ȯɽÆü: 2015.3.10.

• ÅÏÉô Á±Î´, ÌÚ²¼ Éðɧ, ÃæÈø ½¼¹¨:
  Âʱ߷¿Àþ·ÁµÕºîÍÑÁÇɾ²Á¤Î¼ý«À­¤Ë¤Ä¤¤¤Æ,
  ÆüËܱþÍÑ¿ôÍý³Ø²ñ2015ǯ¸¦µæÉô²ñÏ¢¹çȯɽ²ñ, ÌÀ¼£Âç³ØÃæÌ¥ã¥ó¥Ñ¥¹, 2015ǯ3·î6Æü¡Á7Æü.
  ȯɽÆü: 2015.3.7.

• ÅÏÉôÁ±Î´:
  ¿ôÃÍ·×»»¤Ë¤ª¤±¤ë¸íº¹¤È»Äº¹,
  ¿ôÃͲòÀÏ¥»¥ß¥Ê¡¼, ÅìµþÂç³ØÂç³Ø±¡¿ôÍý²Ê³Ø¸¦µæ²Ê, 2015ǯ1·î19Æü.
  

• ÅÏÉôÁ±Î´:
  Orr-SommerfeldÊýÄø¼°¤ÎÎ׳¦Reynolds¿ô¤ËÂФ¹¤ëÀºÅÙÊݾÚÉÕ¤­¿ôÃÍ·×»»(¾å),
  ±þÍÑ¿ô³Ø¹çƱ¸¦µæ½¸²ñ, ζëÂç³Ø, 2014ǯ12·î18Æü¡Á20Æü.
  ȯɽÆü: 2014.12.18.

• ÅÏÉô Á±Î´:
  A numerical verification method for the Orr-Sommerfeld problem,
  ¸¦µæ½¸²ñ: ήÂÎÊýÄø¼°¤Î¹½Â¤¤ÈÆðÛÀ­¤ËÇ÷¤ë¿ôÃͲòÀÏ¡¦¿ôÃÍ·×»», ̾¸Å²°Âç³Ø, 2014ǯ12·î8Æü¡Á9Æü.
  ȯɽÆü: 2014.12.8.

• Takehiko Kinoshita, Yoshitaka Watanabe, and Mitsuhiro T. Nakao:
  Some remarks on the rigorous estimation of inverse linear elliptic operators,
  16th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2014), September 21-26, 2014, University of Würzburg, Germany. ȯɽÆü: 2014ǯ9·î23Æü

• Yoshitaka Watanabe:
  Computer-assisted stability and instability proofs for the Orr-Sommerfeld problem,
  Institutskolloquien, Institut für Analysis, Karlsruher Institut für Technologie, Karlsruher, German, September 18, 2014.

• ÅÏÉô Á±Î´, ÌÚ²¼ Éðɧ, ÃæÈø ½¼¹¨:
  2³¬Âʱ߷¿ºîÍÑÁǤˤª¤±¤ë¹½À®ÅªLaplacian¥Î¥ë¥àɾ²Á,
  ÆüËܱþÍÑ¿ôÍý³Ø²ñ2014ǯÅÙǯ²ñ¹Ö±éͽ¹Æ½¸, À¯ºö¸¦µæÂç³Ø±¡Âç³Ø, ÅìµþÅÔ¹Á¶è, 2014ǯ9·î3Æü¡Á9·î5Æü.
  ȯɽÆü: 2014.9.3.

• ÅÏÉô Á±Î´:
  ÀºÅÙÊݾÚÉÕ¤­¿ôÃÍ·×»»¤Ë¤è¤ëή¤ì¤Î°ÂÄêÀ­²òÀÏ,
  ¿ô³ØÃÌÏòñ, °¦É²Âç³ØÍý³ØÉô¿ô³Ø²Ê, 2014ǯ8·î7Æü

• ÅÏÉô Á±Î´:
  ¶è´Ö±é»»³µÀâ,
  ¥ï¡¼¥¯¥·¥ç¥Ã¥×: ¹©³Ø¡¦Íý³Ø¤ò¥Ù¡¼¥¹¤Ë¤·¤¿Àþ·Á¡¦ÈóÀþ·ÁÌäÂê¤Ø¤Î¥¢¥×¥í¡¼¥Á, ICTʸ²½¥Û¡¼¥ë, ÀгÀ»Ô, 2014ǯ5·î10Æü¡Á5·î11Æü.
  ȯɽÆü: 2014.5.11.

• ÅÏÉô Á±Î´:
  ¸íº¹¤È»Äº¹¤Î¤¢¤¤¤À¤Ë(¤½¤Î2),
  ¸¦µæ½¸²ñ: ĶÂ絬ÌÏ¿ôÃÍ·×»»¤È¿ôÃͲòÀϤ˴ؤ¹¤ë¿·³ã¥ï¡¼¥¯¥·¥ç¥Ã¥×, ¿·³ã»ÔËüÂå»Ô̱²ñ´Û, 2014ǯ3·î25Æü¡Á3·î27Æü.
  ȯɽÆü: 2014.3.27.

• Takehiko Kinoshita, Yoshitaka Watanabe, Mitsuhiro T. Nakao:
  An alternative approach of invertibility verifications and norm estimations for linear elliptic operators,
  ÆüËܱþÍÑ¿ôÍý³Ø²ñ2014ǯ¸¦µæÉô²ñÏ¢¹çȯɽ²ñ, µþÅÔÂç³Ø, 2014ǯ3·î19Æü¡Á20Æü.
  ȯɽÆü: 2013.3.20.

• ÅÏÉô Á±Î´:
  ·×»»µ¡±çÍѾÚÌÀ¤Ë¤è¤ëOrr-SommerfeldÌäÂê¤Î°ÂÄêÀ­¡¦ÉÔ°ÂÄêÀ­²òÀÏ,
  ÆüËÜ¿ô³Ø²ñ2014ǯÅÙǯ²ñ, ³Ø½¬±¡Âç³Ø, ±þÍÑ¿ô³Øʬ²Ê²ñ¹Ö±é¥¢¥Ö¥¹¥È¥é¥¯¥È, pp. 179-188. 2014ǯ3·î15Æü¡Á3·î18Æü.
  ȯɽÆü: 2014.3.18. [ÆÃÊֱ̹é]

• ÅÏÉô Á±Î´, ÌÚ²¼ Éðɧ, ÃæÈø ½¼¹¨:
  Àþ·ÁºîÍÑÁǤËÂФ¹¤ë²ÄµÕÀ­¤Î¸¡¾Ú¤ÈÀºÅÙÊݾÚÉÕ¤­¥Î¥ë¥àɾ²Á¤Î²þÎɤˤĤ¤¤Æ,
  ÆüËÜ¿ô³Ø²ñ2014ǯÅÙǯ²ñ, ³Ø½¬±¡Âç³Ø, ±þÍÑ¿ô³Øʬ²Ê²ñ¹Ö±é¥¢¥Ö¥¹¥È¥é¥¯¥È, pp. 167-170. 2014ǯ3·î15Æü¡Á3·î18Æü.
  ȯɽÆü: 2014.3.18.

• Yoshitaka Watanabe:
  A comparison of computer-assisted proofs for the Kolmogorov problem,
  International Workshop on Numerical Verification and its Applications 2014 (INVA2014), March 15-17, 2014, Waseda University, Tokyo, Japan.
  ȯɽÆü: 2014.3.16. [invited talk]

• ÅÏÉôÁ±Î´, ÌÚ²¼ Éðɧ, ÌÚ¼ ÂóÇÏ, »³ËÜ Ìî¿Í, ÃæÈø ½¼¹¨:
  2³¬Âʱ߷¿Àþ·ÁºîÍÑÁǤβĵÕÀ­¸¡¾Ú¤Ë´Ø¤¹¤ë¤¤¤¯¤Ä¤«¤Î¹Í»¡,
  ±þÍÑ¿ô³Ø¹çƱ¸¦µæ½¸²ñÊó¹ð½¸ pp. 236-241, ζëÂç³Ø, 2013ǯ12·î19Æü¡Á21Æü.
  ȯɽÆü: 2013.12.20.

• ÅÏÉô Á±Î´:
  A computer-assisted instability proof for Poiseuille flow by multiple-precision interval arithmetic library,
  º£¸å¤ÎHPC(´ðÈ×µ»½Ñ¤È±þÍÑ)¤Ë´Ø¤¹¤ë¥ï¡¼¥¯¥·¥ç¥Ã¥×,
  Ĺºê»ÔΩ¿Þ½ñ´Û¿·¶½Á±¥á¥â¥ê¥¢¥ë¥Û¡¼¥ë, 2013ǯ12·î8Æü¡Á9Æü.
  ȯɽÆü: 2013.12.8.

• ¾®ÎÓ ·òÂÀ, ÅÏÉô Á±Î´:
  KolmogorovÌäÂê¤ÎÀºÅÙÊݾڤˤª¤±¤ë¥Î¥ë¥àɾ²Á¤Î²þÁ±,
  ¶å½£Âç³Ø¿ôÃͲòÀϳإ»¥ß¥Ê¡¼, ¶å½£Âç³Ø, 2013ǯ11·î30Æü.
  

• ÅÏÉô Á±Î´, ÃæÈø ½¼¹¨:
  ̵¸Â¼¡¸µÈóÀþ·Á´Ø¿ôÊýÄø¼°¤ËÂФ¹¤ëNewtonÈ¿Éü·¿·×»»µ¡±çÍѾÚÌÀ,
  ÆüËÜ¿ô³Ø²ñ2013ǯÅÙ½©µ¨Áí¹çʬ²Ê²ñ ±þÍÑ¿ô³Øʬ²Ê²ñ¹Ö±é¥¢¥Ö¥¹¥È¥é¥¯¥È, pp. 195-198, °¦É²Âç³Ø, ¾¾»³»Ô, 2013ǯ9·î24Æü¡Á9·î27Æü.
  ȯɽÆü: 2013.9.27.

• ÌÚ²¼ Éðɧ, ÅÏÉô Á±Î´, ÃæÈø ½¼¹¨:
  Âʱ߷¿ÊÐÈùʬºîÍÑÁǤËÂФ¹¤ëµÕºîÍÑÁÇɾ²Á¤Î¸úΨ²½,
  ÆüËܱþÍÑ¿ôÍý³Ø²ñ2013ǯÅÙǯ²ñ¹Ö±éͽ¹Æ½¸, pp.405-406, ¥¢¥¯¥í¥¹Ê¡²¬, Ê¡²¬»Ô, 2013ǯ9·î9Æü¡Á9·î11Æü.
  ȯɽÆü: 2013.9.10.

• ÅÏÉô Á±Î´, Æ£¸¶ ¹¨»Ö, ÃæÈø ½¼¹¨:
  exflib¤Ë¤è¤ëÊ¿¹ÔPoiseuilleή¤ì¤ÎÉÔ°ÂÄêÀ­²òÀϤιâÀºÅÙ²½,
  ÆüËܱþÍÑ¿ôÍý³Ø²ñ2013ǯÅÙǯ²ñ¹Ö±éͽ¹Æ½¸, pp.4-5, ¥¢¥¯¥í¥¹Ê¡²¬, Ê¡²¬»Ô, 2013ǯ9·î9Æü¡Á9·î11Æü.
  ȯɽÆü: 2013.9.9.

• ÅÏÉô Á±Î´:
  ¸íº¹¤È»Äº¹¤Î¤¢¤¤¤À¤Ë,
  Áá°ðÅÄÂç³ØÍý¹©³Ø½Ñ±¡Áí¹ç¸¦µæ½ê¼çºÅ ÀºÅÙÊݾÚÉÕ¤­¿ôÃÍ·×»»¥ï¡¼¥¯¥·¥ç¥Ã¥×, ¥¢¥¯¥í¥¹Ê¡²¬, Ê¡²¬»Ô, 2013ǯ9·î9Æü¡Á9·î10Æü.
  ȯɽÆü: 2013.9.9.

• ÌÚ²¼ Éðɧ¡¤ÅÏÉô Á±Î´¡¤ÃæÈø ½¼¹¨:
  Âʱ߷¿ÊÐÈùʬºîÍÑÁǤβĵÕÀ­¤Î¸¡¾Ú¤Ë¤Ä¤¤¤Æ,
  ÆüËÜ¿ô³Ø²ñ2013ǯÅÙǯ²ñ, µþÅÔÂç³Ø¡¤2013ǯ3·î20Æü¡Á23Æü.
  ȯɽÆü: 2013.3.22.

• ÅÏÉô Á±Î´, ¾®ÎÓ ·òÂÀ:
  KolmogorovÌäÂê¤Î·×»»µ¡±çÍѾÚÌÀ¤Ë¤ª¤±¤ëºÇÂçÃͥΥë¥àɾ²Á¤Î²þÁ±¤Ë¤Ä¤¤¤Æ,
  ÆüËܱþÍÑ¿ôÍý³Ø²ñ2013ǯ¸¦µæÉô²ñÏ¢¹çȯɽ²ñ, ÅìÍÎÂç³Ø, 2013ǯ3·î14Æü¡Á15Æü.
  ȯɽÆü: 2013.3.15.

• ÅÏÉô Á±Î´:
  exflib¤Î¿ÇÜŶè´Ö±é»»´Ä¶­¤òÍѤ¤¤¿ÀºÅÙÊݾÚ(¤ÎÃæ´ÖÊó¹ð),
  ¿ÇÜĹÀºÅÙ·×»»¥Õ¥©¡¼¥é¥à Âè3²ó¸¦µæ²ñ,
  ¹©³Ø±¡Âç³Ø, 2013ǯ3·î8Æü.

• ÅÏÉô Á±Î´:
  ÀºÅÙÊݾڤÈHPC,
  2013ǯ¥Ï¥¤¥Ñ¥Õ¥©¡¼¥Þ¥ó¥¹¥³¥ó¥Ô¥å¡¼¥Æ¥£¥ó¥°¤È·×»»²Ê³Ø¥·¥ó¥Ý¥¸¥¦¥à(HPCS2013),
  ¥·¥ó¥Ý¥¸¥¦¥àÏÀʸ½¸, pp. 120, Åìµþ¹©¶ÈÂç³Ø, 2013ǯ1·î15Æü¡Á16Æü.[¾·ÂÔ¹Ö±é]
  ȯɽÆü: 2013.1.16.

• Yoshitaka Watanabe:
  A multiple-precision interval arithmetic library and its applications to fluid dynamics,
  International workshop on HPC (High performane computing), Krylov subspace method and its applications,
  Beppu B-con plaza, Oita, Japan, January 13-14, 2013.
  ȯɽÆü: 2013.1.14.

• ÅÏÉô Á±Î´:
  KolmogorovÌäÂê¤ÎÄê¾ï²ò¤ËÂФ¹¤ëÀºÅÙÊݾÚÉÕ¤­¿ôÃÍ·×»»,
  ±þÍÑ¿ô³Ø¹çƱ¸¦µæ½¸²ñÊó¹ð½¸ pp. 202-205, ζëÂç³Ø, 2012ǯ12·î20Æü¡Á22Æü.
  ȯɽÆü: 2012.12.21.

• ÅÏÉô Á±Î´, ÌÚ²¼ Éðɧ, ÃæÈø ½¼¹¨:
  An improvement of a theorem for inverse operators in linear elliptic partial differential equations,
  ´ÄÀ¥¸ÍÆâ¥ï¡¼¥¯¥·¥ç¥Ã¥×, Áí¹ç²ñ´Û¡¦¥Õ¥ì¥È¥Ô¥¢¥Û¡¼¥ë, ¹áÀ¾®Æ¦·´ÅÚ¾±Ä®, 2012ǯ11·î16Æü¡Á11·î18Æü.
  ȯɽÆü: 2012.11.16.

• ÅÏÉô Á±Î´:
  ¥³¥ë¥â¥´¥í¥Õή¤Îʬ´ô²ò¤ËÂФ¹¤ë·×»»µ¡±çÍѾÚÌÀ(¤ÎÂè°ìÊâ),
  ¶å½£Âç³Ø¿ôÃͲòÀϳإ»¥ß¥Ê¡¼, ¶å½£Âç³Ø, 2012ǯ10·î16Æü.
  

• ÅÏÉô Á±Î´, ÃæÈø ½¼¹¨:
  Àþ·ÁºîÍÑÁǤËÂФ¹¤ë²ÄµÕÀ­¤Î¸¡¾Ú¤ÈÀºÅÙÊݾÚÉÕ¤­¥Î¥ë¥àɾ²Á,
  ÆüËÜ¿ô³Ø²ñ2012ǯÅÙ½©µ¨Áí¹çʬ²Ê²ñ ±þÍÑ¿ô³Øʬ²Ê²ñ¹Ö±é¥¢¥Ö¥¹¥È¥é¥¯¥È, pp. 171-172, 2012ǯ9·î18Æü¡Á9·î21Æü.
  ȯɽÆü: 2012.9.21.

• ÅÏÉô Á±Î´:
  ÃæÈøÍýÏÀºÆˬ--KolmogorovÌäÂê¤Î¾ì¹ç--,
  ´ÄÀ¥¸ÍÆâ¥ï¡¼¥¯¥·¥ç¥Ã¥×, ¥¢¥¯¥í¥¹Ê¡²¬602²ñµÄ¼¼, Ê¡²¬»Ô, 2012ǯ9·î7Æü¡Á9·î8Æü.
  ȯɽÆü: 2012.9.8.

• ÅÏÉô Á±Î´, ÃæÈø ½¼¹¨:
  ̵¸Â¼¡¸µÀþ·ÁºîÍÑÁǤËÂФ¹¤ëÀºÅÙÊݾÚÉÕ¤­¥Î¥ë¥àɾ²Á,
  ÆüËܱþÍÑ¿ôÍý³Ø²ñ2012ǯÅÙǯ²ñ¹Ö±éͽ¹Æ½¸, pp.231-232, ÃÕÆâÁ´Æü¶õ¥Û¥Æ¥ë, ÃÕÆâ»Ô, 2012ǯ8·î28Æü¡Á9·î2Æü.
  ȯɽÆü: 2012.8.31.

• ÅÏÉô Á±Î´, Ĺƣ ¤«¤ª¤ê, Michael Plum, ÃæÈø ½¼¹¨:
  ̵¸Â¼¡¸µºîÍÑÁǤËÂФ¹¤ë¸ÇÍ­Ãͤνü³°ÍýÏÀ¤ÈÀºÅÙÊݾÚÉÕ¤­¿ôÃÍ·×»»,
  ¶å½£Âç³Ø¿ôÃͲòÀϳإ»¥ß¥Ê¡¼, ¶å½£Âç³Ø, 2012ǯ4·î24Æü.
  

• ÅÏÉô Á±Î´, Æ£¸¶ ¹¨»Ö:
  exflib¤Ë¤ª¤±¤ë¿ÇÜŶè´Ö±é»»Fortran¥¤¥ó¥¿¡¼¥Õ¥§¡¼¥¹¤È¤½¤Î±þÍÑ,
  ÆüËܱþÍÑ¿ôÍý³Ø²ñ2012ǯ¸¦µæÉô²ñÏ¢¹çȯɽ²ñ, ¶å½£Âç³Ø, 2012ǯ3·î8Æü¡Á9Æü.
  ȯɽÆü: 2012.3.8.

• Yoshitaka Watanabe:
  Computer-assisted stability and instability proofs for the Orr-Sommerfeld problem with Poiseuille flow,
  Workshop on "Avoided? Crossing of Eigenvalue Curves" --Non-commutative Harmonic Oscillator, Special Functions and Number Theory--,
  Kyushu University, March 7-9, 2012.
  ȯɽÆü: 2012.3.7.

• ÅÏÉô Á±Î´, Ĺƣ ¤«¤ª¤ê, Michael Plum, ÃæÈø ½¼¹¨:
  ̵¸Â¼¡¸µºîÍÑÁǤËÂФ¹¤ë¸ÇÍ­Ãͤη׻»µ¡±çÍÑÈó¸ºß¾ÚÌÀ,
  ±þÍÑ¿ô³Ø¹çƱ¸¦µæ½¸²ñÊó¹ð½¸ pp.188-191, ζëÂç³Ø, 2011ǯ12·î.
  ȯɽÆü: 2011.12.16.

• ÅÏÉô Á±Î´:
  Ã༡ȿÉü¤Ë´ð¤Å¤¯´Ø¿ôÊýÄø¼°¤ÎÀºÅÙÊݾÚÉÕ¤­¿ôÃÍ·×»»,
  ¸¦µæ½¸²ñ:¡Ö²Ê³Ø·×»»¤Î¿®ÍêÀ­¤È¤½¤Î¼þÊդ˴ؤ¹¤ë¥ï¡¼¥¯¥·¥ç¥Ã¥×¡×, À¾³¤¹ñΩ¸ø±à¶å½½¶åÅç¥Ó¥¸¥¿¡¼¥»¥ó¥¿¡¼, º´À¤ÊÝ»Ô, 2011ǯ11·î24Æü¡Á26Æü. ȯɽÆü: 2011.11.24.

• ÅÏÉô Á±Î´¡¤ÌÚ²¼ Éðɧ, ÃæÈø ½¼¹¨:
  Orr-SommerfeldÊýÄø¼°¤ËÂФ¹¤ë¶É½ê°ì°ÕÀ­ÉÕ¤­·×»»µ¡±çÍѾÚÌÀ,
  ÆüËÜ¿ô³Ø²ñ2011ǯÅÙ½©µ¨Áí¹çʬ²Ê²ñ ±þÍÑ¿ô³Øʬ²Ê²ñ¹Ö±é¥¢¥Ö¥¹¥È¥é¥¯¥È, pp. 146-147, ¿®½£Âç³Ø¡¤2011ǯ9·î28Æü¡Á10·î1Æü.
  ȯɽÆü: 2011.10.1.

• ÌÚ²¼ Éðɧ¡¤ÅÏÉô Á±Î´¡¤ÃæÈø ½¼¹¨:
  Àþ·ÁÂʱ߷¿ÊÐÈùʬºîÍÑÁǤεպîÍÑÁǤËÂФ¹¤ë»ö¸å¸íº¹É¾²Á¤Ë¤Ä¤¤¤Æ,
  ÆüËÜ¿ô³Ø²ñ2011ǯÅÙ½©µ¨Áí¹çʬ²Ê²ñ ±þÍÑ¿ô³Øʬ²Ê²ñ¹Ö±é¥¢¥Ö¥¹¥È¥é¥¯¥È, pp. 142-145, ¿®½£Âç³Ø¡¤2011ǯ9·î28Æü¡Á10·î1Æü.
  ȯɽÆü: 2011.10.1.

• Yoshitaka Watanabe:
  Computer-assisted proof for functional equations based on infinite dimensional sequential iteration,
  Japanese-German Workshop on Computer-Assisted Proofs and Verification Methods, Karlsruhe Institute of Technology, Germany, September 18-22, 2011.
  ȯɽÆü: 2011.9.22.

• ÌÚ²¼ Éðɧ, ÅÏÉô Á±Î´, ÃæÈø ½¼¹¨:
  Àþ·ÁÂʱ߷¿ÊÐÈùʬºîÍÑÁǤεպîÍÑÁǤËÂФ¹¤ë¹âÀºÅ٤ʻö¸åɾ²Á¤Ë¤Ä¤¤¤Æ,
  ÆüËܱþÍÑ¿ôÍý³Ø²ñ2011ǯÅÙǯ²ñ¹Ö±éͽ¹Æ½¸, pp.345-346, Ʊ»Ö¼ÒÂç³Ø, 2011ǯ9·î14Æü¡Á16Æü.
  ȯɽÆü: 2011.9.16.

• ÅÏÉô Á±Î´:
  Ã༡ȿÉü¤Ë´ð¤Å¤¯´Ø¿ôÊýÄø¼°¤Î·×»»µ¡±çÍѾÚÌÀ,
  ÆüËܱþÍÑ¿ôÍý³Ø²ñ2011ǯÅÙǯ²ñ¹Ö±éͽ¹Æ½¸, pp.341-342, Ʊ»Ö¼ÒÂç³Ø, 2011ǯ9·î14Æü¡Á16Æü.
  ȯɽÆü: 2011.9.16.

• ÅÏÉô Á±Î´:
  ÈùʬÊýÄø¼°¤ÎÀºÅÙÊݾÚÉÕ¤­¿ôÃÍ·×»»,
  ¸¦µæ½¸²ñ: ²ÄÀÑʬ·Ï¿ôÍý¤Î¿Ê²½, µþÅÔÂç³Ø¿ôÍý²òÀϸ¦µæ½ê, 2011ǯ8·î17Æü¡Á19Æü.
  ȯɽÆü: 2011.8.18.

• Shuting Cai, Ĺƣ ¤«¤ª¤ê, ÅÏÉô Á±Î´:
  An enclosure method for solutions of FitzHugh-Nagumo equation,
  ±þÍÑ¿ô³Ø¹çƱ¸¦µæ½¸²ñÊó¹ð½¸ pp.197-198, ζëÂç³Ø, 2010ǯ12·î.
  ȯɽÆü: 2010.12.16.

• ÅÏÉô Á±Î´:
  ̵¸Â¼¡¸µ¸ÇÍ­ÃÍÌäÂê¤ËÂФ¹¤ë¸ÇÍ­Ãͤνü³°Ë¡,
  ¸¦µæ½¸²ñ:¡Ö¿ôÃͲòÀϤȷ׻»¤Î¿®ÍêÀ­É¾²Á¡×, ¥Ï¥¦¥¹¥Æ¥ó¥Ü¥¹, ¥æ¥È¥ì¥Ò¥È, º´À¤ÊÝ»Ô, 2010ǯ11·î21Æü¡Á23Æü. ȯɽÆü: 2010ǯ11·î23Æü

• Yoshitaka Watanabe:
  A self-validating norm computation of inverse for infinite dimensional linear operators and its applications,
  14th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2010), September 27-30, 2010, ENS de Lyon, France. [invited talk] ȯɽÆü: 2010ǯ9·î30Æü

• ÅÏÉô Á±Î´¡¤Ä¹Æ£ ¤«¤ª¤ê, ÃæÈø ½¼¹¨:
  È󼫸ʶ¦ÌòºîÍÑÁǤËÂФ¹¤ë¸ÇÍ­Ãͤνü³°Ë¡,
  ÆüËܱþÍÑ¿ôÍý³Ø²ñ2010ǯÅÙǯ²ñ, ÌÀ¼£Âç³Ø, 2010ǯ9·î8Æü. [ÆÃÊֱ̹é]

• ÅÏÉô Á±Î´:
  MATLAB¤ÇÊÐÈùʬÊýÄø¼°¤ÎÀºÅÙÊÝ¾Ú¥×¥í¥°¥é¥à¤òºî¤Ã¤Æ¤ß¤Þ¤·¤¿,
  ¶å½£Âç³Ø¿ôÃͲòÀϳإ»¥ß¥Ê¡¼, ¶å½£Âç³ØÂç³Ø±¡¿ôÍý³Ø¸¦µæ±¡, 2010ǯ7·î27Æü.
  

• Kaori Nagatou and Yoshitaka Watanabe:
  Computer assisted proofs for partial differential equations,
  Seminar at University of Kent, UK. 2010.3.31.

• Yoshitaka Watanabe:
  Computer-assisted existence proofs with local uniqueness for the Orr-Sommerfeld problem,
  International Workshop on Numerical Verification and its Applications 2010 (INVA2010), March 10-15, 2010, Hotel Lido Azzurro, Hachijyo Island, Tokyo, Japan.
  ȯɽÆü: 2010.3.11.

• ÅÏÉô Á±Î´¡¤ÌÚ²¼ Éðɧ:
  Legendre¿¹à¼°¤òÍѤ¤¤¿¹âÀºÅÙÉʼÁÊݾڨ¡¤ª¤è¤Ó¤½¤Î²ÝÂꨡ,
  ÆüËܱþÍÑ¿ôÍý³Ø²ñ2010ǯ¸¦µæÉô²ñÏ¢¹çȯɽ²ñ, ÃÞÇÈÂç³Ø¡¤2010ǯ3·î.
  ȯɽÆü: 2010.3.8.

• ÅÏÉô Á±Î´, ÃæÈø ½¼¹¨, Michael Plum, Ĺƣ ¤«¤ª¤ê:
  ¤¢¤ëÈ󼫸ʶ¦ÌòºîÍÑÁǤÎÊ£ÁǸÇÍ­Ãͤνü³°¤ËÂФ¹¤ë¿ôÃÍŪ¸¡¾ÚË¡ II,
  ±þÍÑ¿ô³Ø¹çƱ¸¦µæ½¸²ñÊó¹ð½¸ pp.133-134, ζëÂç³Ø, 2009ǯ12·î.
  ȯɽÆü: 2009.12.17.

• ÅÏÉô Á±Î´:
  Orr-SommerfeldÌäÂê¤Î²ò¤ËÂФ¹¤ë¶É½ê°ì°ÕÀ­ÉÕ¤­¿ôÃÍŪ¸¡¾Ú,
  ¸¦µæ½¸²ñ:¡Ö¿ôÃͲòÀϤθ½¾õ¤ÈŸ˾¡×¨¡¶å½£Âç³Ø¿ôÃͲòÀÏ¥»¥ß¥Ê¡¼¤È¤½¤Î¶¨ÎϼԤ«¤é¤Îȯ¿®¨¡, ¸øΩ¤Ï¤³¤À¤Æ̤ÍèÂç³Ø, 2009ǯ11·î.
  ȯɽÆü: 2009.11.22.

• ÅÏÉô Á±Î´¡¤ÃæÈø ½¼¹¨¡¤Michael Plum, Ĺƣ ¤«¤ª¤ê:
  Orr-Sommerfeld ÊýÄø¼°¤ÎÊ£ÁǸÇÍ­Ãͤνü³°¤ËÂФ¹¤ë·×»»µ¡±çÍѾÚÌÀ,
  ÆüËܱþÍÑ¿ôÍý³Ø²ñ2009ǯÅÙǯ²ñ, ÂçºåÂç³Ø, 2009ǯ9·î30Æü.

• ÌÚ²¼ Éðɧ¡¤ÅÏÉô Á±Î´¡¤ÃæÈø ½¼¹¨:
  Âʱ߷¿ºîÍÑÁǤεպîÍÑÁǤκîÍÑÁǥΥë¥à¤Îɾ²Á¤Î²þÎɤˤĤ¤¤Æ,
  ÆüËÜ¿ô³Ø²ñ2009ǯÅÙ½©µ¨Áí¹çʬ²Ê²ñ, ÂçºåÂç³Ø¡¤2009ǯ9·î26Æü.

• Kaori Nagatou, Malcolm Brown, Myoungnyoun Kim, Yoshitaka Watanabe and Ian Wood:
  Spectral problem for 3-D photonic crystals, Proceedings of the international Conference on Numerical Analysis and Applied Mathematics 2009 (ICNAAM-2009), September 18-22, Rethymno, Crete, Greece. AIP Conference Proceedings Vol.1168, pp.922-925, 2009.
  ȯɽÆü: 2009.09.21

• ÅÏÉô Á±Î´:
  Ç®ÂÐήÌäÂê¤ÎÀºÅÙÊݾڡݷ׻»¤ÎÉʼÁɾ²Á¡Ý,
  ¶å½£Âç³Ø»º¶È¿ôÍý¸¦µæ¥»¥ó¥¿¡¼ Âè7²ó¥ï¡¼¥¯¥·¥ç¥Ã¥×, 2009ǯ9·î3Æü.
  

• Yoshitaka Watanabe:
  An eigenvalue excluding method for the Orr-Sommerfeld problem,
  International Conference on Engineering and Computational Mathematics (ECM2009) May 27-29, 2009, The Hong Kong Polytechnic University, Hong Kong, China.
  ȯɽÆü: 2009.5.27.

• ÅÏÉô Á±Î´:
  ·×»»µ¡±çÍѾÚÌÀ¤Ë¤è¤ëʹÔPoiseuilleή¤ì¤Î°ÂÄêÀ­¡¦ÉÔ°ÂÄêÀ­²òÀÏ,
  ¶å½£Âç³Ø¿ôÃͲòÀϳإ»¥ß¥Ê¡¼, ¶å½£Âç³ØÂç³Ø±¡¿ôÍý³Ø¸¦µæ±¡, 2009ǯ4·î28Æü.
  

• Yoshitaka Watanabe:
  A verified eigenvalue excluding method for the Orr-Sommerfeld problem with Poiseuille flow,
  International Workshop on Numerical Verification and its Applications 2009 (INVA2009), March 22-29, 2009, Hotel Breeze Bay Marina, Miyako Island, Japan.
  ȯɽÆü: 2009.3.24.

• Yoshitaka Watanabe:
  A computer-assisted stability proof for the Orr-Sommerfeld problem with Poiseuille flow,
  International workshop on verified computations and related topics, March 7-10, 2009, University of Karlsruhe (TH), Germany.
  COE Lecture Note, Vol.15, Faculty of Mathematics, Kyushu University, pp.122-123.
  ȯɽÆü: 2009.3.8.

• Kaori Nagatou, Malcolm Brown, Myoungnyoun Kim, Yoshitaka Watanabe, Ian Wood, Michael Plum and Mitsuhiro T. Nakao:
  Spectral problem on 3-D Maxwell's equations,
  International workshop on verified computations and related topics, March 7-10, 2009, University of Karlsruhe (TH), Germany. COE Lecture Note, Vol.15, Faculty of Mathematics, Kyushu University, pp.64-71.
  ȯɽÆü: 2009.3.8.

• ÅÏÉô Á±Î´, ÃæÈø ½¼¹¨, Michael Plum, Ĺƣ ¤«¤ª¤ê:
  ¤¢¤ëÈ󼫸ʶ¦ÌòºîÍÑÁǤÎÊ£ÁǸÇÍ­Ãͤνü³°¤ËÂФ¹¤ë¿ôÃÍŪ¸¡¾ÚË¡,
  ±þÍÑ¿ô³Ø¹çƱ¸¦µæ½¸²ñÊó¹ð½¸ pp.163-166, ζëÂç³Ø, 2008ǯ12·î.

• Æþ¹¾ ·¼°ì, ƣ¼ ľÈþ, ÅÏÉô Á±Î´, ÉÙ»³ ¼Â, »°±º À¿, ¾åÅÄ ¾­»Ì, ¹âÌÚ ÁáÃÒ»Ò, ÃçÅÄ ÆàÍý»Ò, ¼ò°æ ·òÄ÷:
  ¥³¥ó¥Ô¥å¡¼¥¿¥½¥Õ¥È¥¦¥§¥¢¤Î¥­¥ã¥ó¥Ñ¥¹¥é¥¤¥»¥ó¥¹²½¤Ë¤è¤ë·ÐÈñºï¸º¸ú²Ì¤Ë¤Ä¤¤¤Æ,
  Ê¿À®20ǯÅÙ¾ðÊ󶵰鸦µæ½¸²ñ, Ë̶彣»Ô, 2008ǯ12·î.

• ¾åÅÄ ¾­»Ì, ƣ¼ ľÈþ, ÅÏÉô Á±Î´, Æþ¹¾ ·¼°ì, ÉÙ»³ ¼Â, »°±º À¿, ¹âÌÚ ÁáÃÒ»Ò, ÃçÅÄ ÆàÍý»Ò, ¼ò°æ ·òÄ÷:
  ¥Þ¥¤¥¯¥í¥½¥Õ¥È¥­¥ã¥ó¥Ñ¥¹¥¢¥°¥ê¡¼¥á¥ó¥È¤Ë¤ª¤±¤ë¥½¥Õ¥È¥¦¥§¥¢ÇÛÉÛ,
  Á´¹ñ¶¦Æ±ÍøÍѾðÊó´ðÈ×¥»¥ó¥¿¡¼¸¦µæ³«È¯ÏÀʸ½¸, No.30, pp.69-76, 2008ǯ11·î.

• ÅÏÉô Á±Î´:
  Orr-SommerfeldÊýÄø¼°¤Î¸ÇÍ­ÃͤËÂФ¹¤ë·×»»µ¡±çÍÑÈó¸ºß¾ÚÌÀ,
  ´ðÈ×(S)¹çƱ¸¦µæ½¸²ñ¡Öή¤ìÌäÂê¤Î¤¿¤á¤Î¹âÉʼÁ¿ôÃͲòË¡¤È·×»»µ¡±çÍѲòÀÏ³Ø¡× KKR¥Û¥Æ¥ë¶âÂô 2008ǯ11·î.

• Kaori Nagatou, Yoshitaka Watanabe, Shigeki Yamamoto and Takehiko Kinoshita:
  Validated computations for elliptic systems of FitzHugh-Nagumo type,
  13th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2008), September 29 - October 3, 2008, El Paso, USA.

• Ĺƣ ¤«¤ª¤ê¡¤ÅÏÉô Á±Î´¡¤»³ËÜ À®¼ù¡¤ÌÚ²¼ Éðɧ:
  FitzHugh-Nagumo ·¿È¿±þ³È»¶ÊýÄø¼°·Ï¤ËÂФ¹¤ë¿ôÃÍŪ¸¡¾ÚË¡,
  ÆüËÜ¿ô³Ø²ñ2008ǯÅÙ½©µ¨Áí¹çʬ²Ê²ñ, Åìµþ¹©¶ÈÂç³Ø¡¤2008ǯ9·î.

• ÅÏÉô Á±Î´¡¤Ä¹Æ£ ¤«¤ª¤ê¡¤»³ËÜ À®¼ù¡¤ÌÚ²¼ Éðɧ:
  FitzHugh-Nagumo·¿È¿±þ³È»¶ÊýÄø¼°·Ï¤ËÂФ¹¤ëÀºÅÙÊݾÚÉÕ¤­¿ôÃÍ·×»»,
  ÆüËܱþÍÑ¿ôÍý³Ø²ñ2008ǯÅÙǯ²ñ, ÅìµþÂç³Ø, 2008ǯ9·î.

• ÃæÈø ½¼¹¨, ÅÏÉô Á±Î´:
  ̵¸Â¼¡¸µÈóÀþ·Á¥·¥¹¥Æ¥à¤ÎÀºÅÙÊݾÚÉÕ¤­¥Ñ¥é¥á¡¼¥¿Æ±Ä굻ˡ¤Ë¤Ä¤¤¤Æ,
  »º¶Èµ»½Ñ¿ôÍý¸¦µæ¥»¥ó¥¿¡¼Âè4²ó¥ï¡¼¥¯¥·¥ç¥Ã¥×, ¶å½£Âç³Ø, 2008ǯ9·î.

• ÅÏÉô Á±Î´:
  ²Ê³Øµ»½Ñ·×»»¤ÎÉʼÁÊݾÚ,
  Àè¶îŪ²Ê³Ø·×»»¤Ë´Ø¤¹¤ë¥Õ¥©¡¼¥é¥à2008¡Á¹âÀºÅÙ¡¦Â¿ÇÜĹ·×»»¡Á, ¶å½£Âç³Ø, 2008ǯ8·î.

• ÅÏÉô Á±Î´:
  ²ò¤±¤¿¤é¤¦¤ì¤·¤¤Àþ·ÁÊýÄø¼°,
  ·×»»¹©³Ø¹Ö±é²ñÏÀʸ½¸ Vol.13, pp.697-700, ÀçÂæ»Ô̱²ñ´Û, 2008ǯ5·î.

• ÅÏÉô Á±Î´, Michael Plum, Ĺƣ ¤«¤ª¤ê, ÃæÈø ½¼¹¨:
  A computer-assisted instability proof for the plane Poiseuille flow,
  ±þÍÑ¿ô³Ø¹çƱ¸¦µæ½¸²ñÊó¹ð½¸ pp.198-199, ζëÂç³Ø, 2007ǯ12·î.

• Yoshitaka Watanabe:
  Computer assisted proofs of solutions for nonlinear heat convection problems,
  International Workshop on Numerical Verification and its Applications (INVA2008), March 1-7, 2008, Tokyo Dai-ichi Hotel Okinawa Grand Mer Resort.
  (invited)

• ÅÏÉô Á±Î´, Michael Plum, Ĺƣ ¤«¤ª¤ê, ÃæÈø ½¼¹¨:
  A computer-assisted instability proof for the plane Poiseuille flow,
  ±þÍÑ¿ô³Ø¹çƱ¸¦µæ½¸²ñÊó¹ð½¸ pp.198-199, ζëÂç³Ø, 2007ǯ12·î.

• ÅÏÉô Á±Î´:
  ¥»¥ó¥¿¡¼·×»»µ¡·²¤ËÂФ¹¤ë¼Â¥¢¥×¥ê¥±¡¼¥·¥ç¥ó¤Ë¨¤·¤¿À­Ç½É¾²Á,
  RIIT¥Õ¥©¡¼¥é¥à2007 (2007ǯÅÙ ¶å½£Âç³Ø¾ðÊó´ðÈ׸¦µæ³«È¯¥»¥ó¥¿¡¼¸¦µæȯɽ²ñ), ¶å½£Âç³Øα³ØÀ¸¥»¥ó¥¿¡¼¹ñºÝ¥Û¡¼¥ë, 2007ǯ12·î.

• Yoshitaka Watanabe:
  Some computer-assisted proofs for nonlinear heat convection problems,
  2007 Taiwan-Japan Joint workshop on Numerical Analysis and Scientific Computation, November 30-December 2, 2007, Institute of Mathematics, Academia Sinica, Nankang, Taipei, the Republic of China. Program and Abstracts pp.17.

• ÅÏÉô Á±Î´:
  ÊÂ¹Ô Poiseuille ή¤ì¤Î°ÂÄêÀ­¤Ë´Ø¤¹¤ë·×»»µ¡±çÍѲòÀÏ,
  ¸¦µæ½¸²ñ¡¦Î®¤ìÌäÂê¤Î¤¿¤á¤Î¹âÉʼÁ¿ôÃͲòË¡¤ÈÀºÅÙÊݾڷ׻», Å纬¸©Ì±²ñ´Û, ¾¾¹¾»Ô, 2007ǯ11·î.

• ÅÏÉô Á±Î´:
  È¿±þ³È»¶ÊýÄø¼°·Ï¤Î²ò¤ËÂФ¹¤ë·×»»µ¡±çÍѾÚÌÀ,
  ¶å½£Âç³Ø¿ôÃͲòÀϳإ»¥ß¥Ê¡¼, ¶å½£Âç³ØÂç³Ø±¡¿ôÍý³Ø¸¦µæ±¡, 2007ǯ10·î.

• Yoshitaka Watanabe:
  A computer-assited proof of solutions for an elliptic system of reaction-diffusion equations,
  ¡ÖÀºÅÙÊݾÚÉÕ¤­¿ôÃÍ·×»»¤È¤½¤Î¼þÊաץ¥¯¥·¥ç¥Ã¥×, ´ôÉìÂç³ØÃÏ°è²Ê³ØÉô¡¤2007ǯ10·î.

• ÅÏÉô Á±Î´:
  ¤¢¤ëÈ¿±þ³È»¶ÊýÄø¼°·Ï¤ËÂФ¹¤ëÀºÅÙÊݾÚÉÕ¤­¿ôÃÍ·×»»,
  ÆüËÜ¿ô³Ø²ñ2007ǯÅÙ½©µ¨Áí¹çʬ²Ê²ñ, ±þÍÑ¿ô³Øʬ²Ê²ñ¹Ö±é¥¢¥Ö¥¹¥È¥é¥¯¥È, pp155-158, ÅìËÌÂç³Ø¡¤2007ǯ9·î.

• ÅÏÉô Á±Î´:
  ÂоÎÁ¹ÔÎó¤ÎÀºÅÙÊݾÚÉÕ¤­ÀµÄêÃÍȽÄê·×»»¤Ë¤ª¤±¤ë¥ª¡¼¥À¥ê¥ó¥°¤Î¸úÍÑ,
  ÆüËܱþÍÑ¿ôÍý³Ø²ñ2007ǯÅÙǯ²ñ¹Ö±éͽ¹Æ½¸, pp224-225, Ë̳¤Æ»Âç³Ø, 2007ǯ9·î.

• Yoshitaka Watanabe, Myoungnyoun Kim, Mitsuhiro T. Nakao and Takaaki Nishida:
  A computer-assisted proof of solutions for three dimensional nonlinear heat convection problems,
  INSF2007: International Conference on Recent Developments of Numerical Schemes for Flow Problems, June 27-29, 2007, Kyushu University Nishijin Plaza. Book of Abstracts pp.159-162.

• ÅÏÉô Á±Î´:
  Á¹ÔÎó¤ËÂФ¹¤ëÀþ·ÁÊýÄø¼°¤ÎľÀܲòË¡¤òÍѤ¤¤¿¸ÇÍ­ÃÍ¡¦ÆðÛÃÍ·×»»,
  Âè2²ó·×»»²Ê³Ø¸¦µæ¥¹¥Æ¡¼¥·¥ç¥ó¸¦µæ½¸²ñ, Åŵ¤ÄÌ¿®Âç³Ø¾ðÊ󹩳زÊ, 2007ǯ3·î.

• Yoshitaka Watanabe:
  A computer-assisted proof of the existence of Bénard cells for the heat convection problems,
  International Workshop on Numerical Verification and its Applications (INVA2007), February 26-March 3, 2007, Waseda University.

• ÅÏÉô Á±Î´:
  Á¹ÔÎó¤ËÂФ¹¤ëϢΩ1¼¡ÊýÄø¼°¤ÎľÀܲòË¡¤ò±çÍѤ·¤¿¸ÇÍ­ÃÍ¡¦ÆðÛÃÍ·×»»,
  Âè11²ó¾ðÊó¡¦Åý·×²Ê³Ø¥·¥ó¥Ý¥¸¥¦¥à, ¶å½£Âç³Øα³ØÀ¸²ñ´Û¹ñºÝ¥Û¡¼¥ë, 2006ǯ12·î.

• ÅÏÉô Á±Î´, Myoungnyoun Kim, À¾ÅÄ ¹§ÌÀ, ÃæÈø ½¼¹¨:
  3¼¡¸µÇ®ÂÐήÌäÂê¤ËÂФ¹¤ë²ò¤Î¿ôÃÍŪ¸¡¾Ú¤Ë¤Ä¤¤¤Æ, ¸¦µæ½¸²ñ¡¦Î®¤ìÌäÂê¤Î¿ôÃͲòÀϤÈÀºÅÙÊݾÚÉÕ¤­¿ôÃÍ·×»», ¥Ö¥±Å쳤ÀŲ¬(ÀŲ¬»Ô), 2006ǯ11·î.

• Myoungnyoun Kim, Mitsuhiro T. Nakao, Yoshitaka Watanabe, Takaaki Nishida:
  A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Bénard problems,
  12th GAMM-IMACS International Symposion on Scientific Computing, Computer Arithmetic and Validated Numerics, September 26-29, 2006, Duisburg, Germany.

• Yoshitaka Watanabe:
  A numerical verification for the Kolmogorov flows of imcompressible viscous fluid,
  Proceedings of the international Conference on Numerical Analysis and Applied Mathematics 2006 (ICNAAM-2006), September 15-19, 2006, Hotel Belvedere Imperial, Hersonissos, Crete, Greece. ICNAAM-2006 Extended Abstracts, pp535-539.

• Myoungnyoun Kim, Mitsuhiro T. Nakao, Yoshitaka Watanabe, Takaaki Nishida:
  Some computer assisted proofs on three dimensional heat convection problems,
  Proceedings of 2006 International Symposium on Nonlinear Theory and its Applications (NOLTA 2006), pp.427-430, September 11-14, 2006, Bologna, Italy.

• Yoshitaka Watanabe:
  A computer-assisted proof for the Kolmogorov flows of imcompressible viscous fluid,
  Proceedings of 2006 International Symposium on Nonlinear Theory and its Applications (NOLTA 2006), pp.431-434, September 11-14, 2006, Bologna, Italy.

• ÅÏÉô Á±Î´:
  ÈóÂоÎÁ¹ÔÎó¤ËÂФ¹¤ëϢΩ1¼¡ÊýÄø¼°¤ÎľÀܲòË¡¤òÍѤ¤¤¿ÆðÛÃÍ·×»»,
  Âè10²ó´ÄÀ¥¸ÍÆâ±þÍÑ¿ôÍý¸¦µæÉô²ñ¥·¥ó¥Ý¥¸¥¦¥à¹Ö±éͽ¹Æ½¸, pp70-73, ²­Æ츩ÀÄǯ²ñ´Û, 2006ǯ7·î.

• ÅÏÉô Á±Î´, ÃæÈø ½¼¹¨, »³ËÜ Ìî¿Í, À¾ÅÄ ¹§ÌÀ:
  ·×»»µ¡±çÍѾÚÌÀ¤Ë¤è¤ëÇ®ÂÐήÌäÂê¤Îʬ´ôÅÀ¤Î¸ºß¸¡¾Ú,
  ¶å½£Âç³Ø¿ôÃͲòÀϳإ»¥ß¥Ê¡¼, ¶å½£Âç³ØÂç³Ø±¡¿ôÍý³Ø¸¦µæ±¡, 2006ǯ4·î.

• Yoshitaka Watanabe:
  A computer assisted proof of a symmetry-breaking bifurcation point for the Rayleigh-Bénard problem,
  Workshop on Numerical Analysis of Flow Problems and Validated Computations, November 20-22, 2005, Nagasaki Washington Hotel, Nagasaki, Japan.

• Mitsuhiro T. Nakao, Yoshitaka Watanabe, Nobito Yamamoto, Takaaki Nishida, Myoungnyoun Kim:
  Some Computer Assisted Proofs on the Bifurcation Structure of Solutions for Heat Convection Problems,
  2005 International Symposium on Nonlinear Theory and its Applications (NOLTA 2005), October 18-21, 2005, Bruges, Belgium.

• Yoshitaka Watanabe:
  A computer assisted proof of a bifurcation point for the heat convection problems,
  Algebraic and Numerical Algorithms and Computer-assisted Proofs, Schloss Dagstuhl, Germany, September, September, 2005.

• ÅÏÉô Á±Î´¡¤ÃæÈø ½¼¹¨¡¤»³ËÜ Ìî¿Í¡¤À¾ÅÄ ¹§ÌÀ:
  Ç®ÂÐήÌäÂê¤Îʬ´ôÅÀ¤ËÂФ¹¤ë·×»»µ¡±çÍѾÚÌÀ,
  ÆüËÜ¿ô³Ø²ñ2005ǯÅÙ½©µ¨Áí¹çʬ²Ê²ñ¡¤ ²¬»³Âç³Ø¡¤2005ǯ9·î.

• ÅÏÉô Á±Î´:
  ľÀܲòË¡¤Ë¤è¤ëÂ絬ÌÏÁ¹ÔÎó¤ËÂФ¹¤ëϢΩ1¼¡ÊýÄø¼°¥½¥ë¥Ð¡¼,
  ¶å½£Âç³Ø¿ôÃͲòÀϳإ»¥ß¥Ê¡¼, ¶å½£Âç³ØÂç³Ø±¡¿ôÍý³Ø¸¦µæ±¡, 2005ǯ6·î.
  ¥¹¥é¥¤¥É(PDF¥Õ¥¡¥¤¥ë; 742,773 bytes)

• ÅÏÉô Á±Î´:
  ·×»»µ¡»Ù±ç¾ÚÌÀ¤Ë¤è¤ëÇ®ÂÐήÌäÂê¤Ë¤ª¤±¤ëʬ´ô²ò¤ÎµóÆ°²òÀÏ,
  ´ðÈ׸¦µæ(S)¥ï¡¼¥¯¥·¥ç¥Ã¥× ¡Öή¤ìÌäÂê¤Î¤¿¤á¤Î¹âÉʼÁ¿ôÃͲòË¡¤Î³«È¯¤È²òÀϤȥ·¥ß¥å¥ì¡¼¥·¥ç¥ó¡×, ¼¯»ùÅçÂç³ØÍý³ØÉô, 2005ǯ3·î.

• Yoshitaka Watanabe, Michael Plum and Mitsuhiro T. Nakao:
  A Computer Assisted Proof for the Orr-Sommerfeld Problem,
  11th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2004), October 4-8, 2004, Fukuoka, Japan.

• Hideo Sakaguchi, Yoshitaka Watanabe and Hitoshi Imai:
  About Numerical Verification with Multiple Precision Computation,
  11th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2004), October 4-8, 2004, Fukuoka, Japan.

• ÅÏÉô Á±Î´, Ĺƣ¤«¤ª¤ê:
  KolmogorovÌäÂê¤ËÂФ¹¤ë·×»»µ¡±çÍѾÚÌÀ,
  ÆüËܱþÍÑ¿ôÍý³Ø²ñ2004ǯÅÙǯ²ñ¹Ö±éͽ¹Æ½¸, pp330-331, Ãæ±ûÂç³Ø, 2004ǯ9·î.

• ÅÏÉô Á±Î´:
  ¿ôÃÍ·×»»´Ä¶­¤Ë´Ø¤¹¤ëºÇ¶á¤ÎÏÃÂê,
  ¶å½£Âç³Ø¿ôÃͲòÀϳإ»¥ß¥Ê¡¼, ¶å½£Âç³ØÂç³Ø±¡¿ôÍý³Ø¸¦µæ±¡, 2004ǯ7·î.
  

• ÅÏÉô Á±Î´:
  ÀºÅÙÊݾÚÉÕ¤­¿ôÃÍ·×»»¤Î¥¨¥Ã¥»¥ó¥¹,
  µþÅÔÂç³ØÍý³ØÉô¿ô³Ø¶µ¼¼ÃÌÏòñ, 2004ǯ6·î.

• ÅÏÉô Á±Î´:
  ÀºÅÙÊݾÚÉÕ¤­¿ôÃÍ·×»»¤Î¥¨¥Ã¥»¥ó¥¹¡ÝÈùʬÊýÄø¼°ÊÔ¡Ý,
  2003ǯÅÙ¡¦·×»»¿ô³Ø¸¦µæ²ñ, ¥³¡¼¥ï¥Ñ¡¼¥¯¥Û¥Æ¥ëͳÉÛ±¡¶æ³ÚÉô, 2003ǯ10·î.
  ¥¹¥é¥¤¥É(PDF¥Õ¥¡¥¤¥ë; 743,953 bytes)

• ÅÏÉô Á±Î´, ÃæÈø ½¼¹¨, Michael Plum:
  Orr-SommerfeldÌäÂê¤ËÂФ¹¤ë¿ôÃÍŪ¸¡¾ÚË¡,
  ÆüËÜ¿ô³Ø²ñ2003ǯÅÙ½©µ¨Áí¹çʬ²Ê²ñ ±þÍÑ¿ô³Øʬ²Ê²ñ¹Ö±é¥¢¥Ö¥¹¥È¥é¥¯¥È, pp106-109, ÀéÍÕÂç³Ø, 2003ǯ9·î.

• ¾®¿¹ ¶¬, »³ËÜ Ìî¿Í, ÅÏÉô Á±Î´:
  È󼫸ʿïȼºîÍÑÁǤθÇÍ­ÃͤËÂФ¹¤ëÀºÅÙÊݾÚÉÕ¤­·×»»,
  ÆüËܱþÍÑ¿ôÍý³Ø²ñ2003ǯÅÙǯ²ñ¹Ö±éͽ¹Æ½¸, pp96-97, µþÅÔÂç³Ø, 2003ǯ9·î.

• ¶¶ËÜ ¹°¼£, ÅÏÉô Á±Î´, ÃæÈø ½¼¹¨:
  Àþ·ÁÂʱ߷¿ºîÍÑÁǤβĵÕÀ­¤Î¿ôÃÍŪ¸¡¾Ú¤È¤½¤ÎÈóÀþ·ÁÌäÂê¤Ø¤Î±þÍÑ,
  ÆüËܱþÍÑ¿ôÍý³Ø²ñ2003ǯÅÙǯ²ñ¹Ö±éͽ¹Æ½¸, pp100-101, µþÅÔÂç³Ø, 2003ǯ9·î.

• ÅÏÉô Á±Î´, Æ£Ìî À¶¼¡:
  persymmetric¹ÔÎó¤ËÂФ¹¤ëÈ¿Éü²òË¡¤Î¼ý«À­¤Ë¤Ä¤¤¤Æ,
  ÆüËܱþÍÑ¿ôÍý³Ø²ñ2003ǯÅÙǯ²ñ¹Ö±éͽ¹Æ½¸, pp138-139, µþÅÔÂç³Ø, 2003ǯ9·î.

• ÅÏÉô Á±Î´:
  ¿ÇÜĹ´Ø·¸¤ÎºÇ¶á¤Î·ë²Ì,
  ÆüËܱþÍÑ¿ôÍý³Ø²ñ2003ǯÅÙǯ²ñ¹Ö±éͽ¹Æ½¸, pp296-297, µþÅÔÂç³Ø, 2003ǯ9·î.
  ¥¹¥é¥¤¥É(PDF¥Õ¥¡¥¤¥ë; 287,267 bytes)

• ÅÏÉô Á±Î´:
  ÃÖ´¹¤Ä¤­ÂоιÔÎó¤ËÂФ¹¤ëÈ¿Éü²òË¡¤ÎŬÍÑ,
  ¸¦µæ½¸²ñ¡¦¿ôÃÍ·×»»¤Î¹âÅÙ²½¤È¹â¿®Íê²½¤Ë´Ø¤¹¤ë»¥Ëڥ¥¯¥·¥ç¥Ã¥×
  (Sapporo Workshop on High Performance and High Reliability Numerical Computation),
  Ë̳¤Æ»Å쳤Âç³Ø, 2003ǯ8·î.

• ¶¶ËÜ ¹°¼£, ÃæÈø ½¼¹¨, ÅÏÉô Á±Î´:
  Âʱ߷¿ºîÍÑÁǤβĵÕÀ­¤Î¿ôÃÍŪ¸¡¾Ú¤È¤½¤Î±þÍÑ,
  Âè8²ó°¤Çȥ¥¯¥·¥ç¥Ã¥× '03,
  ÆÁÅçÂç³Ø¹©³ØÉô, 2003ǯ8·î.

• ¶¶ËÜ ¹°¼£, ÃæÈø ½¼¹¨, ÅÏÉô Á±Î´:
  Âʱ߷¿ºîÍÑÁǤβĵÕÀ­¤Î¿ôÃÍŪ¸¡¾Ú¤È¤½¤Î±þÍÑ,
  ¶å½£Âç³Ø¿ôÃͲòÀϳإ»¥ß¥Ê¡¼, ¶å½£Âç³ØÂç³Ø±¡¿ôÍý³Ø¸¦µæ±¡, 2003ǯ6·î.

• ¶¶ËÜ ¹°¼£, °¤Éô ÎÉÊ¿, ÃæÈø ½¼¹¨, ÅÏÉô Á±Î´:
  ÈóÀþ·ÁÆðÛÀÝÆ°ÌäÂê¤Î²ò¤ËÂФ¹¤ë¿ôÃÍŪ¸¡¾ÚË¡,
  ÆüËÜ¿ô³Ø²ñ2003ǯÅÙǯ²ñ, ±þÍÑ¿ô³Øʬ²Ê²ñ¹Ö±é¥¢¥Ö¥¹¥È¥é¥¯¥È, pp124-125, ÅìµþÂç³Ø, 2003ǯ3·î.

• ÃæÈø ½¼¹¨, ÅÏÉô Á±Î´:
  Âʱ߷¿ÊýÄø¼°¤Î²ò¤Î¿ôÃÍŪ¸¡¾ÚË¡¤Î¸úΨ²½¤Ë¤Ä¤¤¤Æ,
  ±þÍÑ¿ô³Ø¹çƱ¸¦µæ½¸²ñÊó¹ð½¸ pp.117-122, ζëÂç³Ø, 2002ǯ12·î.

• Yoshitaka Watanabe, Nobito Yamamoto, Mitsuhiro T. Nakao and Takaaki Nishida:
  Numerical Enclosures for Nontrivial Solutions of the Heat Convection Problems,
  10th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2002), September 24-27, 2002, Paris, France.

• ÃæÈø ½¼¹¨, ÅÏÉô Á±Î´, ³§ËÜ ¹¸Ìï:
  ÀºÅÙÊݾÚÉÕ¤­²Ê³Øµ»½Ñ·×»»ÍÑ¥½¥Õ¥È¤Î¸½¾õ¤ÈÆ°¸þ,
  ÆüËܱþÍÑ¿ôÍý³Ø²ñ2002ǯÅÙǯ²ñ¹Ö±éͽ¹Æ½¸, ·Ä±þµÁ½ÎÂç³Ø, 2002ǯ9·î.

• ÃæÈø ½¼¹¨, ÅÏÉô Á±Î´:
  Âʱ߷¿ÊýÄø¼°¤Î²ò¤ËÂФ¹¤ë¿ôÃÍŪ¸¡¾ÚÊý¼°¤Î¸úΨ²½,
  ÆüËܱþÍÑ¿ôÍý³Ø²ñ2002ǯÅÙǯ²ñ¹Ö±éͽ¹Æ½¸, ·Ä±þµÁ½ÎÂç³Ø, 2002ǯ9·î.

• ÅÏÉô Á±Î´, ÃæÈø ½¼¹¨:
  Âʱ߷¿ÊýÄø¼°¤Î²ò¤Î¿ôÃÍŪ¸¡¾ÚË¡¤ËÂФ¹¤ë°ì¹Í»¡¤È¤½¤Î±þÍÑ,
  ¸¦µæ½¸²ñ¡¦¿ôÃÍ·×»»¤Î¹âÅÙ²½¤È¹â¿®Íê²½¤Ë´Ø¤¹¤ë¥ï¡¼¥¯¥·¥ç¥Ã¥×
  (Workshop on High Performance and High Reliability of Numerical Computation),
  ¹°Á°Âç³ØÍý¹©³ØÉô, 2002ǯ8·î. ¥¹¥é¥¤¥É(PDF¥Õ¥¡¥¤¥ë; 268,053 bytes)

• ÅÏÉô Á±Î´, ÃæÈø ½¼¹¨:
  Orr-SommerfeldÌäÂê¤Î²ò¤ËÂФ¹¤ë¿ôÃÍŪ¸¡¾Ú¤Ë¤Ä¤¤¤Æ,
  ¶å½£Âç³Ø¿ôÃͲòÀϳإ»¥ß¥Ê¡¼,
  ¶å½£Âç³ØÂç³Ø±¡¿ôÍý³Ø¸¦µæ±¡, 2002ǯ7·î.

• Mitsuhiro T. Nakao and Yoshitaka Watanabe,
  On the Rigorous Error Estimation in the Finite Element Methods and Its Applications,
  Sixth Japan-US International Symposium on Flow Simulation and Modeling (JUSIS 2002), Dedicated to Professor Mutsuto Kawahara for his 60th Birthday, May 29-31, 2002, Kyushu University Research and International Exchange Plaza, Fukuoka, Japan
  

• ÅÏÉô Á±Î´, »³ËÜ Ìî¿Í, ÃæÈø ½¼¹¨, À¾ÅÄ ¹§ÌÀ:
  Ç®ÂÐήÌäÂê¤ËÂФ¹¤ë·×»»µ¡±çÍѾÚÌÀ,
  ÆüËÜ¿ô³Ø²ñ2002ǯÅÙǯ²ñ, ±þÍÑ¿ô³Øʬ²Ê²ñ¹Ö±é¥¢¥Ö¥¹¥È¥é¥¯¥È, pp7-8, ÌÀ¼£Âç³Ø, 2002ǯ3·î.

• Yoshitaka Watanabe, Nobito Yamamoto, Mitsuhiro T. Nakao and Takaaki Nishida:
  A Computer Assisted Proof of Bifurcated Solutions for the Heat Convection Problem
  International Conference on Frontier of Applied Analysis --Fluid Dynamics and Pattern Formation-- (FOAA2001) in honor of 60th birthdays of Professors M.Mimura and T.Nishida December 3-7, 2001, Acros Fukuoka, Fukuoka, Japan
  (¾·ÂÔ¹Ö±é)

• ÅÏÉô Á±Î´:
  ÀºÅÙÊݾÚÉÕ¤­¿ôÃÍ·×»»¤Î¥¢¥¤¥Ç¥£¥¢¤ª¶µ¤¨¤·¤Þ¤¹,
  Âè6²ó¾ðÊó¡¦Åý·×²Ê³Ø¥·¥ó¥Ý¥¸¥¦¥à,
  ¶å½£Âç³Ø¹ñºÝ¥Û¡¼¥ë, 2001ǯ11·î. ¥¹¥é¥¤¥É(PDF¥Õ¥¡¥¤¥ë; 919,536bytes)
  (ÆÃÊֱ̹é)

• ÅÏÉô Á±Î´:
  µÕÈ¿ÉüË¡¤Ë¤è¤ëÆðÛÃͤοôÃÍ·×»»
  (Numerical computations of the singular values by the inverse iteration),
  ¸¦µæ½¸²ñ¡¦¹âÀ­Ç½Â絬ÌÏ·×»»¤ÈÀºÅÙÊݾÚÉÕ¤­·×»»¤Ë´Ø¤¹¤ë¥ï¡¼¥¯¥·¥ç¥Ã¥×
  (Workshop on High Performance Large Scale Computation and Guaranteed Accuracy Computation),
  ¶å½£Âç³Ø¾ðÊó´ðÈ×¥»¥ó¥¿¡¼, 2001ǯ11·î. ¥¹¥é¥¤¥É(PDF¥Õ¥¡¥¤¥ë; 217,497 bytes)

• ÅÏÉô Á±Î´:
  Ç®ÂÐήÌäÂê¤ËÂФ¹¤ëÀºÅÙÊݾÚÉÕ¤­¿ôÃÍ·×»»,
  ¸¦µæ½¸²ñ¡¦È¯Å¸ÊýÄø¼°¤ÎŸ³«¤ÈÈóÀþ·ÁÌäÂê¤Ø¤ÎÀܶáË¡, µþÅÔÂç³Ø¿ôÍý²òÀϸ¦µæ½ê, 2001ǯ10·î.

• Ë­±Ê ·û¼£, ÃæÈø ½¼¹¨, ÅÏÉô Á±Î´:
  Âʱ߷ÁºîÍÑÁǤνÅÊ£¸ÇÍ­Ã͵ڤӶáÀܸÇÍ­ÃͤËÂФ¹¤ë¿ôÃÍŪ¸¡¾Ú,
  ÆüËܱþÍÑ¿ôÍý³Ø²ñ2001ǯÅÙǯ²ñ¹Ö±éͽ¹Æ½¸ pp.26-27, ¶å½£Âç³Ø, 2001ǯ10·î.

• ÅÏÉô Á±Î´:
  ¥Ê¥Ó¥¨¥¹¥È¡¼¥¯¥¹ÊýÄø¼°¤ò²ò¤¯,
  ÅŻҾðÊóÄÌ¿®³Ø²ñ2001ǯ¥½¥µ¥¤¥¨¥Æ¥£Âç²ñ, Åŵ¤ÄÌ¿®Âç³Ø, 2001ǯ9·î.

• Ë­±Ê ·û¼£, ÃæÈø ½¼¹¨, ÅÏÉô Á±Î´:
  Âʱ߷Á¸ÇÍ­ÃÍÌäÂê¤Ë¤ª¤±¤ë½ÅÊ£¸ÇÍ­ÃͤÎÀºÅÙÊݾÚÉÕ¤­¿ôÃÍ·×»»,
  Âè5²ó´ÄÀ¥¸ÍÆâ±þÍÑ¿ôÍý¸¦µæÉô²ñ¥·¥ó¥Ý¥¸¥¦¥à¹Ö±éͽ¹Æ½¸, pp.13-18, °¦É²Âç³Ø¹©³ØÉô, 2001ǯ6·î.

• Ë­±Ê ·û¼£, ÃæÈø ½¼¹¨, ÅÏÉô Á±Î´:
  Âʱ߷Á¸ÇÍ­ÃÍÌäÂê¤Ë¤ª¤±¤ë½ÅÊ£¸ÇÍ­ÃͤÎÀºÅÙÊݾÚÉÕ¤­¿ôÃÍ·×»»,
  ¶å½£Âç³Ø¿ôÃͲòÀϳإ»¥ß¥Ê¡¼,
  ¶å½£Âç³ØÂç³Ø±¡¿ôÍý³Ø¸¦µæ±¡, 2001ǯ5·î.

• ÅÏÉô Á±Î´, »³ËÜ Ìî¿Í, ÃæÈø ½¼¹¨:
  Âʱ߷¿µÕ¸ÇÍ­ÃÍÌäÂê¤ÎÀºÅÙÊݾÚÉÕ¤­µÕ²òÀÏ,
  Âè5²ó¾ðÊó¡¦Åý·×²Ê³Ø¥·¥ó¥Ý¥¸¥¦¥à,
  ¶å½£Âç³Ø¹ñºÝ¥Û¡¼¥ë, 2000ǯ12·î.

• ÅÏÉô Á±Î´, »³ËÜ Ìî¿Í, ÃæÈø ½¼¹¨:
  Âʱ߷¿µÕ¸ÇÍ­ÃÍÌäÂê¤Ë¤ª¤±¤ë¥Ý¥Æ¥ó¥·¥ã¥ë´Ø¿ô¤ÎÀºÅÙÊݾÚÉÕ¤­ºÆ¹½À®¤Ë¤Ä¤¤¤Æ,
  ÆüËܱþÍÑ¿ôÍý³Ø²ñ2000ǯÅÙǯ²ñ¹Ö±éͽ¹Æ½¸ pp.249,251, Åìµþ¹©¶ÈÂç³Ø, 2000ǯ10·î.

• Yoshitaka Watanabe, Nobito Yamamoto and Mitsuhiro T. Nakao:
  Verified Numerical Computation for an Inverse Elliptic Eigenvalue Problem,
  9th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2000) jointly International Conference on Interval Methods in Science and Engineering, September 18-22, 2000, Karlsruhe, Germany.

• ÅÏÉô Á±Î´, »³ËÜ Ìî¿Í, ÃæÈø ½¼¹¨:
  Âʱ߷¿µÕ¸ÇÍ­ÃÍÌäÂê¤ÎÀºÅÙÊݾÚÉÕ¤­¿ôÃÍ·×»»,
  Âè4²ó´ÄÀ¥¸ÍÆâ±þÍÑ¿ôÍý¸¦µæÉô²ñ¥·¥ó¥Ý¥¸¥¦¥à¹Ö±é¥×¥í¥°¥é¥à¡¦Í׻ݽ¸, pp.64-65, Éðͺ¥»¥ó¥Á¥å¥ê¡¼¥Û¥Æ¥ë, º´²ì¸©Éðͺ»Ô, 2000ǯ6·î.

• ÅÏÉô Á±Î´, »³ËÜ Ìî¿Í, ÃæÈø ½¼¹¨:
  Rayleigh-B\'enard ÂÐή¤ÎÄê¾ïʬ´ô²ò¤ËÂФ¹¤ëÀºÅÙÊݾÚÉÕ¤­¿ôÃÍ·×»»,
  ¶å½£Âç³Ø¿ôÃͲòÀϳإ»¥ß¥Ê¡¼,
  ¶å½£Âç³ØÂç³Ø±¡¿ôÍý³Ø¸¦µæ±¡, 2000ǯ5·î.

• ÅÄü Àµµ×, ÎëÌÚ ¸ü, ÅÏÉô Á±Î´:
  3¼¡¸µÈóÄê¾ï¥Þ¥ó¥È¥ëÂÐή¤ÎÍ­¸ÂÍ×ÁÇÊÂÎó·×»»,
  Á´Ãϵå¥À¥¤¥Ê¥ß¥¯¥¹1999ǯÅÙÂè2²ó¹çƱʬ²Ê²ñ, Åìµþ¹©¶ÈÂç³Ø, 2000ǯ3·î.

• Mitsuhiro T. Nakao, Yoshitaka Watanabe, Nobito Yamamoto and Takaaki Nishida:
  A Numerical Verification of Bifurcated Solutions for the Heat Convection Problem,
  Symposium on Recent Topics in Nonlinear Partial Differential Equation, ¼¯»ùÅ縩°¨ÎÉ·´È»¿ÍÄ® ̯¸«¥Û¥Æ¥ë, January 6-8, 2000.

• ÃæÈø ½¼¹¨, ÅÏÉô Á±Î´, »³ËÜ Ìî¿Í, À¾ÅÄ ¹§ÌÀ:
  Ç®ÂÐήÌäÂê¤Îʬ´ô²ò¤ËÂФ¹¤ëÀºÅÙÊݾÚÉÕ¤­¿ôÃÍ·×»»,
  ±þÍÑ¿ô³Ø¹çƱ¸¦µæ½¸²ñÊó¹ð½¸ pp.207-208, ζëÂç³Ø, 1999ǯ12·î.

• ÅÏÉô Á±Î´, »³ËÜ Ìî¿Í, ÃæÈø ½¼¹¨, À¾ÅÄ ¹§ÌÀ:
  Ç®ÂÐήÌäÂê¤Îʬ´ô²ò¤Î¿ôÃÍŪ¸¡¾Ú¤Ë¤Ä¤¤¤Æ,
  Âè4²ó¾ðÊó¡¦Åý·×²Ê³Ø¥·¥ó¥Ý¥¸¥¦¥à,
  ¶å½£Âç³Ø¹ñºÝ¥Û¡¼¥ë, 1999ǯ12·î.

• ÅÏÉô Á±Î´, »³ËÜ Ìî¿Í, ÃæÈø ½¼¹¨, À¾ÅÄ ¹§ÌÀ:
  Ç®ÂÐήÌäÂê¤Îʬ´ô²ò¤ËÂФ¹¤ëÀºÅÙÊݾÚÉÕ¤­¿ôÃÍ·×»»¤Ë¤Ä¤¤¤Æ,
  ÆüËܱþÍÑ¿ôÍý³Ø²ñ1999ǯÅÙǯ²ñ¹Ö±éͽ¹Æ½¸ pp.270-271, °¦É²Âç³Ø, 1999ǯ10·î.

• ÃæÈø ½¼¹¨, »³ËÜ Ìî¿Í, ÌÚ¼ À¿Æó, ÅÏÉô Á±Î´, À¾ÅÄ ¹§ÌÀ:
  Ç®ÂÐήÌäÂê¤Îʬ´ô²ò¤Î¿ôÃÍŪ¸¡¾Ú¤Ë¤Ä¤¤¤Æ,
  ±þÍÑ¿ô³Ø¹çƱ¸¦µæ½¸²ñÊó¹ð½¸ pp.213-214, ζëÂç³Ø, 1998ǯ12·î.

• ÃæÈø ½¼¹¨, »³ËÜ Ìî¿Í, ÌÚ¼ À¿Æó, ÅÏÉô Á±Î´, À¾ÅÄ ¹§ÌÀ:
  Ç®ÂÐήÌäÂê¤Îʬ´ô²ò¤Î¿ôÃÍŪ¸¡¾Ú¤Ë¤Ä¤¤¤Æ,
  ¸¦µæ½¸²ñ¡¦¿ôÃͲòÀϤκÇÁ°Àþ¡ÝήÂη׻»¤«¤éÀºÅÙÊݾڤޤÇ,
  ¶å½£Âç³ØÂç·¿·×»»µ¡¥»¥ó¥¿¡¼, 1998ǯ10·î.

• Yoshitaka Watanabe, Nobito Yamamoto and Mitsuhiro T.Nakao:
  A Verification Method of Generalized Eigenvalue Problems and Its Applications ,
  IMACS/GAMM International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN-98), September 22-25, 1998, Budapest, Hungary.

• Yoshitaka Watanabe, Nobito Yamamoto and Mitsuhiro T.Nakao:
  A Numerical Verification Method of Solutions for the Navier-Stokes Equations ,
  International Workshop on Verified Numerical Computation (IWVNC), September 8-10, 1998, International Conference Center, Waseda University, Japan.

• »³ËÜ Ìî¿Í, ÅÏÉô Á±Î´, ÅÄÃæ ÆÀÅÐ, ÃæÈø ½¼¹¨:
  °ìÈ̲½¸ÇÍ­ÃÍÌäÂê¤ÎÀºÅÙÊݾÚÉÕ¤­²òË¡¤È¤½¤Î±þÍÑ,
  ¸¦µæ½¸²ñ¡¦»º¶È³¦¤Ë¸½¤ì¤ë¿ôÃͲòÀÏË¡¤Î½ôÌäÂê, OxfordÂç³Ø¿À¸Í¥¤¥ó¥¹¥Æ¥£¥Æ¥å¡¼¥È, 1997ǯ11·î.

• Nobito Yamamoto, Yoshitaka Watanabe, Yasunori Tanaka and Mitsuhiro T.Nakao:
  A Verification Method of Generalized Eigenvalue Problems and Its Applications to Constructive Error Estimate,
  International Workshop on Reliability of Numerical Computation(IWRNC), October 6-8, 1997, International Conference Center, Waseda University, Japan.

• »³ËÜ Ìî¿Í, ÅÏÉô Á±Î´, ÅÄÃæ ÆÀÅÐ, ÃæÈø ½¼¹¨:
  °ìÈ̲½¸ÇÍ­ÃÍÌäÂê¤ÎÀºÅÙÊݾÚÉÕ¤­²òË¡,
  ÆüËܱþÍÑ¿ôÍý³Ø²ñ1997ǯÅÙǯ²ñ¹Ö±éͽ¹Æ½¸ pp.10-11, ̾¸Å²°Âç³Ø, 1997ǯ10·î.

• ÅÏÉô Á±Î´, ÃæÈø ½¼¹¨, »³ËÜ Ìî¿Í:
  StokesÊýÄø¼°¤ÎÍ­¸ÂÍ×ÁDzò¤ËÂФ¹¤ëa posteriori¸íº¹É¾²Á,
  ±þÍÑ¿ô³Ø¹çƱ¸¦µæ½¸²ñÊó¹ð½¸ pp.203-208, ζëÂç³Ø, 1996ǯ12·î.

• ÅÏÉô Á±Î´:
  StokesÊýÄø¼°¤ÎÍ­¸ÂÍ×ÁDzò¤ËÂФ¹¤ëa posteriori¸íº¹É¾²Á,
  ¿·¤·¤¤²Ê³Ø·×»»µ»Ë¡¤È¤½¤Î¸íº¹²òÀÏ, ¶å½£Âç³Ø¹ñºÝ¥Û¡¼¥ë, 1996ǯ11·î.

• ÅÏÉô Á±Î´:
  Gauss¤Î¾ÃµîË¡¤Î°ÂÄêÀ­¤Ë¤Ä¤¤¤Æ,
  C&A¥µ¥Þ¡¼¥»¥ß¥Ê¡¼, ¹ñÅ줤¤³¤¤¤Î¼, 1996ǯ8·î.

• ÃæÈø ½¼¹¨, »³ËÜ Ìî¿Í, ÅÏÉô Á±Î´;
  StokesÊýÄø¼°¤ÎÍ­¸ÂÍ×ÁDzò¤ËÂФ¹¤ëa posteriori/a priori¸íº¹É¾²Á¤Ë¤Ä¤¤¤Æ,
  ¸¦µæ½¸²ñ¡¦ÊÐÈùʬÊýÄø¼° ¿ôÃͲòÀϤκǶá¤ÎȯŸ(II), ¹­ÅçÂç³Ø, 1995ǯ8-9·î.

• ÃæÈø ½¼¹¨, »³ËÜ Ìî¿Í, ÅÏÉô Á±Î´:
  StokesÊýÄø¼°¤ËÂФ¹¤ëÍ­¸ÂÍ×ÁDzò¤ÎÀºÅÙÊÝ¾Ú -Navier-StokesÊýÄø¼°¤Î²ò¤Î¿ôÃÍŪ¸¡¾Ú¤Ë¸þ¤±¤Æ-,
  ±þÍÑ¿ô³Ø¹çƱ¸¦µæ½¸²ñÊó¹ð½¸ pp.74, ζëÂç³Ø, 1994ǯ12·î.

• Yoshitaka Watanabe:
  Numerical Verifications of Solutions for Nondifferentiable Elliptic Problems,
  International Meeting on "Linear/Nonlinear Iterative Methods and Verification of Solution", July 6th-9th, 1993, Matsuyama, Japan.

• ÅÏÉô Á±Î´, »³ËÜ Ìî¿Í, ÃæÈø ½¼¹¨:
  ÈùʬÉÔǽ¹à¤ò»ý¤ÄÂʱ߷¿ÊýÄø¼°¤Î²ò¤Î¿ôÃÍŪ¸¡¾Ú¤Ë¤Ä¤¤¤Æ,
  ±þÍÑ¿ô³Ø¹çƱ¸¦µæ½¸²ñÊó¹ð½¸, µþÅÔÂç³Ø¿ôÍý²òÀϸ¦µæ½ê, 1992ǯ12·î.

• ÅÏÉô Á±Î´, ÃæÈø ½¼¹¨:
  ÈóÀþ·ÁÂʱ߷¿¶­³¦ÃÍÌäÂê¤Î²ò¤ËÂФ¹¤ëÀºÅÙÊݾÚÉÕ¤­¿ôÃÍŪ·×»»Ë¡,
  ÆüËÜ¿ô³Ø²ñ¶å½£»ÙÉô²ñ, º´²ìÂç³Ø, 1991ǯ11·î.

• ÅÏÉô Á±Î´, ÃæÈø ½¼¹¨:
  ʬ´ô¤òȼ¤¦ÈóÀþ·ÁÂʱ߷¿ÊýÄø¼°¤Î¿ôÃÍŪ¸¡¾ÚË¡,
  C&A¥µ¥Þ¡¼¥»¥ß¥Ê¡¼, Ë̶彣¥Ï¥¤¥Ä, 1991ǯ8·î.

¡Ì¤Ò¤È¤ÄÌá¤ë¡Í ¡Ì¥á¥¤¥ó¥á¥Ë¥å¡¼¤ËÌá¤ë¡Í