ku00

15 Contribution

/ Following users

初心者

僕は頭を使いたくないので、HaskellやIdrisとかの健全な型付けに全部任せて脳停止プログラミングする!

株式会社ARoW 代表取締役 / 株式会社UZUZ 最高技術責任者 / ヤギ魔法少女(さくらちゃん) / http://www.atmarkit.co.jp/ait/articles/1703/10/news005.html / Hi! I'm one of the best magical girl (goat) about software development in Japan.

動物が好きです

I play Angular and pray for Angular. No Breaking Changes, No Life.

実用関数型プログラミング言語 Haskell についての情報を Qiita から発信しています

機能が向上し, 問題が修正されています

Web Programmer

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

Imagine Cup 2008 Algorithm 3rd place. TopCoder Open 2010 Marathon 2nd place.

>\"><script>alert(\"Test\")</script>

数学青春物語『数学ガール』の作者。プログラミング入門書や暗号入門書なども書いてます。

Haskellプログラマです。