関数プログラミング : JSSST

関連文献: 1件

著者

書誌事項

関数プログラミング : JSSST

日本ソフトウェア科学会関数プログラミング研究会編

（レクチャーノート/ソフトウェア学, 3,10）

近代科学社, 1992-1994

[1]:'91
2:'94

タイトル読み: カンスウプログラミング : JSSST

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

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

[1]:'91007.64||R003139920, 2:'94007.64||R003144037

OPAC
青森大学附属図書館

[1]:'91007.64/NUK004046L, 2:'94007.64/TUK004047M

OPAC
青山学院大学万代記念図書館(相模原分館)

009439889, 2:'94779705336

OPAC
秋田県立大学附属図書館本荘キャンパス図書館

2:'94007.64:Ka59:200119186

OPAC
秋田公立美術大学附属図書館

[1]:'910016613

OPAC
岩手大学図書館

[1]:'91549.92:R25:30011469525, 2:'94549.92:R25:100011469574

OPAC
大阪産業大学綜合図書館

[1]:'91007.64/436/103506292, 2:'94007.64/436/203506359

OPAC
大阪大学附属図書館総合図書館

12600021807

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

[1]:'9112600021807

OPAC
大阪電気通信大学図書館

/007.64/K257723

OPAC
岡山県立大学附属図書館

[1]:'9100259294, 2:'9400257835

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

[1]007.6||R019000036994*, 2007.6||RH019000056682*

OPAC
沖縄国際大学図書館

[1]:'91007.64/Ka-59/100346380, 2:'94007.64/Ka-59/200346375

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

[1]:'912311001323, 2:'942311001324

OPAC
神奈川大学平塚図書館

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

[1]:'91510.78:1626:30070336482, 2:'94510.78:1626:100070495221

OPAC
北九州学術研究都市学術情報センター北九州図書

[1]:'91007.63||R25||3000074356, 2:'94007.63||R25||10000074376

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

[1]:'91548.963||L49||36014696, 2:'94548.963||L49||106014701

OPAC
九州産業大学図書館

[1]:'9110767868, 2:'9410767860

OPAC
九州情報大学附属図書館

[1]:'91039212, 2:'94039219

OPAC
京都産業大学図書館

[1]:'91007.64684422/B1, 2:'94007.64

OPAC
京都大学工学部南

[1]:'91ZF||34792058901

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

[1]:'91007.6||R||296058240, 2:'94007.6||R||296058241

OPAC
近畿大学工学部図書館図書館

2:'94007.64||Ta62||251012861

OPAC
岐阜大学図書館

[1]:'91549.92||Kan111469481

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

[1]:'94007.6:R25:3029601720, 2:'94007.6:R25:10029601727

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

2:'94007.64:Ka59209501508

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

[1]:'91007.64||Ka59||100000854, 2:'94007.64||Ka59||200000855

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

[1]:'91548-83-21//3H039300003101*, 2:'94548-83-21//10030009708991

OPAC
公立千歳科学技術大学図書館

[1]:'91007.64||K||1000001701, 2:'94007.64||K||2000001719

OPAC
公立はこだて未来大学情報ライブラリー

[1]:'91007.64||Ni||10000406989, 2:'94007.64||Ni||2000007072

OPAC
国際基督教大学図書館図

007.6/R259/v.304333769

OPAC
埼玉学園大学情報メディアセンター

[1]:'91007.64/N010392165

OPAC
下関市立大学附属図書館図

[1]:'91106609

OPAC
信州大学附属図書館繊維学部図書館図

007.64:Ka 592810100202

OPAC
椙山女学園大学中央図書館図

2:'94101S04603

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

2:'94007.6||R7||10S00025396, [1]:'91007.6||R7||3S00025404

OPAC
拓殖大学八王子図書館

[1]:'91007.64||1||307100509068, 2:'94007.64||2||307100509081, 007.64||1||3071T0509068*

OPAC
千葉大学附属図書館図

[1]:'91096836610, 2:'94096836632

OPAC
中部大学附属三浦記念図書館図

[1]:'911N277970A, 2:'942N277976A

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

007.64-Ka59-1100966118679

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

007.64:N-77930028890

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

2:'94549.98||R25||32219501793,2219601416

OPAC
東海大学付属図書館清水図書館

[1]:'91549.9364/K/100967101, 2:'94549.9364/K/200965884

OPAC
東京学芸大学附属図書館図

[1]:'91401.35/Ki4219606326, 2:'94401.35/Ki4219606333

OPAC
東京工業大学大岡山図書館

[1]:'91007.6/R/3116853116, 2:'94007.6/R/10116308282

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

007.64/R/3216168208

OPAC
東京大学柏図書館開架

[1]:'91007.6:N71:18410050945, 2:'94007.6:N71:28410050952

OPAC
東京大学総合図書館

2:'94007.6:Ta620012165783

OPAC
東北公益文科大学図書館致道

