Idris + Atomによる型駆動開発入門 - たけぞう瀕死ブログ
4月から社内でType-Driven Development with Idrisの読書会をやっています。 takezoe.hatenablog.com 最近ようやくChapter 3まで進み、実際に自分でコードを書くエクササイズなども出てきました。この本ではAtomを使うことが推奨されているのですが、Atom用のIdrisパッケージが非常に強力で、型駆動開発の魅力を存分に感じることができます。そこで、今回は実際にAtomでのIdrisプログラミングがどのようなものかについて紹介したいと思います。 github.com たとえば以下のようなシグネチャを持つVect（要素数を型情報に持つリスト）用のマップ関数を実装するとします。Vect n aの各要素に(a -> b)という関数を適用してVect n bを返すというものです。 my_vect_map : (a -> b) -> Vect n
PLSA（確率的潜在意味解析法）｜Deloitte Analytics｜デロイト トーマツ グループ｜Deloitte
PLSAとLDA 昨今のビッグデータ時代の分析では高次元データを扱うことも多く、このような次元圧縮の技術が注目されているが、実際にはPLSAよりもそれと同様の手法であるLDAの方が世間的に認知されているといえるだろう。この手法はトピックモデルと呼ばれ、元々LSA (Latent Semantic Analysis)という手法があり(Deerwester et al, 1990)、それを確率的な処理をして改良したものがPLSAであり、さらにその拡張版として開発されたのがLDA (Latent Dirichlet Allocation)である(Blei et al, 2003)。 PLSAとLDAの基本的な考え方は同じだが、個々の文書における各トピックの現れやすさを表す確率が、PLSAではあくまで学習させた観測データから定義されるが、LDAではディリクレ分布という確率分布を仮定して生成させる。
CCCのTポイントカード由来のデータがイマイチだという話 : やまもといちろう 公式ブログ
きょう、なんかLINEが事業説明会やってましたが、そこでCCCの提供するTポイントカードに見切りをつけたファミリーマートがLINEと組む発表をするという「ですよねー」感の強い内容も出ていました。 事業戦略発表会「LINE CONFERENCE 2017」開催のご案内 https://linecorp.com/ja/pr/news/ja/2017/1743 ファミマがTポイントやめる？ 伊藤忠社長インタビュー記事が波紋 https://www.j-cast.com/2017/06/08300105.html ファミマとＬＩＮＥ提携 ＡＩ活用、スマホで個別販促 ：日本経済新聞 http://www.nikkei.com/article/DGXLASDZ13ICF_U7A610C1TI1000/ ファミマがTポイントをやめるって話は時期尚早というか、微妙なんでしょうが、相乗りやマーケの組み合わ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
「くそ、死ね」と男児を追いかける男 長崎市 - 西日本新聞
