yr 〜
yr

Search results 176

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

ソフトウェア工学の基礎 27 (レクチャーノート/ソフトウェア学 ; 46)
Paper図書
近代科学社2020.11<M154-M246>
National Diet LibraryOther Libraries in Japan
  • Author Heading石尾, 隆 天嵜, 聡介 武市, 正人, 1948- 米沢, 明憲, 1947-

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

ソフトウェア工学の基礎 26 (レクチャーノート/ソフトウェア学 ; 45)
Paper図書
近代科学社2019.11<M154-M119>
National Diet LibraryOther Libraries in Japan
  • Author Heading森崎, 修司 大平, 雅雄 武市, 正人, 1948- 米沢, 明憲, 1947-

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

ソフトウェア工学の基礎 25 (レクチャーノート/ソフトウェア学 ; 44)
Paper図書
近代科学社2018.11<M154-L575>
National Diet LibraryOther Libraries in Japan
  • Author Heading伊藤, 恵 神谷, 年洋 武市, 正人, 1948- 米沢, 明憲, 1947-

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

ソフトウェア工学の基礎 23 (レクチャーノート/ソフトウェア学 ; 42)
Paper図書
近代科学社2016.12<M159-L1062>
National Diet LibraryOther Libraries in Japan
  • Author Heading阿萬, 裕久 横川, 智教 武市, 正人, 1948- 米沢, 明憲, 1947-

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

ソフトウェア工学の基礎 24 (レクチャーノート/ソフトウェア学 ; 43)
Paper図書
近代科学社2017.11<M154-L419>
National Diet LibraryOther Libraries in Japan
  • Author Heading吉田, 敦, ソフトウェア工学 福安, 直樹 武市, 正人, 1948- 米沢, 明憲, 1947-

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

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

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

ソフトウェア工学の基礎 18 (レクチャーノート/ソフトウェア学 ; 37)
Paper図書
門田暁人, 上野秀剛 編近代科学社2011.11<M159-J1472>
National Diet LibraryOther Libraries in Japan
  • Author Heading門田, 暁人 上野, 秀剛 武市, 正人, 1948- 米沢, 明憲, 1947-

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

運算随伴方式による文書情報処理言語の設計とその効果的利用に関する研究
Paper図書
武市正人, 東京大学 [著][武市正人]2003-2005<Y151-H15200001>
National Diet Library
  • Author Heading武市, 正人, 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
Paper図書
Robert Glück ... [et al.] (eds.)Department of Computer Science, University of Copenhagen[2011]
Other Libraries in Japan
  • Author Heading... Hu, Zhenjiang 武市, 正人

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

構成的並列プログラミングモデルの設計及び実現に関する研究
Paper図書
武市, 正人, 東京大学1999-2001<Y151-H11480065>
National Diet Library
  • Author Heading武市, 正人, 1948-

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

運算随伴方式による文書情報処理言語の設計とその効果的利用に関する研究
Paper図書
研究代表者武市正人[武市正人]2006.3
Other Libraries in Japan
  • Author Heading武市, 正人

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

プログラム運算システムの設計および実現に関する研究
Paper図書
武市, 正人, 東京大学1999-2001<Y151-H11694130>
National Diet Library
  • Author Heading武市, 正人, 1948-

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

プログラム運算システムの実用化に関する研究
Paper図書
武市, 正人, 東京大学1998-2000<Y151-H10558041>
National Diet Library
  • Author Heading武市, 正人, 1948-

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

ソフトウェア工学の基礎 17 (レクチャーノート/ソフトウェア学 ; 36)
Paper図書
高田眞吾, 福田浩章 編近代科学社2010.11<M159-J1130>
National Diet LibraryOther Libraries in Japan
  • Author Heading高田, 眞吾 福田, 浩章 武市, 正人, 1948- 米沢, 明憲, 1947-

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

構成的アルゴリズム論に基づくプログラム最適化とその実現法に関する研究
Paper図書
武市, 正人, 東京大学1997-1998<Y151-H09680326>
National Diet Library
  • Author Heading武市, 正人, 1948-

Fully lazy evaluation of functional programs

Fully lazy evaluation of functional programs
PaperDigital博士論文
武市正人 [著]<UT51-63-U79>
Available onlineNational Diet Library
  • Author Heading武市, 正人

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

ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE 2002 9 (レクチャーノート/ソフトウェア学 ; 28)
Paper図書
井上 克郎 編近代科学社2002.11<M159-H148>
National Diet LibraryOther Libraries in Japan
  • Author Heading井上, 克郎, 1956- 武市, 正人, 1948- 米沢, 明憲, 1947-

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

ソフトウェア工学の基礎 16 (レクチャーノート/ソフトウェア学 ; 35)
Paper図書
中島震, 鷲崎弘宜 編近代科学社2009.11<M159-J740>
National Diet LibraryOther Libraries in Japan
  • Author Heading中島, 震, 1955- 鷲崎, 弘宜 武市, 正人, 1948- 米沢, 明憲, 1947-

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

岩波講座ソフトウェア科学 4
PaperDigital図書
長尾真 [ほか]編岩波書店1994.6<M159-E227>
National Diet LibraryOther Libraries in Japan
  • Contentsプログラミング言語 武市正人 〔著〕 武市 正人/[著] 武市正人 [著] 武市 正人 武市正人 著 武市 正人 [著] 武市正人∥[著] 武市　正人／［著］ 武市正人/著 武市/正人∥[著] 武市　正人　〔著〕 参考書：ｐ２１９～２２１
  • Author Heading武市, 正人, 1948-

連想計算の代数に基づく並列連想計算方式の研究 : 「情報学」特定領域A01新しいソフトウエアの実現

連想計算の代数に基づく並列連想計算方式の研究 : 「情報学」特定領域A01新しいソフトウエアの実現
Paper図書
研究代表者 胡振江胡振江2006.3
Other Libraries in Japan
  • Author Heading胡, 振江 高野, 明彦 武市, 正人