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

著者名典拠詳細を表示

著者の属性 個人
場所 大分県
一般注記 帰納的関数, 1989: 奥付 (ひろせ けん)
研究者・研究課題総覧, 1989: p.154 (HIROSE, Ken ; 1935.10.22生)
早稲田大学理工学部数学科教授, 理学博士
早大・情報科学研究教育センター所長
専攻:数学, 情報科学
編書「コンピュータソフトウェア事典」(1990年,丸善)
EDSRC:論理 / 廣瀬健著(日本評論社, 1994.5) 奥付により没年を追加
EDSRC:代数系 : 環・体・ガロア体・群・束 / 廣瀬健著(日本評論社, 1994.5)奥付けよりPLACE追加。
Dates of Birth and Death 1935-1993
から見よ参照 廣瀬, 健(1935-1993)<ヒロセ, ケン>
Hirose, Ken, 1935-1993
コード類 典拠ID=AU00005833  NCID=DA00250391
1 解析序説 / 小林龍一, 廣瀬健, 佐藤總夫著 東京 : 筑摩書房 , 2010.1
2 新データベース論 : 関係から演繹・オブジェクト指向へ / 横田一正, 宮崎収兄著 東京 : 共立出版 , 1994.7
3 代数系 : 環・体・ガロア体・群・束 / 廣瀬健著 東京 : 日本評論社 , 1994.5
4 論理 / 廣瀬健著 東京 : 日本評論社 , 1994.5
5 形式的モデルと意味論 東京 : 丸善 , 1994.2
6 アルゴリズムと複雑さ 東京 : 丸善 , 1994.2
7 コンピュータ基礎理論ハンドブック / Jan van Leeuwen [編] ; 廣瀬健, 野崎昭弘, 小林孝次郎監訳 東京 : 丸善 , 1994.2
8 情報数学講座 東京 : 共立出版 , 1993.5-
9 帰納的関数 / 廣瀬健著 東京 : 共立出版 , 1989.2
10 認知科学と人工知能 / 安西祐一郎著 東京 : 共立出版 , 1987.11
11 ゲーデルの世界 : 完全性定理と不完全性定理 / 廣瀬健, 横田一正著 東京 : 海鳴社 , 1985.5
12 数学と現代 / 斎藤正彦, 廣瀬健, 森毅編 東京 : 日本評論社 , 1983.3
13 数学研究の最前線 / 斎藤正彦, 廣瀬健, 森毅編 東京 : 日本評論社 , 1982.7
14 数学の方法 : 直観的イメージから数学的対象へ / 廣瀬健 [ほか] 共著 東京 : 共立出版 , 1982.6
15 文化のなかの数学 / 斎藤正彦, 廣瀬健, 森毅編 東京 : 日本評論社 , 1981.9
16 数学基礎論の応用 / 廣瀬健編著 東京 : 日本評論社 , 1981.3
17 数学と諸科学 / 斎藤正彦, 廣瀬健, 森毅編 東京 : 日本評論社 , 1980.12
18 数学と教育 / 斎藤正彦, 廣瀬健, 森毅編 東京 : 日本評論社 , 1980.4
19 基礎概念 / D. E. Knuth著 ; 廣瀬健訳 東京 : サイエンス社 , 1978.3
20 数学的帰納法 / 廣瀬健著 東京 : 教育出版 , 1975.6
21 計算論 / 広瀬健著 東京 : 朝倉書店 , 1975.1
22 解析序説 / 小林竜一, 広瀬健, 佐藤総夫共著 東京 : 共立出版 , 1974.2
23 計算機科学/ソフトウェア技術講座 / 廣瀬健 [ほか] 編 東京 : 共立出版