初心者とは言えないほどの時間が経過したにもかかわらず未だ初心者の者です。 よろしくお願いします。

おまたせ！アイスティーしかなかったんだけどいいかな？

高専ロボコンの存在を思い出したのは中高一貫に入ってしまってからでした。グレッグ・イーガンを読みましょう。

I'm a network designer.I work on TOPPERS SmallestSetProfile Kernel,MISRA-C/C++, STARC RTL Design StyleGuide (Verilog-HDL), and HAZOP.I was an editor of ISO/IEC 15504.

iOS,tvOS,visionOS

<TODO: Fillin' those blanks>

定理証明系や論理プログラミングに興味をもっています。

Languages: Ruby, Swift, Kotlin, Scala, TypeScript, etc... Full stack developer

仕事でScala書いてます、関数型言語が好きです Haskellも最近触り始めました

テックリード@株式会社プラゴ，Ex-バックエンドエンジニア@メルカリ，Ex-プロダクトマネージャ@リクルート，2014年度未踏スパクリ