注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
次のエントリー内で書籍に触れています。 groovyとラムダ式(6):補足と総括 - 檜山正幸のキマイラ飼育記... 次のエントリー内で書籍に触れています。 groovyとラムダ式(6):補足と総括 - 檜山正幸のキマイラ飼育記 (はてなBlog)→プログラミング言語の基礎理論、プログラム意味論 ウルトラ・マクロな立場の定式化 - 檜山正幸のキマイラ飼育記 (はてなBlog)→プログラミング言語の基礎理論 見つけもの:Angelo Vistoliのていねいな論文 - 檜山正幸のキマイラ飼育記 (はてなBlog)→Categorical Logic and Type Theory, Handbook of Categorical Algebra 2 データ型のクレイジー計算 - 檜山正幸のキマイラ飼育記 (はてなBlog)→Categories and Computer Science 圏論、論理、計算論の関係については、"Introduction to Higher-Order Categorical L
2015/03/30 リンク