あいや

HIKKYの開発者情報をブイブイお届け！ 「Vketちゃん」です。

グランドデザイン株式会社のCTOです。グランドデザインでは、主にAI周りを担当しています。 よろしくおねがいします！

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

趣味でプログラムを生産する自称システムディベロッパーの学生。 C++20, JavaScript, PHP, Java9, HTML5 + CSS3 を主に、趣味でプログラムを作ったりプレゼントしたりしています。

Qiita株式会社でプロダクトマネジメントと開発をしています。Rubyを書いています。設計が好きです。

2016年からPGと関わりだした [C(C++),Java,C#:学校のお勉強で舐めた程度/VB Family,HTML,JavaScript:業務で少し/正規表現,PowerShell,cmd:ﾁｮｯﾄ使う] 趣味的に楽しんだことの雑記とかブログみたいのを書き散らす。 ツイッターはちょー雑多なのでエンジニアクラスタにフォローされてもお役にたたない。問題があればリプとかDMください。

プログラミングを嗜みます｡

PythonとかAlloy Analyzer、SPINとか触ってました。 HiveとかSQLもっと勉強したい

雑用係で生計を立てています。

型と圏がすきです Qiitaはほぼ見る専です

こんにちは！😄

エンジニアです。

Rust好きのVeriloger

記事に対して疑問や不明があればコメントやツイッターへお気軽にどうぞ。

業務システムエンジニア。自由を求めて学ぶ。フロムのいう｢愛 ｣駆動で仕事をしたい。ブクログに感想を書くことを趣味にしようとしている。なりたい自分になっていいらしい。C#,SQL,Angular,Typescript,IPA（AP,NW学習中

#shellscript #vim 最近は #haskell 始めた

趣味: Swift、Neovim、ハンターカブ、ポケカ

Just a Rustacean. I recommend to use dev.to or Stack Overflow instead of Qiita.

Infrastructure / ML engineer

Tool,Network,Build Engineer on SEGA Co., Ltd. ネットワークプロトコル関連情報メインで記事を作成しています。「ここで発信する内容は私個人の意見であり、株式会社セガの公式見解を示すものではありません。」

SIerから事業会社まで幅広く経験したので、品質・保守性に対して柔軟な考えを持つと言えるのかもしれない。 性格的なこともあり、性悪説に基づくチーム開発はしたくないです。 Scalaなどの静的型付け言語が好きで、Javaのバッチを100倍高速化した経験あり。 Rubyなにもわからない。 hyakkun@gmail.com

はてなブログ： http://yuchiki1000yen.hatenablog.com/ C#や型理論、形式検証に興味があります