redux と react-router での非同期API呼び出しを含む universal app の作り方
redux, react-router を使った、サーバ側で非同期APIを叩き、内容を取得し終わるのを待ってからレンダリングを行うようなような universal app を作る方法(のひとつ)...
56
58
Comment0
7 search resultsShowing 1~7 results
Stocked
You need to log-in
Dialyzer の型推論アルゴリズムについて
この記事は 第2のドワンゴ Advent Calendar 22日目の記事として書かれました。 ドワンゴ新卒の @amutake です。仕事では Erlang を書いています。 今回は Erla...
26
11
Comment0
Coq の Variable と Parameter の違い
Coq の Variable(s), Parameter(s), Hypothesis(es), Axiom, Conjecture の違いがいつもわからなくなるのでメモ。 まず Paramet...
4
4
Comment1
Raspberry Pi 2 + ELECOM WDC-150SU2M
Raspberry Pi 2 で ELECOM WDC-150SU2M を認識させる方法です。 Raspberry Pi で WDC-150SU2M を認識させるのは面倒で、その方法として ht...
6
7
Comment0
build.sbt の中で application.conf を読み込む
build.sbt の中で application.conf の内容を使いたいことがあります。例えば flyway-sbt の flywayUrl や flywayUser は、アプリケーション...
14
10
Comment0
wercker を使って Coq コードを CI する
wercker の Coq box をけっこう前に作っていたのでその紹介です。 wercker は Travis CI のような CI as a Service と呼ばれる類の Web サービス...
7
6
Comment0
Verlang と Coq の Extraction について
この記事は Theorem Prover Advent Calendar 2014 の5日目の記事です。 昨日は notogawa さんの ブラウザ上でAgdaを試せるサイトを作ってみた でした...
10
9
Comment0
7 search resultsShowing 1~7 results
Qiita is a knowledge sharing service for engineers.
- You can follow users and tags
- You can stock useful information
- You can make edit suggestions for articles