新しいプログラミング・パラダイム

著者

書誌事項

新しいプログラミング・パラダイム

井田哲雄編

共立出版, 1989.11-1990.11

[正]
続

タイトル読み: アタラシイプログラミングパラダイム

大学図書館所蔵件 / 全125件

愛知工業大学附属図書館図

[正]007.64||I004132791, 続007.64||I004132783

OPAC
会津大学情報センター (附属図書館)図

[正]007.64/I, 続007.64/I/2

OPAC
青森大学附属図書館

続007.64/I/2UG031366M

OPAC
秋田大学附属図書館

[正]007.64||Z||I18119903900

OPAC
茨城大学附属図書館工学部分館分

007.63:Ata218901164,218902625,219700246

OPAC
岩手県立大学メディアセンター

[正]007.64:ア:1,007.64:ア:1301172763, 続007.64:ア:2,007.64:ア:2301172771

OPAC
宇部工業高等専門学校図書館

[正]007.64||||110483110483, 続007.64||||052224052224

OPAC
愛媛大学図書館研

007.63/ID18912113

OPAC
愛媛大学図書館農学部分館

続007.64/AT/239001449

OPAC
追手門学院大学附属図書館図

[正]00276805

OPAC
大分大学学術情報拠点(図書館)

007.64/IT 101024740

OPAC
大阪教育大学附属図書館

[正]007.64/IdW8735865, 続007.64/IdW8735866

OPAC
大阪公立大学中百舌鳥図書館

[正]1000798276

OPAC
大阪大学附属図書館理工学図書館

[正]08925044425, 続08926032676

OPAC
岡山大学附属図書館工情報

[正]007.6||A019000057155*, 続007.6||A019000057156*

OPAC
岡山大学附属図書館教育数

[正]007.6||AS016000068075*, 続007.6||AS016000068076*

OPAC
お茶の水女子大学附属図書館情報科学

[正]549/I18/1121181300017

OPAC
香川大学図書館創造工学部分館

[正]2311002119, 続2311002079

OPAC
金沢大学附属図書館中央図書庫

続007.63:A8629004-00977-9

OPAC
金沢大学附属図書館自然図自動書庫

[正]007.63:A8628908-01013-0

OPAC
関西国際大学メディアライブラリー三木

[正]007.64||I1012622

OPAC
関西大学図書館図

[正]102138362

OPAC
関西学院大学図書館三田

[正]510.78:12270029516143, 続510.78:1227:20029496981

OPAC
関西学院大学図書館上ケ原

[正]510.78:I180070086459, 続510.78:1227:20070148614

OPAC
九州工業大学附属図書館図

[正]549.9||I-167||b0294404, 続549.9||I-167||2-c0315786

OPAC
九州工業大学附属図書館情報工学部分館

[正]549.9||I-53||E6002121, 続549.9||I-53||2-C6002122

OPAC
九州大学中央図書館

〔正〕007.64/I 18/1068581189019450, 続007.64/I 18/1(2)068581190027497

OPAC
九州大学理系図書館

[正]007.64/I 18068251190016467, 続007.64/I 18068251190016520

OPAC
京都産業大学図書館

[正]418.6

OPAC
京都大学大学院情報学研究科

[正]007.6||IDA 1||1-194032205, 続007.6||IDA 1||1-292074429

OPAC
京都大学附属図書館図

[正]M||159||ア6B95021414, 続M||159||ア695021415

OPAC
京都大学吉田南総合図書館図

[正]007.6||A||589072014

OPAC
近畿大学産業理工学部図書館図

[正]007.64||I 1850050505

OPAC
近畿大学中央図書館中図

続00501553

OPAC
岐阜大学図書館

[正]549.92||ATA111388660, 続549.92||ATA111388678

OPAC
熊本大学附属図書館図書館

[正]007.64/A,9411101195215

OPAC
倉敷芸術科学大学図書館

[正]100007363, 続100001892

OPAC
くらしき作陽大学附属図書館

続007.64||ID||220002602

OPAC
群馬工業高等専門学校図書館図書

[正]007.64:I181063909,1063751

OPAC
群馬大学総合情報メディアセンター理工学図書館図書館

007.64:I18209101251

OPAC
県立広島大学庄原学術情報センター図書館図

OPAC
高知工科大学附属情報図書館

[正]007.64||I18||100001587, 続007.64||I18||200001588

OPAC
神戸市立中央図書館開

[正]PVOL:5069853, 続PVOL:5111346

OPAC
神戸大学附属図書館自然科学系図書館

続548-8-384//2-B030309100049, 548-H038900004333*

OPAC
公立大学法人福知山公立大学メディアセンターメディア

[正]0004957

OPAC
国立情報学研究所

[正]2018||269110201175

OPAC
国立歴史民俗博物館図書室書庫

続007.64||イタ0113011696

