使用配列:月EX

森 祐佳。一般社団法人生活情報基盤研究機構 (Menhera.org) 代表理事。自称情報基盤活動家兼アーティスト。興味は哲学と医学。

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