@wakiwaki

スイマー。 ※このサイトにおける掲載内容はあくまで私自身の見解であり、私の所属団体・企業における立場、戦略、意見を代表するものではありません。

しずおかでエンジニアやってます。

関西型言語の研究をしています。

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

若手エンジニア。 詳しいことや専門用語がよく分かっていないが、分からないなりに初心者に分かりやすい説明をするのが得意。 ※ここに記載の内容はあくまで個人的見解であり会社を代表するものではありません。

日本IBM 東京基礎研究所 リサーチ・スタッフ・メンバー。形式検証、ロジック、定理証明とかソフトウェア工学が専門です。ブロックチェーンの研究をやったり AI フレームワークの設計・実装を手伝ったり、まあ社会人なので色々しています。 ※執筆した記事の内容は私個人の見解です。