魚野メモ
ふたつの森林管理認証制度

森林管理認証制度 FSC と PEFC 森林認証制度とは,資源算出の場森林が,適切に管理されていることを第三者が認証し,その価値を認めて最終消費者が支払う対価の一部を森林管理に還元することで,適切な森林管理を持続可能なも […]

続きを読む
読書メモ
Haskellの型プログラミング 2.型と種(カインド)

読書メモ Thinking with Types この記事は,「Thinking with Types」を読んで自分なりに作成したメモです。プログラミングは趣味でやっているので,数学や情報工学上の適切な訳語ではない可能性 […]

続きを読む
読書メモ
Haskellの型プログラミング 1.型と代数

読書メモ Thinking with Types この記事は,「Thinking with Types」を読んで自分なりに作成したメモです。プログラミングは趣味でやっているので,数学や情報工学上の適切な訳語ではない可能性 […]

続きを読む