diff --git a/lecture-impl.html b/lecture-impl.html
index 9ed9756..4f3e150 100644
--- a/lecture-impl.html
+++ b/lecture-impl.html
@@ -35,7 +35,7 @@ <h1>開発者が知っておくべきトピック集<br /><sub>－実装編－</
 <span class="xisabled">・コメントはない方が良い</span><br />
 <span class="xisabled">・動くの先にある良いプログラム</span><br />
 <span class="xisabled">・良いプログラムとは？</span><br />
-<span class="xisabled">・<em>Don't call us, we'll call you</em></span><br />
+<span class="xisabled">・<em>&quot;Don't call us, we'll call you&quot;</em></span><br />
 <span class="xisabled">・goto不要論からの学び</span><br />
 <span class="xisabled">・できないことを増やす</span><br />
 <span class="xisabled">・Complex vs Complicated</span><br />
@@ -48,7 +48,7 @@ <h2>SWEBOK</h2>
 <p>Software Engineering Body of Knowledge<br />
 IEEEが作っているSEの知識体系</p>
 <p>知識や概念の「体系化･構造化」が目的<br />
-例：生物分類 <code>脊索動物門 &gt; 哺乳綱 &gt; サル目 &gt; サル科 &gt; ...</code></p>
+例：<code>節足動物門 &gt; 昆虫綱 &gt; コウチュウ目 &gt; カブトムシ亜目 ...</code></p>
 <p>内容は薄くて広い<br />
 構造付きの辞書とみなすと良い</p>
 <h2>他にもいろいろなBOKがある</h2>
@@ -124,7 +124,7 @@ <h1>開発者が知っておくべきトピック集<br /><sub>－実装編－</
 <span class="xisabled">・コメントはない方が良い</span><br />
 <span class="disabled">・動くの先にある良いプログラム</span><br />
 <span class="disabled">・良いプログラムとは？</span><br />
-<span class="disabled">・<em>Don't call us, we'll call you</em></span><br />
+<span class="disabled">・<em>&quot;Don't call us, we'll call you&quot;</em></span><br />
 <span class="disabled">・goto不要論からの学び</span><br />
 <span class="disabled">・できないことを増やす</span><br />
 <span class="disabled">・Complex vs Complicated</span><br />
@@ -258,7 +258,7 @@ <h1>開発者が知っておくべきトピック集<br /><sub>－実装編－</
 <span class="disabled">・コメントはない方が良い</span><br />
 <span class="xisabled">・動くの先にある良いプログラム</span><br />
 <span class="xisabled">・良いプログラムとは？</span><br />
-<span class="disabled">・<em>Don't call us, we'll call you</em></span><br />
+<span class="disabled">・<em>&quot;Don't call us, we'll call you&quot;</em></span><br />
 <span class="disabled">・goto不要論からの学び</span><br />
 <span class="disabled">・できないことを増やす</span><br />
 <span class="disabled">・Complex vs Complicated</span><br />
@@ -335,7 +335,7 @@ <h1>開発者が知っておくべきトピック集<br /><sub>－実装編－</
 <span class="disabled">・コメントはない方が良い</span><br />
 <span class="disabled">・動くの先にある良いプログラム</span><br />
 <span class="disabled">・良いプログラムとは？</span><br />
-<span class="xisabled">・<em>Don't call us, we'll call you</em></span><br />
+<span class="xisabled">・<em>&quot;Don't call us, we'll call you&quot;</em></span><br />
 <span class="xisabled">・goto不要論からの学び</span><br />
 <span class="xisabled">・できないことを増やす</span><br />
 <span class="disabled">・Complex vs Complicated</span><br />
@@ -343,7 +343,7 @@ <h1>開発者が知っておくべきトピック集<br /><sub>－実装編－</
 <span class="disabled">・DRY･KISS･YAGNI</span></p>
 </section>
 </foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 960 720"><foreignObject width="960" height="720"><section id="24" data-paginate="true" data-theme="shin" data-marpit-pagination="24" data-marpit-pagination-total="46" style="--paginate:true;--theme:shin;" data-size="4:3">
-<h1><em>Don't call us, we'll call you</em></h1>
+<h1><em>&quot;Don't call us, we'll call you&quot;</em></h1>
 <h2>制御の反転･ハリウッド原則</h2>
 <p>制御の主となるmain()を自分で書かない<br />
 フレームワークはこの考えに基づく</p>
@@ -515,7 +515,7 @@ <h1>開発者が知っておくべきトピック集<br /><sub>－実装編－</
 <span class="disabled">・コメントはない方が良い</span><br />
 <span class="disabled">・動くの先にある良いプログラム</span><br />
 <span class="disabled">・良いプログラムとは？</span><br />
-<span class="disabled">・<em>Don't call us, we'll call you</em></span><br />
+<span class="disabled">・<em>&quot;Don't call us, we'll call you&quot;</em></span><br />
 <span class="disabled">・goto不要論からの学び</span><br />
 <span class="disabled">・できないことを増やす</span><br />
 <span class="xisabled">・Complex vs Complicated</span><br />
@@ -625,7 +625,7 @@ <h1>開発者が知っておくべきトピック集<br /><sub>－実装編－</
 <span class="xisabled">・コメントはない方が良い</span><br />
 <span class="xisabled">・動くの先にある良いプログラム</span><br />
 <span class="xisabled">・良いプログラムとは？</span><br />
-<span class="xisabled">・<em>Don't call us, we'll call you</em></span><br />
+<span class="xisabled">・<em>&quot;Don't call us, we'll call you&quot;</em></span><br />
 <span class="xisabled">・goto不要論からの学び</span><br />
 <span class="xisabled">・できないことを増やす</span><br />
 <span class="xisabled">・Complex vs Complicated</span><br />
diff --git a/lecture-impl.md b/lecture-impl.md
index 805773c..c53200a 100644
--- a/lecture-impl.md
+++ b/lecture-impl.md
@@ -35,7 +35,7 @@ B3授業 (演習D･実験B) の経験から考える
 <span class="xisabled">・コメントはない方が良い</span>
 <span class="xisabled">・動くの先にある良いプログラム</span>
 <span class="xisabled">・良いプログラムとは？</span>
-<span class="xisabled">・_Don't call us, we'll call you_</span>
+<span class="xisabled">・_"Don't call us, we'll call you"_</span>
 <span class="xisabled">・goto不要論からの学び</span>
 <span class="xisabled">・できないことを増やす</span>
 <span class="xisabled">・Complex vs Complicated</span>
@@ -49,7 +49,7 @@ Software Engineering Body of Knowledge
 IEEEが作っているSEの知識体系
 
 知識や概念の「体系化･構造化」が目的
-例：生物分類 `脊索動物門 > 哺乳綱 > サル目 > サル科 > ...`
+例：`節足動物門 > 昆虫綱 > コウチュウ目 > カブトムシ亜目 ...`
 
 内容は薄くて広い
 構造付きの辞書とみなすと良い
@@ -133,7 +133,7 @@ Data Management BOK
 <span class="xisabled">・コメントはない方が良い</span>
 <span class="disabled">・動くの先にある良いプログラム</span>
 <span class="disabled">・良いプログラムとは？</span>
-<span class="disabled">・_Don't call us, we'll call you_</span>
+<span class="disabled">・_"Don't call us, we'll call you"_</span>
 <span class="disabled">・goto不要論からの学び</span>
 <span class="disabled">・できないことを増やす</span>
 <span class="disabled">・Complex vs Complicated</span>
@@ -307,7 +307,7 @@ Pattern.compile("^[\w-\.]+@([\w-]+\.)+[\w-]{2,4}$");
 <span class="disabled">・コメントはない方が良い</span>
 <span class="xisabled">・動くの先にある良いプログラム</span>
 <span class="xisabled">・良いプログラムとは？</span>
-<span class="disabled">・_Don't call us, we'll call you_</span>
+<span class="disabled">・_"Don't call us, we'll call you"_</span>
 <span class="disabled">・goto不要論からの学び</span>
 <span class="disabled">・できないことを増やす</span>
 <span class="disabled">・Complex vs Complicated</span>
@@ -403,7 +403,7 @@ Web検索による断片的知識でも怪しい
 <span class="disabled">・コメントはない方が良い</span>
 <span class="disabled">・動くの先にある良いプログラム</span>
 <span class="disabled">・良いプログラムとは？</span>
-<span class="xisabled">・_Don't call us, we'll call you_</span>
+<span class="xisabled">・_"Don't call us, we'll call you"_</span>
 <span class="xisabled">・goto不要論からの学び</span>
 <span class="xisabled">・できないことを増やす</span>
 <span class="disabled">・Complex vs Complicated</span>
@@ -411,7 +411,7 @@ Web検索による断片的知識でも怪しい
 <span class="disabled">・DRY･KISS･YAGNI</span>
 
 ---
-# _Don't call us, we'll call you_
+# _"Don't call us, we'll call you"_
 ## 制御の反転･ハリウッド原則
 制御の主となるmain()を自分で書かない
 フレームワークはこの考えに基づく
@@ -622,7 +622,7 @@ let mut y = 5; // 可変
 <span class="disabled">・コメントはない方が良い</span>
 <span class="disabled">・動くの先にある良いプログラム</span>
 <span class="disabled">・良いプログラムとは？</span>
-<span class="disabled">・_Don't call us, we'll call you_</span>
+<span class="disabled">・_"Don't call us, we'll call you"_</span>
 <span class="disabled">・goto不要論からの学び</span>
 <span class="disabled">・できないことを増やす</span>
 <span class="xisabled">・Complex vs Complicated</span>
