セミナー第3回(シリーズ最終回)の紹介：カリー／ハワード対応 - 檜山正幸のキマイラ飼育記
2 users
雑記／備忘 | 09:46 | 次回でシリーズ完結です。首尾よくマトマリが付かなくても、このタイトルはオシマイ*1。さて次回＝最終回ですが、2/3程度は以前の知識を要求しない内容なので、第3回だけ参加も可能ですし、歓迎します。以下に、予定している内容を記しま... 続きを読む
セミナー補足：報告記事とか後悔とか独り言とか - 檜山正幸のキマイラ飼育記
4 users
雑記／備忘 | 08:38 | return0のKuwataさんがまとめを書いてくださいました。→ http://return0.dyndns.org/log/2009/01/24勘違いしてる部分がないとは言えないので、あんまり鵜呑みにしないように。いえいえ、極めて正確な報告です。ここまでチャンと理解して... 続きを読む
「技術者／プログラマのためのラムダ計算、論理、圏」ならどう？ - 檜山正幸のキマイラ飼育記
8 users
雑記／備忘 | 18:34 | 12月20日の「反省とか、まとめとか、資料公開とか」を今日投稿する予定でしたが、作業的に間に合わなかったので、明日以降にします。ごめんなさい。それはそうと、20日にアンケートを書いていただいたのですが、そのなかに、次のようなご... 続きを読む
Y コンビネータって何？ - IT戦記
196 users
javascript このエントリの親友へ。ブログを書こう。 - IT戦記y がブログを始めたみたいなので、読んでみた。 で、最新のエントリを読んでみたら、Y コンビネータというものについて書いてあったので、Y Combinatorが凄すぎる！ - yuji1982の日記Y コンビネータ... 続きを読む
すべて表示
