@h_sakurai

1378Contributions

151
Posts 47
Followees 79
Followers

Following Organizations

No Organizations you are following

Following tags(2)See all

Contributions

article is Liked

表示的意味論がわからないので簡単な例を翻訳してみた。

article is Liked

【Prolog】200行定理証明支援系

article is Liked

怖くないバッカスナウア記法(BNF)入門

article is Liked

プログラマのための簡単な型理論入門

article is Stocked

怖くないバッカスナウア記法(BNF)入門

article is Liked

怖くないバッカスナウア記法(BNF)入門

article is Liked

怖くないバッカスナウア記法(BNF)入門

posted an article

【Prolog】200行定理証明支援系

article is Stocked

Prolog で簡単に言語を作ってみる方法

article is Liked

Prolog で簡単に言語を作ってみる方法