NA

Interested in Cryptography

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

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

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

Moggiと"love"で接近中! 🤟🙄🤟

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

ぽよん

数値計算屋さん．

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

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