@t_uchida

就活中...

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.

福岡でプログラマしています 超高速／省電力 非ノイマン型CPU開発 プログラマ歴42年、158言語書き IT企業3社経営 大学・高専・企業でプログラミング&AI講義 fukuoka.ex／ElixirConf JP創設 2023年スペ107コスプレ開始、体脂肪-9.2kg/5ヶ月 2025年1月STEPN開始、3月STEPNGO開始⋯毎日プレイ

ヾ(　　l　　 _　　 l　　〃)ﾉﾞﾄﾞﾝ☆

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

Bitcoiner, miner.

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

見積作成、営業、エヴェンジェリスト活動、構築設計、構築、運用、障害対応、セキュリティ問題の調査と対応、精算、請求業務の実施。更にそれらに必要なツールの開発とその運用とか色々やってる人。

Azure Solutions Architect Expert、Azure Developer Associate、Azure Security Engineer Associate、Azure Database Administrator Associate、GCP Professional Data Engineer

Haskellプログラマです。

主な使用言語：Haskell, ruby, C++

A proof developer and functional programmer on Tezos, CEO of proof ninja, Inc.

元横浜へなちょこプログラミング勉強会を主催者 / 元 CodeIQ の出題者 / 日経 WinPC に連載を持っていました（名義が違うけど）/ https://bsky.app/profile/nabetani.bsky.social / https://misskey.yancya.club/@nabetani / https://taittsuu.com/users/nabetani