計算可能性と複雑さに関する研究：ラムダ計算の新しいモデルと有用な情報の定義について

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

Material type: 博士論文

Author: Marlou Mathilde, Gijzen

Publisher: -

Publication date: 2023-03

Material Format: Digital

Capacity, size, etc.: -

Name of awarding university/degree: 北陸先端科学技術大学院大学,博士(情報科学)

View All

Notes on use at the National Diet Library

本資料は、掲載誌(URI)等のリンク先にある学位授与機関のWebサイトやCiNii Dissertationsから、本文を自由に閲覧できる場合があります。

Notes on use

Note (General)：: Supervisor: 石原哉先端科学技術研究科博士...

Search by Bookstore

Read this material in an accessible format.

View materials in accessible formats for people with print disabilities (1Type)

Search by Bookstore

Read in Disability Resources

Other Services
- テキストデータ check it on 国立国会図書館デジタルコレクション

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: 計算可能性と複雑さに関する研究：ラムダ計算の新しいモデルと有用な情報の定義について
Author/Editor: Marlou Mathilde, Gijzen
Author Heading: Marlou Mathilde, Gijzen
Publication Date: 2023-03
Publication Date (W3CDTF): 2023-03
Degree grantor/type: 北陸先端科学技術大学院大学
Date Granted: 2023-03-24
Date Granted (W3CDTF): 2023-03-24
Dissertation Number: 甲第1387号
Degree Type: 博士(情報科学)
Text Language Code: eng
Subject Heading: Lambda calculus
combinatory algebra
reflexivity
Kolmogorov complexity
logical depth
Target Audience: 一般
Note (General): Supervisor: 石原哉
先端科学技術研究科
博士
identifier:https://dspace.jaist.ac.jp/dspace/handle/10119/18428
Persistent ID (NDL): info:ndljp/pid/12910470
https://dl.ndl.go.jp/pid/12910470
Collection: 障害者向け資料
Collection (Materials For Handicapped People:1): テキストデータ
Collection (particular): 国立国会図書館デジタルコレクション > デジタル化資料 > 博士論文
https://dl.ndl.go.jp/collections/A00014
Acquisition Basis: 博士論文（自動収集）
Date Accepted (W3CDTF): 2023-07-08T03:42:26+09:00
Format (IMT): application/pdf
Access Restrictions: 国立国会図書館内限定公開
Service for the Digitized Contents Transmission Service: 図書館・個人送信対象外
Availability of remote photoduplication service: 可
Periodical Title (URI): http://hdl.handle.net/10119/18428
Data Provider (Database): 国立国会図書館 : 国立国会図書館デジタルコレクション
https://dl.ndl.go.jp