@@ -759,7 +759,7 @@ public class Y implements X {
 <span class="xisabled">・コメントはない方が良い</span>
 <span class="xisabled">・動くの先にある良いプログラム</span>
 <span class="xisabled">・良いプログラムとは？</span>
-<span class="xisabled">・_Don't call us, we'll call you_</span>
+<span class="xisabled">・_"Don't call us, we'll call you"_</span>
 <span class="xisabled">・goto不要論からの学び</span>
 <span class="xisabled">・できないことを増やす</span>
 <span class="xisabled">・Complex vs Complicated</span>
diff --git a/lecture-test.html b/lecture-test.html
index 9506e18..ea78aa5 100644
--- a/lecture-test.html
+++ b/lecture-test.html
@@ -10,11 +10,11 @@
  * @size 4:3 960px 720px
  */div#p>svg>foreignObject>section{--color-prettylights-syntax-comment:#6e7781;--color-prettylights-syntax-constant:#0550ae;--color-prettylights-syntax-entity:#8250df;--color-prettylights-syntax-storage-modifier-import:#24292f;--color-prettylights-syntax-entity-tag:#116329;--color-prettylights-syntax-keyword:#cf222e;--color-prettylights-syntax-string:#0a3069;--color-prettylights-syntax-variable:#953800;--color-prettylights-syntax-brackethighlighter-unmatched:#82071e;--color-prettylights-syntax-invalid-illegal-text:#f6f8fa;--color-prettylights-syntax-invalid-illegal-bg:#82071e;--color-prettylights-syntax-carriage-return-text:#f6f8fa;--color-prettylights-syntax-carriage-return-bg:#cf222e;--color-prettylights-syntax-string-regexp:#116329;--color-prettylights-syntax-markup-list:#3b2300;--color-prettylights-syntax-markup-heading:#0550ae;--color-prettylights-syntax-markup-italic:#24292f;--color-prettylights-syntax-markup-bold:#24292f;--color-prettylights-syntax-markup-deleted-text:#82071e;--color-prettylights-syntax-markup-deleted-bg:#ffebe9;--color-prettylights-syntax-markup-inserted-text:#116329;--color-prettylights-syntax-markup-inserted-bg:#dafbe1;--color-prettylights-syntax-markup-changed-text:#953800;--color-prettylights-syntax-markup-changed-bg:#ffd8b5;--color-prettylights-syntax-markup-ignored-text:#eaeef2;--color-prettylights-syntax-markup-ignored-bg:#0550ae;--color-prettylights-syntax-meta-diff-range:#8250df;--color-prettylights-syntax-brackethighlighter-angle:#57606a;--color-prettylights-syntax-sublimelinter-gutter-mark:#8c959f;--color-prettylights-syntax-constant-other-reference-link:#0a3069;--color-fg-default:#24292f;--color-fg-muted:#57606a;--color-fg-subtle:#6e7781;--color-canvas-default:#fff;--color-canvas-subtle:#f6f8fa;--color-border-default:#d0d7de;--color-border-muted:#d8dee4;--color-neutral-muted:rgba(175,184,193,.2);--color-accent-fg:#0969da;--color-accent-emphasis:#0969da;--color-attention-subtle:#fff8c5;--color-danger-fg:#cf222e;color-scheme:light}div#p>svg>foreignObject>section:where(.invert){--color-prettylights-syntax-comment:#8b949e;--color-prettylights-syntax-constant:#79c0ff;--color-prettylights-syntax-entity:#d2a8ff;--color-prettylights-syntax-storage-modifier-import:#c9d1d9;--color-prettylights-syntax-entity-tag:#7ee787;--color-prettylights-syntax-keyword:#ff7b72;--color-prettylights-syntax-string:#a5d6ff;--color-prettylights-syntax-variable:#ffa657;--color-prettylights-syntax-brackethighlighter-unmatched:#f85149;--color-prettylights-syntax-invalid-illegal-text:#f0f6fc;--color-prettylights-syntax-invalid-illegal-bg:#8e1519;--color-prettylights-syntax-carriage-return-text:#f0f6fc;--color-prettylights-syntax-carriage-return-bg:#b62324;--color-prettylights-syntax-string-regexp:#7ee787;--color-prettylights-syntax-markup-list:#f2cc60;--color-prettylights-syntax-markup-heading:#1f6feb;--color-prettylights-syntax-markup-italic:#c9d1d9;--color-prettylights-syntax-markup-bold:#c9d1d9;--color-prettylights-syntax-markup-deleted-text:#ffdcd7;--color-prettylights-syntax-markup-deleted-bg:#67060c;--color-prettylights-syntax-markup-inserted-text:#aff5b4;--color-prettylights-syntax-markup-inserted-bg:#033a16;--color-prettylights-syntax-markup-changed-text:#ffdfb6;--color-prettylights-syntax-markup-changed-bg:#5a1e02;--color-prettylights-syntax-markup-ignored-text:#c9d1d9;--color-prettylights-syntax-markup-ignored-bg:#1158c7;--color-prettylights-syntax-meta-diff-range:#d2a8ff;--color-prettylights-syntax-brackethighlighter-angle:#8b949e;--color-prettylights-syntax-sublimelinter-gutter-mark:#484f58;--color-prettylights-syntax-constant-other-reference-link:#a5d6ff;--color-fg-default:#c9d1d9;--color-fg-muted:#8b949e;--color-fg-subtle:#6e7681;--color-canvas-default:#0d1117;--color-canvas-subtle:#161b22;--color-border-default:#30363d;--color-border-muted:#21262d;--color-neutral-muted:hsla(215,8%,47%,.4);--color-accent-fg:#58a6ff;--color-accent-emphasis:#1f6feb;--color-attention-subtle:rgba(187,128,9,.15);--color-danger-fg:#f85149;color-scheme:dark}div#p>svg>foreignObject>section{-ms-text-size-adjust:100%;-webkit-text-size-adjust:100%;word-wrap:break-word;background-color:var(--color-canvas-default);color:var(--color-fg-default);font-family:-apple-system,BlinkMacSystemFont,Segoe UI,Noto Sans,Helvetica,Arial,sans-serif,Apple Color Emoji,Segoe UI Emoji;font-size:16px;line-height:1.5;margin:0}div#p>svg>foreignObject>section{--marpit-root-font-size:16px}div#p>svg>foreignObject>section :is(h1,marp-h1):hover .anchor .octicon-link:before,div#p>svg>foreignObject>section :is(h2,marp-h2):hover .anchor .octicon-link:before,div#p>svg>foreignObject>section :is(h3,marp-h3):hover .anchor .octicon-link:before,div#p>svg>foreignObject>section :is(h4,marp-h4):hover .anchor .octicon-link:before,div#p>svg>foreignObject>section :is(h5,marp-h5):hover .anchor .octicon-link:before,div#p>svg>foreignObject>section :is(h6,marp-h6):hover .anchor .octicon-link:before{background-color:currentColor;content:" ";display:inline-block;height:16px;-webkit-mask-image:url('data:image/svg+xml;charset=utf-8,<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 16 16" aria-hidden="true"><path fill-rule="evenodd" d="M7.775 3.275a.75.75 0 0 0 1.06 1.06l1.25-1.25a2 2 0 1 1 2.83 2.83l-2.5 2.5a2 2 0 0 1-2.83 0 .75.75 0 0 0-1.06 1.06 3.5 3.5 0 0 0 4.95 0l2.5-2.5a3.5 3.5 0 0 0-4.95-4.95l-1.25 1.25zm-4.69 9.64a2 2 0 0 1 0-2.83l2.5-2.5a2 2 0 0 1 2.83 0 .75.75 0 0 0 1.06-1.06 3.5 3.5 0 0 0-4.95 0l-2.5 2.5a3.5 3.5 0 0 0 4.95 4.95l1.25-1.25a.75.75 0 0 0-1.06-1.06l-1.25 1.25a2 2 0 0 1-2.83 0z"/></svg>');mask-image:url('data:image/svg+xml;charset=utf-8,<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 16 16" aria-hidden="true"><path fill-rule="evenodd" d="M7.775 3.275a.75.75 0 0 0 1.06 1.06l1.25-1.25a2 2 0 1 1 2.83 2.83l-2.5 2.5a2 2 0 0 1-2.83 0 .75.75 0 0 0-1.06 1.06 3.5 3.5 0 0 0 4.95 0l2.5-2.5a3.5 3.5 0 0 0-4.95-4.95l-1.25 1.25zm-4.69 9.64a2 2 0 0 1 0-2.83l2.5-2.5a2 2 0 0 1 2.83 0 .75.75 0 0 0 1.06-1.06 3.5 3.5 0 0 0-4.95 0l-2.5 2.5a3.5 3.5 0 0 0 4.95 4.95l1.25-1.25a.75.75 0 0 0-1.06-1.06l-1.25 1.25a2 2 0 0 1-2.83 0z"/></svg>');width:16px}div#p>svg>foreignObject>section details,div#p>svg>foreignObject>section figcaption,div#p>svg>foreignObject>section figure{display:block}div#p>svg>foreignObject>section summary{display:list-item}div#p>svg>foreignObject>section [hidden]{display:none!important}div#p>svg>foreignObject>section a{background-color:transparent;color:var(--color-accent-fg);text-decoration:none}div#p>svg>foreignObject>section abbr[title]{border-bottom:none;-webkit-text-decoration:underline dotted;text-decoration:underline dotted}div#p>svg>foreignObject>section b,div#p>svg>foreignObject>section strong{font-weight:var(--base-text-weight-semibold,600)}div#p>svg>foreignObject>section dfn{font-style:italic}div#p>svg>foreignObject>section :is(h1,marp-h1){border-bottom:1px solid var(--color-border-muted);font-size:2em;font-weight:var(--base-text-weight-semibold,600);margin:.67em 0;padding-bottom:.3em}div#p>svg>foreignObject>section mark{background-color:var(--color-attention-subtle);color:var(--color-fg-default)}div#p>svg>foreignObject>section small{font-size:90%}div#p>svg>foreignObject>section sub,div#p>svg>foreignObject>section sup{font-size:75%;line-height:0;position:relative;vertical-align:baseline}div#p>svg>foreignObject>section sub{bottom:-.25em}div#p>svg>foreignObject>section sup{top:-.5em}div#p>svg>foreignObject>section img{background-color:var(--color-canvas-default);border-style:none;box-sizing:content-box;max-width:100%}div#p>svg>foreignObject>section :is(pre,marp-pre),div#p>svg>foreignObject>section code,div#p>svg>foreignObject>section kbd,div#p>svg>foreignObject>section samp{font-family:monospace;font-size:1em}div#p>svg>foreignObject>section figure{margin:1em 40px}div#p>svg>foreignObject>section hr{background:transparent;background-color:var(--color-border-default);border:0;box-sizing:content-box;height:.25em;margin:24px 0;overflow:hidden;padding:0}div#p>svg>foreignObject>section input{font:inherit;font-family:inherit;font-size:inherit;line-height:inherit;margin:0;overflow:visible}div#p>svg>foreignObject>section [type=button],div#p>svg>foreignObject>section [type=reset],div#p>svg>foreignObject>section [type=submit]{-webkit-appearance:button}div#p>svg>foreignObject>section [type=checkbox],div#p>svg>foreignObject>section [type=radio]{box-sizing:border-box;padding:0}div#p>svg>foreignObject>section [type=number]::-webkit-inner-spin-button,div#p>svg>foreignObject>section [type=number]::-webkit-outer-spin-button{height:auto}div#p>svg>foreignObject>section [type=search]::-webkit-search-cancel-button,div#p>svg>foreignObject>section [type=search]::-webkit-search-decoration{-webkit-appearance:none}div#p>svg>foreignObject>section ::-webkit-input-placeholder{color:inherit;opacity:.54}div#p>svg>foreignObject>section ::-webkit-file-upload-button{-webkit-appearance:button;font:inherit}div#p>svg>foreignObject>section a:hover{text-decoration:underline}div#p>svg>foreignObject>section ::-moz-placeholder{color:var(--color-fg-subtle);opacity:1}div#p>svg>foreignObject>section ::placeholder{color:var(--color-fg-subtle);opacity:1}div#p>svg>foreignObject>section hr:after,div#p>svg>foreignObject>section hr:before{content:"";display:table}div#p>svg>foreignObject>section hr:after{clear:both}div#p>svg>foreignObject>section table{border-collapse:collapse;border-spacing:0;display:block;max-width:100%;overflow:auto;width:-moz-max-content;width:max-content}div#p>svg>foreignObject>section td,div#p>svg>foreignObject>section th{padding:0}div#p>svg>foreignObject>section details summary{cursor:pointer}div#p>svg>foreignObject>section details:not([open])>:not(summary){display:none!important}div#p>svg>foreignObject>section [role=button]:focus,div#p>svg>foreignObject>section a:focus,div#p>svg>foreignObject>section input[type=checkbox]:focus,div#p>svg>foreignObject>section input[type=radio]:focus{box-shadow:none;outline:2px solid var(--color-accent-fg);outline-offset:-2px}div#p>svg>foreignObject>section [role=button]:focus:not(:focus-visible),div#p>svg>foreignObject>section a:focus:not(:focus-visible),div#p>svg>foreignObject>section input[type=checkbox]:focus:not(:focus-visible),div#p>svg>foreignObject>section input[type=radio]:focus:not(:focus-visible){outline:1px solid transparent}div#p>svg>foreignObject>section [role=button]:focus-visible,div#p>svg>foreignObject>section a:focus-visible,div#p>svg>foreignObject>section input[type=checkbox]:focus-visible,div#p>svg>foreignObject>section input[type=radio]:focus-visible{box-shadow:none;outline:2px solid var(--color-accent-fg);outline-offset:-2px}div#p>svg>foreignObject>section a:not([class]):focus,div#p>svg>foreignObject>section a:not([class]):focus-visible,div#p>svg>foreignObject>section input[type=checkbox]:focus,div#p>svg>foreignObject>section input[type=checkbox]:focus-visible,div#p>svg>foreignObject>section input[type=radio]:focus,div#p>svg>foreignObject>section input[type=radio]:focus-visible{outline-offset:0}div#p>svg>foreignObject>section kbd{background-color:var(--color-canvas-subtle);border-bottom-color:var(--color-neutral-muted);border:1px solid var(--color-neutral-muted);border-radius:6px;box-shadow:inset 0 -1px 0 var(--color-neutral-muted);color:var(--color-fg-default);display:inline-block;font:11px ui-monospace,SFMono-Regular,SF Mono,Menlo,Consolas,Liberation Mono,monospace;line-height:10px;padding:3px 5px;vertical-align:middle}div#p>svg>foreignObject>section :is(h1,marp-h1),div#p>svg>foreignObject>section :is(h2,marp-h2),div#p>svg>foreignObject>section :is(h3,marp-h3),div#p>svg>foreignObject>section :is(h4,marp-h4),div#p>svg>foreignObject>section :is(h5,marp-h5),div#p>svg>foreignObject>section :is(h6,marp-h6){font-weight:var(--base-text-weight-semibold,600);line-height:1.25;margin-bottom:16px;margin-top:24px}div#p>svg>foreignObject>section :is(h2,marp-h2){border-bottom:1px solid var(--color-border-muted);font-size:1.5em;padding-bottom:.3em}div#p>svg>foreignObject>section :is(h2,marp-h2),div#p>svg>foreignObject>section :is(h3,marp-h3){font-weight:var(--base-text-weight-semibold,600)}div#p>svg>foreignObject>section :is(h3,marp-h3){font-size:1.25em}div#p>svg>foreignObject>section :is(h4,marp-h4){font-size:1em}div#p>svg>foreignObject>section :is(h4,marp-h4),div#p>svg>foreignObject>section :is(h5,marp-h5){font-weight:var(--base-text-weight-semibold,600)}div#p>svg>foreignObject>section :is(h5,marp-h5){font-size:.875em}div#p>svg>foreignObject>section :is(h6,marp-h6){color:var(--color-fg-muted);font-size:.85em;font-weight:var(--base-text-weight-semibold,600)}div#p>svg>foreignObject>section p{margin-bottom:10px;margin-top:0}div#p>svg>foreignObject>section blockquote{border-left:.25em solid var(--color-border-default);color:var(--color-fg-muted);margin:0;padding:0 1em}div#p>svg>foreignObject>section ol,div#p>svg>foreignObject>section ul{margin-bottom:0;margin-top:0;padding-left:2em}div#p>svg>foreignObject>section ol ol,div#p>svg>foreignObject>section ul ol{list-style-type:lower-roman}div#p>svg>foreignObject>section ol ol ol,div#p>svg>foreignObject>section ol ul ol,div#p>svg>foreignObject>section ul ol ol,div#p>svg>foreignObject>section ul ul ol{list-style-type:lower-alpha}div#p>svg>foreignObject>section dd{margin-left:0}div#p>svg>foreignObject>section :is(pre,marp-pre),div#p>svg>foreignObject>section code,div#p>svg>foreignObject>section samp,div#p>svg>foreignObject>section tt{font-family:ui-monospace,SFMono-Regular,SF Mono,Menlo,Consolas,Liberation Mono,monospace;font-size:12px}div#p>svg>foreignObject>section :is(pre,marp-pre){word-wrap:normal;margin-bottom:0;margin-top:0}div#p>svg>foreignObject>section .octicon{fill:currentColor;display:inline-block;overflow:visible!important;vertical-align:text-bottom}div#p>svg>foreignObject>section input::-webkit-inner-spin-button,div#p>svg>foreignObject>section input::-webkit-outer-spin-button{-webkit-appearance:none;appearance:none;margin:0}div#p>svg>foreignObject>section:after,div#p>svg>foreignObject>section:before{
   /* content:""; */display:table}div#p>svg>foreignObject>section:after{clear:both}div#p>svg>foreignObject>section>:first-child{margin-top:0!important}div#p>svg>foreignObject>section>:last-child{margin-bottom:0!important}div#p>svg>foreignObject>section a:not([href]){color:inherit;text-decoration:none}div#p>svg>foreignObject>section .absent{color:var(--color-danger-fg)}div#p>svg>foreignObject>section .anchor{float:left;line-height:1;margin-left:-20px;padding-right:4px}div#p>svg>foreignObject>section .anchor:focus{outline:none}div#p>svg>foreignObject>section :is(pre,marp-pre),div#p>svg>foreignObject>section blockquote,div#p>svg>foreignObject>section details,div#p>svg>foreignObject>section dl,div#p>svg>foreignObject>section ol,div#p>svg>foreignObject>section p,div#p>svg>foreignObject>section table,div#p>svg>foreignObject>section ul{margin-bottom:16px;margin-top:0}div#p>svg>foreignObject>section blockquote>:first-child{margin-top:0}div#p>svg>foreignObject>section blockquote>:last-child{margin-bottom:0}div#p>svg>foreignObject>section :is(h1,marp-h1) .octicon-link,div#p>svg>foreignObject>section :is(h2,marp-h2) .octicon-link,div#p>svg>foreignObject>section :is(h3,marp-h3) .octicon-link,div#p>svg>foreignObject>section :is(h4,marp-h4) .octicon-link,div#p>svg>foreignObject>section :is(h5,marp-h5) .octicon-link,div#p>svg>foreignObject>section :is(h6,marp-h6) .octicon-link{color:var(--color-fg-default);vertical-align:middle;visibility:hidden}div#p>svg>foreignObject>section :is(h1,marp-h1):hover .anchor,div#p>svg>foreignObject>section :is(h2,marp-h2):hover .anchor,div#p>svg>foreignObject>section :is(h3,marp-h3):hover .anchor,div#p>svg>foreignObject>section :is(h4,marp-h4):hover .anchor,div#p>svg>foreignObject>section :is(h5,marp-h5):hover .anchor,div#p>svg>foreignObject>section :is(h6,marp-h6):hover .anchor{text-decoration:none}div#p>svg>foreignObject>section :is(h1,marp-h1):hover .anchor .octicon-link,div#p>svg>foreignObject>section :is(h2,marp-h2):hover .anchor .octicon-link,div#p>svg>foreignObject>section :is(h3,marp-h3):hover .anchor .octicon-link,div#p>svg>foreignObject>section :is(h4,marp-h4):hover .anchor .octicon-link,div#p>svg>foreignObject>section :is(h5,marp-h5):hover .anchor .octicon-link,div#p>svg>foreignObject>section :is(h6,marp-h6):hover .anchor .octicon-link{visibility:visible}div#p>svg>foreignObject>section :is(h1,marp-h1) code,div#p>svg>foreignObject>section :is(h1,marp-h1) tt,div#p>svg>foreignObject>section :is(h2,marp-h2) code,div#p>svg>foreignObject>section :is(h2,marp-h2) tt,div#p>svg>foreignObject>section :is(h3,marp-h3) code,div#p>svg>foreignObject>section :is(h3,marp-h3) tt,div#p>svg>foreignObject>section :is(h4,marp-h4) code,div#p>svg>foreignObject>section :is(h4,marp-h4) tt,div#p>svg>foreignObject>section :is(h5,marp-h5) code,div#p>svg>foreignObject>section :is(h5,marp-h5) tt,div#p>svg>foreignObject>section :is(h6,marp-h6) code,div#p>svg>foreignObject>section :is(h6,marp-h6) tt{font-size:inherit;padding:0 .2em}div#p>svg>foreignObject>section summary :is(h1,marp-h1),div#p>svg>foreignObject>section summary :is(h2,marp-h2),div#p>svg>foreignObject>section summary :is(h3,marp-h3),div#p>svg>foreignObject>section summary :is(h4,marp-h4),div#p>svg>foreignObject>section summary :is(h5,marp-h5),div#p>svg>foreignObject>section summary :is(h6,marp-h6){display:inline-block}div#p>svg>foreignObject>section summary :is(h1,marp-h1) .anchor,div#p>svg>foreignObject>section summary :is(h2,marp-h2) .anchor,div#p>svg>foreignObject>section summary :is(h3,marp-h3) .anchor,div#p>svg>foreignObject>section summary :is(h4,marp-h4) .anchor,div#p>svg>foreignObject>section summary :is(h5,marp-h5) .anchor,div#p>svg>foreignObject>section summary :is(h6,marp-h6) .anchor{margin-left:-40px}div#p>svg>foreignObject>section summary :is(h1,marp-h1),div#p>svg>foreignObject>section summary :is(h2,marp-h2){border-bottom:0;padding-bottom:0}div#p>svg>foreignObject>section ol.no-list,div#p>svg>foreignObject>section ul.no-list{list-style-type:none;padding:0}div#p>svg>foreignObject>section ol[type=a]{list-style-type:lower-alpha}div#p>svg>foreignObject>section ol[type=A]{list-style-type:upper-alpha}div#p>svg>foreignObject>section ol[type=i]{list-style-type:lower-roman}div#p>svg>foreignObject>section ol[type=I]{list-style-type:upper-roman}div#p>svg>foreignObject>section div>ol:not([type]),div#p>svg>foreignObject>section ol[type="1"]{list-style-type:decimal}div#p>svg>foreignObject>section ol ol,div#p>svg>foreignObject>section ol ul,div#p>svg>foreignObject>section ul ol,div#p>svg>foreignObject>section ul ul{margin-bottom:0;margin-top:0}div#p>svg>foreignObject>section li>p{margin-top:16px}div#p>svg>foreignObject>section li+li{margin-top:.25em}div#p>svg>foreignObject>section dl{padding:0}div#p>svg>foreignObject>section dl dt{font-size:1em;font-style:italic;font-weight:var(--base-text-weight-semibold,600);margin-top:16px;padding:0}div#p>svg>foreignObject>section dl dd{margin-bottom:16px;padding:0 16px}div#p>svg>foreignObject>section table th{font-weight:var(--base-text-weight-semibold,600)}div#p>svg>foreignObject>section table td,div#p>svg>foreignObject>section table th{border:1px solid var(--color-border-default);padding:6px 13px}div#p>svg>foreignObject>section table tr{background-color:var(--color-canvas-default);border-top:1px solid var(--color-border-muted)}div#p>svg>foreignObject>section table tr:nth-child(2n){background-color:var(--color-canvas-subtle)}div#p>svg>foreignObject>section table img{background-color:transparent}div#p>svg>foreignObject>section img[align=right]{padding-left:20px}div#p>svg>foreignObject>section img[align=left]{padding-right:20px}div#p>svg>foreignObject>section .emoji{background-color:transparent;max-width:none;vertical-align:text-top}div#p>svg>foreignObject>section :is(span,marp-span).frame,div#p>svg>foreignObject>section :is(span,marp-span).frame>:is(span,marp-span){display:block;overflow:hidden}div#p>svg>foreignObject>section :is(span,marp-span).frame>:is(span,marp-span){border:1px solid var(--color-border-default);float:left;margin:13px 0 0;padding:7px;width:auto}div#p>svg>foreignObject>section :is(span,marp-span).frame :is(span,marp-span) img{display:block;float:left}div#p>svg>foreignObject>section :is(span,marp-span).frame :is(span,marp-span) :is(span,marp-span){clear:both;color:var(--color-fg-default);display:block;padding:5px 0 0}div#p>svg>foreignObject>section :is(span,marp-span).align-center{clear:both;display:block;overflow:hidden}div#p>svg>foreignObject>section :is(span,marp-span).align-center>:is(span,marp-span){display:block;margin:13px auto 0;overflow:hidden;text-align:center}div#p>svg>foreignObject>section :is(span,marp-span).align-center :is(span,marp-span) img{margin:0 auto;text-align:center}div#p>svg>foreignObject>section :is(span,marp-span).align-right{clear:both;display:block;overflow:hidden}div#p>svg>foreignObject>section :is(span,marp-span).align-right>:is(span,marp-span){display:block;margin:13px 0 0;overflow:hidden;text-align:right}div#p>svg>foreignObject>section :is(span,marp-span).align-right :is(span,marp-span) img{margin:0;text-align:right}div#p>svg>foreignObject>section :is(span,marp-span).float-left{display:block;float:left;margin-right:13px;overflow:hidden}div#p>svg>foreignObject>section :is(span,marp-span).float-left :is(span,marp-span){margin:13px 0 0}div#p>svg>foreignObject>section :is(span,marp-span).float-right{display:block;float:right;margin-left:13px;overflow:hidden}div#p>svg>foreignObject>section :is(span,marp-span).float-right>:is(span,marp-span){display:block;margin:13px auto 0;overflow:hidden;text-align:right}div#p>svg>foreignObject>section code,div#p>svg>foreignObject>section tt{background-color:var(--color-neutral-muted);border-radius:6px;font-size:85%;margin:0;padding:.2em .4em;white-space:break-spaces}div#p>svg>foreignObject>section code br,div#p>svg>foreignObject>section tt br{display:none}div#p>svg>foreignObject>section del code{text-decoration:inherit}div#p>svg>foreignObject>section samp{font-size:85%}div#p>svg>foreignObject>section :is(pre,marp-pre) code{font-size:100%}div#p>svg>foreignObject>section :is(pre,marp-pre)>code{background:transparent;border:0;margin:0;padding:0;white-space:pre;word-break:normal}div#p>svg>foreignObject>section .highlight{margin-bottom:16px}div#p>svg>foreignObject>section .highlight :is(pre,marp-pre){margin-bottom:0;word-break:normal}div#p>svg>foreignObject>section :is(pre,marp-pre){background-color:var(--color-canvas-subtle);border-radius:6px;font-size:85%;line-height:1.45;overflow:auto;padding:16px}div#p>svg>foreignObject>section :is(pre,marp-pre) code,div#p>svg>foreignObject>section :is(pre,marp-pre) tt{word-wrap:normal;background-color:transparent;border:0;display:inline;line-height:inherit;margin:0;max-width:auto;overflow:visible;padding:0}div#p>svg>foreignObject>section .csv-data td,div#p>svg>foreignObject>section .csv-data th{font-size:12px;line-height:1;overflow:hidden;padding:5px;text-align:left;white-space:nowrap}div#p>svg>foreignObject>section .csv-data .blob-num{background:var(--color-canvas-default);border:0;padding:10px 8px 9px;text-align:right}div#p>svg>foreignObject>section .csv-data tr{border-top:0}div#p>svg>foreignObject>section .csv-data th{background:var(--color-canvas-subtle);border-top:0;font-weight:var(--base-text-weight-semibold,600)}div#p>svg>foreignObject>section [data-footnote-ref]:before{content:"["}div#p>svg>foreignObject>section [data-footnote-ref]:after{content:"]"}div#p>svg>foreignObject>section .footnotes{border-top:1px solid var(--color-border-default);color:var(--color-fg-muted);font-size:12px}div#p>svg>foreignObject>section div#p>svg>foreignObject>section section.footnotes{--marpit-root-font-size:12px}div#p>svg>foreignObject>section .footnotes ol{padding-left:16px}div#p>svg>foreignObject>section .footnotes ol ul{display:inline-block;margin-top:16px;padding-left:16px}div#p>svg>foreignObject>section .footnotes li{position:relative}div#p>svg>foreignObject>section .footnotes li:target:before{border:2px solid var(--color-accent-emphasis);border-radius:6px;bottom:-8px;content:"";left:-24px;pointer-events:none;position:absolute;right:-8px;top:-8px}div#p>svg>foreignObject>section .footnotes li:target{color:var(--color-fg-default)}div#p>svg>foreignObject>section .footnotes .data-footnote-backref g-emoji{font-family:monospace}div#p>svg>foreignObject>section .pl-c{color:var(--color-prettylights-syntax-comment)}div#p>svg>foreignObject>section .pl-c1,div#p>svg>foreignObject>section .pl-s .pl-v{color:var(--color-prettylights-syntax-constant)}div#p>svg>foreignObject>section .pl-e,div#p>svg>foreignObject>section .pl-en{color:var(--color-prettylights-syntax-entity)}div#p>svg>foreignObject>section .pl-s .pl-s1,div#p>svg>foreignObject>section .pl-smi{color:var(--color-prettylights-syntax-storage-modifier-import)}div#p>svg>foreignObject>section .pl-ent{color:var(--color-prettylights-syntax-entity-tag)}div#p>svg>foreignObject>section .pl-k{color:var(--color-prettylights-syntax-keyword)}div#p>svg>foreignObject>section .pl-pds,div#p>svg>foreignObject>section .pl-s,div#p>svg>foreignObject>section .pl-s .pl-pse .pl-s1,div#p>svg>foreignObject>section .pl-sr,div#p>svg>foreignObject>section .pl-sr .pl-cce,div#p>svg>foreignObject>section .pl-sr .pl-sra,div#p>svg>foreignObject>section .pl-sr .pl-sre{color:var(--color-prettylights-syntax-string)}div#p>svg>foreignObject>section .pl-smw,div#p>svg>foreignObject>section .pl-v{color:var(--color-prettylights-syntax-variable)}div#p>svg>foreignObject>section .pl-bu{color:var(--color-prettylights-syntax-brackethighlighter-unmatched)}div#p>svg>foreignObject>section .pl-ii{background-color:var(--color-prettylights-syntax-invalid-illegal-bg);color:var(--color-prettylights-syntax-invalid-illegal-text)}div#p>svg>foreignObject>section .pl-c2{background-color:var(--color-prettylights-syntax-carriage-return-bg);color:var(--color-prettylights-syntax-carriage-return-text)}div#p>svg>foreignObject>section .pl-sr .pl-cce{color:var(--color-prettylights-syntax-string-regexp);font-weight:700}div#p>svg>foreignObject>section .pl-ml{color:var(--color-prettylights-syntax-markup-list)}div#p>svg>foreignObject>section .pl-mh,div#p>svg>foreignObject>section .pl-mh .pl-en,div#p>svg>foreignObject>section .pl-ms{color:var(--color-prettylights-syntax-markup-heading);font-weight:700}div#p>svg>foreignObject>section .pl-mi{color:var(--color-prettylights-syntax-markup-italic);font-style:italic}div#p>svg>foreignObject>section .pl-mb{color:var(--color-prettylights-syntax-markup-bold);font-weight:700}div#p>svg>foreignObject>section .pl-md{background-color:var(--color-prettylights-syntax-markup-deleted-bg);color:var(--color-prettylights-syntax-markup-deleted-text)}div#p>svg>foreignObject>section .pl-mi1{background-color:var(--color-prettylights-syntax-markup-inserted-bg);color:var(--color-prettylights-syntax-markup-inserted-text)}div#p>svg>foreignObject>section .pl-mc{background-color:var(--color-prettylights-syntax-markup-changed-bg);color:var(--color-prettylights-syntax-markup-changed-text)}div#p>svg>foreignObject>section .pl-mi2{background-color:var(--color-prettylights-syntax-markup-ignored-bg);color:var(--color-prettylights-syntax-markup-ignored-text)}div#p>svg>foreignObject>section .pl-mdr{color:var(--color-prettylights-syntax-meta-diff-range);font-weight:700}div#p>svg>foreignObject>section .pl-ba{color:var(--color-prettylights-syntax-brackethighlighter-angle)}div#p>svg>foreignObject>section .pl-sg{color:var(--color-prettylights-syntax-sublimelinter-gutter-mark)}div#p>svg>foreignObject>section .pl-corl{color:var(--color-prettylights-syntax-constant-other-reference-link);text-decoration:underline}div#p>svg>foreignObject>section g-emoji{display:inline-block;font-family:Apple Color Emoji,Segoe UI Emoji,Segoe UI Symbol;font-size:1em;font-style:normal!important;font-weight:var(--base-text-weight-normal,400);line-height:1;min-width:1ch;vertical-align:-.075em}div#p>svg>foreignObject>section g-emoji img{height:1em;width:1em}div#p>svg>foreignObject>section .task-list-item{list-style-type:none}div#p>svg>foreignObject>section .task-list-item label{font-weight:var(--base-text-weight-normal,400)}div#p>svg>foreignObject>section .task-list-item.enabled label{cursor:pointer}div#p>svg>foreignObject>section .task-list-item+.task-list-item{margin-top:4px}div#p>svg>foreignObject>section .task-list-item .handle{display:none}div#p>svg>foreignObject>section .task-list-item-checkbox{margin:0 .2em .25em -1.4em;vertical-align:middle}div#p>svg>foreignObject>section .contains-task-list:dir(rtl) .task-list-item-checkbox{margin:0 -1.6em .25em .2em}div#p>svg>foreignObject>section .contains-task-list{position:relative}div#p>svg>foreignObject>section .contains-task-list:focus-within .task-list-item-convert-container,div#p>svg>foreignObject>section .contains-task-list:hover .task-list-item-convert-container{clip:auto;display:block;height:24px;overflow:visible;width:auto}div#p>svg>foreignObject>section ::-webkit-calendar-picker-indicator{filter:invert(50%)}div#p>svg>foreignObject>section :is(h1,marp-h1){color:var(--h1-color);font-size:1.6em}div#p>svg>foreignObject>section :is(h1,marp-h1),div#p>svg>foreignObject>section :is(h2,marp-h2){border-bottom:none}div#p>svg>foreignObject>section :is(h2,marp-h2){font-size:1.3em}div#p>svg>foreignObject>section :is(h3,marp-h3){font-size:1.1em}div#p>svg>foreignObject>section :is(h4,marp-h4){font-size:1.05em}div#p>svg>foreignObject>section :is(h5,marp-h5){font-size:1em}div#p>svg>foreignObject>section :is(h6,marp-h6){font-size:.9em}div#p>svg>foreignObject>section :is(h1,marp-h1) strong,div#p>svg>foreignObject>section :is(h2,marp-h2) strong,div#p>svg>foreignObject>section :is(h3,marp-h3) strong,div#p>svg>foreignObject>section :is(h4,marp-h4) strong,div#p>svg>foreignObject>section :is(h5,marp-h5) strong,div#p>svg>foreignObject>section :is(h6,marp-h6) strong{color:var(--heading-strong-color);font-weight:inherit}div#p>svg>foreignObject>section :is(h1,marp-h1)::part(auto-scaling),div#p>svg>foreignObject>section :is(h2,marp-h2)::part(auto-scaling),div#p>svg>foreignObject>section :is(h3,marp-h3)::part(auto-scaling),div#p>svg>foreignObject>section :is(h4,marp-h4)::part(auto-scaling),div#p>svg>foreignObject>section :is(h5,marp-h5)::part(auto-scaling),div#p>svg>foreignObject>section :is(h6,marp-h6)::part(auto-scaling){max-height:563px}div#p>svg>foreignObject>section hr{height:0;padding-top:.25em}div#p>svg>foreignObject>section :is(pre,marp-pre){border:1px solid var(--color-border-default);line-height:1.15;overflow:visible}div#p>svg>foreignObject>section :is(pre,marp-pre)::part(auto-scaling){max-height:529px}div#p>svg>foreignObject>section :is(pre,marp-pre) :where(.hljs){color:var(--color-prettylights-syntax-storage-modifier-import)}div#p>svg>foreignObject>section :is(pre,marp-pre) :where(.hljs-doctag),div#p>svg>foreignObject>section :is(pre,marp-pre) :where(.hljs-keyword),div#p>svg>foreignObject>section :is(pre,marp-pre) :where(.hljs-meta .hljs-keyword),div#p>svg>foreignObject>section :is(pre,marp-pre) :where(.hljs-template-tag),div#p>svg>foreignObject>section :is(pre,marp-pre) :where(.hljs-template-variable),div#p>svg>foreignObject>section :is(pre,marp-pre) :where(.hljs-type),div#p>svg>foreignObject>section :is(pre,marp-pre) :where(.hljs-variable.language_){color:var(--color-prettylights-syntax-keyword)}div#p>svg>foreignObject>section :is(pre,marp-pre) :where(.hljs-title),div#p>svg>foreignObject>section :is(pre,marp-pre) :where(.hljs-title.class_),div#p>svg>foreignObject>section :is(pre,marp-pre) :where(.hljs-title.class_.inherited__),div#p>svg>foreignObject>section :is(pre,marp-pre) :where(.hljs-title.function_){color:var(--color-prettylights-syntax-entity)}div#p>svg>foreignObject>section :is(pre,marp-pre) :where(.hljs-attr),div#p>svg>foreignObject>section :is(pre,marp-pre) :where(.hljs-attribute),div#p>svg>foreignObject>section :is(pre,marp-pre) :where(.hljs-literal),div#p>svg>foreignObject>section :is(pre,marp-pre) :where(.hljs-meta),div#p>svg>foreignObject>section :is(pre,marp-pre) :where(.hljs-number),div#p>svg>foreignObject>section :is(pre,marp-pre) :where(.hljs-operator),div#p>svg>foreignObject>section :is(pre,marp-pre) :where(.hljs-selector-attr),div#p>svg>foreignObject>section :is(pre,marp-pre) :where(.hljs-selector-class),div#p>svg>foreignObject>section :is(pre,marp-pre) :where(.hljs-selector-id),div#p>svg>foreignObject>section :is(pre,marp-pre) :where(.hljs-variable){color:var(--color-prettylights-syntax-constant)}div#p>svg>foreignObject>section :is(pre,marp-pre) :where(.hljs-meta .hljs-string),div#p>svg>foreignObject>section :is(pre,marp-pre) :where(.hljs-regexp),div#p>svg>foreignObject>section :is(pre,marp-pre) :where(.hljs-string){color:var(--color-prettylights-syntax-string)}div#p>svg>foreignObject>section :is(pre,marp-pre) :where(.hljs-built_in),div#p>svg>foreignObject>section :is(pre,marp-pre) :where(.hljs-symbol){color:var(--color-prettylights-syntax-variable)}div#p>svg>foreignObject>section :is(pre,marp-pre) :where(.hljs-code),div#p>svg>foreignObject>section :is(pre,marp-pre) :where(.hljs-comment),div#p>svg>foreignObject>section :is(pre,marp-pre) :where(.hljs-formula){color:var(--color-prettylights-syntax-comment)}div#p>svg>foreignObject>section :is(pre,marp-pre) :where(.hljs-name),div#p>svg>foreignObject>section :is(pre,marp-pre) :where(.hljs-quote),div#p>svg>foreignObject>section :is(pre,marp-pre) :where(.hljs-selector-pseudo),div#p>svg>foreignObject>section :is(pre,marp-pre) :where(.hljs-selector-tag){color:var(--color-prettylights-syntax-entity-tag)}div#p>svg>foreignObject>section :is(pre,marp-pre) :where(.hljs-subst){color:var(--color-prettylights-syntax-storage-modifier-import)}div#p>svg>foreignObject>section :is(pre,marp-pre) :where(.hljs-section){color:var(--color-prettylights-syntax-markup-heading);font-weight:700}div#p>svg>foreignObject>section :is(pre,marp-pre) :where(.hljs-bullet){color:var(--color-prettylights-syntax-markup-list)}div#p>svg>foreignObject>section :is(pre,marp-pre) :where(.hljs-emphasis){color:var(--color-prettylights-syntax-markup-italic);font-style:italic}div#p>svg>foreignObject>section :is(pre,marp-pre) :where(.hljs-strong){color:var(--color-prettylights-syntax-markup-bold);font-weight:700}div#p>svg>foreignObject>section :is(pre,marp-pre) :where(.hljs-addition){background-color:var(--color-prettylights-syntax-markup-inserted-bg);color:var(--color-prettylights-syntax-markup-inserted-text)}div#p>svg>foreignObject>section :is(pre,marp-pre) :where(.hljs-deletion){background-color:var(--color-prettylights-syntax-markup-deleted-bg);color:var(--color-prettylights-syntax-markup-deleted-text)}div#p>svg>foreignObject>section footer,div#p>svg>foreignObject>section header{color:var(--header-footer-color);font-size:18px;left:30px;margin:0;position:absolute}div#p>svg>foreignObject>section header{top:21px}div#p>svg>foreignObject>section footer{bottom:21px}div#p>svg>foreignObject>section{--h1-color:#246;--header-footer-color:hsla(0,0%,40%,.75);--heading-strong-color:#48c;--paginate-color:#777;align-items:stretch;display:flex;flex-flow:column nowrap;font-size:29px;height:720px;justify-content:center;padding:78.5px;width:1280px}div#p>svg>foreignObject>section{--marpit-root-font-size:29px}div#p>svg>foreignObject>section:where(.invert){--h1-color:#cee7ff;--header-footer-color:hsla(0,0%,60%,.75);--heading-strong-color:#7bf;--paginate-color:#999}div#p>svg>foreignObject>section>:last-child,div#p>svg>foreignObject>section[data-footer]>:nth-last-child(2){margin-bottom:0}div#p>svg>foreignObject>section>:first-child,div#p>svg>foreignObject>section>header:first-child+*{margin-top:0}div#p>svg>foreignObject>section:after{bottom:21px;color:var(--paginate-color);font-size:24px;padding:0;position:absolute;right:30px}div#p>svg>foreignObject>section:after{--marpit-root-font-size:24px}div#p>svg>foreignObject>section[data-color] :is(h1,marp-h1),div#p>svg>foreignObject>section[data-color] :is(h2,marp-h2),div#p>svg>foreignObject>section[data-color] :is(h3,marp-h3),div#p>svg>foreignObject>section[data-color] :is(h4,marp-h4),div#p>svg>foreignObject>section[data-color] :is(h5,marp-h5),div#p>svg>foreignObject>section[data-color] :is(h6,marp-h6){color:currentcolor}div#p>svg>foreignObject>section img[data-marp-twemoji]{background:transparent;height:1em;margin:0 .05em 0 .1em;vertical-align:-.1em;width:1em}
