<h2 id="%E8%BF%B0%E8%AA%9E" data-line="0" class="code-line">
<a class="header-anchor-link" href="#%E8%BF%B0%E8%AA%9E" aria-hidden="true"></a> 述語</h2>
<ul data-line="1" class="code-line">
<li data-line="1" class="code-line">真偽値(trueかfalse)を返す関数や式のこと
<ul data-line="2" class="code-line">
<li data-line="2" class="code-line">述語の箇所は、trueかfalseで上書きされるイメージ</li>
</ul>
</li>
<li data-line="3" class="code-line">プログラムの制御フローを決定するための基本的な概念の一つ</li>
</ul>
<p data-line="5" class="code-line"><img src="https://storage.googleapis.com/zenn-user-upload/d5cc4f9f8d4f-20240908.jpeg" loading="lazy" class="md-img"></p>
<h2 id="%E5%8F%82%E8%80%83" data-line="7" class="code-line">
<a class="header-anchor-link" href="#%E5%8F%82%E8%80%83" aria-hidden="true"></a> 参考</h2>
<p data-line="8" class="code-line"><span class="embed-block zenn-embedded zenn-embedded-card"><iframe id="zenn-embedded__82bef89ca890f" src="https://embed.zenn.studio/card#zenn-embedded__82bef89ca890f" data-content="http%3A%2F%2Faiweb.cs.ehime-u.ac.jp%2F~ninomiya%2Farchive%2Fscheme%2Fitp-3.pdf" frameborder="0" scrolling="no" loading="lazy"></iframe></span><a href="http://aiweb.cs.ehime-u.ac.jp/~ninomiya/archive/scheme/itp-3.pdf" style="display:none" target="_blank" rel="nofollow noopener noreferrer">http://aiweb.cs.ehime-u.ac.jp/~ninomiya/archive/scheme/itp-3.pdf</a></p>
<p data-line="10" class="code-line"><span class="embed-block zenn-embedded zenn-embedded-card"><iframe id="zenn-embedded__d22f2c1b2eb73" src="https://embed.zenn.studio/card#zenn-embedded__d22f2c1b2eb73" data-content="https%3A%2F%2Fdeveloper.mozilla.org%2Fja%2Fdocs%2FWeb%2FJavaScript%2FReference%2FStatements%2Fif...else" frameborder="0" scrolling="no" loading="lazy"></iframe></span><a href="https://developer.mozilla.org/ja/docs/Web/JavaScript/Reference/Statements/if...else" style="display:none" target="_blank" rel="nofollow noopener noreferrer">https://developer.mozilla.org/ja/docs/Web/JavaScript/Reference/Statements/if...else</a></p>


プログラミングにおける述語（predicate）

Discussion