「"酒井, 正彦"」の検索結果 | NDLサーチ

検索結果 212 件

タイトルでまとめる

関数型言語の解析・検証・効率的実行のための書換え系理論の研究

紙図書

酒井正彦, 名古屋大学 [著][酒井正彦]2003-2005<Y151-H15500007>

国立国会図書館

著者標目酒井, 正彦名古屋大学

インフォマティクス１

デジタル文書・図像類

酒井, 正彦, 結縁, 祥治, 枝廣, 正人, 石川, 佳治, 本田, 晋也, 高田, 広章, 村瀬, 勉名古屋大学オープンコースウェア委員会2020-04-27

インターネットで読める全国の図書館

著者標目酒井, 正彦結縁, 祥治枝廣, 正人石川, 佳治本田, 晋也高...

関数型言語における計算戦略

紙図書

酒井, 正彦, 名古屋大学1999-2002<Y151-H11680352>

国立国会図書館

著者標目酒井, 正彦

アルゴリズムと計算理論の新潮流 : RIMS共同研究(公開型)

紙図書

京都大学数理解析研究所2020.4

全国の図書館

著者標目酒井, 正彦京都大学数理解析研究所

アルゴリズムと計算理論の新潮流 : RIMS共同研究(公開型)

紙図書

京都大学数理解析研究所2019.10-

全国の図書館

著者標目西野, 哲朗酒井, 正彦京都大学数理解析研究所

オートマトン・形式言語特論

デジタル文書・図像類

酒井, 正彦名古屋大学オープンコースウェア委員会2012-05-08

インターネットで読める全国の図書館

著者標目酒井, 正彦

代数的手法に基づくソフトウエアの検証の基礎的研究

紙図書

酒井, 正彦, 名古屋大学1995-1997<Y151-H07680350>

国立国会図書館

著者標目酒井, 正彦

代数的手法に基づくコンパイラの仕様記述・検証・自動生成に関する研究

紙デジタル博士論文障害者向け資料あり

酒井正彦 [著]<UT51-92-S18>

インターネットで読める国立国会図書館

著者標目酒井, 正彦

関数型言語における計算戦略

紙図書

酒井正彦[ほか著][出版者不明]2003.3

全国の図書館

著者標目酒井, 正彦

関数型言語の解析・検証・効率的実行のための書換え系理論の研究

紙図書

酒井正彦 [ほか著][出版者不明]2006.4

全国の図書館

著者標目酒井, 正彦坂部, 俊樹草刈, 圭一朗西田, 直樹, 19-- 粕...

代数的手法に基づくソフトウェアの検証の基礎的研究

紙図書

酒井正彦 [ほか著][出版者不明]1998.3

全国の図書館

著者標目酒井, 正彦

内視鏡的膵胆管造影法におけるX線シネ撮影の有用性 : その臨床的意義および研究手段としての展望

紙博士論文

酒井正彦 [著]<UT51-57-E348>

国立国会図書館

著者標目酒井, 正彦

代数的手法に基づくコンパイラの仕様記述・検証・自動生成に関する研究

紙図書

酒井正彦 [著][出版者不明][1992]

全国の図書館

著者標目酒井, 正彦

代数的手法に基づくコンパイラの仕様記述・検証・自動生成に関する研究

デジタル博士論文

酒井, 正彦, Sakai, Masahiko1992-01-31

インターネットで読める全国の図書館

著者標目酒井, 正彦 Sakai, Masahiko

長嶋野球の虚像と実像

紙デジタル図書障害者向け資料あり

酒井正彦著けいせい出版1984.2<KD962-197>

インターネットで読める国立国会図書館全国の図書館

著者標目酒井, 正彦, 1957-

ロス五輪大麻汚染事件

紙デジタル図書障害者向け資料あり

酒井正彦, 石井直方共著けいせい出版1985.7<FS21-20>

インターネットで読める国立国会図書館全国の図書館

著者標目酒井, 正彦, 1957- 石井, 直方, 1955-

東大へのアタック (秋元文庫)

紙図書

酒井正彦著秋元書房1976<Y76-2901>

国立国会図書館全国の図書館

著者標目酒井, 正彦, 1957-

内視鏡的?胆管造影法におけるX線シネ撮影の有用性 ‐ その臨床的意義および研究手段としての展望

デジタル博士論文

酒井, 正彦Kyoto University1980-11-25

インターネットで読める全国の図書館

著者標目酒井, 正彦

人工知能基本問題研究会 (人工知能学会研究会資料)

紙雑誌雑誌タイトル

人工知能学会2004-<Z14-1667>

国立国会図書館

東大へのアタック : 麻布学園生の受験記録 (秋元文庫)

紙図書

酒井正彦著秋元書房197612

全国の図書館

RSS