-/* @theme shin */div#p>svg>foreignObject>:where(section):not([root]){--color-font-main:#012F4B;--color-font-sub:#0f3b57;--color-font-accent:rgb(201,57,64);--color-background:#EBEEF9}div#p>svg>foreignObject>section{font-family:"Noto Sans","Noto Sans JP";justify-content:start;background-color:var(--color-background);color:var(--color-font-main);padding:30px 70px}div#p>svg>foreignObject>section ::selection{background-color:rgba(255,255,0,0.5)}div#p>svg>foreignObject>section.title{padding-top:400px}div#p>svg>foreignObject>section sub{bottom:0}div#p>svg>foreignObject>section :is(pre,marp-pre),div#p>svg>foreignObject>section blockquote,div#p>svg>foreignObject>section code{font-family:consolas,"Noto Sans JP";color:var(--color-font-sub);background-color:white;font-weight:500;padding:3px 6px;border:1px solid var(--color-font-main)}div#p>svg>foreignObject>section p:has(+marp-pre){margin-bottom:0;padding-bottom:5px}div#p>svg>foreignObject>section code{font-size:70%;vertical-align:middle}div#p>svg>foreignObject>section :is(pre,marp-pre){margin-left:30px}div#p>svg>foreignObject>section :is(h1,marp-h1){padding:0;font-size:200%;font-weight:900;color:var(--color-font-main)}div#p>svg>foreignObject>section :is(h2,marp-h2){margin:0;padding:10px 0 0 0;color:var(--color-font-main);font-weight:900;padding-bottom:5px}div#p>svg>foreignObject>section ul{list-style-type:"- ";margin-top:0;padding-top:0}div#p>svg>foreignObject>section ol{padding-inline-start:45px}div#p>svg>foreignObject>section u,div#p>svg>foreignObject>section u::selection{text-decoration:underline 8pt;text-decoration-color:#ffc3d6;text-underline-offset:-3px}div#p>svg>foreignObject>section li,div#p>svg>foreignObject>section p{color:var(--color-font-sub);margin-left:30px;font-weight:500;font-size:120%;line-height:1.2;margin-top:0}div#p>svg>foreignObject>section li+li{margin-top:0}div#p>svg>foreignObject>section brr{display:block;content:"";margin-top:.5lh}div#p>svg>foreignObject>section.outline .disabled{color:hsl(203,43%,56%,60%)}div#p>svg>foreignObject>section:after{color:#9badbe}div#p>svg>foreignObject>section blockquote{background-color:#dadfec;position:relative;border:none;padding-left:40px}div#p>svg>foreignObject>section blockquote:after{content:"“";font-family:Arial;font-size:500%;color:#8697a7;display:block;position:absolute;left:5px;top:-55px;bottom:0;margin:auto}div#p>svg>foreignObject>section div.corner-triangle{display:block;width:0px;height:0px;border-style:solid;border-width:0 150px 150px 0;border-color:transparent #608A32 transparent transparent;position:fixed;top:0;right:0;color:white}div#p>svg>foreignObject>section div.corner-triangle .corner-triangle-text{position:relative;top:40px;right:-60px;width:100px;font-family:consolas,"Noto Sans JP";font-weight:600;-webkit-transform:rotate(45deg);-moz-transform:rotate(45deg);-ms-transform:rotate(45deg);-o-transform:rotate(45deg);transform:rotate(45deg)}div#p>svg>foreignObject>section div.corner-triangle .corner-triangle-text :is(span,marp-span).corner-triangle-firstline{margin-left:29px}div#p>svg>foreignObject>section div.corner-triangle .corner-triangle-text a{color:white}div#p>svg>foreignObject>section .bespoke-marp-osc{display:hidden}div#p>svg>foreignObject>section.outline{background-color:var(--color-font-sub)}div#p>svg>foreignObject>section.outline>.corner-triangle{border-color:transparent var(--color-font-accent) transparent transparent}div#p>svg>foreignObject>section.outline p{margin-left:0}div#p>svg>foreignObject>section.outline :is(h1,marp-h1){font-size:160%}div#p>svg>foreignObject>section.outline :is(h1,marp-h1),div#p>svg>foreignObject>section.outline :is(h2,marp-h2),div#p>svg>foreignObject>section.outline :is(h3,marp-h3),div#p>svg>foreignObject>section.outline li,div#p>svg>foreignObject>section.outline p,div#p>svg>foreignObject>section.outline ul{color:#eff3f5}div#p>svg>foreignObject>section p:has(subb){font-size:70%;font-weight:400}div#p>svg>foreignObject>section .logo{position:absolute;font-family:consolas;font-size:120%;font-weight:bold;line-height:200px;left:630px;top:340px;width:200px;height:200px;border-radius:50%;color:var(--color-background);text-align:center;background:var(--color-font-main)}div#p>svg>foreignObject>section section.logo{--marpit-root-font-size:120%}div#p>svg>foreignObject>section{width:960px;height:720px}div#p>svg>foreignObject>section[data-marpit-advanced-background=background]{columns:initial!important;display:block!important;padding:0!important}div#p>svg>foreignObject>section[data-marpit-advanced-background=background]:after,div#p>svg>foreignObject>section[data-marpit-advanced-background=background]:before,div#p>svg>foreignObject>section[data-marpit-advanced-background=content]:after,div#p>svg>foreignObject>section[data-marpit-advanced-background=content]:before{display:none!important}div#p>svg>foreignObject>section[data-marpit-advanced-background=background]>div[data-marpit-advanced-background-container]{all:initial;display:flex;flex-direction:row;height:100%;overflow:hidden;width:100%}div#p>svg>foreignObject>section[data-marpit-advanced-background=background]>div[data-marpit-advanced-background-container][data-marpit-advanced-background-direction=vertical]{flex-direction:column}div#p>svg>foreignObject>section[data-marpit-advanced-background=background][data-marpit-advanced-background-split]>div[data-marpit-advanced-background-container]{width:var(--marpit-advanced-background-split,50%)}div#p>svg>foreignObject>section[data-marpit-advanced-background=background][data-marpit-advanced-background-split=right]>div[data-marpit-advanced-background-container]{margin-left:calc(100% - var(--marpit-advanced-background-split, 50%))}div#p>svg>foreignObject>section[data-marpit-advanced-background=background]>div[data-marpit-advanced-background-container]>figure{all:initial;background-position:center;background-repeat:no-repeat;background-size:cover;flex:auto;margin:0}div#p>svg>foreignObject>section[data-marpit-advanced-background=content],div#p>svg>foreignObject>section[data-marpit-advanced-background=pseudo]{background:transparent!important}div#p>svg>foreignObject>section[data-marpit-advanced-background=pseudo],div#p>svg[data-marpit-svg]>foreignObject[data-marpit-advanced-background=pseudo]{pointer-events:none!important}div#p>svg>foreignObject>section[data-marpit-advanced-background-split]{width:100%;height:100%}</style></head><body><div class="bespoke-marp-osc"><button data-bespoke-marp-osc="prev" tabindex="-1" title="Previous slide">Previous slide</button><span data-bespoke-marp-osc="page"></span><button data-bespoke-marp-osc="next" tabindex="-1" title="Next slide">Next slide</button><button data-bespoke-marp-osc="fullscreen" tabindex="-1" title="Toggle fullscreen (f)">Toggle fullscreen</button><button data-bespoke-marp-osc="presenter" tabindex="-1" title="Open presenter view (p)">Open presenter view</button></div><div id="p"><svg data-marpit-svg="" viewBox="0 0 960 720"><foreignObject width="960" height="720"><section id="1" data-paginate="true" data-class="title" data-theme="shin" class="title" data-marpit-pagination="1" data-marpit-pagination-total="32" style="--paginate:true;--class:title;--theme:shin;" data-size="4:3">
+/* @theme shin */div#p>svg>foreignObject>:where(section):not([root]){--color-font-main:#012F4B;--color-font-sub:#0f3b57;--color-font-accent:rgb(201,57,64);--color-background:#EBEEF9}div#p>svg>foreignObject>section{font-family:"Noto Sans","Noto Sans JP";justify-content:start;background-color:var(--color-background);color:var(--color-font-main);padding:30px 70px}div#p>svg>foreignObject>section ::selection{background-color:rgba(255,255,0,0.5)}div#p>svg>foreignObject>section.title{padding-top:400px}div#p>svg>foreignObject>section sub{bottom:0}div#p>svg>foreignObject>section :is(pre,marp-pre),div#p>svg>foreignObject>section blockquote,div#p>svg>foreignObject>section code{font-family:consolas,"Noto Sans JP";color:var(--color-font-sub);background-color:white;font-weight:500;padding:3px 6px;border:1px solid var(--color-font-main)}div#p>svg>foreignObject>section p:has(+marp-pre){margin-bottom:0;padding-bottom:5px}div#p>svg>foreignObject>section code{font-size:70%;vertical-align:middle}div#p>svg>foreignObject>section :is(pre,marp-pre){margin-left:30px}div#p>svg>foreignObject>section :is(h1,marp-h1){padding:0;font-size:200%;font-weight:900;color:var(--color-font-main)}div#p>svg>foreignObject>section :is(h2,marp-h2){margin:0;padding:10px 0 0 0;color:var(--color-font-main);font-weight:900;padding-bottom:5px}div#p>svg>foreignObject>section ul{list-style-type:"- ";margin-top:0;padding-top:0}div#p>svg>foreignObject>section ol{padding-inline-start:45px}div#p>svg>foreignObject>section u,div#p>svg>foreignObject>section u::selection{text-decoration:underline 8pt;text-decoration-color:#ffc3d6;text-underline-offset:-3px}div#p>svg>foreignObject>section li,div#p>svg>foreignObject>section p{color:var(--color-font-sub);margin-left:30px;font-weight:500;font-size:120%;line-height:1.2;margin-top:0}div#p>svg>foreignObject>section li+li{margin-top:0}div#p>svg>foreignObject>section brr{display:block;content:"";margin-top:.5lh}div#p>svg>foreignObject>section.outline .disabled{color:hsl(203,43%,56%,60%)}div#p>svg>foreignObject>section:after{color:#9badbe}div#p>svg>foreignObject>section blockquote{background-color:#dadfec;position:relative;border:none;padding-left:40px}div#p>svg>foreignObject>section blockquote:after{content:"“";font-family:Arial;font-size:500%;color:#8697a7;display:block;position:absolute;left:5px;top:-55px;bottom:0;margin:auto}div#p>svg>foreignObject>section div.corner-triangle{display:block;width:0px;height:0px;border-style:solid;border-width:0 150px 150px 0;border-color:transparent #608A32 transparent transparent;position:fixed;top:0;right:0;color:white}div#p>svg>foreignObject>section div.corner-triangle .corner-triangle-text{position:relative;top:40px;right:-60px;width:100px;font-family:consolas,"Noto Sans JP";font-weight:600;-webkit-transform:rotate(45deg);-moz-transform:rotate(45deg);-ms-transform:rotate(45deg);-o-transform:rotate(45deg);transform:rotate(45deg)}div#p>svg>foreignObject>section div.corner-triangle .corner-triangle-text :is(span,marp-span).corner-triangle-firstline{margin-left:29px}div#p>svg>foreignObject>section div.corner-triangle .corner-triangle-text a{color:white}div#p>svg>foreignObject>section .bespoke-marp-osc{display:hidden}div#p>svg>foreignObject>section.outline{background-color:var(--color-font-sub)}div#p>svg>foreignObject>section.outline>.corner-triangle{border-color:transparent var(--color-font-accent) transparent transparent}div#p>svg>foreignObject>section.outline p{margin-left:0}div#p>svg>foreignObject>section.outline :is(h1,marp-h1){font-size:160%}div#p>svg>foreignObject>section.outline :is(h1,marp-h1),div#p>svg>foreignObject>section.outline :is(h2,marp-h2),div#p>svg>foreignObject>section.outline :is(h3,marp-h3),div#p>svg>foreignObject>section.outline li,div#p>svg>foreignObject>section.outline p,div#p>svg>foreignObject>section.outline ul{color:#eff3f5}div#p>svg>foreignObject>section p:has(subb){font-size:70%;font-weight:400}div#p>svg>foreignObject>section .logo{position:absolute;font-family:consolas;font-size:120%;font-weight:bold;line-height:200px;left:630px;top:340px;width:200px;height:200px;border-radius:50%;color:var(--color-background);text-align:center;background:var(--color-font-main)}div#p>svg>foreignObject>section section.logo{--marpit-root-font-size:120%}div#p>svg>foreignObject>section{width:960px;height:720px}div#p>svg>foreignObject>section[data-marpit-advanced-background=background]{columns:initial!important;display:block!important;padding:0!important}div#p>svg>foreignObject>section[data-marpit-advanced-background=background]:after,div#p>svg>foreignObject>section[data-marpit-advanced-background=background]:before,div#p>svg>foreignObject>section[data-marpit-advanced-background=content]:after,div#p>svg>foreignObject>section[data-marpit-advanced-background=content]:before{display:none!important}div#p>svg>foreignObject>section[data-marpit-advanced-background=background]>div[data-marpit-advanced-background-container]{all:initial;display:flex;flex-direction:row;height:100%;overflow:hidden;width:100%}div#p>svg>foreignObject>section[data-marpit-advanced-background=background]>div[data-marpit-advanced-background-container][data-marpit-advanced-background-direction=vertical]{flex-direction:column}div#p>svg>foreignObject>section[data-marpit-advanced-background=background][data-marpit-advanced-background-split]>div[data-marpit-advanced-background-container]{width:var(--marpit-advanced-background-split,50%)}div#p>svg>foreignObject>section[data-marpit-advanced-background=background][data-marpit-advanced-background-split=right]>div[data-marpit-advanced-background-container]{margin-left:calc(100% - var(--marpit-advanced-background-split, 50%))}div#p>svg>foreignObject>section[data-marpit-advanced-background=background]>div[data-marpit-advanced-background-container]>figure{all:initial;background-position:center;background-repeat:no-repeat;background-size:cover;flex:auto;margin:0}div#p>svg>foreignObject>section[data-marpit-advanced-background=content],div#p>svg>foreignObject>section[data-marpit-advanced-background=pseudo]{background:transparent!important}div#p>svg>foreignObject>section[data-marpit-advanced-background=pseudo],div#p>svg[data-marpit-svg]>foreignObject[data-marpit-advanced-background=pseudo]{pointer-events:none!important}div#p>svg>foreignObject>section[data-marpit-advanced-background-split]{width:100%;height:100%}</style></head><body><div class="bespoke-marp-osc"><button data-bespoke-marp-osc="prev" tabindex="-1" title="Previous slide">Previous slide</button><span data-bespoke-marp-osc="page"></span><button data-bespoke-marp-osc="next" tabindex="-1" title="Next slide">Next slide</button><button data-bespoke-marp-osc="fullscreen" tabindex="-1" title="Toggle fullscreen (f)">Toggle fullscreen</button><button data-bespoke-marp-osc="presenter" tabindex="-1" title="Open presenter view (p)">Open presenter view</button></div><div id="p"><svg data-marpit-svg="" viewBox="0 0 960 720"><foreignObject width="960" height="720"><section id="1" data-paginate="true" data-class="title" data-theme="shin" class="title" data-marpit-pagination="1" data-marpit-pagination-total="38" style="--paginate:true;--class:title;--theme:shin;" data-size="4:3">
 <h1>ソフトウェア設計論 <div class="logo">#15</div></h1>
 <h2>まつ本</h2>
 </section>
