こちらに共通ヘッダが追加されます。

ヒロセ, ケン
広瀬, 健(1935-)

著者名典拠詳細を非表示

著者の属性 個人
出生地等 大分県
一般注記 帰納的関数, 1989: 奥付 (ひろせ けん)
研究者・研究課題総覧, 1989: p.154 (HIROSE, Ken ; 1935.10.22生)
早稲田大学理工学部数学科教授, 理学博士
早大・情報科学研究教育センター所長
専攻:数学, 情報科学
編書「コンピュータソフトウェア事典」(1990年,丸善)
EDSRC:論理 / 廣瀬健著(日本評論社, 1994.5) 奥付により没年を追加
EDSRC:代数系 : 環・体・ガロア体・群・束 / 廣瀬健著(日本評論社, 1994.5)奥付けよりPLACE追加。
生没年等 1935-1993
別名 廣瀬, 健(1935-1993)<ヒロセ, ケン>
Hirose, Ken, 1935-1993
コード類 典拠ID=AU00006121  NCID=DA00250391
1 数学の方法 : 直観的イメージから数学的対象へ / 廣瀬健, 足立恒雄, 郡敏昭共著 復刊. - 東京 : 共立出版 , 2011.5
2 数学・基礎の基礎 / 廣瀬健著 東京 : 海鳴社 , 1996.6
3 新データベース論 : 関係から演繹・オブジェクト指向へ / 横田一正, 宮崎収兄著 東京 : 共立出版 , 1994.7
4 論理 / 廣瀬健著 東京 : 日本評論社 , 1994.5
5 代数系 : 環・体・ガロア体・群・束 / 廣瀬健著 東京 : 日本評論社 , 1994.5
6 アルゴリズムと複雑さ 東京 : 丸善 , 1994.2
7 コンピュータ基礎理論ハンドブック / Jan van Leeuwen [編] ; 廣瀬健, 野崎昭弘, 小林孝次郎監訳 東京 : 丸善 , 1994.2
8 形式的モデルと意味論 東京 : 丸善 , 1994.2
9 情報数学講座 東京 : 共立出版 , 1993.5-
10 コンピュータソフトウェア事典 / 廣瀬健, 高橋延匡, 土居範久編 東京 : 丸善 , 1990.4
11 帰納的関数 / 廣瀬健著 東京 : 共立出版 , 1989.2
12 情報と社会 / 廣瀬健, 有澤誠著 東京 : 岩波書店 , 1988.1
13 認知科学と人工知能 / 安西祐一郎著 東京 : 共立出版 , 1987.11
14 コンピュータから生まれた新しい数学 / 野崎昭弘, 広瀬健編 東京 : 日本評論社 , 1986.4
15 情報数学 / 廣瀬健執筆 東京 : コロナ社 , 1985.11
16 ゲーデルの世界 : 完全性定理と不完全性定理 / 廣瀬健, 横田一正著 東京 : 海鳴社 , 1985.5
17 数学の方法 : 直観的イメージから数学的対象へ / 廣瀬健 [ほか] 共著 東京 : 共立出版 , 1982.6
18 基礎概念 / D. E. Knuth著 ; 廣瀬健訳 東京 : サイエンス社 , 1978.3
19 数学的帰納法 / 廣瀬健著 東京 : 教育出版 , 1975.6
20 計算論 / 広瀬健著 東京 : 朝倉書店 , 1975.1
21 解析序説 / 小林竜一, 広瀬健, 佐藤総夫共著 東京 : 共立出版 , 1974.2
22 計算機科学/ソフトウェア技術講座 / 廣瀬健[ほか]編 東京 : 共立出版