相馬 隆郎

精度保証付き数値計算法を用いた常微分方程式の全解探索アルゴリズム 

電子情報通信学会論文誌. A, 基礎・境界 86(6) 663-673 2003年6月1日  

数値積分を用いた常微分方程式の周期解の精度保証付き数値計算 

電子情報通信学会技術研究報告. NLP, 非線形問題 98(662) 1-6 1999年3月17日  

Sobolevノルムによる非線形常微分方程式の解の存在検証法 

電子情報通信学会技術研究報告. NLP, 非線形問題 98(662) 15-21 1999年3月17日  

精度保証付き数値計算法を用いた常微分方程式の任意精度反復改良法 

電子情報通信学会論文誌. A, 基礎・境界 82(1) 11-20 1999年1月25日  

L_2ノルム評価による常微分方程式の解の存在検証法 

電子情報通信学会ソサイエティ大会講演論文集 1998 26-26 1998年9月7日  

区間Newton写像を用いた非線形常微分方程式の解の数値的存在検証法 

電子情報通信学会技術研究報告. NLP, 非線形問題 97(592) 119-124 1998年3月13日  

区分関数を用いた非線形常微分方程式の境界値問題における精度保証 

電子情報通信学会総合大会講演論文集 1998 78-78 1998年3月6日  

区間Newton法を用いた非線形常微分方程式の解の数値的存在検証法 

電子情報通信学会総合大会講演論文集 1998 80-80 1998年3月6日  

非線形常微分方程式の境界値問題における精度保証の自動化 

電子情報通信学会ソサイエティ大会講演論文集 1997 37-37 1997年8月13日  

区分線形系微分方程式の周期解と分岐点の精度保証について 

電子情報通信学会総合大会講演論文集 1997 62-62 1997年3月6日  

区分線形系微分方程式の周期解と分岐点の精度保証について 

電子情報通信学会技術研究報告. NLP, 非線形問題 96(434) 33-39 1996年12月19日  

精度保証付き数値計算を用いた常微分方程式の近似解の任意精度反復改良 

電子情報通信学会技術研究報告. CAS, 回路とシステム 96(273) 99-106 1996年9月28日  

精度保証付き数値計算を用いた常微分方程式の近似解の反復改良法 

電子情報通信学会ソサイエティ大会講演論文集 1996 37-37 1996年9月18日  

精度保証付き数値計算を用いた常微分方程式の近似解の区間反復法 

電子情報通信学会技術研究報告. NLP, 非線形問題 96(208) 65-71 1996年7月27日  

境界値問題の折り返し点の数値的存在検証法 

電子情報通信学会総合大会講演論文集 1996 99-99 1996年3月11日