Generic validation of nested data
generic-validation.md Generic validation of nested data TLDR This technique helps validate arbitrary conditions in deeply nested structures without writing additional code — with the help of Haskell Generics. It boils down to this pattern: validate :: a 'Raw -> Validation (ErrorMap es) (a 'Valid) getError :: HasError e es => ErrorMap es -> e If you are interested in how to achieve this, read on. I
EM菌の正体（構成微生物を調べました）｜片瀬久美子
EM菌は、元々農業用の微生物資材として堆肥作りを目的として開発されましたが、「農業、環境、健康、食品加工、化学合成、工業、エネルギー、土木建築など広範囲で応用可能であり、従来の微生物関連資材の常識をはるかに超えたものである」としてあたかも万能であるかの様に宣伝されるようになりました。しかし、そのほとんどは科学的根拠に乏しく「ニセ科学」だと批判されています。 参考：疑似科学とされるものの科学性評定サイト（明治大学科学コミュニケーション研究所） http://www.sciencecomlabo.jp/health_goods/effective_microorganisms.html これまではEM菌を構成する微生物が大まかにしか明かされておらず、「特殊な善玉菌の集合体」という幻想が守られてきました。そこで、最新技術である「メタゲノム解析」（メタ16S解析とメタITS解析）により、網羅的に構
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
