関数型プログラムの不変条件のICE流学習手法

Persistent ID (NDL): info:ndljp/pid/11669503

Material type: 記事

Author: 千葉知也ほか

Publisher: 日本ソフトウェア科学会

Publication date: 2015

Material Format: Digital

Journal name: 日本ソフトウェア科学会大会講演論文集第32回

Publication Page: -

View Details

Notes on use at the National Diet Library

本資料は、掲載誌(URI)等のリンク先にある電子書籍・電子雑誌の提供元Webサイトなどから、本文を自由に閲覧できる場合があります。

Notes on use

Note (General)：: PPL1-2

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Digital

Material Type: 記事
Title: 関数型プログラムの不変条件のICE流学習手法
Author/Editor: 千葉知也
佐藤亮介
松田一孝
Publication, Distribution, etc.: 日本 : 日本ソフトウェア科学会
Publication Date: 2015
Publication Date (W3CDTF): 2015
Periodical title: 日本ソフトウェア科学会大会講演論文集
No. or year of volume/issue: 第32回
Volume: 第32回
Text Language Code: jpn
Note (General): PPL1-2
Persistent ID (NDL): info:ndljp/pid/11669503
https://dl.ndl.go.jp/pid/11669503
Collection: 障害者向け資料
Collection (Materials For Handicapped People:1): テキストデータ
Collection (particular): 国立国会図書館デジタルコレクション > 電子書籍・電子雑誌 > 学術機関 > 学協会
https://dl.ndl.go.jp/collections/B00043
Acquisition Basis: オンライン資料収集制度
Date Accepted (W3CDTF): 2021-05-06T21:22:32+09:00
Date Captured (W3CDTF): 2021-02-26
Format (IMT): application/pdf
Access Restrictions: 国立国会図書館内限定公開
Service for the Digitized Contents Transmission Service: 図書館・個人送信対象外
Availability of remote photoduplication service: 可
Periodical Title (URI): https://jssst.or.jp/files/user/taikai/2015/proceedings.html
Periodical Title (Persistent ID (NDL)): info:ndljp/pid/11669498
https://dl.ndl.go.jp/pid/11669498
Data Provider (Database): 国立国会図書館 : 国立国会図書館デジタルコレクション
https://dl.ndl.go.jp

See Less