anarchy proof -Anarchy Proof This is a proof server. You can enjoy theorem proving here in several languages (one language). The list of all problems Create a new problems News return top
「技術者／プログラマのためのラムダ計算、論理、圏」ならどう？ - 檜山正幸のキマイラ飼育記 (はてなBlog)
情報があっちこっちに散乱すると、参照の便が悪いので、「技術者／プログラマのためのラムダ計算、論理、圏」に関連することは、このエントリに集約することにします。日付を入れて後ろにドンドン追記していきます。 告知は別なエントリーとしました。 12月20日の「反省とか、まとめとか、資料公開とか」を今日投稿する予定でしたが、作業的に間に合わなかったので、明日以降にします。ごめんなさい。[追記]翌日投稿しました。[/追記] それはそうと、20日にアンケートを書いていただいたのですが、そのなかに、次のようなご意見が含まれていました； 参加者の目的や予備知識を檜山がどのように想定しているかハッキリしないので、参加すべきどうかの判断がしにくい。 あー、なるほど、あんまり気を配っていませんでした。場違いの所に来てしまうのも、それはそれで面白い経験では？ とか僕は思うけど、「こういう人に対し、こういうことを伝え
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