OPAC
佐賀大学附属図書館図

007.63-I 18138900457

OPAC
札幌学院大学図書館

[正]007.64/IDA0900006757, 続007.64/IDA0910112762

OPAC
滋賀県立大学図書情報センター看護

[正]8016648

OPAC
四国大学附属図書館

続007.6409502609

OPAC
静岡大学附属図書館静図

[正]007.63/I180089202642

OPAC
静岡大学附属図書館浜松分館浜図

[正]007.64/368800247531

OPAC
静岡理工科大学附属図書館

[正]007.64||I1809210878

OPAC
信州大学附属図書館工学部図書館

[正]007.64:A 942510285550, 続007.64:A 942510294396

OPAC
上越教育大学附属図書館

[正]007.64||I 1890101686

OPAC
城西大学水田記念図書館

[正]0090098585

OPAC
上智大学図書館中央

[正]007.64:I182890356496

OPAC
仙台高等専門学校広瀬キャンパス図書館

[正]418||I63S00041076, 続57011

OPAC
大学共同利用機関法人高エネルギー加速器研究機構図書情報

[正]E8.3:I:18.11200053369

OPAC
千葉商科大学付属図書館

続549.92/A942/a9900083739

OPAC
千葉大学附属図書館工電電9分野

[正]007H0123191*

OPAC
筑波技術大学附属図書館視覚障害系図書館

[正]007.64:A-949150284100

OPAC
筑波大学附属図書館中央図書館

[正]10090005807, 続10092280435

OPAC
筑波大学附属図書館図書館情報学図書館

[正]007.64:I-18900010510

OPAC
津田塾大学図書館図

[正]XJ089892

OPAC
津山工業高等専門学校図書館

[正]007.64||A000059033

OPAC
鶴岡工業高等専門学校図書広報室(図書館)

549.9||I29||1000000059077

OPAC
帝京大学宇都宮キャンパス図書館

[正]007.64||I1810009211, 続007.64||I18||210009212

OPAC
電気通信大学附属図書館図庫

[正]548.964/A94/(1)2219405900, 続548.964/A94/22219405901

OPAC
東京工科大学メディアセンター

[正]007.64||A016915

OPAC
東京科学大学大岡山図書館

[正]007.64/I/1115708031, 続007.64/I/2115847481

OPAC
東京科学大学すずかけ台図書館

[正]418.6/I215620026

OPAC
東京工業高等専門学校図書館

[正]0053824, 続0057981

OPAC
東京大学工学部・工学系研究科図書

[正]007.64:I18:11010443529, 続007.64:I18:21010443628

OPAC
東京大学駒場図書館駒場図

[正]007.64:I18:13010177727, 続007.64:I18:23010177735

OPAC
東京大学総合図書館

[正]007.64:I18:10010792331, 続007.64:I18:20010792349

OPAC
東京都立大学図書館日野館図

続/007.64/I18/2101047710

OPAC
東京農工大学小金井図書館

548.96||AK160015665

OPAC
東北工業大学附属図書館

[正]1900129, 続1902978

OPAC
東北大学附属図書館本館

[正]00890299986, 続00900312227

OPAC
東北大学附属図書館工学分館図

続03900030237

OPAC
東洋英和女学院大学図書館

[正]007.64||I18096195

OPAC
東洋大学附属図書館川越図書館

[正]0306357997, 続418.6:IT-5:20306399536

OPAC
常磐大学情報メディアセンター

[正]007.64-A-100195720, 続007.64-A-200195657

OPAC
徳島大学附属図書館

[正]007.63||At009002864

OPAC
豊田工業高等専門学校図書館

[正]007.6||I0059498, 続007.6||I0061129

OPAC
豊橋技術科学大学附属図書館

[正]007.64||ID||191000800, 続007.64||ID||291000801

OPAC
豊橋創造大学附属図書館

[正]007.64/IdT030376

OPAC
独立行政法人国立高等専門学校機構香川高等専門学校詫間キャンパス図書館

続053905

OPAC
長崎大学附属図書館

[正]007.64||89||11402569, 続007.64||89||21402416

OPAC
名古屋工業大学図書館

[正]549.92||A 94, 続549.92||A 94

OPAC
名古屋商科大学中央情報センター

[正]0158580

OPAC
名古屋市立大学総合情報センター山の畑分館

[正]007.64||Id80040883, 続007.64||Id||280040892

OPAC
名古屋大学附属図書館中央館

[正]007.64||I1075875

OPAC
名古屋文理大学図書情報センター

[正]007.63/I18110012994, 続007.63/I18110012995

OPAC
奈良女子大学学術情報センター

[正]007.64||9292000853, 続007.64||9292000854

OPAC
奈良先端科学技術大学院大学附属図書館

[正]DB||9||10021170, 続DB||9||20021171

OPAC
鳴門教育大学附属図書館

続007.64//A94H9027628*

