メルカリは本当に「世界を取る（かも）」と思った件｜決算が読めるようになるノート
最初にお断りしておきます。今回の内容は決算と関係ありません。いつものように数字もグラフもたくさん出てきません。「号外」のようなものだと思ってください。興味がない方は読み飛ばしていただいても構いません。 noteを始める時に、「やらないこと」を3つ決めました。一つ目はネガティブなこと（悪口）はなるべく書かない、二つ目は非上場企業に関しては書かない（非上場であるという意思を尊重します）、三つ目は僕の主観をなるべく入れない（入れるとしても客観データを主観を明確に分離）ということです。今回は、このうち2番目と3番目に違反しますが、何と言うか書かずにいられなかった、という気持ちなので書きます。 さて、前置きはこのくらいにして本題。 先日、メルカリが大型調達を発表しました。 ・フリマアプリのメルカリ、今度は84億円の大型資金調達——評価額10億ドル超の日本発ユニコーンに (TechCrunch Jap
Twitter Analyticsを使いこなしてアクセスアップを目指そう！ - ゆとりずむ
こんにちは、らくからちゃです。 『ゆとりずむ』ですけど、通勤時間帯で読んでもらっている人が多いみたいで、土日はあんまりアクセス数が増えないんですよね(´・ω・｀) ただ、最近気がついたのは『ブログのアクセス改善』とかそういうネタについては、むしろ土日のほうが多いみたい。みんな、土日に色々見直しをしているのかな？（こういうのね） そこで今日は、さっきの記事でもちょろっと触れた『アクセス数向上の為のTwitter戦略論』について考えていってみたいと思います( ･`д･´) 参考になれば是非 twitter analyticsを使おう google analyticsは皆さん結構良くご存知だと思いますけど、twitter analytics って知ってる？これは、twitterのフォロアーの状況やretweetの状況なんかをばっちり分析できる凄いサービス。本家本元のtwitter社がやっているサ
CoqのLtacでmap関数を実装する - 俺の Colimit を越えてゆけ
はじめに length関数を実装する Gallina 風の実装 Ltac から Gallina へ Gallina の項を Ltac 呼び出しの結果として受け取る 気持ち悪い点 map関数(Ltac引数)を実装する map関数(Gallina引数)を実装する 最後に 参考書籍 はじめに Ltac は、Coq において証明の探索を自動化するための Domain Specific Language です。Coq においてプログラムを記述する言語は Gallina と呼ばれていて、これは依存型を持つ普通の関数型言語で意味論も目的も Ltac とは全く別物です。 Gallina で map関数を実装することは Haskell や OCaml で map関数を実装するのとほとんど同じで普通のことです。一方、Ltac は証明の探索の自動化を目的としているので普通の関数型言語と同じようにとはいかないので
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
焼きたてカスタードアップルパイ専門店 RINGO
