著者典拠情報

著者標目形:
武市, 正人(1948-)||タケイチ, マサト
属性:
Personal
場所:
徳島県
日付:
1948
から見よ参照形:
Takeichi, Masato
注記:
東大・工・計数工学科助手・講師
電気通信大学助教授
東京大学助教授
東京大学大学院情報理工学系研究科教授(2002.3現在)
出生地の追加は共編書「Pascalによる算法通論」(1991,東京大学出版会):奥付より
EDSRC:Fuji International Workshop on Functional and Logic Programming : Susono, Japan, July 17-19, 1995 / editors, Masato Takeichi, Tetsuo Ida(World Scientific, c1995)
著者典拠ID:
DA00892876


1.

図書

図書
L.ゴールドシュレーガー, A.リスター共著 ; 武市正人, 小川貴英, 角田博保共訳
出版情報: 東京 : 近代科学社, 2000.11
所蔵情報: 研究室
2.

図書

図書
日本ソフトウェア科学会関数プログラミング研究会編
出版情報: 東京 : 近代科学社, 1992-1994
シリーズ名: レクチャーノート/ソフトウェア学 ; 3,10
所蔵情報: 図書館
3.

図書

図書
武市正人 [著]
出版情報: 東京 : 岩波書店, 1994.6
シリーズ名: 岩波講座ソフトウェア科学 / 長尾真 [ほか] 編 ; 4
所蔵情報: 図書館
4.

図書

図書
小林光夫, 武市正人, 鈴木卓治著
出版情報: 東京 : 東京大学出版会, 1992.5
所蔵情報: 図書館
5.

図書

図書
L.ゴールドシュレーガー, A.リスター共著 ; 武市正人, 小川貴英, 角田博保共訳
出版情報: 東京 : 近代科学社, 1987.2
所蔵情報: 図書館
6.

図書

図書
ロバート E.ベリー著 ; 武市正人訳
出版情報: 東京 : 近代科学社, 1983.5
シリーズ名: ソフトウェア工学ライブラリ ; 8
所蔵情報: 図書館
7.

図書

図書
米田信夫編 ; 斎藤信男, 武市正人, 石畑清著
出版情報: 東京 : 産業図書, 1982.7
シリーズ名: コンピューターサイエンス・ライブラリー
所蔵情報: 図書館
8.

図書

図書
森口繁一, 小林光夫, 武市正人 [著]
出版情報: 東京 : 岩波書店, 1981.10
シリーズ名: 岩波講座情報科学 ; 3
所蔵情報: 図書館, 研究室
9.

図書

図書
森口繁一, 武市正人共著
出版情報: 東京 : 近代科学社, 1979.8
所蔵情報: 図書館
10.

図書

図書
E.W.ダイクストラ, C.A.R.ホーア, O.-J.ダール共著 ; 野下浩平, 川合慧, 武市正人共訳
出版情報: 東京 : サイエンス社, 1975.5
シリーズ名: サイエンスライブラリ情報電算機 ; 32
所蔵情報: 図書館, 研究室