輸入許可手続に関する協定(ゆにゅうきょかてつづきにかんするきょうてい、Agreement on Import Licensing、通称ライセンシング協定、ライセンシングコード)は、東京ラウンドにおいて1979年に輸入許可手続に関する協定として合意し、ウルグアイラウンドにおいて1994年に改定が合意さ
失敗による否定
失敗による否定(しっぱいによるひてい、英: Negation as failure, NAF)は、論理プログラミングで使われる非単調論理的推論規則であり、 p {\displaystyle p} を導出することに失敗したとき n o t p {\displaystyle {\mathit {not}}~p}
セーフガードに関する協定
セーフガードに関する協定(セーフガードにかんするきょうてい、Agreement on Safeguards、通称セーフガード協定)は、 ウルグアイラウンドにおけるセーフガード関する交渉の結果として、1995年に世界貿易機関を設立するマラケシュ協定(WTO設立協定)に包含された条約である。日本法にお
NHS commented