NDL SEARCH (NATIONAL DIET LIBRARY, JAPAN)
Open Menu
Search
Help
Login
Help
Login
Search
Refiners
Refiners
Library
Close field
National Diet Library
Other Libraries in Japan
Available online
Title
Close field
Author/Editor
Close field
Publisher
Close field
Year
Close field
yr
〜
yr
Open
1980s
(1)
1990s
(6)
2000s
(16)
2010s
(13)
ISBN / ISSN
Close field
Call number
Close field
Material type
Link to Help Page
Close field
Books
(5)
Periodicals
(23)
Newspapers
Japanese and Chinese Old Materials
Doctoral Dissertations
(2)
Maps
Musical Scores
Web sites
Online Publications
Electronic Resources
Video Materials
Audio Materials
Standards and Technical Reports
Manuscripts and Images
(6)
Deselect all
Periodical article etc
Material Format
Link to Help Page
Close field
Digital
(12)
Paper
(25)
Microform
Recording Media
Deselect all
Refiners
Refiners
Search results 36
20 results per page
50 results per page
100 results per page
List
Thumbnails
Table
Relevance
Published (old first)
Published (new first)
Title (ascend)
Title (descend)
Author (ascend)
Author (descend)
Call number
Group by title
Add all to My List
メタ・プログラミングの基礎理論
メタ・プログラミングの基礎理論
Paper
図書
亀山幸義, 筑波大学 [著]
[亀山幸義]
2004-2007
<Y151-H16500004>
National Diet Library
限定継続の計算系と論理
限定継続の計算系と論理
Paper
図書
亀山幸義, 筑波大学 [著]
[亀山幸義]
2001-2003
<Y151-H13680411>
National Diet Library
マルチステージ証明記述言語の設計と開発
マルチステージ証明記述言語の設計と開発
Digital
文書・図像類
亀山, 幸義
2018
Available online
Other Libraries in Japan
信頼性の高いコード生成のためのプログラミング言語の実現
信頼性の高いコード生成のためのプログラミング言語の実現
Digital
文書・図像類
亀山, 幸義
2016
Available online
Other Libraries in Japan
必要呼び計算体系とコントロール抽象
必要呼び計算体系とコントロール抽象
Digital
文書・図像類
亀山, 幸義
2015
Available online
Other Libraries in Japan
階層的コントロールの論理とプログラム抽出
階層的コントロールの論理とプログラム抽出
Digital
文書・図像類
亀山, 幸義
2013
Available online
Other Libraries in Japan
コード生成のためのプログラミング言語の基礎理論
コード生成のためのプログラミング言語の基礎理論
Digital
文書・図像類
亀山, 幸義
2013
Available online
Other Libraries in Japan
Reflection mechanism in constructive programming
Reflection mechanism in constructive programming
Paper
Digital
博士論文
障害者向け資料あり
亀山幸義 [著]
<UT51-96-T527>
Available online
National Diet Library
メタ・プログラミングの基礎理論
メタ・プログラミングの基礎理論
Paper
図書
亀山幸義研究代表
[亀山幸義]
2008.5
Other Libraries in Japan
限定継続の計算系と論理
限定継続の計算系と論理
Paper
図書
亀山幸義研究代表者
[亀山幸義]
2004.5
Other Libraries in Japan
Polymorphic delimited continuations
Polymorphic delimited continuations
Paper
図書
Kenichi Asai and Yukiyoshi Kameyama
Dept. of Computer Science, Graduate School of Systems and Information Engineering, University of Tsukbua
[2007?]
Other Libraries in Japan
Combinatory Logic and λ-Calculus for Classical Logic
Combinatory Logic and λ-Calculus for Classical Logic
Digital
文書・図像類
馬場, 謙介, 亀山, 幸義, 廣川, 佐千男
Department of Informatics, Kyushu University
2000-08-18
DOI Technical Report
176
Available online
Other Libraries in Japan
コンピュータソフトウェア
コンピュータソフトウェア
Paper
雑誌
日本ソフトウェア科学会 編
日本ソフトウェア科学会
1984-
<Z14-1033>
National Diet Library
Other Libraries in Japan
日本ソフトウェア科学会大会論文集
日本ソフトウェア科学会大会論文集
Paper
雑誌
日本ソフトウェア科学会 編
日本ソフトウェア科学会
1984-2019
<Z14-1245>
National Diet Library
Other Libraries in Japan
数学セミナー
数学セミナー
Paper
Digital
雑誌
日本評論社
1991-
<Z15-27>
National Diet Library
構成的プログラミングにおける自己反映機構
構成的プログラミングにおける自己反映機構
Digital
博士論文
Kameyama, Yukiyoshi
Kyoto University
1996-07-23
Available online
Other Libraries in Japan
情報処理学会論文誌 SIG
情報処理学会論文誌 SIG
Paper
雑誌
情報処理学会
1998-2008
<Z74-C192>
National Diet Library
コンピュータ&ネットワークLAN
コンピュータ&ネットワークLAN
Paper
Digital
雑誌
オーム社
[1983]-2002
<Z14-1256>
National Diet Library
Other Libraries in Japan
科学
科学
Paper
Digital
雑誌
岩波書店
1931-
<Z14-72>
National Diet Library
Other Libraries in Japan
電子情報通信学会技術研究報告 : 信学技報
電子情報通信学会技術研究報告 : 信学技報
Paper
雑誌
電子情報通信学会
1987-2020
<Z16-940>
National Diet Library
Other Libraries in Japan
Show more (21-)
Bulk download of bibliographic information