@risgk

スパコン製作、無線、登山、ドライブ、サイエンスを楽しんでいるニコ厨です。 不束者ですがよろしくお願いします。 ニコ：https://nicovideo.jp/user/84757291 X:https://x.com/dmepjp 依頼等ご自由に ディアちゃんマジ天使 いいね・ストックいただけますと幸いです

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

The creator of the Egison programming language.

Hello