科学技術と共に歩む

精度保証付き数値計算の基礎

• 大石 進一 早大教授 編著
• 荻田 武史 東京女子大教授 著
• 柏木 雅英 早大教授 著
• 劉 雪峰 新潟大准教授 著
• 尾崎 克久 芝浦工大准教授 著
• 山中 脩也 明星大准教授 著
• 高安 亮紀 筑波大助教 著
• 関根 晃太 東洋大助教 著
• 木村 拓馬 佐賀大准教授 著
• 市原 一裕 日大教授 著
• 正井 秀俊 東北大助教 著
• 森倉 悠介 帝京平成大助教 著
• Siegfried M. Rump ハンブルク工科大教授 著

数値計算の誤差を完全に把握する数値計算（「精度保証付き数値計算」）が重要となる局面は非常に多くなりつつある。本書は今までの成果をもとに，現在における精度保証付き数値計算の基礎となる事項を体系的にまとめたものである。

文部科学省検定済教科書 工業387

新 情報技術基礎

• 大石 進一 早大教授 監修
• 新井 誠 元埼玉県立久喜工業高等学校校長 編
• 石田 康裕 元埼玉県立新座総合技術高等学校教諭 著
• 石山 晶一 福島県立郡山北工業高等学校教諭 著
• 唐澤 幸至 群馬県立渋川工業高等学校教諭 著
• 清水 静治 埼玉県立越谷総合技術高等学校教諭 著
• 堀口 真史 埼玉県立川島ひばりが丘特別支援学校校長 著
• 山本 哲也 元埼玉県立総合教育センター 著
• 横田 一弘 埼玉県立越谷総合技術高等学校教諭 著

本教科書は，高等学校の工業各科で学ぶ「情報技術基礎」の内容をすべて包含し，普通教科・科目「社会と情報」「情報の科学」との関連にも留意して編集しました。

回路理論

• 大石 進一 早大教授 著

本書では電子回路を非線形回路理論の立場から解析し，電子回路の巧みさを解析を通じて理解していくスタイルとした。これにより，電気系以外の学生でも本書のみで電気の基礎から応用の先端までわかるように配慮した。

文部科学省検定済教科書 工業312

情報技術基礎

• 大石 進一 早大教授 監修
• 新井 誠 元埼玉県立久喜工業高等学校校長 編集
• 石田 康裕 元埼玉県立新座総合技術高等学校教諭 著
• 石山 晶一 福島県立郡山北工業高等学校教諭 著
• 唐澤 幸至 群馬県立渋川工業高等学校教諭 著
• 清水 静治 埼玉県立越谷総合技術高等学校教諭 著
• 堀口 真史 埼玉県立川島ひばりが丘特別支援学校校長 著
• 山本 哲也 元埼玉県立総合教育センター 著
• 横田 一弘 埼玉県立新座総合技術高等学校教諭 著

待ち行列理論

• 大石 進一 早大教授 著

本書は，待ち行列理論の基礎的事柄を丁寧に論じ，応用への導入的解説も行った。また，半期の講義を意識した構成となっている。特徴は，標本過程に対する直感的な議論から解説した点と，フリーな数値計算ツールを利用した点である。

Linux数値計算ツール

• 大石 進一 早大教授 著

使いやすく，高速で信頼性の高い数値計算用のツールとして，フリーソフトウェアであり，MATLABに準互換なOctaveとScilabを取り上げ，数値計算の仕方について解説している。また，ScilabはWindows版も紹介している。

現代非線形科学シリーズ 6

精度保証付き数値計算

• 大石 進一 早大教授 著

数値計算による近似計算の検算を高速かつ効率的に行えるのが，精度保証付き数値計算である。本書では，近い将来，数値計算に精度保証を付加するのが日常的となる時代に向け，実際的なノウハウを初学者にもわかりやすいよう展開した。

電子情報通信と数学

• 電子情報通信学会 編・発行
• 大石 進一 編著

電子情報通信学会誌，Vol.79， No.7（1996年7月）の同名の小特集号をもとに書き直しを加えたもの。若い学生のための数学および電子情報通信学入門となると共に既に第一線で活躍されている方々の再入門， 再確認となることも意識した。

現代非線形科学シリーズ 1

非線形解析入門

• 大石 進一 早大教授 著

非線形現象を解析するための数学的道具について，微積分学・線形代数の知識のみを前提として，やさしく解説した。コンピュータを利用して解析することにより，やさしい理論で自然現象の本質が浮き彫りにできることを示した。