織田信長: 優先度に基づく並行論理型言語山 崎 憲 一 NTT 未 来 ね っ と 研 究 所 平 田 圭 二 NTT CS 基 礎 研 究 所 並 行 論 理 型 言 語 優 先 度 に 基 づ く 織 田 信 長 ： Ｓ Ｐ Ａ ９ ９ 織 田 信 長 信 玄 後 新 言 語 新 し い 言 語 命 名 織 田 信 長 本研究の動機 優先度は不思議 実行順序に何らかの影響を与える 実行順序を直接的に指定しない でも、優先度が無いと書けない実用的 なアプリケーションやアルゴリズムが ある 割込み、例外処理、見込み計算、 実時間処理など 本研究の目的 優先度は不思議である 宣言的プログラミングに優先度を取り 込むこと 優先度を形式化すること 優先度に基づく並行論理型言語を設計 すること 優先度とは何か？ 非決定性の制御 - 確率的 こっち - 決定的 二つを比べたら順序は付けられる 実行に与えた影
