ソフトウェア基礎科学分野 住井・松田研究室

パソコン，携帯電話，車，飛行機，調理機器，証券取引，医療機器，発電所，電子政府，…

• 死傷者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