单项的日文

• ＴＰＤプロトコルでは，閾値価格を導入することで，ダブルオークションを片方向オークションと見なすことができる．
  ＴＰＤ协议中，通过阈值价格的导入，可将双向拍卖视为单项拍卖。
• またタスクメニューとともにキャラクタを表示させ，音声合成によりメニュー項目を選択するよう教示する．
  此外，字符也和作业菜单一起表示出来，通过声音合成来指点菜单项目的选择。
• 修正モデルを用いてシステム現状の総合評価を行い、各単因子の目標総量の制御値を計算することができた。
  利用该模型可进行系统现状综合评价，也可计算各单项因子的目标总量控制值．
• さらに，すべてのソート記号ｓに対して，単項のソート述語＠ｅｑｕａｔｉｏｎ＿０＠が存在すると仮定する．
  对于所有的分类符号ｓ都假定单项分类谓词＠ｅｑｕａｔｉｏｎ＿０＠存在。
• 単項性判定のための論理関数に関する条件
  用于单项性判定的相关逻辑函数条件
• それにより，単項述語「父親（父親（太郎））」と２項述語「父親（一郎，太郎）」も成り立つ．
  据此，单项谓词“父亲（父亲（太郎））”和２项谓词“父亲（一郎，太郎）”也是成立的。
• 〔例１〕（関数と述語の表現）このとき一郎は父親なので，単項述語「父親（一郎）」が成り立つ．
  〔例１〕（函数和谓词的表现）这时由于一郎是父亲，所以单项谓词“父亲（一郎）”成立。
• ３）サブメニューが表示された場合にはそのなかからメニュー項目を選択し，ダイアログボックスを表示させる．
  ３）如果辅助菜单被显示出来，从该菜单中选择菜单项目，表示为下拉式菜单。
• 解答方法は多肢選択法であり，各問題の解答後に指導者エージェントからフィードバックと解説が表示される．
  回答方法为单项选择，在学习者解答完每个问题后都会显示教师主体的反馈和解说。
• 例えば，ソート「リンゴ」を単項述語に使って「リンゴ（ｃ：果物）」が「果物ｃがリンゴである」を示す．
  例如，将分类“苹果”用于单项谓词，“苹果（ｃ：水果）”表示“水果ｃ是苹果”。