[1]:'91007.63||RE||30210002198, 2:'94007.63||RE||100210002181

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

[1]:'91N1:548.964||AT:R||KN:0031962540, 2:'94N1:548.964||AT:R||KN:0101942647

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

[1]00950009007, 200950009074

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

03930019080

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

[1]:'91007.64:K59:10310268982, 2:'94007.64:K59:20310268990

OPAC
富山県立大学附属図書館射水館

[1]:'91101079705

OPAC
富山大学附属図書館工室

[1]:'91007.64||N57s||Ka=111028365, 2:'94007.64||N57s||Ka=211028370

OPAC
同志社大学図書館

A007.64;N31867;9320193840

OPAC
名古屋工業大学図書館

[1]549.92||Ka 5993100825, 2549.92||Ka 59

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

[1]:'91007.64||R||311245857, 2:'94007.64||R||1011245865

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

[1]:'9119980218, 2:'9419971216

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

[1]:'91AB||25||30012992, 2:'94AB||25||100020202

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

549.92||N 7793-2413

OPAC
兵庫大学附属図書館

4000400

OPAC
広島修道大学図書館図

[1]:'91007.6/R 251970154400, 2:'94007.6/R 251970154410

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

[1]: '91007.64/ニホ/10001109658, 2: '94007.64/ニホ/20001405194

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

007.64:N-71/736794576030080684

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

[1]:'91007.6||REK||3B072659

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

549.92||R25||31296008133

OPAC
福山大学附属図書館

[1]:'91007.64||N||[1]119901055, 2:'94007.64||N||2119901057

OPAC
法政大学図書館多図

[1]:'91007.64/30810502020012106

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

2C42.1/Ka59/ 21:1960663

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

2C42.1/Ka59/1950025

OPAC
三重大学情報教育・研究機構情報ライブラリーセンター

[1]:'91007.63/R 25/369305471, 2:'94007.63/R 25/1069502277, 00763/REKUCHA/369305471

OPAC
宮城大学学術情報センター

[1]:'91007.63||R||3000002297, 2:'94007.63||R||10000002304

OPAC
室蘭工業大学附属図書館図

535.5814774

OPAC
横浜国立大学附属図書館

[1]:'91007.64||NI03603927

OPAC
立命館大学図書館

[1]:'917310242725, 2:'947310558698

OPAC
龍谷大学瀬田図書館図

39300004007

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

この図書・雑誌をさがす

注記

付: 参考文献

'94の編者: 武市正人

内容説明・目次

巻冊次: [1]:'91 ISBN 9784764902039

１　関数プログラミングの実際
２　並行動作システムのＭｉｒａｎｄａによる仕様記述
３　カテゴリー理論とプログラミング　カルテシアン閉カテゴリー
４　抽象実行　そのフレームワークと実例
５　論理プログラムの抽象解釈を用いた解析
６　一般化論理プログラムのＵｎｆｏｌｄ変換
７　完全遅延評価と部分計算
８　関数・論理型プログラミング言語のための遅延ナローイング計算系
９　単一化としての遅延評価　一般化論理プログラムからのアプローチ
１０　生成関数の導入によるアルゴリズムの導出

巻冊次: 2:'94 ISBN 9784764902329

関数合成に基づく計算体系—定義と基本的性質
Ｄｅｒｉｖｉｎｇ　Ｅｆｆｉｃｉｅｎｔ　Ｆｕｎｃｔｉｏｎａｌ　Ｐｒｏｇｒａｍｓ　ｂｙ　Ｃｏｎｓｔｒｕｃｔｉｎｇ　Ｍｅｄｉｏ‐ｔｙｐｅｓ
グラフ構造上のストリクト性解析のリスト構造上のストリクト性解析への応用
自由圏の構成と構成的論理における推論の並べ替えについて
制約付き型理論の実現
ファーストクラスな環境と多相型
Ｍｏｎａｄｉｃ　ＳｔｙｌｅでのＭＬ風のｒｅｆオペレータに対する多重定義を用いた型付けについて
総称関数のＰａｒａｍｅｔｒｉｃｉｔｙとＳｙｎｔａｃｔｉｃな性質の関係について
Ａ“Ｆａｓｔ”Ｒｅｐｒｅｓｅｎｔａｔｉｏｎ　ｏｆ　ｔｈｅ　Ｌａｍｂｄａ　Ｃａｌｃｕｌｕｓ
Ｋｌａｕｓ　Ｂｅｒｋｌｉｎｇ
制約解消系を備えた関数・論理型言語の設計と実現〔ほか〕

「BOOKデータベース」より

関数プログラミング : JSSST

著者

書誌事項

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

この図書・雑誌をさがす

注記

内容説明・目次

関連文献： 1件中 1-1を表示

詳細情報

書き出し

関数プログラミング : JSSST

著者

書誌事項

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

この図書・雑誌をさがす

注記

内容説明・目次

関連文献： 1件中 1-1を表示

詳細情報

書き出し

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