ポスドクやってます． 数値計算の用途でc/c++，pythonを使います．

きーた

初心者です。

EmacsとかLispとかHaskellが好きです。最近はRust。 最近はScrapboxでメモをよく書いてます。 https://scrapbox.io/pogi-log/

こんにちは

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

iOS Developer

https://github.com/xiangze