-</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 960 720"><foreignObject width="960" height="720"><section id="2" data-paginate="true" data-class="outline" data-theme="shin" class="outline" data-marpit-pagination="2" data-marpit-pagination-total="32" style="--paginate:true;--class:outline;--theme:shin;" data-size="4:3">
+</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 960 720"><foreignObject width="960" height="720"><section id="2" data-paginate="true" data-class="outline" data-theme="shin" class="outline" data-marpit-pagination="2" data-marpit-pagination-total="38" style="--paginate:true;--class:outline;--theme:shin;" data-size="4:3">
 <h1>開発者が知っておくべきトピック集<br /><sub>－実装編－</sub></h1>
 <div class="corner-triangle"><div class="corner-triangle-text">前回</div></div>
 <p><span class="xisabled">・SWEBOK</span><br />
@@ -29,7 +29,7 @@ <h1>開発者が知っておくべきトピック集<br /><sub>－実装編－</
 <span class="xisabled">・分割統治</span><br />
 <span class="xisabled">・DRY･KISS･YAGNI</span></p>
 </section>
-</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 960 720"><foreignObject width="960" height="720"><section id="3" data-paginate="true" data-theme="shin" data-marpit-pagination="3" data-marpit-pagination-total="32" style="--paginate:true;--theme:shin;" data-size="4:3">
+</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 960 720"><foreignObject width="960" height="720"><section id="3" data-paginate="true" data-theme="shin" data-marpit-pagination="3" data-marpit-pagination-total="38" style="--paginate:true;--theme:shin;" data-size="4:3">
 <h1>SWEBOK 目次</h1>
 <h2>全15章</h2>
 <pre is="marp-pre" data-auto-scaling="downscale-only"><code>1. SW要求
@@ -49,7 +49,7 @@ <h2>全15章</h2>
 15. エンジニアリング基礎
 </code></pre>
 </section>
