CINXE.COM
CiNii 図書 - Sur l'interprétation des schémas de programmes monadiques
<!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" /> <!--[if IE 8.0]> <link rel="stylesheet" type="text/css" href="/books/style/cinii-ie8.css?V151112"> <![endif]--> <title>CiNii 図書 - Sur l'interprétation des schémas de programmes monadiques</title> <link rel="meta" type="application/rdf+xml" title="RDF" href="/ncid/BC16248422.rdf" /> <link rel="meta" type="application/json" title="JSON-LD 1.0" href="/ncid/BC16248422.json" /> <link rel="canonical" href="https://ci.nii.ac.jp/ncid/BC16248422" /> <link rel="amphtml" href="https://ci.nii.ac.jp/ncid/BC16248422.amp" /> <meta name="dc.title" content="Sur l'interprétation des schémas de programmes monadiques" /> <meta name="dc.creator" content="Nivat, Maurice" /> <meta name="dc.publisher" content="Institut de Recherche d'Informatique et d'Automatique" /> <meta name="dc.date" content="1972" /> <meta name="dc.type" content="book" /> <meta name="citation_abstract_html_url" content="https://ci.nii.ac.jp/ncid/BC16248422" /> <meta property="og:title" content="CiNii 図書 - Sur l'interprétation des schémas de programmes monadiques" /> <meta property="og:description" content="Sur l'interprétation des schémas de programmes monadiques M. Nivat (Laboratoire de recherche en informatique et automatique, Rapport de Recherche no 1) Institut de Recherche d'Informatique et d'Automatique, 1972" /> <meta property="og:type" content="book" /> <meta property="og:url" content="https://ci.nii.ac.jp/ncid/BC16248422" /> <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 図書 - Sur l'interprétation des schémas de programmes monadiques" /> <script type="application/ld+json"> { "@context": "http://schema.org", "@type": "Article", "name": "Sur l'interprétation des schémas de programmes monadiques", "author": { "@type": "Person", "name": "M. Nivat" }, "publisher": { "@type":"Organization", "name": "Institut de Recherche d'Informatique et d'Automatique" }, "datePublished": "1972", "description": "Includes bibliographical references\n", "url": "https://ci.nii.ac.jp/ncid/BC16248422", "headline": "Sur l'interprétation des schémas de programmes monadiques" } </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><!-- end of div.navbar-topcontent --> <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/BC16248422?l=en" class="menu-utility-item">English</a></li> </ul> </div><!-- end of div#nav-content --> </nav><!-- end of nav.navbar-header --> <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> </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>Sur l'interprétation des schémas de programmes monadiques</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/DA0104972X"> <span class="authorname fn">Nivat, Maurice</span> </a> </li> </ul> </div> </li> </ul> </div><!-- end of div#authors --> <div id="numofrelateditem"> <ul> <li class="referencelink"><a href="#ref">関連文献: 1件</a></li> </ul> </div> </div><!-- end of div.itemheading --> <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/DA0104972X"> <span class="fn">Nivat, Maurice</span> </a> </li> </ul> </div> </li> </ul> </div> </div><!-- end of div.sectionofdata --> <div class="sectionofdata"> <h2 class="heading">書誌事項</h2> <div class="dataContainer bibliographicdata"> <p class="bblp-title trd">Sur l'interprétation des schémas de programmes monadiques</p> <p class="bblp-author al">M. Nivat</p> <p class="bblp-series ptbtr-ptbno">(Laboratoire de recherche en informatique et automatique, Rapport de Recherche no 1)</p> <p class="bblp-publish publ-pubdt">Institut de Recherche d'Informatique et d'Automatique, 1972</p> <ul class="bblp-vols vlsr clearfix"> </ul> <p class="bblp-type gmd"></p> </div> </div><!-- end of div.sectionofdata --> <div class="sectionofdata" id="anc-library-top"> <div class="listheading"> <h2 class="heading" id="anc-library">大学図書館所蔵 <span class="library-fulfillNum"><span id="pNummatches"><span id="numFiltered"></span>件 / </span>全<span class="numoflibrary">1</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><!-- end of div.listheading --> <div id="holding-libraries" class="datasect_close"> <ul id="library-list" class="clearfix"> <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/FA002768">京都大学 数理解析研究所 図書室</a><span class="ll-location dstcd">数研</span></p> <p> <span class="ll-volume vlsr"><span class="cln">L/N||NIV||1||1</span><span class="rgtn">200043626075</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=BC16248422" 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><!-- end of div.holding-libraries --> </div><!-- end of div.sectionofdata --> <div class="sectionofdata" id="srch_fulltext"> <h2 class="heading">この図書・雑誌をさがす</h2> <div class="dataContainer externallink" id="externallink"> <ul class="clearfix"> <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=Sur%20l'interpr%C3%A9tation%20des%20sch%C3%A9mas%20de%20programmes%20monadiques" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'Search-WorldCat'});">WorldCat</a></li> </ul> </div> </div><!-- end of div.sectionofdata --> <div class="sectionofdata"> <h2 class="heading">注記</h2> <div class="dataContainer biblio-note nt"> <p>Includes bibliographical references</p> </div> </div><!-- end of div.sectionofdata --> <div class="sectionofdata"> <div class="listheading"> <h2 id="ref" class="heading">関連文献: 1件中  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/BB15090711" class="taggedlink">Laboratoire de recherche en informatique et automatique</a> </dt> <dd> <p class="item_subData item_authordata"></p> <p class="item_data item_publishdata"> <span class="pblc">Institutde Recherche d'Informatique et d'Automatique</span> </p> <p class="item_data item_bibotherdata"> </p> </dd> </dl> </div><!--end of div.listitem--> </li> </ul> </div> </div><!--end of div#sectionofdata--> </div><!-- end of div.maincontents --> </div><!-- end of div.maincontents --> <div class="side_navigation"> <div id="sidenav_inner" class="relateditem"> <div class="relateditem_section accesscount"> </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/BC16248422" 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>BC16248422</dd></dl></li> <li class="papercodesitem ctr"><dl><dt>出版国コード</dt><dd>fr</dd></dl></li> <li class="papercodesitem ctgl"><dl><dt>タイトル言語コード</dt><dd class="ctgl">fre</dd></dl></li> <li class="papercodesitem txtl"><dl><dt>本文言語コード</dt><dd class="txtl">fre</dd></dl></li> <li class="papercodesitem plg"><dl><dt>出版地</dt><dd>Le Chesnay</dd></dl></li> <li class="papercodesitem phynum"><dl><dt>ページ数/冊数</dt><dd>17 leaves</dd></dl></li> <li class="papercodesitem physz"><dl><dt>大きさ</dt><dd>30 cm</dd></dl></li> <li class="papercodesitem ptbl"><dl><dt>親書誌ID</dt><dd><ul class="particular-datalist"><li><a href="/ncid/BB15090711">BB15090711</a></li></ul></dd></dl></li> </ul> </div><!-- end of div.relateditem_section --> <div id="writingformat" class="relateditem_section writingformat"> <h2 class="heading">書き出し</h2> <ul class="exportlist"> <li><div class="ie_bug_fixer"><a href="/ncid/BC16248422/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/BC16248422/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%2FBC16248422.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/BC16248422.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/BC16248422.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/BC16248422.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/BC16248422.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/BC16248422.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><!-- end of div.side_navigation --> <a class="gotop center-block visible-xs"> ページトップへ </a> </div><!-- end of div.container-hasSubnav --> </div><!--end of body-wrap--> <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>