Z3でテストケースを生成してみるlikers
- Hirosato Hano@hanohrs
強く型づけされた static おじさん。Statically typed なプログラミング言語が好き。
- @d-morishita
ソフトウェア開発支援事業に従事。主にオープンソース(OSS)の管理に関する業務を担当。 オープンソース管理ソリューション:https://www.hitachi-solutions.co.jp/oms/
- 石川 晃久@teru99
一般社団法人 沖縄オープンラボラトリのSIDG(Social Innovation Design Group)の主査として活動しています。活動内容は、沖縄県のCivic Tech関係です。
- 堀 旭宏@hi-hori
株式会社 日立製作所 研究開発グループに所属しています。ソフトウェア開発プロセス、プロジェクト予測に関する研究をしています。
- 池川 航史@ikegawa-koshi
(株)日立製作所 研究開発グループ サービスコンピューティング研究部に所属し、Blockchain基盤およびサービスに関する研究をしています。
- Akira Shirai@akirashi
「良いソフトウェア」とは何か、を考えることが好きです。特に好きな設計技術はSOLID原則、デザインパターン、リファクタリング、自動テスト。好きなプロセスはXP, Scrum, Kanban。これらを学んだり企業内講師をしたりしながら実践しています。使っている実装言語は00年代まではJavaが多かったですが、10年代からはRubyが多くなりました。
- 佐藤 壮太@sotasato
株式会社日立製作所の横浜事業所で、データベース(HiRDB/HADB)を開発する部署の隣で、自社データベースを活用するサービス・ソリューションを作っています。 好きな言語はPythonとSQL、これから学びたい言語はRustです。 会社の音楽隊にも所属して、フルートを吹いたりしています。