Jump to main content

yr 〜
yr

Search results 5

構成的プログラミングにおける最適化の研究

構成的プログラミングにおける最適化の研究
Paper図書
林, 晋, 神戸大学1996-1997<Y151-H08680367>
National Diet Library
  • Subject Headingプログラム検証 プログラム合成 形式的方法

構成的集合と余帰納的定義を用いたプログラム合成

構成的集合と余帰納的定義を用いたプログラム合成
Paper図書
龍田真, 国立情報学研究所 [著][龍田真]2000-2003<Y151-H12680346>
National Diet Library
  • Subject Heading構成的集合 / 余帰納的定義 / 構成的論理 / 実現可能性解釈 / プログラム合成 / 型理論

プログラムの合成・変換・検証に関する知識の説明に基づく学習とリフオーメーシヨン

プログラムの合成・変換・検証に関する知識の説明に基づく学習とリフオーメーシヨン
Paper図書
栗原, 正仁, 北海道大学1992-1995<Y151-H04650298>
National Diet Library
  • Subject Heading項書換え系 プログラム合成 停止性 検証 EBL 完備化 リフレクシヨン モジユール

離散的計算機数学の総合的研究

離散的計算機数学の総合的研究
Paper図書
有川, 節夫, 九州大学1991-1992<Y151-H03302011>
National Diet Library
  • Subject Heading計算機数学 散的アルゴリズム論 プログラム理論 計算可能論理 計算量理論 プログラム合成論 論理と推論

知的情報処理における推論機構の研究

知的情報処理における推論機構の研究
Paper図書
高須, 達, 京都大学1985-1987<Y151-S60580024>
National Diet Library
  • Subject Headingプログラム合成 直観主義述語論理 型論理 LISP プログラムの一般化 マ...

Reached to the end of result.

RSS