Í ï ÿ Ô.[ » ] > o f ) z Ú Ë í × - 東北大学 電気・情報 … Í ï ÿ Ô.[ » ]...
TRANSCRIPT
ソフトウェア基礎科学分野 住井・松田研究室
パソコン,携帯電話,車,飛行機,調理機器,証券取引,医療機器,発電所,電子政府,…
• 死傷者6名 ̶̶̶Therac-25 (1985-87) • ロケット爆発 ̶‒̶̶ Ariane 5 (1996) • 107億円賠償 ̶ 東京証券取引所 (2006)
P ⇠" Q# +P 0 ⇠" Q0
�, x : � ` e : ⌧
� ` �x.e : � ! ⌧
//?>=<89:;pa**
b
II
?>=<89:;/.-,()*+qa
jj
b
II FµF
F (|�|)✏✏
inF // µF
(|�|)✏✏
FA�// A
通常の数学なら成り立つけどプログラムでは…?
δ = 0.000001diff(f,x) = (f(x+δ)-f(x))/δsquare(x) = x*x
ans = diff(square,1)
国際プログラミングコンテスト委員長
query
更新を翻訳
導出
例:展開プログラム
例:圧縮プログラム
query
f f�1
日経BP社「ITpro」連載
漸化式のようにプログラミング
f(x) + f(x)?= 2⇥ f(x)
0⇥ f(x)?= 0
) 2.0000009999243673