Jump to main content

博士論文

構成的論理に基づくプログラムの合成と解析の研究

Icons representing 博士論文
The cover of this title could differ from library to library. Link to Help Page

Read via the Internet

Begin reading now

国立国会図書館デジタルコレクション

構成的論理に基づくプログラムの合成と解析の研究

Call No. (NDL)
UT51-91-W368
Bibliographic ID of National Diet Library
000000247682
Persistent ID (NDL)
info:ndljp/pid/3087339
Material type
博士論文
Author
後藤滋樹 [著]
Publisher
-
Publication date
-
Material Format
Paper・Digital
Capacity, size, etc.
-
Name of awarding university/degree
東京大学,工学博士
View All

Notes on use

Note (General)：

博士論文

Search by Bookstore

Search by Bookstore

Read this material in an accessible format.

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

Table of Contents

Provided by：国立国会図書館デジタルコレクションLink to Help Page

  • もくじ

    p1

  • 1 序論

    p1

  • 1.1 本研究の目的

    p1

  • 1.2 本研究の背景

    p7

  • 2 直観主義論理に基づくプログラム理論

    p15

Search by Bookstore

Read in Disability Resources

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.

Paper Digital

Material Type
博士論文
Title
構成的論理に基づくプログラムの合成と解析の研究
Title Transcription
コウセイテキ ロンリ ニ モトズク プログラム ノ ゴウセイ ト カイセキ ノ ケンキュウ
Author/Editor
後藤滋樹 [著]
Author Heading
後藤, 滋樹, 1948- ゴトウ, シゲキ, 1948- ( 00138919 )Authorities
Degree grantor/type
東京大学
Date Granted
平成3年2月14日
Date Granted (W3CDTF)
1991
Dissertation Number
乙第10041号
Degree Type
工学博士