mandel59 https://blog.hatena.ne.jp/mandel59/ Ryusei’s Notes (a.k.a. M59のブログ) https://mandel59.hateblo.jp/ 哲学 プログラミング その1 ⇒ プログラミングにおける〈式〉についての考察 - Ryusei’s Notes (a.k.a. M59のブログ)前回、式の望ましい性質として確定性・構成性・純粋性があるという話をした。これらの性質がなぜ望ましいのかを、実際に式を分析しながら詳しく見ていく。 式の構造 式は一般に、原子式と式の基本構造から再帰的に構成されている。例えば、次の式1は、2つの式, と、式の基本構造から成り立っている。そして、各部分式もまた部分と基本構造に分解できる。式1: 式1の基本構造には次のものがある。リスト1: 式1の基本構造 リスト1は、式を構成する規則として見ることができる。すなわち、これらの基本… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmandel59.hateblo.jp%2Fentry%2F2015%2F11%2F29%2F172233" title="〈式〉の考察 2 - Ryusei’s Notes (a.k.a. M59のブログ)" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> http://chart.apis.google.com/chart?cht=tx&chl=%20a%20b%20%2B%20c%20%28a%20%2B%20b%29 Hatena Blog https://hatena.blog 2015-11-29 17:22:33 rich https://mandel59.hateblo.jp/entry/2015/11/29/172233 1.0 100%