うらおブログ(移転しました)スマートフォン用の表示で見るやねうらおブログ(移転しました)この広告は、90日以上更新していないブログに表示しています。compilerもう時代は超並列言語だぜよってなわけでPICT:π-calculusに基づく言語の論文(紹介?)で、以下のが秀逸だったので紹介。http://www.cs.indiana.edu/cgi-bin/techreports/TRNNN.cgi?trnum=TR476それで先日買ったMilnerたんの本*1、さらさらっと軽く読んだけど、別に関数型プログラミングするのにλ-calculusについて考えたりしないしなー。こんなもん読まなくてもπ-calculusを用いるプログラミング言語、使えるんだろなーとか勝手なことを考えて終了。(いい加減な)あとは、稲葉さんの日記で紹介されてたやつが、気になった。Webで全文公開されてるんですねーうひょー。電子書籍になるに至るまでの話ブログちょっとだけ移転のお知らせ時代はまだゲームセンターあらしに追いつかないのかやねうら王、電王戦バージョン提出しました将棋の神様のレーティングはいくつなのか?月別アーカイブはてなブログをはじめよう!yaneuraoさんは、はてなブログを使っています。ブログを報告するスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。