「"Takeichi Masato"」の検索結果 | NDLサーチ

検索結果 51 件

タイトルでまとめる

Fully lazy evaluation of functional programs

紙デジタル博士論文

武市正人 [著]<UT51-63-U79>

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

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

紙図書

近代科学社2020.11<M154-M246>

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

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

紙図書

近代科学社2019.11<M154-M119>

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

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

紙図書

近代科学社2018.11<M154-L575>

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

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

紙図書

武市正人 [述]文部科学省科学技術政策研究所科学技術動向研究センター2005.7<M151-H310>

国立国会図書館

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

紙図書

近代科学社2016.12<M159-L1062>

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

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

紙図書

近代科学社2017.11<M154-L419>

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

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

紙図書

武市正人, 東京大学 [著][武市正人]2003-2005<Y151-H15200001>

国立国会図書館

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

紙図書

武市, 正人, 東京大学1999-2001<Y151-H11694130>

国立国会図書館

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

紙図書

武市, 正人, 東京大学1999-2001<Y151-H11480065>

国立国会図書館

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

紙図書

武市, 正人, 東京大学1998-2000<Y151-H10558041>

国立国会図書館

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

紙図書

高田眞吾, 福田浩章編近代科学社2010.11<M159-J1130>

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

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

紙図書

門田暁人, 上野秀剛編近代科学社2011.11<M159-J1472>

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

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

紙図書

中島震, 鷲崎弘宜編近代科学社2009.11<M159-J740>

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

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

紙図書

武市, 正人, 東京大学1997-1998<Y151-H09680326>

国立国会図書館

並列計算機上の関数プログラミングシステムの構築に関する研究

紙図書

武市, 正人, 東京大学1994-1996<Y151-H06558039>

国立国会図書館

プログラムの自己進化機構とその実現法に関する研究

紙図書

武市, 正人, 東京大学1995-1996<Y151-H07458053>

国立国会図書館

関数プログラミング : JSSST'94 2 (レクチャーノート/ソフトウェア学 ; 10)

紙デジタル図書

武市正人編近代科学社1994.12<M159-E2463>

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

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

紙デジタル図書

長尾真 [ほか]編岩波書店1994.6<M159-E227>

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

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

紙図書

井上克郎編近代科学社2002.11<M159-H148>

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