帰納等式プログラミングにおける多相型を用いた一般化と再帰性の推論に関する研究
Available with Digitized Contents Transmission Service
Find on the publisher's website
国立国会図書館デジタルコレクション
Available for viewing via the Digitized Contents Transmission Service for Individuals to official registered users of the NDL, who resides in Japan.
Search by Bookstore
Read this material in an accessible format.
Table of Contents
目次
p1
要旨
p1
第1章 序論
p3
1.1 帰納推論
p3
1.2 帰納等式プログラミング
p5
Search by Bookstore
Read in Disability Resources
- Mina Search
- プレーンテキスト
Registered users of Mina Search can download or stream this content.
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.
- Material Type
- 博士論文
- Title Transcription
- キノウ トウシキ プログラミング ニ オケル タソウガタ オ モチイタ イッパンカ ト サイキセイ ノ スイロン ニ カンスル ケンキュウ
- Author/Editor
- 石野明 [著]
- Author Heading
- 石野, 明 イシノ, アキラ
- Degree grantor/type
- 北海道大学
- Date Granted
- 平成11年3月25日
- Date Granted (W3CDTF)
- 1999
- Dissertation Number
- 甲第4755号
- Degree Type
- 博士(工学)