本文に飛ぶ

年 〜
年

検索結果 177 件

ソフトウェア工学の基礎 27 (レクチャーノート/ソフトウェア学 ; 46)

ソフトウェア工学の基礎 27 (レクチャーノート/ソフトウェア学 ; 46)
紙図書
近代科学社2020.11<M154-M246>
国立国会図書館全国の図書館
  • 著者標目石尾, 隆 天嵜, 聡介 武市, 正人, 1948- 米沢, 明憲, 1947-

ソフトウェア工学の基礎 26 (レクチャーノート/ソフトウェア学 ; 45)

ソフトウェア工学の基礎 26 (レクチャーノート/ソフトウェア学 ; 45)
紙図書
近代科学社2019.11<M154-M119>
国立国会図書館全国の図書館
  • 著者標目森崎, 修司 大平, 雅雄 武市, 正人, 1948- 米沢, 明憲, 1947-

ソフトウェア工学の基礎 25 (レクチャーノート/ソフトウェア学 ; 44)

ソフトウェア工学の基礎 25 (レクチャーノート/ソフトウェア学 ; 44)
紙図書
近代科学社2018.11<M154-L575>
国立国会図書館全国の図書館
  • 著者標目伊藤, 恵 神谷, 年洋 武市, 正人, 1948- 米沢, 明憲, 1947-

ソフトウェア工学の基礎 23 (レクチャーノート/ソフトウェア学 ; 42)

ソフトウェア工学の基礎 23 (レクチャーノート/ソフトウェア学 ; 42)
紙図書
近代科学社2016.12<M159-L1062>
国立国会図書館全国の図書館
  • 著者標目阿萬, 裕久 横川, 智教 武市, 正人, 1948- 米沢, 明憲, 1947-

ソフトウェア工学の基礎 24 (レクチャーノート/ソフトウェア学 ; 43)

ソフトウェア工学の基礎 24 (レクチャーノート/ソフトウェア学 ; 43)
紙図書
近代科学社2017.11<M154-L419>
国立国会図書館全国の図書館
  • 著者標目吉田, 敦, ソフトウェア工学 福安, 直樹 武市, 正人, 1948- 米沢, 明憲, 1947-

ソフトウェア工学の基礎 18 (レクチャーノート/ソフトウェア学 ; 37)

ソフトウェア工学の基礎 18 (レクチャーノート/ソフトウェア学 ; 37)
紙図書
門田暁人, 上野秀剛 編近代科学社2011.11<M159-J1472>
国立国会図書館全国の図書館
  • 著者標目門田, 暁人 上野, 秀剛 武市, 正人, 1948- 米沢, 明憲, 1947-

わが国の情報分野の人材養成について (科学技術政策研究所講演録 ; 158)

わが国の情報分野の人材養成について (科学技術政策研究所講演録 ; 158)
紙図書
武市正人 [述]文部科学省科学技術政策研究所科学技術動向研究センター2005.7<M151-H310>
国立国会図書館
  • 著者標目武市, 正人, 1948-

運算随伴方式による文書情報処理言語の設計とその効果的利用に関する研究

運算随伴方式による文書情報処理言語の設計とその効果的利用に関する研究
紙図書
武市正人, 東京大学 [著][武市正人]2003-2005<Y151-H15200001>
国立国会図書館
  • 著者標目武市, 正人, 1948- 東京大学

Proceedings of the 4th DIKU-IST Joint Workshop on Foundations of Software

Proceedings of the 4th DIKU-IST Joint Workshop on Foundations of Software
紙図書
Robert Glück ... [et al.] (eds.)Department of Computer Science, University of Copenhagen[2011]
全国の図書館
  • 著者標目... Hu, Zhenjiang 武市, 正人

構成的並列プログラミングモデルの設計及び実現に関する研究

構成的並列プログラミングモデルの設計及び実現に関する研究
紙図書
武市, 正人, 東京大学1999-2001<Y151-H11480065>
国立国会図書館
  • 著者標目武市, 正人, 1948-

運算随伴方式による文書情報処理言語の設計とその効果的利用に関する研究

運算随伴方式による文書情報処理言語の設計とその効果的利用に関する研究
紙図書
研究代表者武市正人[武市正人]2006.3
全国の図書館
  • 著者標目武市, 正人

プログラム運算システムの設計および実現に関する研究

プログラム運算システムの設計および実現に関する研究
紙図書
武市, 正人, 東京大学1999-2001<Y151-H11694130>
国立国会図書館
  • 著者標目武市, 正人, 1948-

プログラム運算システムの実用化に関する研究

プログラム運算システムの実用化に関する研究
紙図書
武市, 正人, 東京大学1998-2000<Y151-H10558041>
国立国会図書館
  • 著者標目武市, 正人, 1948-

ソフトウェア工学の基礎 17 (レクチャーノート/ソフトウェア学 ; 36)

ソフトウェア工学の基礎 17 (レクチャーノート/ソフトウェア学 ; 36)
紙図書
高田眞吾, 福田浩章 編近代科学社2010.11<M159-J1130>
国立国会図書館全国の図書館
  • 著者標目高田, 眞吾 福田, 浩章 武市, 正人, 1948- 米沢, 明憲, 1947-

構成的アルゴリズム論に基づくプログラム最適化とその実現法に関する研究

構成的アルゴリズム論に基づくプログラム最適化とその実現法に関する研究
紙図書
武市, 正人, 東京大学1997-1998<Y151-H09680326>
国立国会図書館
  • 著者標目武市, 正人, 1948-

ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE 2002 9 (レクチャーノート/ソフトウェア学 ; 28)

ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE 2002 9 (レクチャーノート/ソフトウェア学 ; 28)
紙図書
井上 克郎 編近代科学社2002.11<M159-H148>
国立国会図書館全国の図書館
  • 著者標目井上, 克郎, 1956- 武市, 正人, 1948- 米沢, 明憲, 1947-

ソフトウェア工学の基礎 16 (レクチャーノート/ソフトウェア学 ; 35)

ソフトウェア工学の基礎 16 (レクチャーノート/ソフトウェア学 ; 35)
紙図書
中島震, 鷲崎弘宜 編近代科学社2009.11<M159-J740>
国立国会図書館全国の図書館
  • 著者標目中島, 震, 1955- 鷲崎, 弘宜 武市, 正人, 1948- 米沢, 明憲, 1947-

Fully lazy evaluation of functional programs

Fully lazy evaluation of functional programs
紙デジタル博士論文障害者向け資料あり
武市正人 [著]<UT51-63-U79>
インターネットで読める国立国会図書館
  • 著者標目武市, 正人

ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE 2003 10 (レクチャーノート/ソフトウェア学 ; 29)

ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE 2003 10 (レクチャーノート/ソフトウェア学 ; 29)
紙図書
鯵坂恒夫, 満田成紀 編近代科学社2003.11<M159-H504>
国立国会図書館全国の図書館
  • 著者標目鰺坂, 恒夫, 1956- 満田, 成紀 武市, 正人, 1948- 米沢, 明憲, 1947-

岩波講座ソフトウェア科学 4

岩波講座ソフトウェア科学 4
紙デジタル図書
長尾真 [ほか]編岩波書店1994.6<M159-E227>
国立国会図書館全国の図書館
  • 内容細目プログラミング言語 武市正人 〔著〕 武市 正人/[著] 武市正人 [著] 武市 正人 武市正人 著 武市 正人 [著] 武市正人∥[著] 武市　正人／［著］ 武市正人/著 武市/正人∥[著] 武市　正人　〔著〕 参考書：ｐ２１９～２２１
  • 著者標目武市, 正人, 1948-
RSS