-</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 960 720"><foreignObject width="960" height="720"><section id="4" data-paginate="true" data-theme="shin" data-marpit-pagination="4" data-marpit-pagination-total="32" style="--paginate:true;--theme:shin;" data-size="4:3">
+</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 960 720"><foreignObject width="960" height="720"><section id="4" data-paginate="true" data-theme="shin" data-marpit-pagination="4" data-marpit-pagination-total="38" style="--paginate:true;--theme:shin;" data-size="4:3">
 <h1>テストは面白い</h1>
 <h2>プログラミングと似た面白さ</h2>
 <p>パズル的な面白さ<br />
@@ -63,25 +63,24 @@ <h2>理論と実践の境界</h2>
 <p>様々なセオリーが存在する<br />
 勉強するほどうまくなる</p>
 </section>
-</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 960 720"><foreignObject width="960" height="720"><section id="5" data-paginate="true" data-class="outline" data-theme="shin" class="outline" data-marpit-pagination="5" data-marpit-pagination-total="32" style="--paginate:true;--class:outline;--theme:shin;" data-size="4:3">
+</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 960 720"><foreignObject width="960" height="720"><section id="5" data-paginate="true" data-class="outline" data-theme="shin" class="outline" data-marpit-pagination="5" data-marpit-pagination-total="38" style="--paginate:true;--class:outline;--theme:shin;" data-size="4:3">
 <h1>開発者が知っておくべきトピック集<br /><sub>－テスト編－</sub></h1>
 <div class="corner-triangle"><div class="corner-triangle-text"></div></div>
-<p><span class="xisabled">・SWEBOK</span><br />
-・SWテストの基本<br />
+<p>・SWテストの基本<br />
 ・手動テストは危険</p>
-<p>・リファクタリング前にテスト<br />
-・先にテストを書く<br />
-・<em>Clean code that works</em><br />
-・バグを直す前にテストを落とす</p>
+<p>・リファクタリングのためのテスト<br />
+・バグ修正のためのテスト</p>
+<p>・テストを先に書く開発スタイル<br />
+・<em>&quot;Clean code that works&quot;</em></p>
 <p>・テストは証明ではない<br />
 ・テストはユーザ第1号である</p>
+<p><span class="xisabled">・SWEBOK</span></p>
 </section>
-</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 960 720"><foreignObject width="960" height="720"><section id="6" data-paginate="true" data-theme="shin" data-marpit-pagination="6" data-marpit-pagination-total="32" style="--paginate:true;--theme:shin;" data-size="4:3">
+</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 960 720"><foreignObject width="960" height="720"><section id="6" data-paginate="true" data-theme="shin" data-marpit-pagination="6" data-marpit-pagination-total="38" style="--paginate:true;--theme:shin;" data-size="4:3">
 <h1>SWテスト</h1>
 <p>対象SWが意図通り動くかを検証するプロセス<br />
-下流工程の一つ, 実装とほぼ1:1</p>
-<p>基本はSWを叩いてみて確認する<br />
-<sub>（レビューは叩かずに確かめる方法）</sub></p>
+下流工程の一つ, 実装とほぼ1:1<br />
+基本はSWを叩いてみて確認する <sub>(⇔ レビュー)</sub></p>
 <p>テストの一例：<code>sort(arr)</code> の単体テスト</p>
 <pre is="marp-pre" data-auto-scaling="downscale-only"><code class="language-java"><span class="hljs-meta">@Test</span> <span class="hljs-keyword">void</span> <span class="hljs-title function_">testSort1</span><span class="hljs-params">()</span> {
   actual = sort([<span class="hljs-number">1</span>,<span class="hljs-number">2</span>,<span class="hljs-number">3</span>]);     <span class="hljs-comment">// プログラムを叩いてみて</span>
@@ -92,11 +91,12 @@ <h1>SWテスト</h1>
   <span class="hljs-keyword">assert</span>(actual).is([<span class="hljs-number">1</span>,<span class="hljs-number">2</span>,<span class="hljs-number">3</span>]);
 }
 <span class="hljs-meta">@Test</span> <span class="hljs-keyword">void</span> <span class="hljs-title function_">testSortNull</span><span class="hljs-params">()</span> {
-  actual = sort([]);          <span class="hljs-comment">// 空配列はどうなるか？</span>
-  ...
+  actual = sort(<span class="hljs-literal">null</span>);        <span class="hljs-comment">// nullはどうなるか？</span>
+  <span class="hljs-keyword">assert</span>(actual).is(<span class="hljs-literal">null</span>);
+}  ...
 </code></pre>
 </section>
-</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 960 720"><foreignObject width="960" height="720"><section id="7" data-paginate="true" data-theme="shin" data-marpit-pagination="7" data-marpit-pagination-total="32" style="--paginate:true;--theme:shin;" data-size="4:3">
+</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 960 720"><foreignObject width="960" height="720"><section id="7" data-paginate="true" data-theme="shin" data-marpit-pagination="7" data-marpit-pagination-total="38" style="--paginate:true;--theme:shin;" data-size="4:3">
 <h1>様々なテスト</h1>
 <h2>誰が叩くのか？</h2>
 <p>人が叩く：マニュアルテスト<br />
@@ -108,7 +108,7 @@ <h2>SWの何をテストするか？</h2>
 <p>機能：単体テスト, 結合テスト, システムテスト<br />
 非機能：パフォーマンステスト, 負荷テスト, ..</p>
 </section>
-</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 960 720"><foreignObject width="960" height="720"><section id="8" data-paginate="true" data-theme="shin" data-marpit-pagination="8" data-marpit-pagination-total="32" style="--paginate:true;--theme:shin;" data-size="4:3">
+</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 960 720"><foreignObject width="960" height="720"><section id="8" data-paginate="true" data-theme="shin" data-marpit-pagination="8" data-marpit-pagination-total="38" style="--paginate:true;--theme:shin;" data-size="4:3">
 <h1>テスト作成の流れ</h1>
 <p>インタフェースを決める</p>
 <pre is="marp-pre" data-auto-scaling="downscale-only"><code class="language-java">List <span class="hljs-title function_">sort</span><span class="hljs-params">(List)</span>;
@@ -123,9 +123,10 @@ <h1>テスト作成の流れ</h1>
 }
 </code></pre>
 <p>要求とIFが決まればテストは作成できる<br />
-実装より先にテストを作っても良い</p>
+　- 要求 + IF = 実装<br />
+　- 要求 + IF = テスト</p>
 </section>
-</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 960 720"><foreignObject width="960" height="720"><section id="9" data-paginate="true" data-theme="shin" data-marpit-pagination="9" data-marpit-pagination-total="32" style="--paginate:true;--theme:shin;" data-size="4:3">
+</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 960 720"><foreignObject width="960" height="720"><section id="9" data-paginate="true" data-theme="shin" data-marpit-pagination="9" data-marpit-pagination-total="38" style="--paginate:true;--theme:shin;" data-size="4:3">
 <h1>例：実験スクリプトの場合</h1>
 <p>インタフェースを決める</p>
 <pre is="marp-pre" data-auto-scaling="downscale-only"><code class="language-java">python analyze.py in-file out-file
@@ -141,16 +142,17 @@ <h1>例：実験スクリプトの場合</h1>
   <span class="hljs-keyword">assert</span>(<span class="hljs-string">&quot;tmp.txt&quot;</span>).isSameAs(<span class="hljs-string">&quot;test-out.txt&quot;</span>);
 </code></pre>
 </section>
-</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 960 720"><foreignObject width="960" height="720"><section id="10" data-paginate="true" data-theme="shin" data-marpit-pagination="10" data-marpit-pagination-total="32" style="--paginate:true;--theme:shin;" data-size="4:3">
+</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 960 720"><foreignObject width="960" height="720"><section id="10" data-paginate="true" data-theme="shin" data-marpit-pagination="10" data-marpit-pagination-total="38" style="--paginate:true;--theme:shin;" data-size="4:3">
 <h1>手動テストは危険</h1>
 <h2>よくある良くない手動テスト</h2>
-<pre is="marp-pre" data-auto-scaling="downscale-only"><code class="language-python"><span class="hljs-built_in">print</span>(sort([<span class="hljs-number">1</span>,<span class="hljs-number">2</span>,<span class="hljs-number">3</span>]));
-<span class="hljs-built_in">print</span>(sort([<span class="hljs-number">3</span>,<span class="hljs-number">2</span>,<span class="hljs-number">1</span>]));
-<span class="hljs-built_in">print</span>(sort([<span class="hljs-number">3</span>,<span class="hljs-number">2</span>,<span class="hljs-number">1</span>,<span class="hljs-number">1</span>,<span class="hljs-number">1</span>,<span class="hljs-number">1</span>,<span class="hljs-number">1</span>,<span class="hljs-number">1</span>]));
+<pre is="marp-pre" data-auto-scaling="downscale-only"><code class="language-python"><span class="hljs-keyword">if</span> __name__ == <span class="hljs-string">&#x27;__main__&#x27;</span>:
+  <span class="hljs-built_in">print</span>(sort([<span class="hljs-number">1</span>,<span class="hljs-number">2</span>,<span class="hljs-number">3</span>]));
+  <span class="hljs-built_in">print</span>(sort([<span class="hljs-number">3</span>,<span class="hljs-number">2</span>,<span class="hljs-number">1</span>]));
+  <span class="hljs-built_in">print</span>(sort([<span class="hljs-number">3</span>,<span class="hljs-number">2</span>,<span class="hljs-number">1</span>,<span class="hljs-number">1</span>,<span class="hljs-number">1</span>,<span class="hljs-number">1</span>,<span class="hljs-number">1</span>,<span class="hljs-number">1</span>,<span class="hljs-number">0</span>]));
 </code></pre>
 <pre is="marp-pre" data-auto-scaling="downscale-only"><code>1,2,3
 1,2,3
-1,1,1,1,1,1,2,3
+0,1,1,1,1,1,1,2,3
 </code></pre>
 <p>検証にコストを要する, ミスする可能性がある<br />
 テストに再利用性がない<br />
@@ -158,16 +160,14 @@ <h2>よくある良くない手動テスト</h2>
 　- 変更時にまた手動でテストするのか？</p>
 <p>自動化されていないこと自体が問題</p>
 </section>
-</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 960 720"><foreignObject width="960" height="720"><section id="11" data-paginate="true" data-theme="shin" data-marpit-pagination="11" data-marpit-pagination-total="32" style="--paginate:true;--theme:shin;" data-size="4:3">
+</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 960 720"><foreignObject width="960" height="720"><section id="11" data-paginate="true" data-theme="shin" data-marpit-pagination="11" data-marpit-pagination-total="38" style="--paginate:true;--theme:shin;" data-size="4:3">
 <h1>無茶な自動テスト</h1>
-<pre is="marp-pre" data-auto-scaling="downscale-only"><code class="language-py"><span class="hljs-keyword">if</span> sort([<span class="hljs-number">1</span>,<span class="hljs-number">2</span>,<span class="hljs-number">3</span>]) == [<span class="hljs-number">1</span>,<span class="hljs-number">2</span>,<span class="hljs-number">3</span>]:
-  <span class="hljs-built_in">print</span>(<span class="hljs-string">&quot;ok&quot;</span>)
-<span class="hljs-keyword">else</span>
-  <span class="hljs-built_in">print</span>(<span class="hljs-string">&quot;ng&quot;</span>)
-<span class="hljs-keyword">if</span> sort([<span class="hljs-number">3</span>,<span class="hljs-number">1</span>,<span class="hljs-number">2</span>]) == [<span class="hljs-number">1</span>,<span class="hljs-number">2</span>,<span class="hljs-number">3</span>]:
-  <span class="hljs-built_in">print</span>(<span class="hljs-string">&quot;ok&quot;</span>)
-<span class="hljs-keyword">else</span>
-  <span class="hljs-built_in">print</span>(<span class="hljs-string">&quot;ng&quot;</span>)
+<pre is="marp-pre" data-auto-scaling="downscale-only"><code class="language-py"><span class="hljs-keyword">if</span> __name__ == <span class="hljs-string">&#x27;__main__&#x27;</span>:
+  <span class="hljs-comment"># print(sort([1,2,3]));</span>
+  <span class="hljs-keyword">if</span> sort([<span class="hljs-number">1</span>,<span class="hljs-number">2</span>,<span class="hljs-number">3</span>]) == [<span class="hljs-number">1</span>,<span class="hljs-number">2</span>,<span class="hljs-number">3</span>]:
+    <span class="hljs-built_in">print</span>(<span class="hljs-string">&quot;ok&quot;</span>)
+  <span class="hljs-keyword">else</span>:
+    <span class="hljs-built_in">print</span>(<span class="hljs-string">&quot;ng&quot;</span>)
 </code></pre>
 <p>ここまでやるならテストFWを使おう<br />
 テストの<u>共通処理</u>をFWに任す<br />
@@ -177,18 +177,19 @@ <h1>無茶な自動テスト</h1>
 　- テストのメタデータ付与 (名前等)</p>
 <p>バグを減らす一つの方法はコードを書かないこと</p>
 </section>
-</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 960 720"><foreignObject width="960" height="720"><section id="12" data-paginate="true" data-theme="shin" data-marpit-pagination="12" data-marpit-pagination-total="32" style="--paginate:true;--theme:shin;" data-size="4:3">
+</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 960 720"><foreignObject width="960" height="720"><section id="12" data-paginate="true" data-theme="shin" data-marpit-pagination="12" data-marpit-pagination-total="38" style="--paginate:true;--theme:shin;" data-size="4:3">
 <h1>各種言語のテストFW</h1>
 <h2>Java：JUnit, TestNG</h2>
 <pre is="marp-pre" data-auto-scaling="downscale-only"><code class="language-java"><span class="hljs-meta">@Test</span> <span class="hljs-meta">@DisplayName(&quot;ソート済みデータのソート&quot;)</span>
 <span class="hljs-keyword">void</span> <span class="hljs-title function_">testSort1</span><span class="hljs-params">()</span> {
-  <span class="hljs-type">List</span> <span class="hljs-variable">l</span> <span class="hljs-operator">=</span> sort([<span class="hljs-number">1</span>,<span class="hljs-number">2</span>,<span class="hljs-number">3</span>]);
-  assertThat(l).equalTo([<span class="hljs-number">1</span>,<span class="hljs-number">2</span>,<span class="hljs-number">3</span>]);
+  <span class="hljs-type">List</span> <span class="hljs-variable">actual</span> <span class="hljs-operator">=</span> sort([<span class="hljs-number">1</span>,<span class="hljs-number">2</span>,<span class="hljs-number">3</span>]);
+  assertThat(actual).equalTo([<span class="hljs-number">1</span>,<span class="hljs-number">2</span>,<span class="hljs-number">3</span>]);
 }
 </code></pre>
 <h2>Python：pytest, unittest</h2>
 <pre is="marp-pre" data-auto-scaling="downscale-only"><code class="language-py"><span class="hljs-keyword">def</span> <span class="hljs-title function_">test_sort1</span>():
-  <span class="hljs-keyword">assert</span> sort([<span class="hljs-number">1</span>,<span class="hljs-number">2</span>,<span class="hljs-number">3</span>]) == [<span class="hljs-number">1</span>,<span class="hljs-number">2</span>,<span class="hljs-number">3</span>]
+  actual = sort([<span class="hljs-number">1</span>,<span class="hljs-number">2</span>,<span class="hljs-number">3</span>])
+  <span class="hljs-keyword">assert</span> actual == [<span class="hljs-number">1</span>,<span class="hljs-number">2</span>,<span class="hljs-number">3</span>]
 </code></pre>
 <pre is="marp-pre" data-auto-scaling="downscale-only"><code>$ pytest -v
 test_sort.py::test_sort1 PASSED                 [ 33%]
@@ -197,54 +198,135 @@ <h2>Python：pytest, unittest</h2>
 ================= 3 passed in 0.02s ==================
 </code></pre>
 </section>
-</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 960 720"><foreignObject width="960" height="720"><section id="13" data-paginate="true" data-class="outline" data-theme="shin" class="outline" data-marpit-pagination="13" data-marpit-pagination-total="32" style="--paginate:true;--class:outline;--theme:shin;" data-size="4:3">
+</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 960 720"><foreignObject width="960" height="720"><section id="13" data-paginate="true" data-theme="shin" data-marpit-pagination="13" data-marpit-pagination-total="38" style="--paginate:true;--theme:shin;" data-size="4:3">
+<h1>手動テストにも価値がある</h1>
+<h2>E2Eテスト <sub>(End to end)</sub></h2>
+<p>システム全体のテスト<br />
+エンドユーザの実利用を想定したテスト</p>
+<p>自動化しにくい, 自動テストに向かない</p>
+<p>自動テストでは検証しにくい事項がある<br />
+　- UIのくずれ, 見た目<br />
+　- 操作感</p>
+<h2>向き不向き</h2>
+<p>自動テスト：システムの細かな部品<br />
+手動テスト：システム全体の振る舞い</p>
+</section>
+</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 960 720"><foreignObject width="960" height="720"><section id="14" data-paginate="true" data-class="outline" data-theme="shin" class="outline" data-marpit-pagination="14" data-marpit-pagination-total="38" style="--paginate:true;--class:outline;--theme:shin;" data-size="4:3">
 <h1>開発者が知っておくべきトピック集<br /><sub>－テスト編－</sub></h1>
 <div class="corner-triangle"><div class="corner-triangle-text"></div></div>
 <p>DUMMY</p>
 </section>
-</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 960 720"><foreignObject width="960" height="720"><section id="14" data-paginate="true" data-theme="shin" data-marpit-pagination="14" data-marpit-pagination-total="32" style="--paginate:true;--theme:shin;" data-size="4:3">
+</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 960 720"><foreignObject width="960" height="720"><section id="15" data-paginate="true" data-theme="shin" data-marpit-pagination="15" data-marpit-pagination-total="38" style="--paginate:true;--theme:shin;" data-size="4:3">
 <h1>リファクタリング</h1>
