検索条件入力 ＞ 書誌詳細 ＞ 関連資料一覧：（本学所蔵）
関連資料一覧：（本学所蔵）
著者名典拠情報
NCIDDA00250391
名称(HDNG)広瀬, 健(1935-)||ヒロセ, ケン
生没年(DATE)1935-1993
から見よ(SF)廣瀬, 健(1935-1993)||ヒロセ, ケン
Hirose, Ken, 1935-1993
注記(NOTE)帰納的関数, 1989: 奥付 (ひろせ けん)
研究者・研究課題総覧, 1989: p.154 (HIROSE, Ken ; 1935.10.22生)
早稲田大学理工学部数学科教授, 理学博士
早大・情報科学研究教育センター所長
専攻:数学, 情報科学
編書「コンピュータソフトウェア事典」(1990年,丸善)
EDSRC:論理 / 廣瀬健著(日本評論社, 1994.5) 奥付により没年を追加
EDSRC:代数系 : 環・体・ガロア体・群・束 / 廣瀬健著(日本評論社, 1994.5)奥付けよりPLACE追加。
選択行を：
15 件中の　1-1012
資料名所在
1コンピュータ基礎理論ハンドブック / Jan van Leeuwen [編] ; 廣瀬健, 野崎昭弘, 小林孝次郎監訳. -- 丸善, 1994.2. 
2計算機科学/ソフトウェア技術講座 / 廣瀬健[ほか]編. -- 共立出版, . 
3基礎概念 / D. E. Knuth著 ; 廣瀬健訳. -- サイエンス社, 1978.3. -- (The art of computer programming ; 1 . 基本算法||キホン サンポウ).図書館(書庫) 007.6:cK
理数学 007.6:cK
4認知科学と人工知能 / 安西祐一郎著. -- 共立出版, 1987.11. -- (計算機科学/ソフトウェア技術講座 / 廣瀬健[ほか]編 ; 17).図書館(書庫) 007.6:Ke:17
5帰納的関数 / 廣瀬健著. -- 共立出版, 1989.2. -- (共立講座現代の数学 ; 3).理数学 413.5:H
6コンピュータソフトウェア事典 / 廣瀬健, 高橋延匡, 土居範久編. -- 丸善, 1990.4.図書館(参考図書) 007.6:Ko
工情報 007.6:Ko
7アルゴリズムと複雑さ. -- 丸善, 1994.2. -- (コンピュータ基礎理論ハンドブック / Jan van Leeuwen [編] ; 廣瀬健, 野崎昭弘, 小林孝次郎監訳 ; 1).図書館(閲覧室) 007.1:Ko:1
8数学の方法 : 直観的イメージから数学的対象へ / 廣瀬健 [ほか] 共著. -- 共立出版, 1982.6.図書館(書庫) 410:Su
9情報数学 / 廣瀬健執筆. -- コロナ社, 1985.11. -- (電子通信学会大学シリーズ / 電子通信学会編 ; A-5).図書館(書庫) 410:H
10形式的モデルと意味論. -- 丸善, 1994.2. -- (コンピュータ基礎理論ハンドブック / Jan van Leeuwen [編] ; 廣瀬健, 野崎昭弘, 小林孝次郎監訳 ; 2).図書館(閲覧室) 007.1:Ko:2
15 件中の　1-1012
選択行を
▲ページトップへ