(SWIPL)について、うるさい人です。

最近プログラミングできていないプログラマ。 Python/JavaScript/React/Machine Learning/Natural Language Processing/Blockchain/Multi Party Computation

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

なんでもやる人．元未踏クリエータ．三次元幾何学と音響工学を少々．

弱い言葉が好きです。