国立国会図書館サーチ(NDL SEARCH)
メニューを開く
検索
ヘルプ
ログイン
ヘルプ
ログイン
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年(西暦)
項目を閉じる
年
〜
年
開く
1980年代
(5)
1990年代
(13)
2000年代
(4)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
(16)
雑誌
新聞
和古書・漢籍
博士論文
(1)
地図
楽譜
webサイト
電子書籍・電子雑誌
電子資料
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
(1)
紙
(16)
マイクロ
記録メディア
すべて解除
件名
ヘルプページへのリンク
項目を閉じる
絞り込み条件
絞り込み条件
検索結果 17 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年:古い順
出版年:新しい順
タイトル:昇順
タイトル:降順
著者:昇順
著者:降順
請求記号順
タイトルでまとめる
一括お気に入り
資源と時間の論理に基づいたプログラミング言語の設計と処理系の構築
資源と時間の論理に基づいたプログラミング言語の設計と処理系の構築
紙
図書
田村, 直之;高橋, 真, 神戸大学
1999-2000
<Y151-H11680359>
国立国会図書館
件名
時相腺形論理 線形論理 時相論理
論理型言語
等式制約解消系のネツトワ-クによるグロ-バルコンピユ-テイング
等式制約解消系のネツトワ-クによるグロ-バルコンピユ-テイング
紙
図書
井田, 哲雄, 筑波大学
2000-2002
<Y151-H12480066>
国立国会図書館
件名
関数
論理型言語
オ-プンコンピユ-テイング 分散協調制約解決 CORBA
分散制約解消系を融合する関数論理型プログラミング
分散制約解消系を融合する関数論理型プログラミング
紙
図書
井田, 哲雄, 筑波大学
1998-1998
<Y151-H10480053>
国立国会図書館
件名
関数
論理型言語
制約解消系 計算モデル ナローイング 求解完全性 Math...
抽象高階書換え系によるプロセス計算系の定式化に関する研究
抽象高階書換え系によるプロセス計算系の定式化に関する研究
紙
図書
鈴木, 大郎, 会津大学
2001-2002
<Y151-H13680388>
国立国会図書館
件名
プロセス計算系 抽象高階項書換え系 π-計算系 プロセス書換え系 関数
論理型言語
高階ナロ-イング
データ並列に基づくリフレクテイブ計算モデルの研究
データ並列に基づくリフレクテイブ計算モデルの研究
紙
図書
田中, 二郎, 筑波大学
1994-1995
<Y151-H06808029>
国立国会図書館
件名
データ並列 リフレクシヨン SPMD MIMD SIMD 並列
論理型言語
並列計算
高階関数・論理的プログラムの計算モデル
高階関数・論理的プログラムの計算モデル
紙
図書
井田, 哲雄, 筑波大学
1996-1997
<Y151-H08458059>
国立国会図書館
件名
ナローイング 高階関数・
論理型言語
計算モデル 条件付き項書換え系 完全性
部分計算法を応用した逐次型プロセスの並列化についての研究
部分計算法を応用した逐次型プロセスの並列化についての研究
紙
図書
村上, 昌己, 岡山大学
1995-1997
<Y151-H07680359>
国立国会図書館
件名
プログラム変換 部分計算 並行プロセス π計算 並行
論理型言語
CSP 並行化 true concurroncy
インタクラクテイブなビジユアルプログラミング環境の研究
インタクラクテイブなビジユアルプログラミング環境の研究
紙
図書
田中, 二郎, 筑波大学
1997-1998
<Y151-H09480071>
国立国会図書館
件名
並列
論理型言語
ビジユアルプログラミング 視覚化 グラフ描画アルゴリズム ...
ユーザー定義オブジエクトを基礎とした制約
論理型言語
の作成
ユーザー定義オブジエクトを基礎とした制約論理型言語の作成
紙
図書
赤間, 清, 北海道大学
1990-1992
<Y151-H02558003>
国立国会図書館
件名
オブジエクト 自然言語処理 学習 プログラム言語 制約
論理型言語
データフロー言語に基づく
論理型言語
と関数型言語の統合化
データフロー言語に基づく論理型言語と関数型言語の統合化
紙
図書
山崎, 進, 岡山大学
1990-1991
<Y151-H02680028>
国立国会図書館
件名
論理型言語
関数型言語 データフロー 意味論 代数的操作 導出演繹
条件付き書換え系の宣言型プログラミングへの応用
条件付き書換え系の宣言型プログラミングへの応用
紙
図書
井田, 哲雄, 筑波大学
1994-1995
<Y151-H06680300>
国立国会図書館
件名
条件付き換え系 宣言型プロクラミング 関数・
論理型言語
ナローイング 階層合流性 モジユラー性 プログラム意味論
高階論理における単一化アルゴリズムと定理証明の機械化に関する研究
高階論理における単一化アルゴリズムと定理証明の機械化に関する研究
紙
図書
原尾, 政輝, 九州工業大学
1989-1990
<Y151-H01580020>
国立国会図書館
件名
高階論理 λ 算法 単一化アルゴリズム 定理証明 証明の機械化
論理型言語
類推 推論機構
継承階層prologを核とした知識表現言語の作成
継承階層prologを核とした知識表現言語の作成
紙
図書
赤間, 清, 北海道大学
1988-1990
<Y151-S63880005>
国立国会図書館
件名
クラス束縛変数 タイプ付prolog 継承階層 制約付変数 多重継承 論理プログラミング 制約
論理型言語
リダクシヨン・マシンの並列処理方式に関する研究
リダクシヨン・マシンの並列処理方式に関する研究
紙
図書
萩原, 宏, 京都大学
1987-1988
<Y151-S62460126>
国立国会図書館
件名
並列処理計算機 並列処理
論理型言語
リダクシヨン・マシン グラフ・リダクシヨン
大規模知識処理システムの研究
大規模知識処理システムの研究
紙
図書
田中, 英彦, 東京大学
1987-1990
<Y151-S62065002>
国立国会図書館
件名
知識処理 並列処理 記号処理 推論マシン
論理型言語
知識ベース データベースマシン 関係データベース
流域を単位とした総合的な用水管理の手法に関する研究
流域を単位とした総合的な用水管理の手法に関する研究
紙
図書
中村, 良太, 東京大学
1989-1990
<Y151-S63460212>
国立国会図書館
件名
知識工学 述語
論理型言語
流出解析 メシユタンクモデル 送水波 非定常流解析 流域的...
ビジネスと情報技術の視点より考察したアプリケーション・モデリングとソフトウェア・アーキテクチャに関する研究
ビジネスと情報技術の視点より考察したアプリケーション・モデリングとソフトウェア・アーキテクチャに関する研究
デジタル
博士論文
森澤, 好臣
奈良先端科学技術大学院大学
2002-03-22
全国の図書館
件名
アーキテクチャ・スタイル 分散処理モデル 分散処理システム
論理型言語
プロダクトセット ソフトウェア・アーキテクチャ ソフトウェ...
検索結果は以上です。
書誌情報を一括出力