NA

Interested in Cryptography

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

関数解析とカーネル法が好きです。

ブロックチェーンを雰囲気で研究しています。

にっこにっこにー🤟😌🤟 フロントエンドを専門に活動をしています！ フロントエンド以外もできるよ！ TypeScript/Haskell/静的型システム/Neovim🪬 技術の最新動向追います👀 圏論の数学書執筆したよ📝

ネットワークとかセキュリティとか応用数学をよく使うソフトウェアエンジニア兼研究職

ぽよん

数値計算屋さん．

You'll never learn if you don't see the dark side too.

ぼく、ぼうずや。なさけはひとのためならず。たのしいはせいぎ。