一人Computer Science Advent Calendar 2017

1
0
98

@myuon_myonがcomputer science関係で何か書きます。
理論の話だけじゃなくて出来る限り実装も書いていきたい。
1テーマ5-6回で4-5つくらいのトピックを拾っていく予定です。

キーワード: ラムダ計算・定理証明・Haskell・ML・圏論 とかなんかそのへん

各記事は私のブログにて公開される予定です


Category:

Calendar Sponsor PR