文献
J-GLOBAL ID：200902119375779993   整理番号：98A1011547

構成的アルゴリズム論

Introduction to Constructive Algorithmics.
著者 (1件)：
岩崎英哉

岩崎英哉 について

(東大 大学院)

東大 大学院 について


資料名：
コンピュータソフトウェア  (Computer Software)

コンピュータソフトウェア について


巻： 15  号： 6  ページ： 547-560  発行年： 1998年11月 
JST資料番号： Y0628A  ISSN： 0289-6540  資料種別： 逐次刊行物 (A)
記事区分： 文献レビュー  発行国： 日本 (JPN)  言語： 日本語 (JA)
抄録/ポイント：
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
関数プログラミングでは小さな部品関数を関数合成によって組み合...
シソーラス用語：
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ（有料）でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
*関数プログラミング

関数プログラミング について

,...
準シソーラス用語：
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ（有料）でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
構成的アルゴリズム

構成的アルゴリズム について


   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=98A1011547&from=J-GLOBAL&jstjournalNo=Y0628A") }}
分類 (2件)：
分類
JSTが定めた文献の分類名称とコードです
計算理論 
(JB02000A)

計算理論 について

,  汎用プログラミング言語 
(JD03051H)

汎用プログラミング言語 について

引用文献 (18件)：
  • BIRD, R. An Introduction to the Theory of Lists. Logic of Programming and Calculi of Discrete Design, NATO ASI Series 36. 1987, 5-42
  • BIRD, R. STOP Summer School on Constructive Algorithmics. Lecture Notes on Theory of Lists. 1987
  • BIRD, R. S. Algebras of Programming. 1996
  • COCKETT, J. R. B. About Charity. 1991
  • FOKKINGA, M. Tupling and Mutumorphisms. Squiggolist. 1989, 1, 4
もっと見る
タイトルに関連する用語 (1件)：
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです
アルゴリズム論

アルゴリズム論 について


前のページに戻る

TOP

BOTTOM