代数的メタプログラミングに関する基礎的研究

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: 1996-1997
Publication Date (W3CDTF): 1996
Extent: 冊
Additional Title: 研究種目基盤研究(B)
Subject Heading: メタ計算メタケイサン
書換え計算カキカエケイサン
項書換え系コウカキカエケイ
並行計算ヘイコウケイサン
検証ケンシヨウ
代数的仕様ダイスウテキシヨウ
帰納的定理キノウテキテイリ
被覆集合帰納法ヒフクシユウゴウキノウホウ
NDLC: Y151
Note (General): 文部省科学研究費補助金研究成果報告書
Research Project No. of Grants-in-Aid for Scientific Research: 08458067
Holding library: 国立国会図書館
Call No.: Y151-H08458067
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000007012955
http://id.ndl.go.jp/bib/000007012955
Bibliographic Record Category (NDL): 214