NDL SEARCH (NATIONAL DIET LIBRARY, JAPAN)
Open Menu
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
~1940s
(1)
1970s
(3)
1980s
(41)
1990s
(28)
2000s
(68)
2010s
(67)
2020s
(5)
ISBN / ISSN
Close field
Call number
Close field
Material type
Link to Help Page
Close field
Books
(13)
Periodicals
(193)
Newspapers
Japanese and Chinese Old Materials
Doctoral Dissertations
(4)
Maps
Musical Scores
Web sites
Online Publications
Electronic Resources
(2)
Video Materials
Audio Materials
Standards and Technical Reports
Manuscripts and Images
(2)
Deselect all
Periodical article etc
Material Format
Link to Help Page
Close field
Digital
(61)
Paper
(152)
Microform
Recording Media
(2)
Deselect all
Refiners
Refiners
Search results 212
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
図書
酒井正彦, 名古屋大学 [著]
[酒井正彦]
2003-2005
<Y151-H15500007>
National Diet Library
インフォマティクス1
インフォマティクス1
Digital
文書・図像類
酒井, 正彦, 結縁, 祥治, 枝廣, 正人, 石川, 佳治, 本田, 晋也, 高田, 広章, 村瀬, 勉
名古屋大学オープンコースウェア委員会
2020-04-27
Available online
Other Libraries in Japan
関数型言語における計算戦略
関数型言語における計算戦略
Paper
図書
酒井, 正彦, 名古屋大学
1999-2002
<Y151-H11680352>
National Diet Library
アルゴリズムと計算理論の新潮流 : RIMS共同研究(公開型)
アルゴリズムと計算理論の新潮流 : RIMS共同研究(公開型)
Paper
図書
京都大学数理解析研究所
2020.4
Other Libraries in Japan
アルゴリズムと計算理論の新潮流 : RIMS共同研究(公開型)
アルゴリズムと計算理論の新潮流 : RIMS共同研究(公開型)
Paper
図書
京都大学数理解析研究所
2019.10-
Other Libraries in Japan
オートマトン・形式言語特論
オートマトン・形式言語特論
Digital
文書・図像類
酒井, 正彦
名古屋大学オープンコースウェア委員会
2012-05-08
Available online
Other Libraries in Japan
代数的手法に基づくソフトウエアの検証の基礎的研究
代数的手法に基づくソフトウエアの検証の基礎的研究
Paper
図書
酒井, 正彦, 名古屋大学
1995-1997
<Y151-H07680350>
National Diet Library
代数的手法に基づくコンパイラの仕様記述・検証・自動生成に関する研究
代数的手法に基づくコンパイラの仕様記述・検証・自動生成に関する研究
Paper
Digital
博士論文
障害者向け資料あり
酒井正彦 [著]
<UT51-92-S18>
Available online
National Diet Library
関数型言語における計算戦略
関数型言語における計算戦略
Paper
図書
酒井正彦[ほか著]
[出版者不明]
2003.3
Other Libraries in Japan
関数型言語の解析・検証・効率的実行のための書換え系理論の研究
関数型言語の解析・検証・効率的実行のための書換え系理論の研究
Paper
図書
酒井正彦 [ほか著]
[出版者不明]
2006.4
Other Libraries in Japan
代数的手法に基づくソフトウェアの検証の基礎的研究
代数的手法に基づくソフトウェアの検証の基礎的研究
Paper
図書
酒井正彦 [ほか著]
[出版者不明]
1998.3
Other Libraries in Japan
内視鏡的膵胆管造影法におけるX線シネ撮影の有用性 : その臨床的意義および研究手段としての展望
内視鏡的膵胆管造影法におけるX線シネ撮影の有用性 : その臨床的意義および研究手段としての展望
Paper
博士論文
酒井正彦 [著]
<UT51-57-E348>
National Diet Library
代数的手法に基づくコンパイラの仕様記述・検証・自動生成に関する研究
代数的手法に基づくコンパイラの仕様記述・検証・自動生成に関する研究
Paper
図書
酒井正彦 [著]
[出版者不明]
[1992]
Other Libraries in Japan
代数的手法に基づくコンパイラの仕様記述・検証・自動生成に関する研究
代数的手法に基づくコンパイラの仕様記述・検証・自動生成に関する研究
Digital
博士論文
酒井, 正彦, Sakai, Masahiko
1992-01-31
Available online
Other Libraries in Japan
長嶋野球の虚像と実像
長嶋野球の虚像と実像
Paper
Digital
図書
障害者向け資料あり
酒井正彦 著
けいせい出版
1984.2
<KD962-197>
Available online
National Diet Library
Other Libraries in Japan
ロス五輪大麻汚染事件
ロス五輪大麻汚染事件
Paper
Digital
図書
障害者向け資料あり
酒井正彦, 石井直方 共著
けいせい出版
1985.7
<FS21-20>
Available online
National Diet Library
Other Libraries in Japan
東大へのアタック (秋元文庫)
東大へのアタック (秋元文庫)
Paper
図書
酒井正彦 著
秋元書房
1976
<Y76-2901>
National Diet Library
Other Libraries in Japan
内視鏡的?胆管造影法におけるX線シネ撮影の有用性 ‐ その臨床的意義および研究手段としての展望
内視鏡的?胆管造影法におけるX線シネ撮影の有用性 ‐ その臨床的意義および研究手段としての展望
Digital
博士論文
酒井, 正彦
Kyoto University
1980-11-25
Available online
Other Libraries in Japan
人工知能基本問題研究会 (人工知能学会研究会資料)
人工知能基本問題研究会 (人工知能学会研究会資料)
Paper
雑誌
人工知能学会
2004-
<Z14-1667>
National Diet Library
東大へのアタック : 麻布学園生の受験記録 (秋元文庫)
東大へのアタック : 麻布学園生の受験記録 (秋元文庫)
Paper
図書
酒井正彦 著
秋元書房
197612
Other Libraries in Japan
Show more (21-)
Bulk download of bibliographic information