yaneurao https://blog.hatena.ne.jp/yaneurao/ やねうらおブログ(移転しました) https://yaneurao.hatenadiary.com/ AI book compiler もう時代は超並列言語だぜよってなわけで PICT:π-calculusに基づく言語 の論文(紹介?)で、以下のが秀逸だったので紹介。 http://www.cs.indiana.edu/cgi-bin/techreports/TRNNN.cgi?trnum=TR476それで先日買ったMilnerたんの本*1、さらさらっと軽く読んだけど、別に関数型プログラミングするのにλ-calculusについて考えたりしないしなー。こんなもん読まなくてもπ-calculusを用いるプログラミング言語、使えるんだろなーとか勝手なことを考えて終了。(いい加減な) あとは、稲葉さんの日記で紹介されてたやつが、気にな… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fyaneurao.hatenadiary.com%2Fentry%2F20040302%2Fp1" title=" - やねうらおブログ(移転しました)" 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 2004-03-02 00:00:00 rich https://yaneurao.hatenadiary.com/entry/20040302/p1 1.0 100%