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
1950s
(1)
1990s
(20)
2000s
(16)
2010s
(15)
2020s
(3)
ISBN / ISSN
Close field
Call number
Close field
Material type
Link to Help Page
Close field
Books
(20)
Periodicals
(32)
Newspapers
Japanese and Chinese Old Materials
Doctoral Dissertations
(3)
Maps
Musical Scores
Web sites
Online Publications
Electronic Resources
(2)
Video Materials
Audio Materials
Standards and Technical Reports
Manuscripts and Images
Deselect all
Periodical article etc
Material Format
Link to Help Page
Close field
Digital
(5)
Paper
(48)
Microform
Recording Media
(2)
Deselect all
Refiners
Refiners
Search results 55
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
プログラミング言語Standard ML入門 改訂版
プログラミング言語Standard ML入門 改訂版
Paper
図書
大堀淳 著
共立出版
2021.11
<M159-M732>
National Diet Library
Other Libraries in Japan
コンパイラ : 原理と構造
コンパイラ : 原理と構造
Paper
図書
大堀淳 著
共立出版
2021.9
<M159-M696>
National Diet Library
Other Libraries in Japan
SML#で始める実践MLプログラミング
SML#で始める実践MLプログラミング
Paper
図書
大堀淳, 上野雄大 著
共立出版
2021.4
<M159-M586>
National Diet Library
Other Libraries in Japan
プログラミング言語の基礎理論 新装版
プログラミング言語の基礎理論 新装版
Paper
図書
大堀淳 著
共立出版
2019.8
<M159-M161>
National Diet Library
Other Libraries in Japan
プログラミング言語の基礎理論 : 新装版
プログラミング言語の基礎理論 : 新装版
Paper
図書
大堀淳著
共立出版
2019.8
Other Libraries in Japan
計算機システム概論 : 基礎から学ぶコンピュータの原理とOSの構造 (ライブラリ情報学コア・テキスト ; 5)
計算機システム概論 : 基礎から学ぶコンピュータの原理とOSの構造 (ライブラリ情報学コア・テキスト ; 5)
Paper
図書
大堀淳 著
サイエンス社
2010.4
<M154-J179>
National Diet Library
Other Libraries in Japan
言語, 構築手法, レポジトリの統合を目指すコンポーネントフレームワーク
言語, 構築手法, レポジトリの統合を目指すコンポーネントフレームワーク
Paper
図書
大堀淳研究代表者
[大堀淳]
2006.5
Other Libraries in Japan
プログラミング言語Standard ML入門
プログラミング言語Standard ML入門
Paper
図書
大堀淳 著
共立出版
2001.9
<M159-G4127>
National Diet Library
Other Libraries in Japan
Proof-Theoretical Investigation on Machine Code and Code Generation : 機械語コード及びコード生成のための論理学的基礎の研究
Proof-Theoretical Investigation on Machine Code and Code Generation : 機械語コード及びコード生成のための論理学的基礎の研究
Paper
図書
大堀, 淳, 北陸先端科学技術大学院大学
2000-2001
<Y151-H12680345>
National Diet Library
プログラミング言語の基礎理論 (情報数学講座 ; 第9巻)
プログラミング言語の基礎理論 (情報数学講座 ; 第9巻)
Paper
図書
大堀淳 著
共立出版
1997.2
<M159-G1086>
National Diet Library
Other Libraries in Japan
機械語コードおよびコード生成のための論理学的基礎の研究
機械語コードおよびコード生成のための論理学的基礎の研究
Paper
図書
研究代表者 大堀淳
[大堀淳]
2002.2
Other Libraries in Japan
Programming languages and systems : first Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003 : proceedings
Programming languages and systems : first Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003 : proceedings
Paper
図書
Atsushi Ohori (ed.)
Springer
c2003
Other Libraries in Japan
アルゴリズムとプログラミング言語 (コンピュータサイエンス入門)
アルゴリズムとプログラミング言語 (コンピュータサイエンス入門)
Paper
図書
大堀淳, ジャック・ガリグ, 西村進 著
岩波書店
1999.5
<M159-G2691>
National Diet Library
Other Libraries in Japan
言語,構築手法,レポジトリの統合を目指すコンポーネントフレームワーク
言語,構築手法,レポジトリの統合を目指すコンポーネントフレームワーク
Paper
図書
大堀淳, 東北大学, 北陸先端科学技術大学院大学 [著]
[大堀淳]
2003-2005
<Y151-H15300006>
National Diet Library
型理論に基づくプログラミング言語設計理論の研究
型理論に基づくプログラミング言語設計理論の研究
Paper
図書
大堀, 淳, 京都大学
1994-1995
<Y151-H06680319>
National Diet Library
型理論に基づくプログラミング言語設計理論の研究
型理論に基づくプログラミング言語設計理論の研究
Paper
図書
大堀淳研究代表
[大堀淳]
1996.4
Other Libraries in Japan
Types in compilation : second international workshop, TIC '98 Kyoto, Japan, March 25-27, 1998, proceedings
Types in compilation : second international workshop, TIC '98 Kyoto, Japan, March 25-27, 1998, proceedings
Paper
図書
Xavier Leroy, Atsushi Ohori (eds.)
Springer
c1998
Other Libraries in Japan
Advances in computing science, ASIAN '98 : 4th Asian Computing Science Conference, Manila, The Philippines, December 8-10, 1998 : proceedings
Advances in computing science, ASIAN '98 : 4th Asian Computing Science Conference, Manila, The Philippines, December 8-10, 1998 : proceedings
Paper
図書
Jieh Hsiang, Atsushi Ohori (eds.)
Springer
c1998
Other Libraries in Japan
Database programming languages (DBPL-4) : proceedings of the Fourth International Workshop on Database Programming Languages - Object Models and Languages, Manhattan, New York City, USA, 30 August-1 September 1993 :gw :us
Database programming languages (DBPL-4) : proceedings of the Fourth International Workshop on Database Programming Languages - Object Models and Languages, Manhattan, New York City, USA, 30 August-1 September 1993 :gw :us
Paper
図書
Catriel Beeri, Atsushi Ohori, and Dennis E. Shasha (eds.)
Springer-Verlag
c1994
Other Libraries in Japan
オープンミッションクリティカルシステム構築技術の研究
オープンミッションクリティカルシステム構築技術の研究
Digital
博士論文
障害者向け資料あり
相澤, 正俊
2013-07-11
National Diet Library
Show more (21-)
Bulk download of bibliographic information