→‎参考文献: 参考文献を追加
m I.hidekazu がページ「導出」を「導出原理」に移動しました: 一般名詞「導出」に対して、ロビンソンの導出原理に基づく手法をその内容としているため。
(相違点なし)