Jump to main content
図書

型理論とその機械学習への応用

Icons representing 図書

型理論とその機械学習への応用

Call No. (NDL)
Y151-H06680342
Bibliographic ID of National Diet Library
000007001249
Material type
図書
Author
萩谷, 昌己, 東京大学
Publisher
-
Publication date
1994-1995
Material Format
Paper
Capacity, size, etc.
-
NDC
-
View All

Notes on use

Note (General):

文部省科学研究費補助金研究成果報告書

Search by Bookstore

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

Material Type
図書
Title Transcription
カタ リロン ト ソノ キカイ ガクシュウ ヘ ノ オウヨウ
Author/Editor
萩谷, 昌己, 東京大学
Author Heading
萩谷, 昌己 ハギヤ, マサミ
Publication Date
1994-1995
Publication Date (W3CDTF)
1994
Extent
Additional Title
研究種目 一般研究(C)
Subject Heading
型理論 カタリロン
型付き入計算 カタツキニユウケイサン
機械学習 キカイガクシユウ
帰納法 キノウホウ
関数プログラミング カンスウプログラミング
自動演繹 ジドウエンエキ