Math Advent Calendar 2015 - Adventar
数学をテーマにした Advent Calendar です. 話題はなんでもいいです. 書きたいこと 勉強していること 最近まとめたいなと思っていた みんなに一度考えて欲しい問題など. 埋まらなかったら埋まらなかっただけ埋まらない感じになります.
Cloud Vision APIの凄さを伝えるべくRasPi botとビデオを作った話
（この記事はGoogle Cloud Platform Advent Calendar 2015の12月3日分の記事です） Cloud Vision APIと私 Googleに入ってからまもなく5年、Google Cloud Platformのデベロッパーアドボケイト（エバンジェリストみたいな役割）の仕事に就いてから1年が経ちました。仕事の半分はアジア地域向けの開発者コミュニティ支援で、残り半分はGCPの新製品ローンチの支援をグローバル向けに行っています。 特にここ半年は、TensorFlowをはじめ、GCPの機械学習系プロダクトのローンチ支援にフォーカスしています。TensorFlowはその序章で、公開前からAlphaカスタマー向けのスライドを作ったり説明やデモしたりしていました。 そうしたGCPの新しい機械学習系サービスのひとつが、Cloud Vision APIです。これはGoogl
24 days of Hackage, 2015: day 2: Regexes with pcre-heavy; standalone Haskell scripts using Stack · Franklin Chen
24 days of Hackage, 2015: day 2: Regexes with pcre-heavy; standalone Haskell scripts using Stack Dec 2, 2015 · 11 minute read · Comments HaskellHackagepcre-heavyregexesparsersparsecPerlPCREPittsburgh TechFestTemplate Haskell Table of contents for the whole series A table of contents is at the top of the article for day 1. Day 2 (Reddit discussion) Don’t laugh, but once upon a time, I made Perl my
正格評価と遅延評価（詳細編）
さて基本編に続き詳細編です。 動作を確認しながら細かく見ていきます。 Debug.Trace.trace 初めにtrace関数を導入しておきます。 こんな型の関数です。traceが評価されると、第一引数が標準エラー出力へ出力され、第二引数が返り値として返ります。 このtrace関数が単なる関数だということに注意してください。デバッグ用とはいえ何も魔法は使われていません。IO以外で標準エラー出力へoutputすることから、内部ではunsafeな関数が使われていますが。魔法が使われていない、というのは評価順序に関してです。つまり、trace自体が評価されなければ標準エラー出力への出力もありません。 trace "some string" 42をcaseで評価してみます。 結果は "heyhey!" という文字列が先に現れます。 caseによってtraceは評価され、42がその返り値です。 何が
type roleについて学ぶ
Haskell Advent Calendar 2015 の 3日目は、最近 洗濯機 を新調した @hiratara がお送りします。 気が付けばもうクリスマスシーズン、みなさんは今年どのくらいHaskellのコードを書きましたか？ 私は最近はGoとPerlしか書いてないのですが、今年の夏 レガシーなコードをstackでビルドできるようにする ってことをやっていました。今日はその時に出くわしたあるエラーに関連する話を書きます。 イカ 以下がそのエラーなのですが、これを見てパッと対処法が浮かびますか？ src/MO/Run.hs-boot:6:1: Type constructor ‘AnyResponder’ has conflicting definitions in the module and its hs-boot file Main module: type role AnyRe
Can a `ST`-like monad be executed purely (without the `ST` library)?
This post is literate Haskell. Just put in a file like "pad.lhs" and ghci will be able to run it. > {-# LANGUAGE GADTs, Rank2Types #-} > import Control.Monad > import Control.Monad.ST > import Data.STRef Okay, so I was able to figure how to represent the ST monad in pure code. First we start with our reference type. Its specific value is not really important. The most important thing is that PT s
Cargoの使い方 | κeenのHappy Hacκing Blog
この記事はRust Advent Calendar 2015 3日目の記事です。 前 Rustで小さなツールを作ってみる(後編) 次 szkttyさん インデックス構文によるアクセスを実装する κeenです。Rustを使うにはCargoを使う必要がありますが、cargo helpを見てもあまり情報が載っていないので少しばかり書きましょう。 new Create a new cargo package at <path> Usage: cargo new [options] <path> cargo new -h | --help Options: -h, --help Print this message --vcs VCS Initialize a new repository for the given version control system (git or hg) or do
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
チェロとピアノのためのソナタ【オリジナル曲・自演】
水中/初音ミク
anomimi
42 | The n-Category Café
The Lean Theorem Prover