プログラミング言語や，人に優しい技術・ツールがすきです．Web のお仕事をしています．修士 (帰納法回し学) です．計算機科学と数理論理学と ML の型システムと Standard ML のファンです．Nominal Sets 完全理解したい．PGP 鍵とか: keybase.io/silasolla

ID: 792705250620616704

linkhttps://silasol.la calendar_today30-10-2016 12:30:34