256 followers Hokkyokuguma @hist102 これも形式証明自体の変換から効率化されたプログラムを取り出すもの。(Anderson1994) https://t.co/Z1NHtta13P #springerlink 12 Feb 2016 Reply Repost Favourite