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

C#erかつ Azure のサーバーサイドエンジニアをしてましたが、2021年から Rubyist かつ AWS の人になり、2023年末に C#er かつ Azure なデータエンジニアになりました。

働いたら負けだと思うので、楽しく貪欲に機械と数学で遊ぶ毎日。 「人生はどこまで世界を面白いものにできるかというスコアゲームだ」という信条で、面白くないものを一つでも減らすべく戦っています。

Embedded Software Engineer

UnityとかiOSとかAR/VRとかそういうの扱ってます。 CGプログラミングが本業だったけど、Unityの登場でいらない人になりました(:D)TL 最近はRaspberry PiやESP32を触ってます。

しまぴょんです。主に C++/Qt について書いています。

かわいいものが好きです。