06月19日に、Akitaka HOSOMIさんが「FREEトーキング」に書いた、 記事番号 00107、題名「限定的負帰還型証明法」の記事をキャンセルします。
以下の欄にこの記事のキャンセルコードを入れてから キャンセルを実行して下さい。