大石先生は、最初、 常微分方程式に対する精度保証付き数値計算で成果を出した (大石 [35], [36], [37])。 それから非線形解析に関する教科書 [38] を出した。 ここまではひとまとまりで、連立1次方程式の話は出ていないようだ。