-<h2>振る舞いを変えずにプログラム内部を改善する</h2>
-<p>無駄処理の排除, 関数の切り出し, 変数名の修正, ..</p>
+<h2>プログラムの振る舞いを変えずに内部を改善</h2>
+<p>無駄処理の排除, 関数の切り出し, 変数名の修正, ...</p>
 <p>プログラムができたらリファクタリングすべき<br />
 良くない状態を放置しない, 負債を貯めない</p>
 <p><img src="https://miro.medium.com/v2/resize:fit:828/format:webp/0*u6ejIoMbrZOZxjpf.png" alt="" /><br />
 <subb><a href="https://medium.com/@raychongtk/why-is-refactoring-important-2f1e4dec21ab">https://medium.com/@raychongtk/why-is-refactoring-important-2f1e4dec21ab</a></subb></p>
 </section>
-</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 960 720"><foreignObject width="960" height="720"><section id="15" data-paginate="true" data-theme="shin" data-marpit-pagination="15" data-marpit-pagination-total="32" style="--paginate:true;--theme:shin;" data-size="4:3">
+</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 960 720"><foreignObject width="960" height="720"><section id="16" data-paginate="true" data-theme="shin" data-marpit-pagination="16" data-marpit-pagination-total="38" style="--paginate:true;--theme:shin;" data-size="4:3">
 <h1>技術的負債</h1>
 <div class="corner-triangle"><div class="corner-triangle-text">雑談</div></div>
 <p><img src="fig/paper-td.png" alt="" /></p>
 <p><img src="fig/paper-td-bar.png" alt="" /></p>
 </section>
-</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 960 720"><foreignObject width="960" height="720"><section id="16" data-paginate="true" data-theme="shin" data-marpit-pagination="16" data-marpit-pagination-total="32" style="--paginate:true;--theme:shin;" data-size="4:3">
+</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 960 720"><foreignObject width="960" height="720"><section id="17" data-paginate="true" data-theme="shin" data-marpit-pagination="17" data-marpit-pagination-total="38" style="--paginate:true;--theme:shin;" data-size="4:3">
 <h1>リファクタリングによる破壊</h1>
-<h2>「振る舞いを変えずに」プログラムを改善～</h2>
+<h2>プログラムの「振る舞いを変えずに」を～</h2>
 <p>振る舞いを変えないのが難しい</p>
 <p>すぐに壊れるならまだマシ<br />
-新たなバグの混入に気づかないことも</p>
+壊れていることに気づかないケースが最悪<br />
+　- 新たなバグの混入<br />
+　- 不要だと判断した処理が実は必要だった</p>
 <h2>Q. 振る舞いの維持をどう確認すれば良いか？</h2>
 <p>リファクタリング前と後の等価性を判定したい</p>
+<p>もし等価性を自動判定できたら？<br />
+　→ リファクタリングを恐れなくて良くなる</p>
 </section>
-</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 960 720"><foreignObject width="960" height="720"><section id="17" data-paginate="true" data-theme="shin" data-marpit-pagination="17" data-marpit-pagination-total="32" style="--paginate:true;--theme:shin;" data-size="4:3">
-<h1>リファクタリング前にのテスト</h1>
+</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 960 720"><foreignObject width="960" height="720"><section id="18" data-paginate="true" data-theme="shin" data-marpit-pagination="18" data-marpit-pagination-total="38" style="--paginate:true;--theme:shin;" data-size="4:3">
+<h1 is="marp-h1" data-auto-scaling>リファクタリングのためのテスト</h1>
 <h2>テストを等価性判定の目安に使う</h2>
-<p>リファクタリング前に必ずテストを用意しておく<br />
-テストが通るように内部を改善する</p>
-<p>リファクタリングによってテストが落ちた<br />
+<ol>
+<li>リファクタリング前にテストを用意しておく</li>
+<li>テストが通る状態を保ちつつ内部を改善する</li>
+</ol>
+<p>リファクタリングによってテストが落ちたら？<br />
 　→ リファクタリング失敗</p>
 <h2>リファクタリングでIFが変わる場合は？</h2>
-<p>ラッパーを作っておく</p>
 <pre is="marp-pre" data-auto-scaling="downscale-only"><code class="language-diff"><span class="hljs-deletion">- def sort(arr)</span>
 <span class="hljs-addition">+ def sort(arr, is_ascending)</span>
 </code></pre>
+<p>ラッパーを作っておく</p>
 <pre is="marp-pre" data-auto-scaling="downscale-only"><code class="language-py"><span class="hljs-keyword">def</span> <span class="hljs-title function_">sort</span>(<span class="hljs-params">arr</span>):
   <span class="hljs-keyword">return</span> sort(arr, <span class="hljs-literal">True</span>)
 </code></pre>
 <p>テストとソースを同時に直さない</p>
 </section>
