柏木 雅英


アフィン演算における乗除算について
宮島 信也 宮田 孝富 白井 健一 柏木 雅英 
誌名:   電子情報通信学会論文誌 A
発行日: 2003/03/01
Vol. J86-A  No. 3  pp. 232-240
論文種別:  論文
専門分野: 数値計算,数理計画法
キーワード: 
精度保証付数値計算区間演算アフィン演算乗算除算
 あらまし | 本文:PDF(295.6KB)

アフィン演算における最良乗算について
宮島 信也 宮田 孝富 柏木 雅英 
誌名:   電子情報通信学会論文誌 A
発行日: 2003/02/01
Vol. J86-A  No. 2  pp. 150-159
論文種別:  論文
専門分野: 数値計算,数理計画法
キーワード: 
精度保証付き数値計算区間演算アフィン演算乗算
 あらまし | 本文:PDF(406.8KB)

変数分離形非線形方程式の解の非存在の厳密な数値的検証法と全解探索への応用
中谷 祐介 大石 進一 柏木 雅英 神沢 雄智 
誌名:   電子情報通信学会論文誌 A
発行日: 2001/11/01
Vol. J84-A  No. 11  pp. 1377-1384
論文種別:  論文
専門分野: 数値計算,数理計画法
キーワード: 
非線形方程式全解探索解の非存在精度保証付き数値計算
 あらまし | 本文:PDF(326KB)

パラメータ依存非線形方程式の解を含む区間の反復改良アルゴリズム
神沢 雄智 柏木 雅英 大石 進一 
誌名:   電子情報通信学会論文誌 A
発行日: 2000/05/25
Vol. J83-A  No. 5  pp. 511-516
論文種別:  論文
専門分野: 数値計算,数理計画法
キーワード: 
区間解析精度保証付き数値計算区間反復パラメータ依存非線形方程式
 あらまし | 本文:PDF(319.2KB)

有限ステップで停止する非線形方程式のすべての解を精度保証付きで求めるアルゴリズム
神沢 雄智 柏木 雅英 大石 進一 中村 晴幸 
誌名:   電子情報通信学会論文誌 A
発行日: 1997/07/25
Vol. J80-A  No. 7  pp. 1130-1137
論文種別:  論文
専門分野: 非線形問題
キーワード: 
区間解析精度保証付き数値計算全解探索アルゴリズム非線形方程式
 あらまし | 本文:PDF(439.6KB)

パラメータ依存非線形方程式のすべての解を精度保証付きで求めるアルゴリズム
神沢 雄智 柏木 雅英 大石 進一 
誌名:   電子情報通信学会論文誌 A
発行日: 1997/06/25
Vol. J80-A  No. 6  pp. 920-925
論文種別:  論文
専門分野: 非線形問題
キーワード: 
区間解析精度保証付き数値計算全解探索アルゴリズムパラメータ依存非線形方程式
 あらまし | 本文:PDF(336.8KB)

区間解析と有理数演算による非線形方程式の近似解の精度保証
柏木 雅英 大石 進一 
誌名:   電子情報通信学会論文誌 A
発行日: 1994/10/25
Vol. J77-A  No. 10  pp. 1372-1382
論文種別:  論文
専門分野: 非線形問題
キーワード: 
精度保証区間解析有理数演算Krawczykの区間写像非線形方程式
 あらまし | 本文:PDF(738.9KB)

非線形強単調抵抗回路方程式のホモトピー法による求解の計算量の上界
牧野 光則 大石 進一 柏木 雅英 堀内 和夫 
誌名:   電子情報通信学会論文誌 A
発行日: 1991/08/25
Vol. J74-A  No. 8  pp. 1151-1159
論文種別:  特集論文 (非線形電子回路の数値解析論文小特集)
専門分野: 回路シミュレーションの基礎
キーワード: 
 あらまし | 本文:PDF(544.1KB)