mzp - Qiita

MIZUNO Hiroki

@mzp

Coqなどによるプログラムの正しさの検証・証明に興味があります。

http://mzp.hatenablog.com/

Nagoya, Japan.

Organizations

Following Tags1

Following Users84

Popular Items

132

Likes

CircleCIの便利な機能

Oct 09, 2014
0

81

Likes

Swift 1.2 + UITableViewControllerで発生する問題と回避方法

Apr 14, 2015
0

57

Likes

dstatをfluentd + GrowthForecastで可視化する

Nov 11, 2012
0

50

Likes

標準出力も標準エラー出力もログに記録しつつ、画面に標準エラー出力を出したい

Mar 10, 2015
1

23

Likes

OpenFastladderをherokuにデプロイする方法

Mar 21, 2013
1

16
Items 439
Contribution 481
Followers

mzp posted on Dec 12, 2017

🚨jestでReasonのテストを書く

1

mzp posted on Dec 09, 2017

📱Reason + React NativeでiOSアプリを作る

5

mzp posted on Dec 08, 2017

📚Reason/BuckleScriptを書くときに参考にする資料

8
1

mzp posted on May 27, 2015

個人用アカウントでAppGroupを用いたチーム開発を行なう

11

mzp posted on Apr 14, 2015

Swift 1.2 + UITableViewControllerで発生する問題と回避方法

81

mzp posted on Mar 10, 2015

標準出力も標準エラー出力もログに記録しつつ、画面に標準エラー出力を出したい

50
1

mzp posted on Dec 15, 2014

iOSアプリのCIができるサービス

18

mzp posted on Oct 09, 2014

CircleCIの便利な機能

132

mzp posted on May 06, 2014

SML#のプロジェクトをWerckerでCIする

5

mzp posted on Apr 23, 2014

ssreflect tutorial(意訳版) [作業中]

12

mzp posted on Mar 21, 2013

OpenFastladderをherokuにデプロイする方法

23
1

mzp posted on Feb 13, 2013

OCaml with MirageでXen/EC2上で動くOSを作る

17

mzp posted on Dec 30, 2012

twitter-bootstrap-rails、Ruby対応状況について

2

mzp posted on Nov 11, 2012

dstatをfluentd + GrowthForecastで可視化する

57

mzp posted on Sep 20, 2012

Ruby拡張ライブラリ間でシンボル名が衝突する(OS X限定)

9

mzp posted on Sep 17, 2012

Test::Unitで実行中のテストケースを表示する

8