ソフトウェアの自動証明

ソフトウェアの自動証明 @ 数学的厳密に yukoba (小林悠)

挿入ソート ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

sortInner ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

ソートの判定条件 ,[object Object],[object Object]

isSorted ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

証明すること ,[object Object],[object Object],[object Object],[object Object],[object Object]

コードの表現方法 ,[object Object],[object Object],[object Object],[object Object]

DOM & XPath ,[object Object],[object Object],[object Object]

証明戦略 ,[object Object],[object Object],[object Object],[object Object],[object Object]

時間不足によりここからのスライドは未使用

定義＆公理 ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

定義のような定理（ズル） ,[object Object],[object Object]

前提条件 ,[object Object],[object Object]

数学的帰納法 ,[object Object],[object Object]

上手く扱えなかった ,[object Object],[object Object],[object Object],[object Object],[object Object]

if 条件の伝搬 ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

if の繰り込み ,[object Object],[object Object]

時間があれば冒頭でしゃべりたかったスライド

課題 ,[object Object],[object Object],[object Object],[object Object]

全てのテストはサンプリングテストである by @t_wada さん

ソフトウェアの自動証明

Empfohlen

Empfohlen

Weitere ähnliche Inhalte

Andere mochten auch

Andere mochten auch (16)

Kürzlich hochgeladen

Kürzlich hochgeladen (11)

ソフトウェアの自動証明