@amutake

Tokyo Institute of Technology / Department of Computer Science
Following Users12

プログラミング言語処理系(コンパイラ/デバッガ/LSP)を作る人です。競プロ参戦記を連載中。(Rust/TypeScript/C#/F#/C++/HSP3) 求職

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

福岡のスタートアップ企業でマーケティングプロダクト&ビッグデータ分析アーキテクト中。Elixir/Kerasをよく使う。XPer歴17年/デジタルマーケッター/技術顧問/システムトレーダー。福岡Elixirコミュ#fukuokaex、AI・MLコミュ#fukuokaai、重力と量子宇宙コミュ#QuaUnivFukuoka を主催。シボと重力子放射線射出装置は別腹(^^)

the simple, the best

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

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

ヾ(  l   _   l  〃)ノ゙ドン☆

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

一般的なHaskeller