yuki0523 https://blog.hatena.ne.jp/yuki0523/ 小粒ちゃんねる ♪ Scala チャンネル https://yuki0523.hatenadiary.org/ column 数年前、プログラミング経験のない女子高生を相手に関数型プログラミングを説く機会がありました。知人のご息女で、ＩＴ業界への就職希望だったので、夏休みに短期集中講座というわけです。 《関連記事》 column Scala.use(better) ↑〈承前〉17歳から始める関数型プログラミング ┃3+4の証明 特集記事には 関数を代数的に組み合わせてプログラムする（中略）ということは、単純化すると、交換法則や結合法則といった規則が成り立つということ（中略）そのプログラムの正しさが数学的に証明可能になることです 《出典》Software Design 2010年6月号｜技術評論社（p.108） と紹介… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fyuki0523.hatenadiary.org%2Fentry%2F20120114%2F1341921998" title="17歳から始める関数型プログラミング - 小粒ちゃんねる ♪ Scala チャンネル" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2012-01-14 21:06:38 rich https://yuki0523.hatenadiary.org/entry/20120114/1341921998 1.0 100%