ミスティーノ - 最高の日本カジノ⭐ミスティーノ公式 - Mystino

研究者情報 研究者基礎情報 研究者情報 学歴 経歴 所属学協会 研究者活動情報 研究分野 研究キーワード 委員歴 受賞 担当経験のある科目(授業) 論文 MISC 書籍等出版物 講演・口頭発表等 Works(作品等) 共同研究・競争的資金等の研究課題 産業財産権 社会貢献活動 メディア報道 学術貢献活動 その他(研究者活動情報) その他教育活動 修士・博士論文指導等 基本情報 氏名 橋本　弘治 氏名（カナ） ﾊｼﾓﾄ ｺｳｼﾞ 氏名（英語） HASHIMOTO KOJI 所属 短期大学部 幼児保育学科 職名 准教授 研究者基礎情報 研究者情報 橋本　弘治　ハシモト　コウジ 学歴 2005　九州大学 2002　島根大学 2000　島根大学 2002-04　2005-03　九州大学　数理学専攻 2000-04　2002-03　島根大学　数理・情報システム学専攻 全て表示する（6件） 1996-04　2000-03　島根大学　数理・情報システム学科 表示を折りたたむ 経歴 2003-10　2005-03　日本学術振興会特別研究員DC2(21COE) 2003-10　2005-03　日本学術振興会特別研究員DC2(21COE) 2005-04　2007-03　日本学術振興会特別研究員PD 2005-04　2007-03　日本学術振興会特別研究員PD 2007-04　2019-03　中村学園大学短期大学部　幼児保育学科　講師 全て表示する（6件） 2019-04　9999　中村学園大学短期大学部　幼児保育学科　准教授 表示を折りたたむ 所属学協会 The Japan Society for Industrial and Applied Mathematics Mathematical Society of Japan 日本数学会 日本応用数理学会 研究者活動情報 研究分野   研究キーワード Finite Element Methods Numerical Verification Method Numerical Analysis 計算機支援解析学 精度保証 全て表示する（9件） 構成的事前誤差評価 有限要素法 数値解析 数値的検証法 表示を折りたたむ 委員歴 2011-03　青山学院大学教育ＧＰ自己評価委員会　外部評価委員 2011-03　青山学院大学教育ＧＰ自己評価委員会　会外部評価委員 受賞   担当経験のある科目(授業) 数学概論　中村学園大学短期大学部 数学入門　中村学園大学短期大学部 情報科学　中村学園大学短期大学部 情報科学　中村学園大学 情報処理　中村学園大学短期大学部 論文 Numerical verification of solutions for nonlinear parabolic problems　K. HashimotoT. KinoshitaM.T. Nakao　Numerical Functional Analysis and Optimization　2020 Constructive error analysis of a full-discrete finite element method for the heat equation　K.HashimotoT.KimuraT.MinamotoM.T.Nakao　Japan Journal of Industrial and Applied Mathematics　2019-04 鞍点型問題に対する二重前処理法　橋本 弘治　中村学園大学・中村学園大学短期大学部研究紀要　2017-03 入学前教育の取り組みと成果（基礎分野編）2012　松尾智則増田隆橋本弘治川俣沙織橋本一雄　中村学園大学・中村学園大学短期大学部研究紀要　2014-03 A numerical verification method for solutions of nonlinear parabolic problems　Mitsuhiro T. NakaoKouji Hashimoto　Journal of Math-for-industry　2009-04 全て表示する（17件） On the L2 a Priori Error Estimates to the Finite Element Solution of Elliptic Problems with Singular Adjoint Operator/T. KinoshitaK. HashimotoM. T. Nakao/NUMERICAL FUNCTIONAL ANALYSIS AND OPTIMIZATION Guaranteed error bounds for finite element approximations of noncoercive elliptic problems and their applications/Mitsuhiro T. NakaoKouji Hashimoto/JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS A computational approach to constructive a priori and a posteriori error estimates for finite element approximations of bi-harmonic problems　M.T.NakaoK.HashimotoK.Nagatou　GAKUTO International Series, Mathematical Sciences and Applications　2008-04 Numerical verification of stationary solutions for Navier–Stokes problems　K.NagatouK.HashimotoM.T.Nakao　Journal of Computational and Applied Mathematics　2007-02 Verified numerical computation of solutions for the stationary Navier-Stokes equation in nonconvex polygonal domains/Mitsuhiro T. NakaoKouji HashimotoKenta Kobayashi/Hokkaido Mathematical Journal A computational approach to constructive a priori error estimate for finite element approximations of bi-harmonic problems in nonconvex polygonal domains　K.HashimotoK.NagatouM.T.Nakao　Information　2006-07 A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems/MT NakaoK HashimotoY Watanabe/COMPUTING A numerical verification method for solutions of singularly perturbed problems with nonlinearity/K HashimotoR AbeMT NakaoY Watanabe/JAPAN JOURNAL OF INDUSTRIAL AND APPLIED MATHEMATICS Numerical verification methods for solutions of the free boundary problem/K HashimotoK KobayashiMT Nakao/NUMERICAL FUNCTIONAL ANALYSIS AND OPTIMIZATION Numerical enclosure of solutions for two dimensional driven cavity problems　M.T.NakaoK.NagatouK.Hashimoto　Proceedings: 4th European Congress on Computational Methods in Applied Sciences and Engineering (Jyvaskyla, Finland, July 2004.)　2004-07 Numerical validation of solutions of saddle point matrix equations/Xiaojun ChenKouji Hashimoto/Numerical Linear Algebra with Applications Verification methods for nonlinear equations with saddle point functions/XJ ChenK Hashimoto/JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS 表示を折りたたむ MISC A preconditioned method for saddle point problems　Kouji Hashimoto　京都大学数理解析研究所講究録　2007-11 －情報の窓－ 第17回RAMPシンポジウムルポ　山下信雄森口聡子脇隼人橋本弘治　オペレーションズ・リサーチ 3月号　2006-03 Numerical verification by infinite dimensional Newton's method for stationary solutions of the Navier-Stokes problems　M.T.NakaoK.NagatouK.Hashimoto　京都大学数理解析研究所講究録　2005-07 書籍等出版物   講演・口頭発表等 A numerical verification method for solutions of one dimensional free boundary problems (ポスター発表)　第17回日本OR学会常設研究部会数理計画シンポジウム (RAMP2005), シティ弘前ホテル, 2005年10月 Miranda, Moore, Kantorovich (ポスター発表)　数値解析チュートリアル2004 (九州大学21世紀COEプログラム), 九州大学, 2004年3月 Numerical verification methods of solutions for one dimensional free boundary problems　11th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2004), Fukuoka, Japan, 4-8 Oct. 2004. Verification Methods for Nonlinear Equations with Saddle Point Functions　日本応用数理学会年会, 慶應義塾大学, 2002年9月 Constructive error analysis of a full-discrete finite element method for the heat equation　The 9th International Congress on Industrial and Applied Mathematics (ICIAM 2019)　2019-07-15 全て表示する（45件） 発展方程式の初期値問題に対する数値的検証法　第2回 精度保証付き数値計算の実問題への応用研究集会 (NVR 2018)　2018-12 発展型Allen-Cahn方程式に対する数値的検証法　応用数学合同研究集会　2017-12 発展方程式に対する数値的検証法　日本応用数理学会2017年会　2017-09 重調和問題に対する構成的誤差評価　科学計算の信頼性とその周辺に関するワークショップ　2011-11 ブレンディッドラーニングによる入学前教育の取り組み　私立大学情報教育協会 平成23年度教育改革ICT戦略大会　2011-09 履修カルテシステムについて（招待講演）　中国・四国地区私立大学教職課程研究連絡協議会2010年度秋季研究協議会　2010-12 鞍点型問題に対する2重前処理の有効性について　九州大学数値解析セミナー　2010-11 鞍点型問題に対する2重前処理　科学技術計算アルゴリズムの数理的基盤と展開　2010-10 鞍点型連立一次方程式に対する2重前処理の有効性について　岐阜数理科学セミナー　2010-10 Karman方程式に対する数値的検証法　日本応用数理学会 2010年研究部会連合発表会　2010-03 Karman方程式に対する数値的検証法　研究集会「数値解析の現状と展望」　2009-11 A numerical verification method for solutions of nonlinear parabolic problems　International Conference on Engineering and Computational Mathematics (ECM2009)　2009-03 放物型問題に対する解の数値的検証　日本数学会2009年度年会　2009-03 A constructive a priori error estimate for bi-harmonic problems　基盤(S)合同研究集会「流れ問題のための高品質数値解法と計算機援用解析学」　2008-11 Constructive a priori and a posteriori error estimates for bi-harmonic problems　13th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2008)　2008-09 重調和方程式に対する構成的事前誤差評価について　日本数学会2008年度秋季総合分科会　2008-09 非強圧的楕円型問題の有限要素近似解に対する構成的事前誤差評価　応用数学合同研究集会　2006-12 鞍点型問題に対する前処理について　数値シミューレーションを支える応用数理　2006-11 非強圧的楕円型問題の有限要素近似解に対する構成的事前誤差評価　流れ問題の数値解析と精度保証付き数値計算　2006-11 鞍点型問題に対する前処理について　日本応用数理学会2006年度年会　2006-09 特異関数を用いたPoisson方程式の有限要素解に対する誤差評価の改良について　平成18年日本応用数理学会研究部会・連合発表会　2006-03 A computational approach to constructive a priori and a posteriori error estimates for finite element approximations of bi-harmonic problems　応用数学合同研究集会　2005-12 A computational approach to constructive a priori and a posteriori error estimates for finite element approximations of bi-harmonic problems　第9回環瀬戸内応用数理研究部会シンポジウム　2005-11 (ポスター発表) A numerical verification method for solutions of one dimensional free boundary problems　第17回日本OR学会常設研究部会数理計画シンポジウム (RAMP2005)　2005-10 非凸多角形領域におけるNavie-Stokes方程式の解の検証について　日本応用数理学会年会　2005-09 非凸多角形領域におけるNavier-Stokes方程式の解に対する数値的検証法について　平成１６年度統計科学研究会　2004-12 Numerical verification methods of solutions for one dimensional free boundary problems　11th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2004)　2004-10 自由境界問題の解に対する数値的検証法　日本応用数理学会年会　2004-09 非凸多角形領域におけるNavier-Stokes方程式の解に対する数値的検証法について　九州大学数値解析セミナー　2004-06 (ポスター発表) Miranda, Moore, Kantorovich　数値解析チュートリアル2004 (九州大学21世紀COEプログラム)　2004-03 自由境界問題の解に対する数値的検証法　応用数学合同研究集会　2003-12 線形楕円型作用素の可逆性の数値的検証とその非線形問題への応用　日本応用数理学会年会　2003-09 楕円型作用素の可逆性の数値的検証とその応用　第8回 阿波ワークショップ "03 -亀高先生退官記念-　2003-08 6. 楕円型作用素の可逆性の数値的検証とその応用　九州大学数値解析セミナー　2003-06 楕円型作用素の可逆性の数値的検証とその応用　九州大学数値解析セミナー　2003-06 非線形特異摂動問題の解に対する数値的検証法　日本数学会年会　2003-03 Verification Methods for Nonlinear Equations with Saddle Point Functions　日本応用数理学会年会　2002-09 鞍点型問題に現れる連立一次方程式の解に対する精度保証　第6回環瀬戸内応用数理研究部会シンポジウム　2002-06 鞍点型問題に現れる連立一次方程式の解に対する精度保証　九州大学数値解析セミナー　2002-04 Numerical validation of solutions of saddle point matrix equations　応用数学合同研究集会　2001-12 表示を折りたたむ Works(作品等) 教員免許状更新講習「幼児期における数概念の発生と論理的思考」　橋本 弘治　その他　2014-10 ボランティア活動企画「お年寄り宅の庭学生33人が掃除」, 読売新聞かわらばん（飯原校区4丁目自治会共催）　橋本 弘治　その他　2010-11 中村学園大学・中村学園大学短期大学部「履修カルテシステム」開発　橋本 弘治　教材　2010-03　2019-03 中村学園大学短期大学部 幼児保育学科「入学前教育サイト」開発　橋本 弘治　教材　2009-10　2019-03 数値解析チュートリアル2007, 講師, 九州大学(九州大学21世紀COEプログラム)　橋本 弘治　その他　2007-03 全て表示する（6件） 数値解析チュートリアル2006, 講師, 九州大学(九州大学21世紀COEプログラム)　橋本 弘治　その他　2006-03 表示を折りたたむ 共同研究・競争的資金等の研究課題 有限要素法による発展方程式の解に対する数値的検証法の構築　日本学術振興会　科学研究費補助金 基盤研究(C)　2018-04　2021-03 鞍点型問題に対する高速精度保証付き数値計算法の構築　日本学術振興会　科学研究費補助金 若手研究(B)　2010-04　2013-03 最適化問題に対する数値解法と精度保証付き数値計算法の研究　日本学術振興会　科学研究費補助金 特別研究員奨励費(PD)　2005-04　2007-03 Numerical verification methods for optimization problems/Grant-in-Aid for Scientific Research 滑らかでない非凸領域でのナビエ・スト－クス方程式の解に対する数値的検証法の研究　日本学術振興会　科学研究費補助金 特別研究員奨励費(DC2)　2003-10　2005-03 産業財産権   社会貢献活動   メディア報道   学術貢献活動   その他(研究者活動情報)   その他教育活動 修士・博士論文指導等