Takeo Imai

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

こんにちは

メーカーにはもういない人。 常にワナビー。 Python好き。 PyQtちょっとできる。 Go、Rustに興味ある。 バトロワゲー大好きゲーマー(PUBG,Apex,Krunker)

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

自然言語処理とか機械学習とか競技プログラミングとか

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.

福岡でプログラマしながらIT商社とIT企業を経営してます。Elixir／Kerasをよく使う。Elixirコミュ#fukuokaex、福岡理学部#FukuokaScienceを主催。プログラマ歴41年／XPer歴22年／デジタルマーケッター／経営者／CTO／技術顧問数社。 シボと重力子放射線射出装置は別腹(^^)