Following Organizations
No Organizations you are following
Followers
笹川 賢一@sym_numLALの笹川です。よろしくお願いします。
- 須原 浩道@suharahiromichi
定理証明系や論理プログラミングに興味をもっています。
- みなと @Prologの鬼！？@DrqYuto
(SWIPL)について、うるさい人です。
No Organizations you are following
LALの笹川です。よろしくお願いします。
定理証明系や論理プログラミングに興味をもっています。
(SWIPL)について、うるさい人です。