-</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 960 720"><foreignObject width="960" height="720"><section id="18" data-paginate="true" data-theme="shin" data-marpit-pagination="18" data-marpit-pagination-total="32" style="--paginate:true;--theme:shin;" data-size="4:3">
-<h1>テストを先に書く</h1>
+</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 960 720"><foreignObject width="960" height="720"><section id="19" data-paginate="true" data-theme="shin" data-marpit-pagination="19" data-marpit-pagination-total="38" style="--paginate:true;--theme:shin;" data-size="4:3">
+<h1>バグ修正のためのテスト</h1>
+<h2>予期せぬバグが起きた場合：</h2>
+<ol>
+<li>バグが発生する条件･状況を探す</li>
+</ol>
+<pre is="marp-pre" data-auto-scaling="downscale-only"><code class="language-java">sort([<span class="hljs-number">3</span>,<span class="hljs-number">1</span>,<span class="hljs-number">2</span>,-<span class="hljs-number">5</span>]);
+   → [<span class="hljs-number">1</span>,<span class="hljs-number">2</span>,<span class="hljs-number">3</span>,-<span class="hljs-number">5</span>]
+</code></pre>
+<ol start="2">
+<li>その条件･状況をテストに起こす<br />
+プログラムの正しい振る舞いを定義 &amp; 自動検証</li>
+</ol>
+<pre is="marp-pre" data-auto-scaling="downscale-only"><code class="language-java"><span class="hljs-meta">@Test</span> <span class="hljs-keyword">public</span> <span class="hljs-keyword">void</span> <span class="hljs-title function_">testNegative</span><span class="hljs-params">()</span> {
+  <span class="hljs-type">List</span> <span class="hljs-variable">l</span> <span class="hljs-operator">=</span> sort([<span class="hljs-number">3</span>,<span class="hljs-number">1</span>,<span class="hljs-number">2</span>,-<span class="hljs-number">5</span>]);
+  assertThat(l).equalTo([-<span class="hljs-number">5</span>,<span class="hljs-number">1</span>,<span class="hljs-number">2</span>,<span class="hljs-number">3</span>]);
+}
+</code></pre>
+<ol start="3">
+<li>そのテストが通るようにバグを直す</li>
+</ol>
+<p>テストとソースを同時に直さない</p>
+</section>
+</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 960 720"><foreignObject width="960" height="720"><section id="20" data-paginate="true" data-theme="shin" data-marpit-pagination="20" data-marpit-pagination-total="38" style="--paginate:true;--theme:shin;" data-size="4:3">
+<h1>バグ報告もテストと同時に</h1>
+<h2>バグ報告に書くべき項目</h2>
+<ul>
+<li>バグの概要</li>
+<li>環境</li>
+<li>バグの再現方法 ★</li>
+<li>期待する振る舞い ★</li>
+<li>実際の振る舞い ★</li>
+</ul>
+<pre is="marp-pre" data-auto-scaling="downscale-only"><code class="language-java"><span class="hljs-meta">@Test</span> <span class="hljs-keyword">public</span> <span class="hljs-keyword">void</span> <span class="hljs-title function_">testNegative</span><span class="hljs-params">()</span> {
+  <span class="hljs-type">List</span> <span class="hljs-variable">l</span> <span class="hljs-operator">=</span> sort([<span class="hljs-number">3</span>,<span class="hljs-number">1</span>,<span class="hljs-number">2</span>,-<span class="hljs-number">5</span>]);
+  assertThat(l).equalTo([-<span class="hljs-number">5</span>,<span class="hljs-number">1</span>,<span class="hljs-number">2</span>,<span class="hljs-number">3</span>]);
+}
+</code></pre>
+<h2>下手な文章よりも役立つ</h2>
+<p>機械解読可能 ＝ 客観的<br />
+コード化 ＝ 自動化･再現可能</p>
+</section>
+</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 960 720"><foreignObject width="960" height="720"><section id="21" data-paginate="true" data-theme="shin" data-marpit-pagination="21" data-marpit-pagination-total="38" style="--paginate:true;--theme:shin;" data-size="4:3">
+<h1>何でもソースコードにしよう</h1>
+<div class="corner-triangle"><div class="corner-triangle-text">雑談</div></div>
+<h2>インストール手順のコード化</h2>
+<p><sub>※Home brewのインストールスクリプト</sub></p>
+<pre is="marp-pre" data-auto-scaling="downscale-only"><code>$ /bin/bash -c &quot;$(curl -fsSL https://raw.git../install.sh)&quot;
+</code></pre>
+<h2>ビルド方法･依存解決のコード化</h2>
+<p>Java: Gradle, Bazel<br />
+Python: <code>requirements.txt</code> + <code>pip install</code></p>
+<h2>仮想環境のコード化</h2>
+<p>Docker</p>
+<h2>インフラ環境のコード化 (IaC)</h2>
+<p>Chef, Puppet, Pulumi</p>
+</section>
+</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 960 720"><foreignObject width="960" height="720"><section id="22" data-paginate="true" data-class="outline" data-theme="shin" class="outline" data-marpit-pagination="22" data-marpit-pagination-total="38" style="--paginate:true;--class:outline;--theme:shin;" data-size="4:3">
+<h1>開発者が知っておくべきトピック集<br /><sub>－テスト編－</sub></h1>
+<div class="corner-triangle"><div class="corner-triangle-text"></div></div>
+<p>DUMMY</p>
+</section>
+</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 960 720"><foreignObject width="960" height="720"><section id="23" data-paginate="true" data-theme="shin" data-marpit-pagination="23" data-marpit-pagination-total="38" style="--paginate:true;--theme:shin;" data-size="4:3">
+<h1>テストを先に書く開発スタイル</h1>
 <h2>TDD <sub>- Test driven development, テスト駆動開発</sub></h2>
 <ol>
 <li>まずはテストを書く</li>
@@ -263,142 +345,124 @@ <h2>ステップ1終了の時点</h2>
   <span class="hljs-keyword">return</span> <span class="hljs-literal">None</span>
 </code></pre>
 </section>
-</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 960 720"><foreignObject width="960" height="720"><section id="19" data-paginate="true" data-theme="shin" data-marpit-pagination="19" data-marpit-pagination-total="32" style="--paginate:true;--theme:shin;" data-size="4:3">
-<h1><em>Clean code that works</em></h1>
+</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 960 720"><foreignObject width="960" height="720"><section id="24" data-paginate="true" data-theme="shin" data-marpit-pagination="24" data-marpit-pagination-total="38" style="--paginate:true;--theme:shin;" data-size="4:3">
+<h1><em>&quot;Clean code that works&quot;</em></h1>
 <h2>TDDのキモ</h2>
 <p>動くコードと良いコードを分けて考える<br />
 分割統治の考え</p>
-<p>まずは動くコードを作る<br />
-動いたら良くする</p>
-<pre is="marp-pre" data-auto-scaling="downscale-only"><code>                         ｜
-                         ｜     ★
+<p>step1. まずは動くコードを作る<br />
+step2. 動いたら良くする</p>
+<pre is="marp-pre" data-auto-scaling="downscale-only"><code>                         ｜     ★
    Clean                 ｜    step2
                          ｜
           －－－－－－－－－－－－－－－－－－－
-                         ｜      ↑
-   Dirty         ☆   →  ｜      ★
+                         ｜     ↑
+   Dirty         ☆   →  ｜     ★
                step0     ｜    step1
-                         ｜
-           Doesn't work        work
+
+           Doesn't work        Work
 </code></pre>
 </section>
-</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 960 720"><foreignObject width="960" height="720"><section id="20" data-paginate="true" data-theme="shin" data-marpit-pagination="20" data-marpit-pagination-total="32" style="--paginate:true;--theme:shin;" data-size="4:3">
+</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 960 720"><foreignObject width="960" height="720"><section id="25" data-paginate="true" data-theme="shin" data-marpit-pagination="25" data-marpit-pagination-total="38" style="--paginate:true;--theme:shin;" data-size="4:3">
 <h1>論文でも同じことが言える</h1>
 <div class="corner-triangle"><div class="corner-triangle-text">雑談</div></div>
 <p><img src="fig/paper-my.png" alt="" /></p>
 </section>
-</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 960 720"><foreignObject width="960" height="720"><section id="21" data-paginate="true" data-theme="shin" data-marpit-pagination="21" data-marpit-pagination-total="32" style="--paginate:true;--theme:shin;" data-size="4:3">
+</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 960 720"><foreignObject width="960" height="720"><section id="26" data-paginate="true" data-theme="shin" data-marpit-pagination="26" data-marpit-pagination-total="38" style="--paginate:true;--theme:shin;" data-size="4:3">
 <h1>Test Driven Class</h1>
 <div class="corner-triangle"><div class="corner-triangle-text">雑談</div></div>
 <h2>テスト駆動の演習 (演習D)</h2>
 <p>学生に仕様とテストを配布する<br />
 　- 4つのサブ課題, 各課題にテスト20個程度</p>
-<p>学生は仕様に従いテストが通るように実装する</p>
-<p>全テストが通れば課題達成</p>
+<p>学生は仕様に従いテストが通るように実装する<br />
+全テストが通れば課題達成</p>
 <h2>Pros</h2>
 <p>TDD･テストの経験を得られる<br />
-TDD･テストの恩恵を自然に受けられる</p>
+TDD･テストの恩恵を自然に受けられる<br />
+　- 機能の自動的な検証<br />
+　- リファクタリング支援</p>
 <p>教員の手間が減る</p>
 </section>
-</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 960 720"><foreignObject width="960" height="720"><section id="22" data-paginate="true" data-theme="shin" data-marpit-pagination="22" data-marpit-pagination-total="32" style="--paginate:true;--theme:shin;" data-size="4:3">
-<h1>バグを直す前にテストを落とす</h1>
-<h2>予期せぬバグが起きた場合：</h2>
-<ol>
-<li>バグが発生する条件･状況を探す</li>
-</ol>
-<pre is="marp-pre" data-auto-scaling="downscale-only"><code class="language-java">sort([<span class="hljs-number">3</span>,<span class="hljs-number">1</span>,<span class="hljs-number">2</span>,-<span class="hljs-number">5</span>]);
-→ [<span class="hljs-number">1</span>,<span class="hljs-number">2</span>,<span class="hljs-number">3</span>,-<span class="hljs-number">5</span>]
-</code></pre>
-<ol start="2">
-<li>その条件･状況をテストに起こす<br />
-プログラムの正しい振る舞いを定義 &amp; 自動検証</li>
-</ol>
-<pre is="marp-pre" data-auto-scaling="downscale-only"><code class="language-java"><span class="hljs-meta">@Test</span> <span class="hljs-keyword">public</span> <span class="hljs-keyword">void</span> <span class="hljs-title function_">testNegative</span><span class="hljs-params">()</span> {
-  <span class="hljs-type">List</span> <span class="hljs-variable">l</span> <span class="hljs-operator">=</span> sort([<span class="hljs-number">3</span>,<span class="hljs-number">1</span>,<span class="hljs-number">2</span>,-<span class="hljs-number">5</span>]);
-  assertThat(l).equalTo([-<span class="hljs-number">5</span>,<span class="hljs-number">1</span>,<span class="hljs-number">2</span>,<span class="hljs-number">3</span>]);
-}
-</code></pre>
-<ol start="3">
-<li>そのテストが通るようにバグを直す</li>
-</ol>
-<p>常にテストとソースを同時に直さない</p>
-</section>
-</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 960 720"><foreignObject width="960" height="720"><section id="23" data-paginate="true" data-theme="shin" data-marpit-pagination="23" data-marpit-pagination-total="32" style="--paginate:true;--theme:shin;" data-size="4:3">
-<h1>バグ報告もテストと同時に</h1>
-<h2>バグ報告に書くべき項目</h2>
-<p>バグの概要<br />
-環境<br />
-バグの再現方法 ★<br />
-期待する振る舞い ★<br />
-実際の振る舞い ★</p>
-<pre is="marp-pre" data-auto-scaling="downscale-only"><code class="language-java"><span class="hljs-meta">@Test</span> <span class="hljs-keyword">public</span> <span class="hljs-keyword">void</span> <span class="hljs-title function_">testNegative</span><span class="hljs-params">()</span> {
-  <span class="hljs-type">List</span> <span class="hljs-variable">l</span> <span class="hljs-operator">=</span> sort([<span class="hljs-number">3</span>,<span class="hljs-number">1</span>,<span class="hljs-number">2</span>,-<span class="hljs-number">5</span>]);
-  assertThat(l).equalTo([-<span class="hljs-number">5</span>,<span class="hljs-number">1</span>,<span class="hljs-number">2</span>,<span class="hljs-number">3</span>]);
-}
-</code></pre>
-<h2>下手な文章よりも役立つ</h2>
-<p>機械解読可能＝客観的･再現可能</p>
-</section>
-</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 960 720"><foreignObject width="960" height="720"><section id="24" data-paginate="true" data-theme="shin" data-marpit-pagination="24" data-marpit-pagination-total="32" style="--paginate:true;--theme:shin;" data-size="4:3">
-<h1>何でもソースコードにしよう</h1>
-<div class="corner-triangle"><div class="corner-triangle-text">雑談</div></div>
-<h2>インストール手順のコード化</h2>
-<p>※Home brewのインストールスクリプト</p>
-<pre is="marp-pre" data-auto-scaling="downscale-only"><code>$ /bin/bash -c &quot;$(curl -fsSL https://raw.git../install.sh)&quot;
-</code></pre>
-<h2>ビルド方法･依存解決のコード化</h2>
-<p>Gradle, Bazel<br />
-<code>requirements.txt</code> + <code>pip install</code></p>
-<h2>仮想環境のコード化</h2>
-<p>Docker</p>
-<h2>インフラ環境のコード化 (IaC)</h2>
-<p>Chef, Puppet, Pulumi</p>
-</section>
-</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 960 720"><foreignObject width="960" height="720"><section id="25" data-paginate="true" data-class="outline" data-theme="shin" class="outline" data-marpit-pagination="25" data-marpit-pagination-total="32" style="--paginate:true;--class:outline;--theme:shin;" data-size="4:3">
+</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 960 720"><foreignObject width="960" height="720"><section id="27" data-paginate="true" data-class="outline" data-theme="shin" class="outline" data-marpit-pagination="27" data-marpit-pagination-total="38" style="--paginate:true;--class:outline;--theme:shin;" data-size="4:3">
 <h1>開発者が知っておくべきトピック集<br /><sub>－テスト編－</sub></h1>
 <div class="corner-triangle"><div class="corner-triangle-text"></div></div>
 <p>DUMMY</p>
 </section>
-</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 960 720"><foreignObject width="960" height="720"><section id="26" data-paginate="true" data-theme="shin" data-marpit-pagination="26" data-marpit-pagination-total="32" style="--paginate:true;--theme:shin;" data-size="4:3">
+</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 960 720"><foreignObject width="960" height="720"><section id="28" data-paginate="true" data-theme="shin" data-marpit-pagination="28" data-marpit-pagination-total="38" style="--paginate:true;--theme:shin;" data-size="4:3">
 <p><br /><br /><br /><br /></p>
 <blockquote>
 <p>Program testing can be used to show the presence of bugs, but never to show their absence</p>
 </blockquote>
 <blockquote>
-<p>テストはバグが存在することを示せるが，<br />
+<p>テストはバグが存在することを示せるが<br />
 バグがないことは示せない</p>
 </blockquote>
-<p><sub>Edsger W. Dijkstra</sub></p>
+<p><sub>E.W. Dijkstra</sub></p>
 </section>
-</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 960 720"><foreignObject width="960" height="720"><section id="27" data-paginate="true" data-theme="shin" data-marpit-pagination="27" data-marpit-pagination-total="32" style="--paginate:true;--theme:shin;" data-size="4:3">
+</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 960 720"><foreignObject width="960" height="720"><section id="29" data-paginate="true" data-theme="shin" data-marpit-pagination="29" data-marpit-pagination-total="38" style="--paginate:true;--theme:shin;" data-size="4:3">
 <h1>テストは証明ではない</h1>
+<h2>全組み合わせのテストは不可能</h2>
+<p><code>sort(arr)</code> のパラメタの組み合わせは無限<br />
+<code>isPrime(int n)</code>でも<code>INT_MAX</code> (42億) の可能性がある</p>
+<h2>テストは無料ではない</h2>
+<p>大きなシステムの全テストは1日かかる</p>
 <p>経済</p>
 </section>
-</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 960 720"><foreignObject width="960" height="720"><section id="28" data-paginate="true" data-theme="shin" data-marpit-pagination="28" data-marpit-pagination-total="32" style="--paginate:true;--theme:shin;" data-size="4:3">
-<h1 is="marp-h1" data-auto-scaling>プログラムの正しさの証明？</h1>
+</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 960 720"><foreignObject width="960" height="720"><section id="30" data-paginate="true" data-theme="shin" data-marpit-pagination="30" data-marpit-pagination-total="38" style="--paginate:true;--theme:shin;" data-size="4:3">
+<h1>プログラムの正しさの証明？</h1>
 <h2>形式手法</h2>
 <div class="corner-triangle"><div class="corner-triangle-text">雑談</div></div>
 <p>数学的･形式的な分析に基づいて信頼性を確認<br />
 システム全体を数学的に表現することで検証する</p>
 <p><img src="fig/paper-formal.png" alt="" /><br />
-<sub>E.M. Clarke et al, ACM Computing Surveys 1996.</sub></p>
+<subb>E.M. Clarke et al, ACM Computing Surveys 1996.</subb></p>
 <p>ミッションクリティカル分野で利用されている<br />
 航空システム･医療等</p>
 <p>形式手法と比べるとテストは手軽で安価</p>
 </section>
-</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 960 720"><foreignObject width="960" height="720"><section id="29" data-paginate="true" data-theme="shin" data-marpit-pagination="29" data-marpit-pagination-total="32" style="--paginate:true;--theme:shin;" data-size="4:3">
+</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 960 720"><foreignObject width="960" height="720"><section id="31" data-paginate="true" data-theme="shin" data-marpit-pagination="31" data-marpit-pagination-total="38" style="--paginate:true;--theme:shin;" data-size="4:3">
 <h1>サボるために頑張る</h1>
 <p>投資</p>
 </section>
-</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 960 720"><foreignObject width="960" height="720"><section id="30" data-paginate="true" data-theme="shin" data-marpit-pagination="30" data-marpit-pagination-total="32" style="--paginate:true;--theme:shin;" data-size="4:3">
+</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 960 720"><foreignObject width="960" height="720"><section id="32" data-paginate="true" data-theme="shin" data-marpit-pagination="32" data-marpit-pagination-total="38" style="--paginate:true;--theme:shin;" data-size="4:3">
 <h1>テストの経済学と心理学</h1>
 </section>
-</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 960 720"><foreignObject width="960" height="720"><section id="31" data-paginate="true" data-theme="shin" data-marpit-pagination="31" data-marpit-pagination-total="32" style="--paginate:true;--theme:shin;" data-size="4:3">
-<h1>手でやらない</h1>
-<h2>手でやるべき状況もある</h2>
-</section>
-</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 960 720"><foreignObject width="960" height="720"><section id="32" data-paginate="true" data-theme="shin" data-marpit-pagination="32" data-marpit-pagination-total="32" style="--paginate:true;--theme:shin;" data-size="4:3">
-<h1>リファクタリング</h1>
+</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 960 720"><foreignObject width="960" height="720"><section id="33" data-paginate="true" data-theme="shin" data-marpit-pagination="33" data-marpit-pagination-total="38" style="--paginate:true;--theme:shin;" data-size="4:3">
+<h1>良いテスト</h1>
+<h2>良いテストとは？</h2>
+<p>バグの検出能力が高い (≒ 網羅率が高い)<br />
+読みやすい･保守しやすい</p>
+<h2>単純であればあるほどよい</h2>
+<p>分岐<code>if</code> <code>for</code>を極力使わない<br />
+テスト自体のバグを避けるため<br />
+繰り返してもOK, DRYでなくても良い</p>
+<p>仕様や利用方法という側面もある</p>
+<p>1テストケース＝1シナリオ</p>
+</section>
+</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 960 720"><foreignObject width="960" height="720"><section id="34" data-paginate="true" data-theme="shin" data-marpit-pagination="34" data-marpit-pagination-total="38" style="--paginate:true;--theme:shin;" data-size="4:3">
+<p>関数化</p>
+</section>
+</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 960 720"><foreignObject width="960" height="720"><section id="35" data-paginate="true" data-theme="shin" data-marpit-pagination="35" data-marpit-pagination-total="38" style="--paginate:true;--theme:shin;" data-size="4:3">
+<h1>良いプログラムと良いテスト</h1>
+<p><img src="image.png" alt="" /></p>
+</section>
+</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 960 720"><foreignObject width="960" height="720"><section id="36" data-paginate="true" data-theme="shin" data-marpit-pagination="36" data-marpit-pagination-total="38" style="--paginate:true;--theme:shin;" data-size="4:3">
+<p>parametrized test</p>
+</section>
+</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 960 720"><foreignObject width="960" height="720"><section id="37" data-paginate="true" data-theme="shin" data-marpit-pagination="37" data-marpit-pagination-total="38" style="--paginate:true;--theme:shin;" data-size="4:3">
+<h1>回帰バグ</h1>
+<h2>昔のバグが再度現れる現象</h2>
+<p>「レグレッションがおきた」<br />
+「デグレした」</p>
+<p>プログラム変更時に発生した意図せぬ別の問題<br />
+バグを直したら別のバグが出てくる</p>
+<h2>テストは回帰バグの特効薬</h2>
+<p>バグ修正時に必ず対応するテストを作る<br />
+プログラム変更時に常にテストを回す</p>
+</section>
+</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 960 720"><foreignObject width="960" height="720"><section id="38" data-paginate="true" data-theme="shin" data-marpit-pagination="38" data-marpit-pagination-total="38" style="--paginate:true;--theme:shin;" data-size="4:3">
+<h1>テストスメル</h1>
+<h1>CI/CD</h1>
 </section>
 <script>!function(){"use strict";const t={h1:{proto:()=>HTMLHeadingElement,attrs:{role:"heading","aria-level":"1"},style:"display: block; font-size: 2em; margin-block-start: 0.67em; margin-block-end: 0.67em; margin-inline-start: 0px; margin-inline-end: 0px; font-weight: bold;"},h2:{proto:()=>HTMLHeadingElement,attrs:{role:"heading","aria-level":"2"},style:"display: block; font-size: 1.5em; margin-block-start: 0.83em; margin-block-end: 0.83em; margin-inline-start: 0px; margin-inline-end: 0px; font-weight: bold;"},h3:{proto:()=>HTMLHeadingElement,attrs:{role:"heading","aria-level":"3"},style:"display: block; font-size: 1.17em; margin-block-start: 1em; margin-block-end: 1em; margin-inline-start: 0px; margin-inline-end: 0px; font-weight: bold;"},h4:{proto:()=>HTMLHeadingElement,attrs:{role:"heading","aria-level":"4"},style:"display: block; margin-block-start: 1.33em; margin-block-end: 1.33em; margin-inline-start: 0px; margin-inline-end: 0px; font-weight: bold;"},h5:{proto:()=>HTMLHeadingElement,attrs:{role:"heading","aria-level":"5"},style:"display: block; font-size: 0.83em; margin-block-start: 1.67em; margin-block-end: 1.67em; margin-inline-start: 0px; margin-inline-end: 0px; font-weight: bold;"},h6:{proto:()=>HTMLHeadingElement,attrs:{role:"heading","aria-level":"6"},style:"display: block; font-size: 0.67em; margin-block-start: 2.33em; margin-block-end: 2.33em; margin-inline-start: 0px; margin-inline-end: 0px; font-weight: bold;"},span:{proto:()=>HTMLSpanElement},pre:{proto:()=>HTMLElement,style:"display: block; font-family: monospace; white-space: pre; margin: 1em 0; --marp-auto-scaling-white-space: pre;"}},e="data-marp-auto-scaling-wrapper",i="data-marp-auto-scaling-svg",n="data-marp-auto-scaling-container";class s extends HTMLElement{constructor(){super(),this.svgPreserveAspectRatio="xMinYMid meet";const t=t=>([e])=>{const{width:i,height:n}=e.contentRect;this[t]={width:i,height:n},this.updateSVGRect()};this.attachShadow({mode:"open"}),this.containerObserver=new ResizeObserver(t("containerSize")),this.wrapperObserver=new ResizeObserver(((...e)=>{t("wrapperSize")(...e),this.flushSvgDisplay()}))}static get observedAttributes(){return["data-downscale-only"]}connectedCallback(){var t,s,o,r,a;this.shadowRoot.innerHTML=`\n<style>\n  svg[${i}] { display: block; width: 100%; height: auto; vertical-align: top; }\n  span[${n}] { display: table; white-space: var(--marp-auto-scaling-white-space, nowrap); width: max-content; }\n</style>\n<div ${e}>\n  <svg part="svg" ${i}>\n    <foreignObject><span ${n}><slot></slot></span></foreignObject>\n  </svg>\n</div>\n    `.split(/\n\s*/).join(""),this.wrapper=null!==(t=this.shadowRoot.querySelector(`div[${e}]`))&&void 0!==t?t:void 0;const l=this.svg;this.svg=null!==(o=null===(s=this.wrapper)||void 0===s?void 0:s.querySelector(`svg[${i}]`))&&void 0!==o?o:void 0,this.svg!==l&&(this.svgComputedStyle=this.svg?window.getComputedStyle(this.svg):void 0),this.container=null!==(a=null===(r=this.svg)||void 0===r?void 0:r.querySelector(`span[${n}]`))&&void 0!==a?a:void 0,this.observe()}disconnectedCallback(){this.svg=void 0,this.svgComputedStyle=void 0,this.wrapper=void 0,this.container=void 0,this.observe()}attributeChangedCallback(){this.observe()}flushSvgDisplay(){const{svg:t}=this;t&&(t.style.display="inline",requestAnimationFrame((()=>{t.style.display=""})))}observe(){this.containerObserver.disconnect(),this.wrapperObserver.disconnect(),this.wrapper&&this.wrapperObserver.observe(this.wrapper),this.container&&this.containerObserver.observe(this.container),this.svgComputedStyle&&this.observeSVGStyle(this.svgComputedStyle)}observeSVGStyle(t){const e=()=>{const i=(()=>{const e=t.getPropertyValue("--preserve-aspect-ratio");if(e)return e.trim();return`x${(({textAlign:t,direction:e})=>{if(t.endsWith("left"))return"Min";if(t.endsWith("right"))return"Max";if("start"===t||"end"===t){let i="rtl"===e;return"end"===t&&(i=!i),i?"Max":"Min"}return"Mid"})(t)}YMid meet`})();i!==this.svgPreserveAspectRatio&&(this.svgPreserveAspectRatio=i,this.updateSVGRect()),t===this.svgComputedStyle&&requestAnimationFrame(e)};e()}updateSVGRect(){var t,e,i,n,s,o,r;let a=Math.ceil(null!==(e=null===(t=this.containerSize)||void 0===t?void 0:t.width)&&void 0!==e?e:0);const l=Math.ceil(null!==(n=null===(i=this.containerSize)||void 0===i?void 0:i.height)&&void 0!==n?n:0);void 0!==this.dataset.downscaleOnly&&(a=Math.max(a,null!==(o=null===(s=this.wrapperSize)||void 0===s?void 0:s.width)&&void 0!==o?o:0));const c=null===(r=this.svg)||void 0===r?void 0:r.querySelector(":scope > foreignObject");if(null==c||c.setAttribute("width",`${a}`),null==c||c.setAttribute("height",`${l}`),this.svg&&(this.svg.setAttribute("viewBox",`0 0 ${a} ${l}`),this.svg.setAttribute("preserveAspectRatio",this.svgPreserveAspectRatio),this.svg.style.height=a<=0||l<=0?"0":""),this.container){const t=this.svgPreserveAspectRatio.toLowerCase();this.container.style.marginLeft=t.startsWith("xmid")||t.startsWith("xmax")?"auto":"0",this.container.style.marginRight=t.startsWith("xmi")?"auto":"0"}}}const o=(t,{attrs:e={},style:i})=>class extends t{constructor(...t){super(...t);for(const[t,i]of Object.entries(e))this.hasAttribute(t)||this.setAttribute(t,i);this.attachShadow({mode:"open"})}static get observedAttributes(){return["data-auto-scaling"]}connectedCallback(){this._update()}attributeChangedCallback(){this._update()}_update(){const t=i?`<style>:host { ${i} }</style>`:"";let e="<slot></slot>";const{autoScaling:n}=this.dataset;if(void 0!==n){e=`<marp-auto-scaling exportparts="svg:auto-scaling" ${"downscale-only"===n?"data-downscale-only":""}>${e}</marp-auto-scaling>`}this.shadowRoot.innerHTML=t+e}};let r;const a=Symbol();let l;const c="marpitSVGPolyfill:setZoomFactor,",d=Symbol(),g=Symbol();const h=()=>{const t="Apple Computer, Inc."===navigator.vendor,e=t?[u]:[],i={then:e=>(t?(async()=>{if(void 0===l){const t=document.createElement("canvas");t.width=10,t.height=10;const e=t.getContext("2d"),i=new Image(10,10),n=new Promise((t=>{i.addEventListener("load",(()=>t()))}));i.crossOrigin="anonymous",i.src="data:image/svg+xml;charset=utf8,%3Csvg%20xmlns%3D%22http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%22%20width%3D%2210%22%20height%3D%2210%22%20viewBox%3D%220%200%201%201%22%3E%3CforeignObject%20width%3D%221%22%20height%3D%221%22%20requiredExtensions%3D%22http%3A%2F%2Fwww.w3.org%2F1999%2Fxhtml%22%3E%3Cdiv%20xmlns%3D%22http%3A%2F%2Fwww.w3.org%2F1999%2Fxhtml%22%20style%3D%22width%3A%201px%3B%20height%3A%201px%3B%20background%3A%20red%3B%20position%3A%20relative%22%3E%3C%2Fdiv%3E%3C%2FforeignObject%3E%3C%2Fsvg%3E",await n,e.drawImage(i,0,0),l=e.getImageData(5,5,1,1).data[3]<128}return l})().then((t=>{null==e||e(t?[u]:[])})):null==e||e([]),i)};return Object.assign(e,i)};let p,m;function u(t){const e="object"==typeof t&&t.target||document,i="object"==typeof t?t.zoom:t;window[g]||(Object.defineProperty(window,g,{configurable:!0,value:!0}),document.body.style.zoom=1.0001,document.body.offsetHeight,document.body.style.zoom=1,window.addEventListener("message",(({data:t,origin:e})=>{if(e===window.origin)try{if(t&&"string"==typeof t&&t.startsWith(c)){const[,e]=t.split(","),i=Number.parseFloat(e);Number.isNaN(i)||(m=i)}}catch(t){console.error(t)}})));let n=!1;Array.from(e.querySelectorAll("svg[data-marpit-svg]"),(t=>{var e,s,o,r;t.style.transform||(t.style.transform="translateZ(0)");const a=i||m||t.currentScale||1;p!==a&&(p=a,n=a);const l=t.getBoundingClientRect(),{length:c}=t.children;for(let i=0;i<c;i+=1){const n=t.children[i];if(n.getScreenCTM){const t=n.getScreenCTM();if(t){const i=null!==(s=null===(e=n.x)||void 0===e?void 0:e.baseVal.value)&&void 0!==s?s:0,c=null!==(r=null===(o=n.y)||void 0===o?void 0:o.baseVal.value)&&void 0!==r?r:0,d=n.children.length;for(let e=0;e<d;e+=1){const s=n.children[e];if("SECTION"===s.tagName){const{style:e}=s;e.transformOrigin||(e.transformOrigin=`${-i}px ${-c}px`),e.transform=`scale(${a}) matrix(${t.a}, ${t.b}, ${t.c}, ${t.d}, ${t.e-l.left}, ${t.f-l.top}) translateZ(0.0001px)`;break}}}}}})),!1!==n&&Array.from(e.querySelectorAll("iframe"),(({contentWindow:t})=>{null==t||t.postMessage(`${c}${n}`,"null"===window.origin?"*":window.origin)}))}function v({once:t=!1,target:e=document}={}){const i=function(t=document){if(t[d])return t[d];let e=!0;const i=()=>{e=!1,delete t[d]};Object.defineProperty(t,d,{configurable:!0,value:i});let n=[],s=!1;(async()=>{try{n=await h()}finally{s=!0}})();const o=()=>{for(const e of n)e({target:t});s&&0===n.length||e&&window.requestAnimationFrame(o)};return o(),i}(e);return t?(i(),()=>{}):i}p=1,m=void 0;const b=Symbol(),w=(e=document)=>{if("undefined"==typeof window)throw new Error("Marp Core's browser script is valid only in browser context.");if(((e=document)=>{const i=window[a];i||customElements.define("marp-auto-scaling",s);for(const n of Object.keys(t)){const s=`marp-${n}`,a=t[n].proto();null!=r||(r=!!document.createElement("div",{is:"marp-auto-scaling"}).outerHTML.startsWith("<div is")),r&&a!==HTMLElement?i||customElements.define(s,o(a,{style:t[n].style}),{extends:n}):(i||customElements.define(s,o(HTMLElement,t[n])),e.querySelectorAll(`${n}[is="${s}"]`).forEach((t=>{t.outerHTML=t.outerHTML.replace(new RegExp(`^<${n}`,"i"),`<${s}`).replace(new RegExp(`</${n}>$`,"i"),`</${s}>`)})))}window[a]=!0})(e),e[b])return e[b];const i=v({target:e}),n=()=>{i(),delete e[b]},l=Object.assign(n,{cleanup:n,update:()=>w(e)});return Object.defineProperty(e,b,{configurable:!0,value:l}),l},y=document.currentScript;w(y?y.getRootNode():document)}();
 </script></foreignObject></svg></div><script>/*!! License: https://unpkg.com/@marp-team/marp-cli@2.4.0/lib/bespoke.js.LICENSE.txt */
diff --git a/lecture-test.md b/lecture-test.md
index 47895bd..8836a52 100644
--- a/lecture-test.md
+++ b/lecture-test.md
@@ -70,27 +70,26 @@ title: SW設計論 #15
 # 開発者が知っておくべきトピック集<br><sub>－テスト編－</sub>
 <div class="corner-triangle"><div class="corner-triangle-text"></div></div>
 
-<span class="xisabled">・SWEBOK</span>
 ・SWテストの基本
 ・手動テストは危険
 
-・リファクタリング前にテスト
-・先にテストを書く
-・_Clean code that works_
-・バグを直す前にテストを落とす
+・リファクタリングのためのテスト
+・バグ修正のためのテスト
+
+・テストを先に書く開発スタイル
+・_"Clean code that works"_
 
 ・テストは証明ではない
 ・テストはユーザ第1号である
 
+<span class="xisabled">・SWEBOK</span>
 
 ---
 # SWテスト
 
 対象SWが意図通り動くかを検証するプロセス
 下流工程の一つ, 実装とほぼ1:1
-
-基本はSWを叩いてみて確認する
-<sub>（レビューは叩かずに確かめる方法）</sub>
+基本はSWを叩いてみて確認する <sub>(⇔ レビュー)</sub>
 
 テストの一例：`sort(arr)` の単体テスト
 ```java
@@ -103,8 +102,9 @@ title: SW設計論 #15
   assert(actual).is([1,2,3]);
 }
 @Test void testSortNull() {
-  actual = sort([]);          // 空配列はどうなるか？
-  ...
+  actual = sort(null);        // nullはどうなるか？
+  assert(actual).is(null);
+}  ...
 ```
 
 ---
@@ -144,7 +144,9 @@ List sort(List l) {
 ```
 
 要求とIFが決まればテストは作成できる
-実装より先にテストを作っても良い
+　- 要求 + IF = 実装
+　- 要求 + IF = テスト
+
 
 ---
 # 例：実験スクリプトの場合
@@ -173,15 +175,16 @@ def test_analyze(self):
 
 ## よくある良くない手動テスト
 ```python
-print(sort([1,2,3]));
-print(sort([3,2,1]));
-print(sort([3,2,1,1,1,1,1,1]));
+if __name__ == '__main__':
+  print(sort([1,2,3]));
+  print(sort([3,2,1]));
+  print(sort([3,2,1,1,1,1,1,1,0]));
 ```
 
 ```
 1,2,3
 1,2,3
-1,1,1,1,1,1,2,3
+0,1,1,1,1,1,1,2,3
 ```
 
 検証にコストを要する, ミスする可能性がある
@@ -195,14 +198,12 @@ print(sort([3,2,1,1,1,1,1,1]));
 # 無茶な自動テスト
 
 ```py
-if sort([1,2,3]) == [1,2,3]:
-  print("ok")
-else
-  print("ng")
-if sort([3,1,2]) == [1,2,3]:
-  print("ok")
-else
-  print("ng")
+if __name__ == '__main__':
+  # print(sort([1,2,3]));
+  if sort([1,2,3]) == [1,2,3]:
+    print("ok")
+  else:
+    print("ng")
 ```
 
 ここまでやるならテストFWを使おう
@@ -221,15 +222,16 @@ else
 ```java
 @Test @DisplayName("ソート済みデータのソート")
 void testSort1() {
-  List l = sort([1,2,3]);
-  assertThat(l).equalTo([1,2,3]);
+  List actual = sort([1,2,3]);
+  assertThat(actual).equalTo([1,2,3]);
 }
 ```
 
 ## Python：pytest, unittest
 ```py
 def test_sort1():
-  assert sort([1,2,3]) == [1,2,3]
+  actual = sort([1,2,3])
+  assert actual == [1,2,3]
 ```
 
 ```
@@ -241,6 +243,23 @@ test_sort.py::test_sort3 PASSED                 [100%]
 ```
 
 
+---
+# 手動テストにも価値がある
+
+## E2Eテスト <sub>(End to end)</sub>
+システム全体のテスト
+エンドユーザの実利用を想定したテスト
+
+自動化しにくい, 自動テストに向かない
+
+自動テストでは検証しにくい事項がある
+　- UIのくずれ, 見た目
+　- 操作感
+
+## 向き不向き
+自動テスト：システムの細かな部品
+手動テスト：システム全体の振る舞い
+
 ---
 <!-- _class: outline-->
 # 開発者が知っておくべきトピック集<br><sub>－テスト編－</sub>
@@ -250,8 +269,8 @@ DUMMY
 
 ---
 # リファクタリング
-## 振る舞いを変えずにプログラム内部を改善する
-無駄処理の排除, 関数の切り出し, 変数名の修正, ..
+## プログラムの振る舞いを変えずに内部を改善
+無駄処理の排除, 関数の切り出し, 変数名の修正, ...
 
 プログラムができたらリファクタリングすべき
 良くない状態を放置しない, 負債を貯めない
@@ -269,33 +288,38 @@ DUMMY
 
 ---
 # リファクタリングによる破壊
-## 「振る舞いを変えずに」プログラムを改善～
+## プログラムの「振る舞いを変えずに」を～
 振る舞いを変えないのが難しい
 
 すぐに壊れるならまだマシ
-新たなバグの混入に気づかないことも
+壊れていることに気づかないケースが最悪
+　- 新たなバグの混入
+　- 不要だと判断した処理が実は必要だった
 
 
 ## Q. 振る舞いの維持をどう確認すれば良いか？
 リファクタリング前と後の等価性を判定したい
 
+もし等価性を自動判定できたら？
+　→ リファクタリングを恐れなくて良くなる
+
 ---
-# リファクタリング前にのテスト
+# <!--fit-->リファクタリングのためのテスト
 ## テストを等価性判定の目安に使う
-リファクタリング前に必ずテストを用意しておく
-テストが通るように内部を改善する
+1. リファクタリング前にテストを用意しておく
+2. テストが通る状態を保ちつつ内部を改善する
 
-リファクタリングによってテストが落ちた
+リファクタリングによってテストが落ちたら？
 　→ リファクタリング失敗
 
 ## リファクタリングでIFが変わる場合は？
-ラッパーを作っておく
 
 ```diff
 - def sort(arr)
 + def sort(arr, is_ascending)
 ```
 
+ラッパーを作っておく
 ```py
 def sort(arr):
   return sort(arr, True)
@@ -303,7 +327,80 @@ def sort(arr):
 テストとソースを同時に直さない
 
 ---
-# テストを先に書く
+# バグ修正のためのテスト
+## 予期せぬバグが起きた場合：
+1. バグが発生する条件･状況を探す
+
+```java
+sort([3,1,2,-5]);
+   → [1,2,3,-5]
+```
+
+
+2. その条件･状況をテストに起こす
+プログラムの正しい振る舞いを定義 & 自動検証
+```java
+@Test public void testNegative() {
+  List l = sort([3,1,2,-5]);
+  assertThat(l).equalTo([-5,1,2,3]);
+}
+```
+
+3. そのテストが通るようにバグを直す
+
+テストとソースを同時に直さない
+
+
+---
+# バグ報告もテストと同時に
+## バグ報告に書くべき項目
+- バグの概要
+- 環境
+- バグの再現方法 ★
+- 期待する振る舞い ★
+- 実際の振る舞い ★
+
+```java
+@Test public void testNegative() {
+  List l = sort([3,1,2,-5]);
+  assertThat(l).equalTo([-5,1,2,3]);
+}
+```
+
+## 下手な文章よりも役立つ
+機械解読可能 ＝ 客観的
+コード化 ＝ 自動化･再現可能
+
+---
+# 何でもソースコードにしよう
+<div class="corner-triangle"><div class="corner-triangle-text">雑談</div></div>
+
+## インストール手順のコード化
+<sub>※Home brewのインストールスクリプト</sub>
+```
+$ /bin/bash -c "$(curl -fsSL https://raw.git../install.sh)"
+```
+
+
+## ビルド方法･依存解決のコード化
+Java: Gradle, Bazel
+Python: `requirements.txt` + `pip install`
+
+## 仮想環境のコード化
+Docker
+
+## インフラ環境のコード化 (IaC)
+Chef, Puppet, Pulumi
+
+---
+<!-- _class: outline-->
+# 開発者が知っておくべきトピック集<br><sub>－テスト編－</sub>
+<div class="corner-triangle"><div class="corner-triangle-text"></div></div>
+
+DUMMY
+
+---
+# テストを先に書く開発スタイル
 ## TDD <sub>- Test driven development, テスト駆動開発</sub>
 1. まずはテストを書く
 2. テストが通るようにプログラムを作る
@@ -326,25 +423,24 @@ def sort(arr):
 ```
 
 ---
-# _Clean code that works_
+# _"Clean code that works"_
 ## TDDのキモ
 動くコードと良いコードを分けて考える
 分割統治の考え
 
-まずは動くコードを作る
-動いたら良くする
+step1. まずは動くコードを作る
+step2. 動いたら良くする
 
 ```
-                         ｜
                          ｜     ★
    Clean                 ｜    step2
                          ｜
           －－－－－－－－－－－－－－－－－－－
-                         ｜      ↑
-   Dirty         ☆   →  ｜      ★
+                         ｜     ↑
+   Dirty         ☆   →  ｜     ★
                step0     ｜    step1
-                         ｜
-           Doesn't work        work
+
+           Doesn't work        Work
 ```
 
 
@@ -364,81 +460,16 @@ def sort(arr):
 　- 4つのサブ課題, 各課題にテスト20個程度
 
 学生は仕様に従いテストが通るように実装する
-
 全テストが通れば課題達成
 
 ## Pros
 TDD･テストの経験を得られる
 TDD･テストの恩恵を自然に受けられる
+　- 機能の自動的な検証
+　- リファクタリング支援
 
 教員の手間が減る
 
----
-# バグを直す前にテストを落とす
-## 予期せぬバグが起きた場合：
-1. バグが発生する条件･状況を探す
-
-```java
-sort([3,1,2,-5]);
-→ [1,2,3,-5]
-```
-
-
-2. その条件･状況をテストに起こす
-プログラムの正しい振る舞いを定義 & 自動検証
-```java
-@Test public void testNegative() {
-  List l = sort([3,1,2,-5]);
-  assertThat(l).equalTo([-5,1,2,3]);
-}
-```
-
-3. そのテストが通るようにバグを直す
-
-常にテストとソースを同時に直さない
-
-
-
----
-# バグ報告もテストと同時に
-## バグ報告に書くべき項目
-バグの概要
-環境
-バグの再現方法 ★
-期待する振る舞い ★
-実際の振る舞い ★
-
-```java
-@Test public void testNegative() {
-  List l = sort([3,1,2,-5]);
-  assertThat(l).equalTo([-5,1,2,3]);
-}
-```
-
-## 下手な文章よりも役立つ
-機械解読可能＝客観的･再現可能
-
-
----
-# 何でもソースコードにしよう
-<div class="corner-triangle"><div class="corner-triangle-text">雑談</div></div>
-
-## インストール手順のコード化
-※Home brewのインストールスクリプト
-```
-$ /bin/bash -c "$(curl -fsSL https://raw.git../install.sh)"
-```
-
-## ビルド方法･依存解決のコード化
-Gradle, Bazel
-`requirements.txt` + `pip install`
-
-## 仮想環境のコード化
-Docker
-
-## インフラ環境のコード化 (IaC)
-Chef, Puppet, Pulumi
-
 
 ---
 <!-- _class: outline-->
@@ -452,18 +483,25 @@ DUMMY
 
 > Program testing can be used to show the presence of bugs, but never to show their absence
 
-> テストはバグが存在することを示せるが，
+> テストはバグが存在することを示せるが
 バグがないことは示せない
 
-<sub>Edsger W. Dijkstra</sub>
+<sub>E.W. Dijkstra</sub>
 
 ---
 # テストは証明ではない
+## 全組み合わせのテストは不可能
+`sort(arr)` のパラメタの組み合わせは無限
+`isPrime(int n)`でも`INT_MAX` (42億) の可能性がある
+
+## テストは無料ではない
+大きなシステムの全テストは1日かかる
+
 経済
 
 
 ---
-# <!--fit-->プログラムの正しさの証明？
+# プログラムの正しさの証明？
 ## 形式手法
 <div class="corner-triangle"><div class="corner-triangle-text">雑談</div></div>
 
@@ -471,7 +509,7 @@ DUMMY
 システム全体を数学的に表現することで検証する
 
 ![](fig/paper-formal.png)
-<sub>E.M. Clarke et al, ACM Computing Surveys 1996.</sub>
+<subb>E.M. Clarke et al, ACM Computing Surveys 1996.</subb>
 
 ミッションクリティカル分野で利用されている
 航空システム･医療等
@@ -487,12 +525,49 @@ DUMMY
 ---
 # テストの経済学と心理学
 
+---
+# 良いテスト
+## 良いテストとは？
+バグの検出能力が高い (≒ 網羅率が高い)
+読みやすい･保守しやすい
+
+## 単純であればあるほどよい
 
 
+分岐`if` `for`を極力使わない
+テスト自体のバグを避けるため
+繰り返してもOK, DRYでなくても良い
+
+仕様や利用方法という側面もある
+
+1テストケース＝1シナリオ
+
 ---
-# 手でやらない
+関数化
 
-## 手でやるべき状況もある
+---
+# 良いプログラムと良いテスト
+![](image.png)
 
 ---
-# リファクタリング
+parametrized test
+
+
+---
+# 回帰バグ
+## 昔のバグが再度現れる現象
+「レグレッションがおきた」
+「デグレした」
+
+プログラム変更時に発生した意図せぬ別の問題
+バグを直したら別のバグが出てくる
+
+## テストは回帰バグの特効薬
+バグ修正時に必ず対応するテストを作る
+プログラム変更時に常にテストを回す
+
+---
+# テストスメル
+
+
+# CI/CD
\ No newline at end of file