このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama

メールでのご連絡は hiyama{at}chimaira{dot}org まで。

はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。

参照用 記事

2009-01-26から1日間の記事一覧

セミナー補足:報告記事とか後悔とか独り言とか

return0のKuwataさんがまとめを書いてくださいました。→ http://return0.dyndns.org/log/2009/01/24 勘違いしてる部分がないとは言えないので、あんまり鵜呑みにしないように。 いえいえ、極めて正確な報告です。ここまでチャンと理解してくれる人が一人でも…

セミナー補足:教科書・参考書

ラムダ関連の教科書・参考書を聞かれてもよく知らない、というのがホントのところです。が、知ってるものだけ挙げると、まず、正統的なラムダ計算の定番教科書は、 Barendrect, H. "The Lambda Calculus -- its Syntax and Semantics" (North Holland 1981) …