OPAC
新潟大学附属図書館図

[正]007.64//I18//11910204810, 続007.64//I18//21910157763

OPAC
日本大学工学部図書館図

[正]007.64||A 94 IJ9203102, 続007.64||A 94 I||(2)J9203103

OPAC
日本大学商学部図書館

続336.58||A 94.1||291-1493

OPAC
日本大学理工学部図書館 (駿河台)理工駿

[正]549.92||A 94||191-0639, 続549.92||A 94||291-3772

OPAC
姫路獨協大学附属図書館図

[正]007.64//ID//11280105, 続007.64//ID//21280117

OPAC
兵庫教育大学附属図書館

続007.64//AT00009757514

OPAC
兵庫県立大学神戸商科学術情報館

[正]007.64||187

OPAC
兵庫県立大学姫路工学学術情報館図

[正]007.64|| ||0102110154141, 続007.64||2||0102A110167456

OPAC
広島経済大学図書館

続01051297

OPAC
広島市立大学附属図書館

[正]007.64/アタ/10000555036, 続007.64/アタ/20001415933

OPAC
広島大学図書館東図書館

続007.64:I-18/HL6002006030080566

OPAC
福井工業高等専門学校図書館

[正]007.6||ATAB067475, 続007.6||ATAB067476

OPAC
福井大学附属図書館

[正]007.64||ATA9102011, 続007.64||ZOK9102012

OPAC
福岡教育大学学術情報センター図書館図

549.92||A 94064031189041721

OPAC
福岡工業大学附属図書館図書館

続007.64/I181085153

OPAC
北陸先端科学技術大学院大学附属図書館図

[正]C45.2||A||11920398, 続C45.2||A||21920399

OPAC
北海学園大学附属図書館図

[正]007.64/A940121345

OPAC
北海学園大学附属図書館工

[正]007.64/ATA/[正]0822858

OPAC
北海道大学大学院工学研究科・工学部図書室図書

[正]DC19:005.1/IDA3570227416, 続005.1/IDA3580176462

OPAC
北海道情報大学図書館

[正]019011602, 続019114581

OPAC
三重大学附属図書館

[正]007.64/A 94/[1]69107540, 続007.64/A 94/269107541

OPAC
宮崎大学附属図書館図

続007.64||I7||1X00391572, [正]007.64||I7||100391571

OPAC
武庫川女子大学附属図書館図

[正]0365061, 続0391267

OPAC
山形大学工学部図書館

[正]006037050

OPAC
山口大学図書館工学部図書館

[正]418.6/I18/12099010304, 続418.6/I18/22099010348

OPAC
立命館大学図書館

続0113323517

OPAC
該当する所蔵館はありません
すべての絞り込み条件を解除する

この図書・雑誌をさがす

注記

参考文献: 各章末

[正]の執筆者: 相場亮ほか

続の執筆者: 井田哲雄ほか

続の編者: 井田哲雄, 田中二郎

内容説明・目次

巻冊次: [正] ISBN 9784320024939

内容説明

従来のプログラミングの考え方を超えた、関数、論理、対象指向に代表される概念に基づく新しいプログラミングの考え方を基礎から、しかも実際のプログラミングに即してわかりやすく解説。また、これからのソフトウェア科学の動向をうかがう上でも重要な資料を提供。

新しいプログラミング・パラダイムをめぐって
ラムダ計算と高階プログラミング
マルセイユＰｒｏｌｏｇ、Ｐｒｏｌｇ　２，Ｐｒｏｌｏｇ　３
制約論理型プログラミング
オブジェクト指向
型推論とＭＬ
Ｍｉｒａｎｄａ
項書換えシステムと完備化手続き
等式プログラミングから融合型プログラミングへ

巻冊次: 続 ISBN 9784320025356

内容説明

本書は、第三世代のプログラミング・パラダイムについて解説を行なったものである。それぞれのパラダイムの理念を整理して読者に語りかけたものである。

第１章　並行プログラミングとＧＨＣ
第２章　様相論理とテンポラル・プログラミング
第３章　レコード・プログラミング
第４章　抽象データ型とＯＢＪ２
第５章　プログラム代数とＦＰ
第６章　カテゴリカル・プログラミング
第７章　最大公約数—普遍代数、多項式イデアル、自動証明におけるユークリッドの互除法
第８章　構成的プログラミング
第９章　メタプログラミングとリフレクション

「BOOKデータベース」より

新しいプログラミング・パラダイム

著者

書誌事項

大学図書館所蔵件 / 全125件

この図書・雑誌をさがす

注記

内容説明・目次

詳細情報

書き出し

新しいプログラミング・パラダイム

著者

書誌事項

大学図書館所蔵 件 / 全125件

この図書・雑誌をさがす

注記

内容説明・目次

詳細情報

書き出し

大学図書館所蔵件 / 全125件