…おやおや？

発見タブローによる証明計画 - 東京都立産業技術高等専門学校 ...
https://metro-cit.repo.nii.ac.jp/?action=repository_action_common_download&;item_id=145&item_no=1&attribute_id=18&file_no=1

タブロー法 - 株式会社アイヴィス
http://www.ivis.co.jp/text/20121114.pdf#search=%27%E6%95%B0%E5%AD%A6%E3%81%AB%E6%96%BC%E3%81%91%E3%82%8B%E3%82%BF%E3%83%96%E3%83%AD%E3%83%BC%E6%B3%95%27

タブロー法の完全性
http://www.st.nanzan-u.ac.jp/info/gr-thesis/2017/sasakik-ss/pdf/14ss095.pdf#search=%27%E6%95%B0%E5%AD%A6%E3%81%AB%E6%96%BC%E3%81%91%E3%82%8B%E3%82%BF%E3%83%96%E3%83%AD%E3%83%BC%E6%B3%95%27

タブローによる妥当性判定と濾過法
https://www.yamanami.tokyo/pdf/jsp/2/1/2_1_02takagi.pdf#search=%27%E6%95%B0%E5%AD%A6%E3%81%AB%E6%96%BC%E3%81%91%E3%82%8B%E3%82%BF%E3%83%96%E3%83%AD%E3%83%BC%E6%B3%95%27

此れ、ε-δ論法の意味と指標の説得に必要か？