@h1na

フリーランスでエンジニアをやっています。 PHPでの開発を中心に、Webサービスなどの開発をしています。

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

SREに所属している機械学習とかデータ分析をやりたいエンジニア。 でも実際黙々とコーディングしているほうが楽しいのではとか思い始めてだめ

Qiita 運営はプライバシーを何だと思ってるんですか

流行りに微妙に遅れてついていく、エンジニア12年生です。

PHPerです。がんばります。

Haskellプログラマです。

Senior Front-End Engineer at LINE Corp.

Qiitaには忘れそうなこと、勉強したことをメモしてます。

ぴちぴちの 19 さいだよ

C#, WPF/Silverlight, Windows Phone, Lync, 定時退社 (23 時)

Qiita 4位／TypeScript入門書執筆中／TypeScripterのための座談会「YYTypeScript」主催／『実践ドメイン駆動設計』書籍邦訳レビュア／分報Slack考案／YYPHP主催／CodeIQマガジン執筆／株式会社クラフトマンソフトウェア創設／Web自動テスト「ShouldBee」の開発／TypeScript／DDD／OOP

PHP, Go界隈をうろうろしています。最近はgRPCと戦ってる。 特に明示していなければ、記事中のソースコード片は `CC-0 1.0` とします。出典表示無しで自由にコピペして頂いて構いません。 ただ、記事自体をコピペされるのは嫌なので、ソースコード部分以外の文章は通常通り全ての著作権を私が保持するものとします。 引用を超える範囲のコピペは止めて下さい。

僕に警備する自宅をください。Emacs初心者。Rubyist。 全ての投稿された記事は別段の表記がない限りはCC 3.0 BY-SA https://creativecommons.org/licenses/by-sa/3.0/deed.ja で二次利用できます。 記事中に含まれる全てのコードスニペットの著作権は抛棄するので、煮るなり焼くなりお好きにどうぞ。

D/C/Ruby/Haskell/TypeScript GitHub: https://github.com/alphaKAI Twitter: https://twitter.com/alpha_kai_NET

ネタ切れ

JavaScriptとかRubyとかがすきです

ぼく、ぼうずや。なさけはひとのためならず。たのしいはせいぎ。

fopen("chitoku", "r");

ノンプログラマー以上初心者未満

レシピサービスを開発しています。 Qiita, Qiita:Team, Qiita Jobs を開発していました。趣味では Rust とシェルスクリプトをよく書きます。

テック系男子。 ただのやってみた系の記事ははてなブログに、それ以外の技術系のネタは Qiita に投稿します。

パーフェクトPHPとか、効率的なWebアプリケーションの作り方とか、書いたことあります