伊藤 由貴

株式会社ソニックガーデンのRubyプログラマ。「プロを目指す人のためのRuby入門」の著者、および「Everyday Rails - RSpecによるRailsテスト入門」の翻訳者。 プログラミングスクール「フィヨルドブートキャンプ」のメンターでもある。

コードがかけないQAです。 コーディングができるQAになれるように勉強中

Hugo ʕ◔ϖ◔ʔ や GitHub Actions について書いています。こっち https://peaceiris.com/ に引っ越しましたので、今後 Qiita への新規投稿はしませんが記事のメンテはします。

本職エンジニア、趣味でもエンジニア＋文筆同人屋。猫が好きすぎて猫になりたい。虎に埋もれたい。QAエンジニアだけどこれ場所によってやること違いすぎるのでなんて名乗れば伝わりやすいか悩んでいる。

大学教員。 「型システム入門 (TAPL)」訳者の一人。 OCaml と Haskell が好きです。 かつては IT プランニングという企業において関数型プログラミング言語でソフトウェア開発をしていました。 ソフトウェア形式検証とプログラミング言語に興味があります。 博士（情報科学）。

ある時、とある事情により、HAYST法をお客様にコンサルすることが突如職務となったのでした。 それ以来、テスト設計、検証領域や、USDMの書き方、機能要求と品質要求を統合した(SysMLを使用した)系統図法による体系化など、 要求開発領域を含むソフトウェア品質領域のコンサルティング等(実績６０社以上)に従事しています。 2018年に富士ゼロックスを退職し、現職に就きました。

テストしてます

ウェブエンジニア→人事→開発組織施策担当になった人 tbpgr の読み方は（てぃーびー） 個人ブログでも色々と情報を垂れ流してます。 http://tbpgr.hatenablog.com/

電子の妖精

Haskellプログラマです。

テスト自動化を軸に品質改善に貢献しています〜

最近はZennで技術記事書いてます。 https://zenn.dev/unsoluble_sugar

VIM / C#.net / AutoHotKey / Ruby / VB.net Windowsから最近Macに乗り換え、色々と戸惑うばかり。

くぁ

A proof developer and functional programmer on Tezos, CEO of proof ninja, Inc.

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