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

Notes on use

Search by Bookstore

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: 型理論とその機械学習への応用
Title Transcription: カタリロントソノキカイガクシュウヘノオウヨウ
Author/Editor: 萩谷, 昌己, 東京大学
Author Heading: 萩谷, 昌己ハギヤ, マサミ
Publication Date: 1994-1995
Publication Date (W3CDTF): 1994
Extent: 冊
Additional Title: 研究種目一般研究(C)
Subject Heading: 型理論カタリロン
型付き入計算カタツキニユウケイサン
機械学習キカイガクシユウ
帰納法キノウホウ
関数プログラミングカンスウプログラミング
自動演繹ジドウエンエキ
NDLC: Y151
Note (General): 文部省科学研究費補助金研究成果報告書
Research Project No. of Grants-in-Aid for Scientific Research: 06680342
Holding library: 国立国会図書館
Call No.: Y151-H06680342
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000007001249
http://id.ndl.go.jp/bib/000007001249
Bibliographic Record Category (NDL): 214