CiNii 図書 - TAPSOFT '93 : theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings

<!DOCTYPE html> <html lang="ja" itemscope itemtype="http://schema.org/Book"> <head> <script type="text/javascript" src="/books/js/preview.js?V171012"></script> <script type="text/javascript" src="/books/js/elinklist_disclosure.js?V141104"></script> <meta http-equiv="content-type" content="text/html; charset=utf-8" /> <meta http-equiv="X-UA-Compatible" content="IE=edge,chrome=1" /> <meta http-equiv="content-style-type" content="text/css" /> <meta http-equiv="content-script-type" content="text/javascript" /> <meta name="viewport" content="width=device-width,user-scalable=no" /> <meta name="format-detection" content="telephone=no"> <link rel="stylesheet" type="text/css" href="/books/style/slick.css?V190423"> <link rel="stylesheet" type="text/css" href="/books/style/slick-theme.css?V190423"> <link rel="stylesheet" type="text/css" href="/books/style/slick-ext.css?V190423"> <link rel="shortcut icon" href="/books/images/favicon.ico" type="image/vnd.microsoft.icon" /> <link href="/books/style/cinii.css?V202209" rel="stylesheet" type="text/css" /> <script type="text/javascript" src="/books/js/jquery-3.7.1.min.js"></script> <script type="text/javascript" src="/books/js/bootstrap.min.js"></script> <script type="text/javascript" src="/books/js/cinii.js?V151027"></script> <script type="text/javascript" src="/books/js/html5shiv-printshiv.min.js"></script> <script type="text/javascript" src="/books/js/respond.min.js"></script> <script type="text/javascript" src="/books/js/common.js?V240716"></script> <script type="text/javascript" src="/books/js/changeDisplayMode.js?V190913"></script> <script type="text/javascript" src="/books/js/transferParameterCir.js?240724"></script> <script async src="https://www.googletagmanager.com/gtag/js?id=G-5YXF8KWH9K"></script> <link rel="search" type="application/opensearchdescription+xml" title="CiNii Books" href="/books/opensearch/description.xml" /> <link rel="search" type="application/opensearchdescription+xml" title="CiNii Books - Exact title match" href="/books/opensearch/exact-title.xml" /> <link rel="search" type="application/opensearchdescription+xml" title="CiNii Books - Author Search" href="/books/opensearch/author.xml" />  <title>CiNii 図書 - TAPSOFT '93 : theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings</title> <link rel="meta" type="application/rdf+xml" title="RDF" href="/ncid/BA19829595.rdf" /> <link rel="meta" type="application/json" title="JSON-LD 1.0" href="/ncid/BA19829595.json" /> <link rel="canonical" href="https://ci.nii.ac.jp/ncid/BA19829595" /> <link rel="amphtml" href="https://ci.nii.ac.jp/ncid/BA19829595.amp" /> <meta name="dc.title" content="TAPSOFT '93 : theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings" /> <meta name="dc.creator" content="International Joint Conference on Theory and Practice of Software Development" /> <meta name="dc.creator" content="Gaudel, M.-C. (Marie-Claude)" /> <meta name="dc.creator" content="Jouannaud, Jean-Pierre" /> <meta name="dc.creator" content="Colloquium on Trees in Algebra and Programming" /> <meta name="dc.creator" content="Colloquium on Formal Approaches of Software Engineering" /> <meta name="dc.publisher" content="Springer-Verlag" /> <meta name="dc.date" content="1993" /> <meta name="dc.type" content="book" /> <meta name="citation_abstract_html_url" content="https://ci.nii.ac.jp/ncid/BA19829595" /> <meta property="og:title" content="CiNii 図書 - TAPSOFT '93 : theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings" /> <meta property="og:description" content="TAPSOFT '93 : theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings M.-C. Gaudel, J.-P. Jouannaud (eds.) （Lecture notes in computer science, 668） Springer-Verlag, c1993 : gw : us" /> <meta property="og:type" content="book" /> <meta property="og:url" content="https://ci.nii.ac.jp/ncid/BA19829595" /> <meta property="og:site_name" content="CiNii Books" /> <meta property="fb:admins" content="701886930" /> <meta name="twitter:card" content="summary" /> <meta name="twitter:site" content="@cinii_jp" /> <meta itemprop="name" content="CiNii 図書 - TAPSOFT '93 : theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings" /> <script type="application/ld+json"> { "@context": "http://schema.org", "@type": "Article", "name": "TAPSOFT '93 : theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings", "alternateName": "Theory and practice of software development", "author": { "@type": "Person", "name": "M.-C. Gaudel, J.-P. Jouannaud (eds.)" }, "publisher": { "@type":"Organization", "name": "Springer-Verlag" }, "datePublished": "c1993", "description": "Includes bibliographical references and index\nGoldilocks and the three specifications.- On relating some models for concurrency.- Compositionality results for different types of parameterization and parameter passing in specification languages.- Proving ground confluence and inductive validity in constructor based equational specifications.- Associative-commutative discrimination nets.- Algebraic specification and development in geometric modeling.- A case study in transformational design of concurrent systems.- Yeast: A case study for a practical use of formal methods.- Verification and comparison of transition systems.- Constraining interference in an object-based design method.- From ?-calculus to higher-order ?-calculus - and back.- Hyperedge replacement with rendezvous.- True concurrency semantics for a linear logic programming language with broadcast communication.- A general framework for modular implementations of modular system specifications.- Specifications can make programs run faster.- Application of the composition principle to unity-like specifications.- Trees, ordinals and termination.- When is a functional tree transduction deterministic?.- Automata on infinite trees with counting constraints.- Directed column-convex polyominoes by recurrence relations.- Object organisation in software environments for formal methods.- Monads, indexes and transformations.- A technique for specifying and refining TCSP processes by using guards and liveness conditions.- Applications of type theory.- Feature automata and recognizable sets of feature trees.- About the theory of tree embedding.- Linear unification of higher-order patterns.- A theory of requirements capture and its applications.- Exception handling and term labelling.- Gate splitting in LOTOS specifications using abstract interpretation.- Constructing systems as object communities.- Term rewriting in CT?.- Optimal reductions in interaction systems.- Optimal solutions to pattern matching problems.- Testing for a conformance relation based on acceptance.- Testability of a communicating system through an environment.- Automating (specification = implementation) using equational reasoning and LOTOS.- On the Ehrenfeucht-Fraisse game in theoretical computer science.- On asymptotic probabilities in logics that capture DSPACE(log n) in presence of ordering.- A propositional dense time logic.- La Vraie Forme d'un Arbre.- Model checking using net unfoldings.- Reachability analysis on distributed executions.- Property preserving abstractions under parallel composition.- Types as parameters.- Polymorphic type inference with overloading and subtyping.- Type reconstruction with recursive types and atomic subtyping.- (Un)expected path lengths of asymmetric binary search trees.- Trie size in a dynamic list structure.- A fully parallel calculus of synchronizing processes.- Generic systolic arrays: A methodology for systolic design.\nThis volume contains the proceedings of the fourth\nInternational Joint Conference on the Theory and Practice of\nSoftware Development, TAPSOFT '93. Since the first in 1985,\nthe aim of these conferences has been to bring together\ntheoretical computer scientists and researchers in software\nengineering with a view to discussing how formal methods can\nusefully be applied in software development.\nTAPSOFT '93 consists ofthree parts: an advanced seminar,\nthe Colloquium on Trees in Algebra and Programming (CAAP),\nand the Colloquium on Formal Approaches of Software\nEngineering (FASE). The advanced seminar includes four\ninvited surveys and four invited conferences. The selected\npapers for CAAP are organized in seven sessions:\nspecifications and proofs, concurrency, automata and\ncounting, constraints solving, rewriting, logic and trees,\nanalysis of algorithms, and a common session with FASE on\ntype inference. The selected papers for FASE are presented\nin eight sessions: case studies in formal design and\ndevelopment, compositionality modules and development,\nformal development, foundations and analysis of formal\nspecifications, verification of concurrent systems, model\nchecking, parallel calculus, and a common session with CAAP\non type inference.\n", "url": "https://ci.nii.ac.jp/ncid/BA19829595", "headline": "TAPSOFT '93 : theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings" } </script></head> <body class="books detail with_sidenavi"> <nav class="navbar navbar-header"> <div class="navbar-topcontent"> <a href="/books/" id="system_ci_jp" class="navbar-brand headerlogo">CiNii 国立情報学研究所学術情報ナビゲータ[サイニィ]</a>  <button type="button" class="navbar-toggle button-menu collapsed" data-toggle="collapse" data-target="#nav-content"> メニュー </button> <button type="button" class="navbar-toggle button-search collapsed" data-toggle="collapse" data-target="#searchbox"> 検索 </button> </div> <div id="nav-content" class="collapse navbar-collapse headermenu"> <ul class="nav navbar-nav menu-service-list"> <li><a href="https://cir.nii.ac.jp/" onclick="return transferParameterCir(this, 'https://cir.nii.ac.jp', true, 'cir');" class="menu-service-item"><div>論文・データをさがす</div></a></li> <li class="active"><a href="/books/" class="menu-service-item"><div>大学図書館の本をさがす</div></a></li> <li><a href="/d/?l=ja" onclick="return transferParameterCir(this, '', true, 'cid');" class="menu-service-item"><div>日本の博士論文をさがす</div></a></li> </ul> <ul class="nav navbar-nav menu-utility-list"> <li><a href="https://auth.cir.nii.ac.jp/user/auth/login?contentsServer=BOOKS" class="menu-utility-item">ログイン</a></li> <li><a href="/ncid/BA19829595?l=en" class="menu-utility-item">English</a></li> </ul> </div> </nav> <div class="container body-wrap"> <div id="searchbox" class="searchbox"> <div class="book_search searchFormContainer"> <div id ="searchformcontents" class="searchformcontents container-fluid"> <div class="searchboxheader row"> <div class="col-xs-12 col-sm-10 col-sm-offset-2"> <div class="tab_index"> <ul class="tab_index_list"> <li class="tab_index_item tab_index_item-active"> <a id="tab-book_search" class="tab-index-content" href="javascript:void(0);" >図書・雑誌検索</a> </li> <li class=" tab_index_item"> <a id="tab-author_search" class="tab-index-content" href="javascript:void(0);">著者検索</a> </li> <li class=" tab_index_item"> <a id="tab-content_search" class="tab-index-content" href="javascript:void(0);">内容検索</a> </li> </ul> </div> </div> </div> <form id="searchbooksform" name="searchbooksform" action="/books/search" method="get" onsubmit="return searchBooks(this, false);"> <input type="hidden" name="advanced" id="hidden_advanced" value="false" /> <input type="hidden" name="count" id="hidden_count" value="20" /> <input type="hidden" name="sortorder" id="hidden_sortorder" value="3" /> <div class="row form-tabcontent form-books"> <div class="col-xs-12 col-sm-10 col-sm-offset-2"> <div class="row row-textform"> <div class="col-xs-9 col-sm-9 col-form"> <input type="text" name="q" id="freetextbox" class="main_srchterm searchforminput" value="" onkeypress="return submitByEnter(this);" placeholder="フリーワード" /> </div> <div class="col-xs-3 col-sm-3"> <button class="btn searchbtn" id="book_srchbtn_nrml" alt="検索" value="" onclick="return searchBooks(this.form, false);" type="submit">検索</button> </div> </div> </div> <div class="col-xs-12 col-sm-10 col-sm-offset-2"> <div class="row filter_radiobtnbox"> <div class="col-xs-12 col-sm-9 filter_segmentControl"> <div class="row"> <div class="col-xs-12 col-sm-2 filter_radiobtnbox-segmentarea1"> <label for="filter_all_advanced" class="segment1 checked"><input type="radio" name="type" value="0" id="filter_all_advanced" checked="checked" />すべての資料</label> </div> <div class="col-xs-12 col-sm-3 filter_radiobtnbox-segmentarea2"> <label for="filter_fulltext_advanced" class="segment2"><input type="radio" name="type" value="1" id="filter_fulltext_advanced" />図書</label> </div> <div class="col-xs-12 col-sm-7 filter_radiobtnbox-segmentarea3"> <label for="filter_includeLinks_advanced" class="segment3"><input type="radio" name="type" value="2" id="filter_includeLinks_advanced" />雑誌</label> </div> </div> </div> <div class="col-xs-12 col-sm-3 advsearchbtn-area"> <a id="btn-toggle-advsearch-top" class="btn-toggle-advsearch collapsed" data-toggle="collapse" data-target="#advanced_search"><span class="btn-toggle-advsearch-label">詳細検索</span></a> </div> </div> </div> <div id="advanced_search" class="col-xs-12 col-sm-12 advanced_search"> <div class="row"> <div class="col-xs-12 col-sm-12"> <div class="row row-textform"> <div class="col-xs-12 col-sm-2 searchformlabel"><label for="sopt1">タイトル</label></div> <div class="col-xs-12 col-sm-5 col-form"><input type="text" id="sopt1" name="title" class="searchforminput" onkeypress="return submitByEnter(this);" value="" /></div> <div class="col-xs-12 col-sm-5 col-form advinput_chk"> <label for="exact_title"><input type="checkbox" class="cb" id="exact_title" name="title_exact" value="true" >タイトル完全一致</label> <label for="include_utl"><input type="checkbox" class="cb" id="include_utl" name="include_utl" value="true" >統一タイトルを含む</label> </div> </div> </div> <div class="col-xs-12 col-sm-12"> <div class="row row-textform"> <div class="col-xs-12 col-sm-2 searchformlabel"><label for="sopt2">著者名</label></div> <div class="col-xs-12 col-sm-5 col-form"><input type="text" id="sopt2" name="author" class="searchforminput" onkeypress="return submitByEnter(this);" value="" /></div> <div class="col-xs-12 col-sm-5 col-form advinput_chk"> <label for="include_alias" class="customCB"><input type="checkbox" class="cb" id="include_alias" name="include_alias" value="true" >別名を含む</label> </div> </div> </div> <div class="col-xs-12 col-sm-4"> <div class="row row-textform"> <div class="col-xs-12 col-sm-6 searchformlabel"><label for="sopt3">著者ID</label></div> <div class="col-xs-12 col-sm-6 col-form"><input type="text" id="sopt3" name="authorid" class="searchforminput" onkeypress="return submitByEnter(this);" value="" /></div> </div> </div> <div class="col-xs-12 col-sm-4"> <div class="row row-textform"> <div class="col-xs-12 col-sm-5 searchformlabel"><label for="sopt4">統一タイトルID</label></div> <div class="col-xs-12 col-sm-7 col-form"><input type="text" id="sopt4" name="utid" class="searchforminput" onkeypress="return submitByEnter(this);" value="" /></div> </div> </div> <div class="col-xs-12 col-sm-4"> <div class="row row-textform"> <div class="col-xs-12 col-sm-5 searchformlabel"><label for="sopt5">出版者</label></div> <div class="col-xs-12 col-sm-7 col-form"><input type="text" id="sopt5" name="publisher" class="searchforminput" onkeypress="return submitByEnter(this);" value="" /></div> </div> </div> <div class="col-xs-12 col-sm-4"> <div class="row row-textform"> <div class="col-xs-12 col-sm-6 searchformlabel"><label for="sopt6">ISBN</label></div> <div class="col-xs-12 col-sm-6 col-form"><input type="text" id="sopt6" name="isbn" class="searchforminput" onkeypress="return submitByEnter(this);" value="" /></div> </div> </div> <div class="col-xs-12 col-sm-4"> <div class="row row-textform"> <div class="col-xs-12 col-sm-5 searchformlabel"><label for="sopt7">ISSN</label></div> <div class="col-xs-12 col-sm-7 col-form"><input type="text" id="sopt7" name="issn" class="searchforminput" onkeypress="return submitByEnter(this);" value="" /></div> </div> </div> <div class="col-xs-12 col-sm-4"> <div class="row row-textform"> <div class="col-xs-12 col-sm-5 searchformlabel"><label for="sopt8">NCID</label></div> <div class="col-xs-12 col-sm-7 col-form"><input type="text" id="sopt8" name="ncid" class="searchforminput" onkeypress="return submitByEnter(this);" value="" /></div> </div> </div> <div class="col-xs-12 col-sm-4"> <div class="row row-textform"> <div class="col-xs-12 col-sm-6 searchformlabel"><label for="sopt9">件名</label></div> <div class="col-xs-12 col-sm-6 col-form"><input type="text" id="sopt9" name="subject" class="searchforminput" onkeypress="return submitByEnter(this);" value="" /></div> </div> </div> <div class="col-xs-12 col-sm-4"> <div class="row row-textform"> <div class="col-xs-12 col-sm-5 searchformlabel"><label for="sopt10">分類</label></div> <div class="col-xs-12 col-sm-7 col-form"><input type="text" id="sopt10" name="clas" class="searchforminput" onkeypress="return submitByEnter(this);" value="" /></div> </div> </div> <div class="col-xs-12 col-sm-4"> <div class="row row-textform"> <div class="col-xs-12 col-sm-5 searchformlabel"><label for="sopt11">注記</label></div> <div class="col-xs-12 col-sm-7 col-form"><input type="text" id="sopt11" name="note" class="searchforminput" onkeypress="return submitByEnter(this);" value="" /></div> </div> </div> <div class="col-xs-12 col-sm-4"> <div class="row row-textform"> <div class="col-xs-12 col-sm-6 searchformlabel"><label for="slct-typecode-gmd">資料種別</label></div> <div class="col-xs-12 col-sm-6 col-form"> <select name="gmd" class="slct-typecode searchforminput" id="slct-typecode-gmd"> <option value="">すべての資料種別</option> <option value="_">図書・雑誌</option> <option value="a">地図資料</option> <option value="b">文字資料（点字）</option> <option value="c">楽譜（印刷）</option> <option value="d">文字資料（書写資料）</option> <option value="e">地図（書写資料）</option> <option value="f">楽譜（書写資料）</option> <option value="g">静止画像（投影）</option> <option value="h">マイクロ形態</option> <option value="k">静止画像（非投影）</option> <option value="m">映画</option> <option value="s">録音資料（音楽）</option> <option value="t">録音資料（非音楽）</option> <option value="v">ビデオレコード</option> <option value="w">機械可読データファイル</option> <option value="x">3次元工芸品,自然の事物</option> <option value="y">キット</option> </select> </div> </div> </div> <div class="col-xs-12 col-sm-4"> <div class="row row-textform"> <div class="col-xs-12 col-sm-5 searchformlabel"><label for="sopt13">言語種別</label></div> <div class="col-xs-12 col-sm-7 col-form"> <div class="langControls"> <span class="langselect"> <select name="lang1" class="slct-langcode searchforminput"> <option value="">すべての言語</option> <option value="jpn">日本語</option> <option value="eng">英語</option> <option value="ger">ドイツ語</option> <option value="fre">フランス語</option> <option value="chi">中国語</option> <option value="rus">ロシア語</option> <option value="spa">スペイン語</option> <option value="ita">イタリア語</option> <option value="kor">韓国・朝鮮語</option> <option value="ara">アラビア語</option> </select> </span> <span class="langcode"><input type="text" id="sopt13" name="lang" class="searchforminput" onkeypress="return submitByEnter(this);" value="" placeholder="コード" /></span> </div> </div> </div> </div> <div class="col-xs-12 col-sm-4"> <div class="row row-textform"> <div class="col-xs-12 col-sm-5 searchformlabel"><label for="sopt14">出版年</label></div> <div class="col-xs-12 col-sm-7 "> <input type="text" id="sopt14" name="year_from" class="degreeconferment_year" onkeypress="return submitByEnter(this);" maxlength="4" value="" /> <span class="unit">年から</span> <input type="text" id="sopt14-2" name="year_to" class="degreeconferment_year" maxlength="4" onkeypress="return submitByEnter(this);" value="" /> <span class="unit">年まで</span> </div> </div> </div> <div class="col-xs-12 col-sm-4"> <div class="row row-textform"> <div class="col-xs-12 col-sm-6 searchformlabel"><label for="sopt15">図書館ID</label></div> <div class="col-xs-12 col-sm-6 col-form"><input type="text" id="sopt15" name="fano" class="searchforminput" onkeypress="return submitByEnter(this);" value="" /></div> </div> </div> <div class="col-xs-12 col-sm-4"> <div class="row row-textform"> <div class="col-xs-12 col-sm-5 searchformlabel"><label for="sopt16">機関ID</label></div> <div class="col-xs-12 col-sm-7 "><input type="text" id="sopt16" name="kid" class="searchforminput" onkeypress="return submitByEnter(this);" value="" /></div> </div> </div> <div class="col-xs-12 col-sm-4"> <div class="row row-textform"> <div class="col-xs-12 col-sm-5 searchformlabel"><label for="sopt17">地域</label></div> <div class="col-xs-12 col-sm-7 col-form"> <select name="area" class="slct-kencode searchforminput" id="sopt17"> <option value="">すべての地域</option> <option value="01" class="ken">北海道</option> <option value="02 03 04 05 06 07 " class="region">東北地方</option> <option value="02" class="ken">青森</option> <option value="03" class="ken">岩手</option> <option value="04" class="ken">宮城</option> <option value="05" class="ken">秋田</option> <option value="06" class="ken">山形</option> <option value="07" class="ken">福島</option> <option value="08 09 10 11 12 13 14 " class="region">関東地方</option> <option value="08" class="ken">茨城</option> <option value="09" class="ken">栃木</option> <option value="10" class="ken">群馬</option> <option value="11" class="ken">埼玉</option> <option value="12" class="ken">千葉</option> <option value="13" class="ken">東京</option> <option value="14" class="ken">神奈川</option> <option value="15 16 17 18 19 20 " class="region">北陸・甲信越地方</option> <option value="15" class="ken">新潟</option> <option value="16" class="ken">富山</option> <option value="17" class="ken">石川</option> <option value="18" class="ken">福井</option> <option value="19" class="ken">山梨</option> <option value="20" class="ken">長野</option> <option value="21 22 23 24 " class="region">東海地方</option> <option value="21" class="ken">岐阜</option> <option value="22" class="ken">静岡</option> <option value="23" class="ken">愛知</option> <option value="24" class="ken">三重</option> <option value="25 26 27 28 29 30 " class="region">関西地方</option> <option value="25" class="ken">滋賀</option> <option value="26" class="ken">京都</option> <option value="27" class="ken">大阪</option> <option value="28" class="ken">兵庫</option> <option value="29" class="ken">奈良</option> <option value="30" class="ken">和歌山</option> <option value="31 32 33 34 35 36 37 38 39 " class="region">中国・四国地方</option> <option value="31" class="ken">鳥取</option> <option value="32" class="ken">島根</option> <option value="33" class="ken">岡山</option> <option value="34" class="ken">広島</option> <option value="35" class="ken">山口</option> <option value="36" class="ken">徳島</option> <option value="37" class="ken">香川</option> <option value="38" class="ken">愛媛</option> <option value="39" class="ken">高知</option> <option value="40 41 42 43 44 45 46 47 " class="region">九州・沖縄地方</option> <option value="40" class="ken">福岡</option> <option value="41" class="ken">佐賀</option> <option value="42" class="ken">長崎</option> <option value="43" class="ken">熊本</option> <option value="44" class="ken">大分</option> <option value="45" class="ken">宮崎</option> <option value="46" class="ken">鹿児島</option> <option value="47" class="ken">沖縄</option> <option value="151 152 153 " class="region">アジア地域</option> <option value="151" class="ken">韓国</option> <option value="152" class="ken">中国</option> <option value="153" class="ken">タイ</option> <option value="254 255 256 257 258 259 260 261 " class="region">ヨーロッパ地域</option> <option value="254" class="ken">イギリス</option> <option value="255" class="ken">ドイツ</option> <option value="256" class="ken">スイス</option> <option value="257" class="ken">フランス</option> <option value="258" class="ken">ベルギー</option> <option value="259" class="ken">オランダ</option> <option value="260" class="ken">スウェーデン</option> <option value="261" class="ken">ノルウェー</option> <option value="362 " class="region">北米地域</option> <option value="362" class="ken">アメリカ</option> <option value="__" class="region">その他海外</option> </select> </div> </div> </div> <div class="col-xs-12 col-sm-12"> <div class="row row-textform"> <div class="col-xs-12 col-sm-2 searchformlabel"></div> <div class="col-xs-12 col-sm-10 col-form advinput_chk chk-keep-condition"> <label for="chk_keep_condition"><input name="keep_condition" class="cb" id="chk_keep_condition" type="checkbox" value="true" />図書館ID・機関ID・地域を記憶する</label> <input name="update_keep" type="hidden" value="true"> <script type="text/javascript"> //<![CDATA[ document.write("<label for=\"script_r2k_advanced\"><input type=\"checkbox\" class=\"cb\" id=\"script_r2k_advanced\"/>ローマ字をカナに変換 </label>"); //]]> </script> </div> </div> </div> <div class="col-xs-12 visible-xs-block text-center"> <button class="btn searchbtn" onclick="return searchBooks(this.form, false);" type="submit">検索</button> </div> <div id="btn-toggle-advsearch-bottom" class="col-xs-12 visible-xs-block advsearchbtn-area"> <a class="btn-toggle-advsearch collapsed" data-toggle="collapse" data-target="#advanced_search"><span class="btn-toggle-advsearch-label">閉じる</span></a> </div> </div> </div> </div> </form> <form id="searchnamesform" name="searchnamesform" action="/books/author" method="get" onsubmit="return searchNames(this, false);"> <input type="hidden" name="count" value="20" /> <input type="hidden" name="sortorder" value="2" /> <div class="row form-tabcontent form-author"> <div class="col-xs-12 col-sm-10 col-sm-offset-2"> <div class="row row-textform"> <div class="col-xs-9 col-sm-9 col-form"> <input type="text" name="name" id="authname_textbox" class="main_srchterm searchforminput" onkeypress="return submitByEnter(this);" value="" placeholder="著者名" /> </div> <div class="col-xs-3 col-sm-3"> <button class="btn searchbtn" onclick="return searchNames(this.form, false);" type="submit">検索</button> </div> </div> </div> </div> </form> <form id="searchcontentsform" name="searchcontentsform" action="/books/contents" method="get" onsubmit="return searchContents(this, false);"> <input type="hidden" name="count" value="20" > <input type="hidden" name="sortorder" value="3" > <div class="row form-tabcontent form-content"> <div class="col-xs-12 col-sm-10 col-sm-offset-2"> <div class="row row-textform"> <div class="col-xs-9 col-sm-9 col-form"> <input type="text" name="contents" id="contents_textbox" class="main_srchterm searchforminput" onkeypress="return submitByEnter(this);" value="" placeholder="フリーワード" /> </div> <div class="col-xs-3 col-sm-3"> <button class="btn searchbtn" onclick="return searchContents(this.form, false);" type="submit">検索</button> </div> </div> </div> </div> </form> </div> </div> </div> <script type="text/javascript" src="/books/js/searchbox_disclosure.js?V240716"></script> <script type="text/javascript" src="/books/js/utils.js?V190913"></script> <script type="text/javascript"> window.initSearchBox('book', false); </script> <div class="servicestop_information"><div id="servicestop_information"> <ul><li><a href="https://support.nii.ac.jp/ja/cir/cib_integration">【2023年10月31日掲載】CiNii BooksのCiNii Researchへの統合について</a></li> <li><a href="https://support.nii.ac.jp/ja/news/cinii/20250227">英国Nielsen Book Services社提供データの削除について</a></li> <li><a href="https://support.nii.ac.jp/ja/news/cinii/20250318">CiNiiのサービスに関するアンケートを実施中です（期間：2025年3月18日(火)から2025年4月17日(木)まで）</a></li> </ul> </div> </div> <div class="container-hasSubnav"> <div class="maincontents"> <div id="itemdatatext" class="itemdatatext"> <div class="itemheading paperdata"> <h1 class="book_class entry-title"> <span>TAPSOFT '93 : theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings</span> </h1> <div id="authors" class="authorsContainer hidden-xs"> <ul> <li class="authorslist"> <div class="authordata author vcard"> <ul> <li class="authorname"> <a href="/author/DA00902980"> <span class="authorname fn">International Joint Conference on Theory and Practice of Software Development</span> </a> </li> </ul> </div> </li> <li class="authorslist"> <div class="authordata author vcard"> <ul> <li class="authorname"> <a href="/author/DA07263143"> <span class="authorname fn">Gaudel, M.-C. (Marie-Claude)</span> </a> </li> </ul> </div> </li> <li class="authorslist"> <div class="authordata author vcard"> <ul> <li class="authorname"> <a href="/author/DA01006884"> <span class="authorname fn">Jouannaud, Jean-Pierre</span> </a> </li> </ul> </div> </li> <li class="authorslist"> <div class="authordata author vcard"> <ul> <li class="authorname"> <a href="/author/DA00018389"> <span class="authorname fn">Colloquium on Trees in Algebra and Programming</span> </a> </li> </ul> </div> </li> <li class="authorslist"> <div class="authordata author vcard"> <ul> <li class="authorname"> <a href="/author/DA07263154"> <span class="authorname fn">Colloquium on Formal Approaches of Software Engineering</span> </a> </li> </ul> </div> </li> </ul> </div> <div id="numofrelateditem"> <ul> <li class="referencelink"><a href="#ref">関連文献: 1件</a></li> </ul> </div> </div> <div class="sectionofdata visible-xs"> <h2 class="heading">著者</h2> <div class="authorsContainer"> <ul class="row"> <li class="authorslist"> <div class="authordata author vcard"> <ul> <li class="authorname"> <a href="/author/DA00902980"> <span class="fn">International Joint Conference on Theory and Practice of Software Development</span> </a> </li> </ul> </div> </li> <li class="authorslist"> <div class="authordata author vcard"> <ul> <li class="authorname"> <a href="/author/DA07263143"> <span class="fn">Gaudel, M.-C. (Marie-Claude)</span> </a> </li> </ul> </div> </li> <li class="authorslist"> <div class="authordata author vcard"> <ul> <li class="authorname"> <a href="/author/DA01006884"> <span class="fn">Jouannaud, Jean-Pierre</span> </a> </li> </ul> </div> </li> <li class="authorslist"> <div class="authordata author vcard"> <ul> <li class="authorname"> <a href="/author/DA00018389"> <span class="fn">Colloquium on Trees in Algebra and Programming</span> </a> </li> </ul> </div> </li> <li class="authorslist"> <div class="authordata author vcard"> <ul> <li class="authorname"> <a href="/author/DA07263154"> <span class="fn">Colloquium on Formal Approaches of Software Engineering</span> </a> </li> </ul> </div> </li> </ul> </div> </div> <div class="sectionofdata"> <h2 class="heading">書誌事項</h2> <div class="dataContainer bibliographicdata"> <p class="bblp-title trd">TAPSOFT '93 : theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings</p> <p class="bblp-author al">M.-C. Gaudel, J.-P. Jouannaud (eds.)</p> <p class="bblp-series ptbtr-ptbno">（Lecture notes in computer science, 668）</p> <p class="bblp-publish publ-pubdt">Springer-Verlag, c1993</p> <ul class="bblp-vols vlsr clearfix"> <li>: gw</li><li>: us</li> </ul> <p class="bblp-type gmd"></p> <dl class="bblp-othertitle trr lowlv-section"> <dt>タイトル別名</dt> <dd> <p>Theory and practice of software development</p> </dd> </dl> </div> </div> <div class="sectionofdata" id="anc-library-top"> <div class="listheading"> <h2 class="heading" id="anc-library">大学図書館所蔵&emsp;<span class="library-fulfillNum"><span id="pNummatches"><span id="numFiltered"></span>件 / </span>全<span class="numoflibrary">60</span>件</span></h2> <script type="text/javascript"> //<![CDATA[ var libraryFilteringSource = "<div class=\"library-filtering clearfix\">" + "<p>" + "<select id=\"kcFilter\" class=\"filter-kencode\" onchange=\"onFilterChanged()\">" + "<option filter=\"kc\" selected=\"selected\" value=\"null\">すべての地域</option>" + "<option filter=\"kc\" value=\"01\" class=\"ken\">北海道</option>" + "<option filter=\"kc\" value=\"02 03 04 05 06 07 \" class=\"region\">東北地方</option>" + "<option filter=\"kc\" value=\"02\" class=\"ken\">青森</option>" + "<option filter=\"kc\" value=\"03\" class=\"ken\">岩手</option>" + "<option filter=\"kc\" value=\"04\" class=\"ken\">宮城</option>" + "<option filter=\"kc\" value=\"05\" class=\"ken\">秋田</option>" + "<option filter=\"kc\" value=\"06\" class=\"ken\">山形</option>" + "<option filter=\"kc\" value=\"07\" class=\"ken\">福島</option>" + "<option filter=\"kc\" value=\"08 09 10 11 12 13 14 \" class=\"region\">関東地方</option>" + "<option filter=\"kc\" value=\"08\" class=\"ken\">茨城</option>" + "<option filter=\"kc\" value=\"09\" class=\"ken\">栃木</option>" + "<option filter=\"kc\" value=\"10\" class=\"ken\">群馬</option>" + "<option filter=\"kc\" value=\"11\" class=\"ken\">埼玉</option>" + "<option filter=\"kc\" value=\"12\" class=\"ken\">千葉</option>" + "<option filter=\"kc\" value=\"13\" class=\"ken\">東京</option>" + "<option filter=\"kc\" value=\"14\" class=\"ken\">神奈川</option>" + "<option filter=\"kc\" value=\"15 16 17 18 19 20 \" class=\"region\">北陸・甲信越地方</option>" + "<option filter=\"kc\" value=\"15\" class=\"ken\">新潟</option>" + "<option filter=\"kc\" value=\"16\" class=\"ken\">富山</option>" + "<option filter=\"kc\" value=\"17\" class=\"ken\">石川</option>" + "<option filter=\"kc\" value=\"18\" class=\"ken\">福井</option>" + "<option filter=\"kc\" value=\"19\" class=\"ken\">山梨</option>" + "<option filter=\"kc\" value=\"20\" class=\"ken\">長野</option>" + "<option filter=\"kc\" value=\"21 22 23 24 \" class=\"region\">東海地方</option>" + "<option filter=\"kc\" value=\"21\" class=\"ken\">岐阜</option>" + "<option filter=\"kc\" value=\"22\" class=\"ken\">静岡</option>" + "<option filter=\"kc\" value=\"23\" class=\"ken\">愛知</option>" + "<option filter=\"kc\" value=\"24\" class=\"ken\">三重</option>" + "<option filter=\"kc\" value=\"25 26 27 28 29 30 \" class=\"region\">関西地方</option>" + "<option filter=\"kc\" value=\"25\" class=\"ken\">滋賀</option>" + "<option filter=\"kc\" value=\"26\" class=\"ken\">京都</option>" + "<option filter=\"kc\" value=\"27\" class=\"ken\">大阪</option>" + "<option filter=\"kc\" value=\"28\" class=\"ken\">兵庫</option>" + "<option filter=\"kc\" value=\"29\" class=\"ken\">奈良</option>" + "<option filter=\"kc\" value=\"30\" class=\"ken\">和歌山</option>" + "<option filter=\"kc\" value=\"31 32 33 34 35 36 37 38 39 \" class=\"region\">中国・四国地方</option>" + "<option filter=\"kc\" value=\"31\" class=\"ken\">鳥取</option>" + "<option filter=\"kc\" value=\"32\" class=\"ken\">島根</option>" + "<option filter=\"kc\" value=\"33\" class=\"ken\">岡山</option>" + "<option filter=\"kc\" value=\"34\" class=\"ken\">広島</option>" + "<option filter=\"kc\" value=\"35\" class=\"ken\">山口</option>" + "<option filter=\"kc\" value=\"36\" class=\"ken\">徳島</option>" + "<option filter=\"kc\" value=\"37\" class=\"ken\">香川</option>" + "<option filter=\"kc\" value=\"38\" class=\"ken\">愛媛</option>" + "<option filter=\"kc\" value=\"39\" class=\"ken\">高知</option>" + "<option filter=\"kc\" value=\"40 41 42 43 44 45 46 47 \" class=\"region\">九州・沖縄地方</option>" + "<option filter=\"kc\" value=\"40\" class=\"ken\">福岡</option>" + "<option filter=\"kc\" value=\"41\" class=\"ken\">佐賀</option>" + "<option filter=\"kc\" value=\"42\" class=\"ken\">長崎</option>" + "<option filter=\"kc\" value=\"43\" class=\"ken\">熊本</option>" + "<option filter=\"kc\" value=\"44\" class=\"ken\">大分</option>" + "<option filter=\"kc\" value=\"45\" class=\"ken\">宮崎</option>" + "<option filter=\"kc\" value=\"46\" class=\"ken\">鹿児島</option>" + "<option filter=\"kc\" value=\"47\" class=\"ken\">沖縄</option>" + "<option filter=\"kc\" value=\"151 152 153 \" class=\"region\">アジア地域</option>" + "<option filter=\"kc\" value=\"151\" class=\"ken\">韓国</option>" + "<option filter=\"kc\" value=\"152\" class=\"ken\">中国</option>" + "<option filter=\"kc\" value=\"153\" class=\"ken\">タイ</option>" + "<option filter=\"kc\" value=\"254 255 256 257 258 259 260 261 \" class=\"region\">ヨーロッパ地域</option>" + "<option filter=\"kc\" value=\"254\" class=\"ken\">イギリス</option>" + "<option filter=\"kc\" value=\"255\" class=\"ken\">ドイツ</option>" + "<option filter=\"kc\" value=\"256\" class=\"ken\">スイス</option>" + "<option filter=\"kc\" value=\"257\" class=\"ken\">フランス</option>" + "<option filter=\"kc\" value=\"258\" class=\"ken\">ベルギー</option>" + "<option filter=\"kc\" value=\"259\" class=\"ken\">オランダ</option>" + "<option filter=\"kc\" value=\"260\" class=\"ken\">スウェーデン</option>" + "<option filter=\"kc\" value=\"261\" class=\"ken\">ノルウェー</option>" + "<option filter=\"kc\" value=\"362 \" class=\"region\">北米地域</option>" + "<option filter=\"kc\" value=\"362\" class=\"ken\">アメリカ</option>" + "<option filter=\"kc\" value=\"__\" class=\"region\">その他海外</option>" + "</select>" + "<select id=\"typeFilter\" class=\"filter-illtype\" onchange=\"onFilterChanged()\">" + "<option filter=\"type\" selected value=\"null\">すべての図書館</option>" + "<option filter=\"type\" value=\"ill\">国内ILL参加館</option>" + "<option filter=\"type\" value=\"oclc\">日米ILL参加館</option>" + "<option filter=\"type\" value=\"keris\">日韓ILL参加館</option>" + "<option filter=\"type\" value=\"grp\">料金相殺可能館</option>" + "</select>" + "<label for=\"opacFilter\" class=\"customCB opacLinkCell\"><input id=\"opacFilter\" class=\"cb\" type=\"checkbox\" onchange=\"onFilterChanged()\"/>OPACリンクあり</label>" + "</p>" +"</div>" ; document.write(libraryFilteringSource); //]]> </script> </div> <div id="holding-libraries" class="datasect_close"> <ul id="library-list" class="clearfix"> <li class="oddline" name="library" _kc="23" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA015169">愛知産業大学・短期大学図書館</a></p> <p> <span class="ll-volume vlsr"><span class="vol">: us</span><span class="cln">007||L||668</span><span class="rgtn">00019961</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://asu.opac.jp/" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="09" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA001696">宇都宮大学附属図書館陽東分館</a></p> <p> <span class="ll-volume vlsr"><span class="vol">:gw</span><span class="cln">549.08-1-668</span><span class="rgtn">2293001216</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://opac.lib.utsunomiya-u.ac.jp/opac/search?s_ncid=BA19829595" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="27" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA003964">大阪公立大学杉本図書館</a><span class="ll-location dstcd">図書館</span></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="cln">548//L49//5740</span><span class="rgtn">11700557405</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://opac.ao.omu.ac.jp/webopac/ufirdi.do?ufi_target=ctlsrh&ncid=BA19829595" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="27" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA007852">大阪産業大学綜合図書館</a></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="cln">549.9/LEC</span><span class="rgtn">02625184</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://library.cnt.osaka-sandai.ac.jp/gate?module=search&path=search&method=search&searchForm.library=true&searchForm.orderNumber=BA19829595" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="27" _type_ill="A" _type_oclc="A" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA002848">大阪大学附属図書館総合図書館</a></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="rgtn">12600024082</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://opac.library.osaka-u.ac.jp/opac/opac_openurl/?ncid=BA19829595" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="33" _type_ill="A" _type_oclc="A" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA003170">岡山大学附属図書館</a><span class="ll-location dstcd">工情報</span></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="cln">007.6||I</span><span class="rgtn">H019000024143*</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="http://webcat.lib.okayama-u.ac.jp/mylimedio/search/search.do?ncid=BA19829595" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="28" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA008221">関西学院大学図書館</a><span class="ll-location dstcd">上ケ原</span></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="cln">510.78:265:668</span><span class="rgtn">0001072537</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://opac.kwansei.ac.jp/iwjs0001opc/ctlsrh.do?ncid=BA19829595" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="40" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA02289X">九州大学理系図書館</a></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="cln">408/L 49</span><span class="rgtn">061232004010938</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://catalog.lib.kyushu-u.ac.jp/opac_openurl/?ncid=BA19829595" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="26" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA012218">京都産業大学図書館</a></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="cln">S/418.6</span><span class="rgtn">675596</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://ksucat2.kyoto-su.ac.jp/webopac/ufirdi.do?ufi_target=ctlsrh&ncid=BA19829595" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="26" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA002768">京都大学数理解析研究所図書室</a><span class="ll-location dstcd">数研</span></p> <p> <span class="ll-volume vlsr"><span class="cln">L/N||LNCS||668</span><span class="rgtn">93006372</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://kuline.kulib.kyoto-u.ac.jp/opac/opac_openurl/?ncid=BA19829595" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="27" _type_ill="A" _type_oclc="N" _type_keris="A" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA008028">近畿大学中央図書館</a><span class="ll-location dstcd">中図</span></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="cln">549.92-L49-668</span><span class="rgtn">10334667</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://opac.clib.kindai.ac.jp/iwjs0014opc/ufirdi.do?ufi_target=ctlsrh&ncid=BA19829595" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="39" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA016922">高知工科大学附属情報図書館</a></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="cln">007||L49||668</span><span class="rgtn">00017261</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://www-opac.lib.kppuc.ac.jp/mylimedio/search/search.do?target=local&mode=comp&category-mgz=1&category-book=1&annex=all&ncid=BA19829595" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="01" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA019625">公立はこだて未来大学情報ライブラリー</a></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="cln">007.08||Le||668</span><span class="rgtn">000016308</span>,</span><wbr/> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="cln">007.08||Le||668</span><span class="rgtn">000042825</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://lib-auth.fun.ac.jp/webopac/ufirdi.do?ufi_target=ctlsrh&ncid=BA19829595" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="11" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="N"> <div class="librarylist-item"> <p><a href="/library/FA011168">国立研究開発法人理化学研究所図書館</a></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="cln">430||LEC-1||668</span><span class="rgtn">B9906945</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><span class="noOpacLink">OPAC</span></p></div> </div> </li> <li class="oddline" name="library" _kc="27" _type_ill="A" _type_oclc="N" _type_keris="A" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA009224">国立民族学博物館情報管理施設</a></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="cln">W1/004/Lec</span><span class="rgtn">C930330022</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://opac.minpaku.ac.jp/webopac/ufirdi.do?ufi_target=ctlsrh&ncid=BA19829595" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="35" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA021864">山陽小野田市立山口東京理科大学図書館</a><span class="ll-location dstcd">図</span></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="cln">007.6||L49-668</span><span class="rgtn">99534680</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://library.socu.ac.jp/opac/search?autoDetail=true&searchmode=complex&target=local&s_ncid=BA19829595" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="25" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA002597">滋賀大学附属図書館</a></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="cln">001.6||L 49||668</span><span class="rgtn">093001666</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://library.shiga-u.ac.jp/opac/search?target=local&searchmode=complex&autoDetail=true&s_ncid=BA19829595" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="22" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA002371">静岡大学附属図書館</a><span class="ll-location dstcd">静図</span></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="cln">007/L49/668</span><span class="rgtn">0093023463</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://uni.lib.shizuoka.ac.jp/sul/resolver/svc_dat=suopac/rfr_id=https%3A%2F%2Fnii.ac.jp/?pid=ncid%3ABA19829595" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="22" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA002382">静岡大学附属図書館浜松分館</a><span class="ll-location dstcd">浜図</span></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="cln">007/L49/668</span><span class="rgtn">8096038875</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://uni.lib.shizuoka.ac.jp/sul/resolver/svc_dat=suopac/rfr_id=https%3A%2F%2Fnii.ac.jp/?pid=ncid%3ABA19829595" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="22" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA013039">静岡理工科大学附属図書館</a></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="cln">007.63||L471||668</span><span class="rgtn">09602298</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://sistlb.sist.ac.jp/mylimedio/search/search.do?target=local&mode=comp&category-mgz=1&category-book=1&annex=all&ncid=BA19829595" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="14" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA006893">湘南工科大学附属図書館</a></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="rgtn">Z32532</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://lib.shonan-it.ac.jp/CARIN/CARINOPACLINK.HTM?OAL=BA19829595" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="13" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA005358">上智大学図書館</a><span class="ll-location dstcd">中央</span></p> <p> <span class="ll-volume vlsr"><span class="cln">QA:76.76:D47:I58:1993</span><span class="rgtn">001180109</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://www.lib.sophia.ac.jp/opac/opac_openurl?ncid=BA19829595" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="13" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA005642">拓殖大学八王子図書館</a></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="cln">007.64||1993||131-2</span><span class="rgtn">00594660</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://opac.lib.takushoku-u.ac.jp/opac/search?target=local&searchmode=complex&autoDetail=true&s_ncid=BA19829595" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="12" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA001754">千葉大学附属図書館</a><span class="ll-location dstcd">理数学</span></p> <p> <span class="ll-volume vlsr"><span class="vol">: us</span><span class="rgtn">093030526</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="http://opac.ll.chiba-u.jp/opac/opac_openurl/?ncid=BA19829595" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="12" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA004898">中央学院大学図書館</a></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="rgtn">E0543991</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="http://wwwlib.cgu.ac.jp/mylimedio/search/search.do?target=local&mode=comp&category-mgz=1&category-book=1&annex=all&ncid=BA19829595" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="13" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA005686">中央大学図書館理工学部分館</a><span class="ll-location dstcd">理工</span></p> <p> <span class="ll-volume vlsr"><span class="cln">004/L47</span><span class="rgtn">00014906713</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://opac.library.chuo-u.ac.jp/" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="08" _type_ill="A" _type_oclc="A" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA001652">筑波大学附属図書館中央図書館</a></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="cln">007.08-L49-668</span><span class="rgtn">937004062,10093700544</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://www.tulips.tsukuba.ac.jp/mylimedio/search/search.do?target=local&mode=comp&ncid=BA19829595" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="08" _type_ill="A" _type_oclc="A" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA001641">筑波大学附属図書館図書館情報学図書館</a></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="cln">007.08:L-49:668</span><span class="rgtn">931000590</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://www.tulips.tsukuba.ac.jp/mylimedio/search/search.do?target=local&mode=comp&ncid=BA19829595" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="13" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA001991">電気通信大学附属図書館</a><span class="ll-location dstcd">開架</span></p> <p> <span class="ll-volume vlsr"><span class="cln">549.98||L49||668</span><span class="rgtn">2219408649</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://www.lib.uec.ac.jp/mylimedio/search/search.do?mode=comp&taget=local&ncid=BA19829595" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="14" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA005802">東海大学付属図書館</a><span class="ll-location dstcd">12</span></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="cln">549.92/L/668</span><span class="rgtn">01395192</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://opac-t.time.u-tokai.ac.jp/iwjs0018opc/ufirdi.do?ufi_target=ctlsrh&ncid=BA19829595" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="13" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA000106">東京科学大学大岡山図書館</a></p> <p> <span class="ll-volume vlsr"><span class="cln">Z00424</span><span class="rgtn">116129396</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://topics.libra.titech.ac.jp/recordID/catalog.bib/BA19829595" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="13" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA020395">東京大学大学院情報理工学系研究科</a><span class="ll-location dstcd">CS図</span></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="cln">39:L:1.668</span><span class="rgtn">2012459323</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://opac.dl.itc.u-tokyo.ac.jp/opac/opac_openurl/?ncid=BA19829595" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="14" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA018542">東京都市大学横浜キャンパス図書館</a></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="cln">007.64/G27t</span><span class="rgtn">1199850278</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://www.lib.tcu.ac.jp/webopac/ufirdi.do?ufi_target=ctlsrh&ncid=BA19829595" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="04" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA001492">東北大学電気通信研究所図書室</a></p> <p> <span class="ll-volume vlsr"><span class="rgtn">06000009071</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="http://opac.library.tohoku.ac.jp/opac/opac_openurl/?ncid=BA19829595" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="04" _type_ill="A" _type_oclc="A" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA001379">東北大学附属図書館</a><span class="ll-location dstcd">本館</span></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="rgtn">06000009071</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="http://opac.library.tohoku.ac.jp/opac/opac_openurl/?ncid=BA19829595" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="37" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA008753">徳島文理大学香川キャンパス附属図書館</a><span class="ll-location dstcd">香図</span></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="cln">007.08/Le/668</span><span class="rgtn">6060211</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://lib-opac.bunri-u.ac.jp/mylimedio/search/search.do?mode=comp&target=local&ncid=BA19829595" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="23" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="N"> <div class="librarylist-item"> <p><a href="/library/FA007364">豊田工業大学総合情報センター</a></p> <p> <span class="ll-volume vlsr"><span class="rgtn">00048521</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><span class="noOpacLink">OPAC</span></p></div> </div> </li> <li class="evenline" name="library" _kc="26" _type_ill="A" _type_oclc="A" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA007670">同志社大学図書館</a></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="cln">418.6;L3;668</span><span class="rgtn">67;9320158300</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://doors.doshisha.ac.jp/opac/opac_openurl/?ncid=BA19829595" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="23" _type_ill="A" _type_oclc="A" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA002542">名古屋工業大学図書館</a></p> <p> <span class="ll-volume vlsr"><span class="cln">549.92||I 57||4</span><span class="rgtn">93200619</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://opac.lib.nitech.ac.jp/opc/recordID/catalog.bib/BA19829595" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="23" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA002495">名古屋大学工学図書室</a><span class="ll-location dstcd">工電気情報</span></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="cln">007.08||L</span><span class="rgtn">41091802</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://m-opac.nul.nagoya-u.ac.jp/iwjs0023opc/ufirdi.do?ufi_target=ctlsrh&ncid=BA19829595&initFlg=_RESULT_SET_NOTBIB" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="23" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA002429">名古屋大学情報・言語合同図書室</a><span class="ll-location dstcd">情報・言語</span></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="cln">007.08||L||668||閉架</span><span class="rgtn">50081951</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://m-opac.nul.nagoya-u.ac.jp/iwjs0023opc/ufirdi.do?ufi_target=ctlsrh&ncid=BA19829595&initFlg=_RESULT_SET_NOTBIB" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="29" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA01452X">奈良先端科学技術大学院大学附属図書館</a></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="cln">AB||23||668</span><span class="rgtn">0013352</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://library.naist.jp/opac/en/search?s_ncid=BA19829595" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="15" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA002087">新潟大学附属図書館</a><span class="ll-location dstcd">図</span></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="cln">007//L49//668</span><span class="rgtn">1300640779</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="http://opac.lib.niigata-u.ac.jp/opc/recordID/catalog.bib/BA19829595" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="13" _type_ill="A" _type_oclc="A" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA002010">一橋大学附属図書館</a><span class="ll-location dstcd">図</span></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="rgtn">129303230N</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://opac.lib.hit-u.ac.jp/opac/opac_openurl/?ncid=BA19829595" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="02" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA001346">弘前大学附属図書館</a><span class="ll-location dstcd">本館</span></p> <p> <span class="ll-volume vlsr"><span class="vol">:gw</span><span class="cln">007</span><span class="rgtn">h0113350*</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="http://opc.ul.hirosaki-u.ac.jp/opc/recordID/catalog.bib/BA19829595" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="34" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA014927">広島市立大学附属図書館</a></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="cln">007.08LE668</span><span class="rgtn">0000464130</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://opac.lib.hiroshima-cu.ac.jp/opac/search?target=local&searchmode=complex&autoDetail=true&s_ncid=BA19829595" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="34" _type_ill="A" _type_oclc="A" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA012284">広島大学図書館中央図書館</a></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="cln">007.63:I-57/HL401000</span><span class="rgtn">4000401519</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="http://opac.lib.hiroshima-u.ac.jp/webopac/ufirdi.do?ufi_target=ctlsrh&ncid=BA19829595" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="34" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA003261">広島大学図書館東図書館</a></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="cln">007.63:I-57/HL606100</span><span class="rgtn">6000403093</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="http://opac.lib.hiroshima-u.ac.jp/webopac/ufirdi.do?ufi_target=ctlsrh&ncid=BA19829595" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="40" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA008913">福岡大学図書館</a></p> <p> <span class="ll-volume vlsr"><span class="vol">:gw</span><span class="rgtn">10950164</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://fuopac.lib.fukuoka-u.ac.jp/opac/opac_openurl/?ncid=BA19829595" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="13" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA006565">法政大学図書館</a><span class="ll-location dstcd">多図</span></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="cln">007/L49/668</span><span class="rgtn">10602020143234</span>,</span><wbr/> <span class="ll-volume vlsr"><span class="cln">007/L49/668</span><span class="rgtn">10602020143234</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://opac.lib.hosei.ac.jp/opac/opac_openurl?ncid=BA19829595" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="17" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="N"> <div class="librarylist-item"> <p><a href="/library/FA014009">北陸先端科学技術大学院大学附属図書館</a><span class="ll-location dstcd">図</span></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="cln">LN ||LNCS||668</span><span class="rgtn">5930297</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><span class="noOpacLink">OPAC</span></p></div> </div> </li> <li class="evenline" name="library" _kc="01" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA001007">北海道大学附属図書館</a><span class="ll-location dstcd">図</span></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="cln">004/l497/668</span><span class="rgtn">8270009397</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://opac.lib.hokudai.ac.jp/opac/opac_openurl/?ncid=BA19829595" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="24" _type_ill="A" _type_oclc="N" _type_keris="A" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA002564">三重大学附属図書館</a></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="cln">549.9/L 49/668</span><span class="rgtn">69303162</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="http://opac.lib.mie-u.ac.jp/opc/xc/openurl/search?rft.issn=BA19829595" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="04" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA017492">宮城大学学術情報センター</a></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="cln">007.63||T||93</span><span class="rgtn">000110305</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://lib.myu.ac.jp/opac/complexsearch/" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="13" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA006714">明治学院大学図書館</a><span class="ll-location dstcd">横研究</span></p> <p> <span class="ll-volume vlsr"><span class="cln">001.6:L:668</span><span class="rgtn">1100518362</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://mgopac.meijigakuin.ac.jp/opac/opac_openurl/?ncid=BA19829595" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="13" _type_ill="A" _type_oclc="A" _type_keris="A" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA006678">明治大学図書館</a><span class="ll-location dstcd">生</span></p> <p> <span class="ll-volume vlsr"><span class="cln">418.6||11-||||K</span><span class="rgtn">29301642</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://opac2018.lib.meiji.ac.jp/webopac/ufirdi.do?ufi_target=ctlsrh&ncid=BA19829595" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="13" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA006758">立教大学図書館</a></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="rgtn">93-31481</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://opac.rikkyo.ac.jp/opac/opac_openurl/?ncid=BA19829595" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="47" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA003691">琉球大学附属図書館</a></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="cln">007.08||LE||668</span><span class="rgtn">93102026</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://opac.lib.u-ryukyu.ac.jp/opc/xc/search/*?os[isbn]=BA19829595" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="25" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA012455">龍谷大学瀬田図書館</a><span class="ll-location dstcd">図</span></p> <p> <span class="ll-volume vlsr"><span class="vol">: us</span><span class="rgtn">39300077405</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://opac.ryukoku.ac.jp/iwjs0005opc/ufirdi.do?ufi_target=ctlsrh&ncid=BA19829595" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="30" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA003104">和歌山大学教育機構学術情報センター図書館</a></p> <p> <span class="ll-volume vlsr"><span class="vol">: gw</span><span class="rgtn">219950005419</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://opac.center.wakayama-u.ac.jp/opac/opac_openurl/?ncid=BA19829595" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="hide" id="no_library_msg"> <div>該当する所蔵館はありません</div> </li> <li class="hide" id="remove_all_filters"> <a href="" onclick="return removeAllFilters();">すべての絞り込み条件を解除する</a> </li> </ul> <script type="text/javascript"> //<![CDATA[ var switchLinkSource = "<p id=\"showmore_switchlink\" class=\"showmore-switch\"><a id=\"showmore_trigger\" href=\"#anc-library\" onclick=\"dataDisclosure('holding-libraries' , 'showmore_trigger');\">すべての所蔵館を表示<\/a><\/p>"; document.write(switchLinkSource); //]]> </script> </div> </div> <div class="sectionofdata" id="srch_fulltext"> <h2 class="heading">この図書・雑誌をさがす</h2> <div class="dataContainer externallink" id="externallink"> <ul class="clearfix"> <li class="externallinkL calil" style="background:transparent url('/books/images/exbanner-calil.gif') left no-repeat;"><a target="_blank" href="https://calil.jp/search?q=3540566104|0387566104" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'Search-Calil'});">カーリル</a></li> <li class="externallinkL worldcat" style="background:transparent url('/books/images/exbanner-worldcat.png') left no-repeat;"><a target="_blank" href="https://search.worldcat.org/search?q=bn:3540566104" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'Search-WorldCat'});">WorldCat</a></li> </ul> </div> </div> <div class="sectionofdata"> <h2 class="heading">注記</h2> <div class="dataContainer biblio-note nt"> <p>Includes bibliographical references and index</p> </div> </div> <div class="sectionofdata"> <h2 class="headingbar">内容説明・目次</h2> <div class="dataContainer biblio-contents toc"> <p class="toc-kind">内容説明</p> <div class="toc-body">This volume contains the proceedings of the fourth International Joint Conference on the Theory and Practice of Software Development, TAPSOFT '93. Since the first in 1985, the aim of these conferences has been to bring together theoretical computer scientists and researchers in software engineering with a view to discussing how formal methods can usefully be applied in software development. TAPSOFT '93 consists ofthree parts: an advanced seminar, the Colloquium on Trees in Algebra and Programming (CAAP), and the Colloquium on Formal Approaches of Software Engineering (FASE). The advanced seminar includes four invited surveys and four invited conferences. The selected papers for CAAP are organized in seven sessions: specifications and proofs, concurrency, automata and counting, constraints solving, rewriting, logic and trees, analysis of algorithms, and a common session with FASE on type inference. The selected papers for FASE are presented in eight sessions: case studies in formal design and development, compositionality modules and development, formal development, foundations and analysis of formal specifications, verification of concurrent systems, model checking, parallel calculus, and a common session with CAAP on type inference.</div> <p class="toc-kind">目次</p> <div class="toc-body">Goldilocks and the three specifications.- On relating some models for concurrency.- Compositionality results for different types of parameterization and parameter passing in specification languages.- Proving ground confluence and inductive validity in constructor based equational specifications.- Associative-commutative discrimination nets.- Algebraic specification and development in geometric modeling.- A case study in transformational design of concurrent systems.- Yeast: A case study for a practical use of formal methods.- Verification and comparison of transition systems.- Constraining interference in an object-based design method.- From ?-calculus to higher-order ?-calculus - and back.- Hyperedge replacement with rendezvous.- True concurrency semantics for a linear logic programming language with broadcast communication.- A general framework for modular implementations of modular system specifications.- Specifications can make programs run faster.- Application of the composition principle to unity-like specifications.- Trees, ordinals and termination.- When is a functional tree transduction deterministic?.- Automata on infinite trees with counting constraints.- Directed column-convex polyominoes by recurrence relations.- Object organisation in software environments for formal methods.- Monads, indexes and transformations.- A technique for specifying and refining TCSP processes by using guards and liveness conditions.- Applications of type theory.- Feature automata and recognizable sets of feature trees.- About the theory of tree embedding.- Linear unification of higher-order patterns.- A theory of requirements capture and its applications.- Exception handling and term labelling.- Gate splitting in LOTOS specifications using abstract interpretation.- Constructing systems as object communities.- Term rewriting in CT?.- Optimal reductions in interaction systems.- Optimal solutions to pattern matching problems.- Testing for a conformance relation based on acceptance.- Testability of a communicating system through an environment.- Automating (specification = implementation) using equational reasoning and LOTOS.- On the Ehrenfeucht-Fraisse game in theoretical computer science.- On asymptotic probabilities in logics that capture DSPACE(log n) in presence of ordering.- A propositional dense time logic.- La Vraie Forme d'un Arbre.- Model checking using net unfoldings.- Reachability analysis on distributed executions.- Property preserving abstractions under parallel composition.- Types as parameters.- Polymorphic type inference with overloading and subtyping.- Type reconstruction with recursive types and atomic subtyping.- (Un)expected path lengths of asymmetric binary search trees.- Trie size in a dynamic list structure.- A fully parallel calculus of synchronizing processes.- Generic systolic arrays: A methodology for systolic design.</div> <p class="toc-provided-by"> 「Nielsen BookData」より</p> </div> </div> <div class="sectionofdata"> <div class="listheading"> <h2 id="ref" class="heading">関連文献：&ensp;1件中 &ensp;1-1を表示</h2> </div> <div class="listContainer related-article_list"> <ul> <li class="oddline"> <div class="listitem xfolkentry"> <div class="list_number hidden-xs">1</div> <dl class="book_class"> <dt class="item_mainTitle item_title trd"> <a href="/ncid/BA00009279" class="taggedlink">Lecture notes in computer science</a> </dt> <dd> <p class="item_subData item_authordata"></p> <p class="item_data item_publishdata"> <span class="pblc">Springer-Verlag</span> </p> <p class="item_data item_bibotherdata"> <span class="vlsr">volumes 1-100 index</span> </p> <p class="item_data item_librarynum">所蔵館8館</p> </dd> </dl> </div> </li> </ul> </div> </div> </div> </div> <div class="side_navigation"> <div id="sidenav_inner" class="relateditem"> <div class="relateditem_section accesscount"> <div id="promotion" class="relateditem_section promotion" style="margin:5px 0 !important;"> <ul class="slider"> <li><a href="/books/redirect?type=advt&url=https%3A%2F%2Fjp.surveymonkey.com%2Fr%2Fcib-enquete-2024" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'Advt-1742255981-0-db-ja-B'});" title="CiNii利用者アンケート" target="_blank"><img data-lazy="/books/images/ad/ad_ja_1742255981_0.png"></a></li> </ul> <script type="text/javascript" src="/books/js/slick.min.js?v=20190418"></script> <script type="text/javascript"> $(function() { $('.slider').slick({ infinite: true, dots: false, slidesToShow: 1, slidesToScroll: 1, autoplay: true, arrows: false, variableWidth: true, centerMode: true, lazyLoad: 'progressive', }); }); </script> </div> </div> <div class="relateditem_section social"> <ul class="snsb clearfix"> <li><a href="https://twitter.com/share" class="twitter-share-button" data-lang="ja" data-hashtags="CiNii" data-dnt="true" data-count="vertical">Tweet</a> <script>!function(d,s,id){var js,fjs=d.getElementsByTagName(s)[0];if(!d.getElementById(id)){js=d.createElement(s);js.id=id;js.src="//platform.twitter.com/widgets.js?charset=utf8";js.charset="UTF-8";fjs.parentNode.insertBefore(js,fjs);}}(document,"script","twitter-wjs");</script> </li> <li><div id="fb-root"></div> <script> window.fbAsyncInit = function() { FB.init({ appId : '359135477483189', autoLogAppEvents : true, xfbml : true, version : 'v2.10' }); FB.AppEvents.logPageView(); }; (function(d, s, id){ var js, fjs = d.getElementsByTagName(s)[0]; if (d.getElementById(id)) {return;} js = d.createElement(s); js.id = id; js.src = "//connect.facebook.net/ja_JP/sdk.js"; fjs.parentNode.insertBefore(js, fjs); }(document, 'script', 'facebook-jssdk')); </script> <div class="fb-like" data-href="https://ci.nii.ac.jp/ncid/BA19829595" data-colorscheme="light" data-layout="box_count" data-action="like" data-show-faces="false" data-send="false" data-font="arial" width="70"></div> </li> </ul> </div> <div id="biblio-image" class="relateditem_section biblio-image-hidden"></div> <div id="biblio-codes" class="relateditem_section papercodes"> <h2 class="heading">詳細情報</h2> <ul class="detailcodeslist"> <li class="papercodesitem ncid"><dl><dt>NII書誌ID(NCID)</dt><dd>BA19829595</dd></dl></li> <li class="papercodesitem isbn"><dl><dt>ISBN</dt><dd><ul class="particular-datalist"><li>3540566104</li><li>0387566104</li></ul></dd></dl></li> <li class="papercodesitem lccn"><dl><dt>LCCN</dt><dd><a href="https://lccn.loc.gov/93010178" target="_blank">93010178</a></dd></dl></li> <li class="papercodesitem ctr"><dl><dt>出版国コード</dt><dd>gw</dd></dl></li> <li class="papercodesitem ctgl"><dl><dt>タイトル言語コード</dt><dd class="ctgl">eng</dd></dl></li> <li class="papercodesitem txtl"><dl><dt>本文言語コード</dt><dd class="txtl">eng</dd></dl></li> <li class="papercodesitem plg"><dl><dt>出版地</dt><dd>Berlin ; New York</dd></dl></li> <li class="papercodesitem phynum"><dl><dt>ページ数/冊数</dt><dd>xii, 761 p.</dd></dl></li> <li class="papercodesitem physz"><dl><dt>大きさ</dt><dd>24 cm</dd></dl></li> <li class="papercodesitem clsn"> <dl> <dt>分類</dt> <dd> <ul class="particular-datalist particular-datalist-cls"> <li>LCC : <a href="/books/search?clas=QA76.76.D47&advanced=true&count=20&sortorder=3">QA76.76.D47</a></li><li>DC20 : <a href="/books/search?clas=005.1&advanced=true&count=20&sortorder=3">005.1</a></li><li>NDC8 : <a href="/books/search?clas=007.63&advanced=true&count=20&sortorder=3">007.63</a></li> </ul> </dd> </dl> </li> <li class="papercodesitem sh"> <dl> <dt>件名</dt> <dd> <ul class="particular-datalist particular-datalist-sh"> <li>LCSH : <a href="/books/search?subject=Computer%20software%20--%20Development%20--%20Congresses&advanced=true&count=20&sortorder=3">Computer software -- Development -- Congresses</a></li> </ul> </dd> </dl> </li> <li class="papercodesitem ptbl"><dl><dt>親書誌ID</dt><dd><ul class="particular-datalist"><li><a href="/ncid/BA00009279">BA00009279</a></li></ul></dd></dl></li> </ul> </div> <div id="writingformat" class="relateditem_section writingformat"> <h2 class="heading">書き出し</h2> <ul class="exportlist"> <li><div class="ie_bug_fixer"><a href="/ncid/BA19829595/refworks" target="RefWorksMain" onclick="gtag('event', 'click', {'event_category': 'export', 'event_action': 'click', 'event_label': 'BJDetail-RefWorks'});"">RefWorksに書き出し</a></div></li> <li><div class="ie_bug_fixer"><a href="/ncid/BA19829595/endnote" onclick="gtag('event', 'click', {'event_category': 'export', 'event_action': 'click', 'event_label': 'BJDetail-EndNote'});"">EndNoteに書き出し</a></div></li> <li><div class="ie_bug_fixer"><a href="/books/redirect?type=mendeley&url=https%3A%2F%2Fwww.mendeley.com%2Fimport%2F%3Furl%3Dhttps%3A%2F%2Fci.nii.ac.jp%2Fncid%2FBA19829595.bib%26format%3Dbib" target="MendeleyMain" onclick="gtag('event', 'click', {'event_category': 'export', 'event_action': 'click', 'event_label': 'BJDetail-Mendeley'});"">Mendeleyに書き出し</a></div></li> <li><div class="ie_bug_fixer"><a href="/ncid/BA19829595.bix" target="_blank" onclick="gtag('event', 'click', {'event_category': 'export', 'event_action': 'click', 'event_label': 'BJDetail-Refer-BibIX'});"">Refer/BibIXで表示</a></div></li> <li><div class="ie_bug_fixer"><a href="/ncid/BA19829595.ris" target="_blank" onclick="gtag('event', 'click', {'event_category': 'export', 'event_action': 'click', 'event_label': 'BJDetail-RIS'});"">RISで表示</a></div></li> <li><div class="ie_bug_fixer"><a href="/ncid/BA19829595.bib" target="_blank" onclick="gtag('event', 'click', {'event_category': 'export', 'event_action': 'click', 'event_label': 'BJDetail-BibTeX'});"">BibTeXで表示</a></div></li> <li><div class="ie_bug_fixer"><a href="/ncid/BA19829595.tsv" target="_blank" onclick="gtag('event', 'click', {'event_category': 'export', 'event_action': 'click', 'event_label': 'BJDetail-TSV'});"">TSVで表示</a></div></li> <li><div class="ie_bug_fixer"><a href="/ncid/BA19829595.txt" target="_blank" onclick="gtag('event', 'click', {'event_category': 'export', 'event_action': 'click', 'event_label': 'BJDetail-ISBD'});"">ISBDで表示</a></div></li> </ul> </div> </div> </div> <a class="gotop center-block visible-xs"> ページトップへ </a> </div> </div> <footer class="footer"> <div class="footer-wrap"> <div class="displaymode visible-xs"> <div class="modelist"> <div class="modeitem"> <span id="btnSP" class="selected">スマートフォン版</span> </div> | <div class="modeitem"> <a id="btnPC" href="#" onclick="selectModePc();return false;">PC版</a> </div> </div> </div> <div class="footer-linkblock ftb-about"> <ul class="ft-group"> <li><p class="ft-heading">CiNiiについて</p> <ul class="ft-list"> <li><a href="https://support.nii.ac.jp/ja/cinii/cinii_outline">CiNiiについて</a></li> <li><a href="https://support.nii.ac.jp/ja/cia/cinii_db">収録刊行物について</a></li> <li><a href="https://support.nii.ac.jp/ja/cinii/terms">利用規約・プライバシーポリシー</a></li> <li><a href="https://support.nii.ac.jp/ja/cinii/contact">お問い合わせ</a></li> <li><a href="https://www.nii.ac.jp/">国立情報学研究所 (NII)</a></li> </ul> </li> </ul> </div> <div class="footer-linkblock ftb-help"> <ul class="ft-group"> <li><p class="ft-heading">ヘルプ</p> <ul class="ft-list"> <li><p><a href="https://support.nii.ac.jp/ja/cir/manual_outline">CiNii Research</a></p> </li> <li><p><a href="https://support.nii.ac.jp/ja/cib/manual_outline">CiNii Books - 大学図書館の本をさがす</a></p> </li> <li><p><a href="https://support.nii.ac.jp/ja/cid/manual_outline">CiNii Dissertations - 日本の博士論文をさがす</a></p> </li> <li><p><a href="https://support.nii.ac.jp/ja/cinii/api/api_outline">メタデータ・API</a></p> </li> </ul> </li> </ul> </div> <div class="footer-linkblock ftb-info"> <ul class="ft-group"> <li><p class="ft-heading">新着情報</p> <ul class="ft-list"> <li><a href="https://support.nii.ac.jp/ja/news/cinii">お知らせ</a></li> <li><a href="https://support.nii.ac.jp/ja/news/cinii/feed" class="ft-rsslink">RSS</a></li> <li><a href="https://twitter.com/cinii_jp">Twitter</a></li> </ul> </li> </ul> </div> <div class="footer-linkblock ftb-service"> <ul class="ft-group"> <li><p class="ft-heading">NIIのコンテンツサービス</p> <ul class="ft-list"> <li><a href="https://kaken.nii.ac.jp/">KAKEN - 科学研究費助成事業データベース</a></li> <li><a href="https://irdb.nii.ac.jp/">IRDB - 学術機関リポジトリデータベース</a></li> <li><a href="https://reo.nii.ac.jp/">NII-REO - 電子リソースリポジトリ</a></li> </ul> </li> </ul> </div> </div> </footer> <script type="text/javascript" src="/books/js/customFormControls.js?V240716"></script> <script type="text/javascript" src="/books/js/librarylist_disclosure.js?V180703"></script> <script type="text/javascript"> $(document).ready(function() { sec_defaultClose(); onFilterChanged(); }); if (document.getSelection) { $("span.dstcd, span.ll-volume.vlsr span").on('dblclick', function() { setSelection(this); }); } </script> <script type="text/javascript"> $(document).ready(function() { show_preview(); $(".particular-datalist-cls a,.particular-datalist-sh a").on('click', function() { var href = $(this).attr("href"); href = href.replace(/&sortorder=[0-9]*/, ""); href = href.replace(/&count=[0-9]*/, ""); var count = getSiteSettingValue("bc.", "20"); if(!isNaN(parseInt(count))) { href += "&count=" + count; } var sortorder = getSiteSettingValue("bs.", "3"); if(!isNaN(parseInt(sortorder))) { href += "&sortorder=" + sortorder; } this.href = href; return true; }); }); </script> <script> window.dataLayer = window.dataLayer || []; function gtag(){dataLayer.push(arguments);} gtag('js', new Date()); gtag('config', 'G-5YXF8KWH9K'); // Creates a tracker. //gtag('event', 'page_view', { 'send_to': 'G-5YXF8KWH9K' }); // Sends a pageview. </script></body> </html>

CINXE.COM

CiNii 図書 - TAPSOFT '93 : theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings