close
1.

図書
図書
1. 解析序説
小林龍一, 廣瀬健, 佐藤總夫著
出版情報: 東京 : 筑摩書房, 2010.1
シリーズ名: ちくま学芸文庫 ; [コ-29-1]
所蔵情報: loading…
2.

図書
図書
2. 論理
廣瀬健著
出版情報: 東京 : 日本評論社, 1994.5
シリーズ名: 現代応用数学の基礎
所蔵情報: loading…
3.

図書
図書
3. 代数系 : 環・体・ガロア体・群・束
廣瀬健著
出版情報: 東京 : 日本評論社, 1994.5
シリーズ名: 現代応用数学の基礎
所蔵情報: loading…
4.

図書
図書
4. コンピュータ基礎理論ハンドブック
Jan van Leeuwen [編] ; 廣瀬健, 野崎昭弘, 小林孝次郎監訳
出版情報: 東京 : 丸善, 1994.2
所蔵情報: loading…
5.

図書
図書
5. 新データベース論 : 関係から演繹・オブジェクト指向へ
横田一正, 宮崎収兄著
出版情報: 東京 : 共立出版, 1994.7
シリーズ名: 計算機科学/ソフトウェア技術講座 / 廣瀬健 [ほか] 編 ; 4
所蔵情報: loading…
6.

図書
図書
6. アルゴリズムと複雑さ
Leeuwen, Jan van ; 広瀬, 健(1935-)
出版情報: 東京 : 丸善, 1994.2
シリーズ名: コンピュータ基礎理論ハンドブック / Jan van Leeuwen [編] ; 廣瀬健, 野崎昭弘, 小林孝次郎監訳 ; 1
所蔵情報: loading…
7.

図書
図書
7. 形式的モデルと意味論
Leeuwen, Jan van ; 広瀬, 健(1935-)
出版情報: 東京 : 丸善, 1994.2
シリーズ名: コンピュータ基礎理論ハンドブック / Jan van Leeuwen [編] ; 廣瀬健, 野崎昭弘, 小林孝次郎監訳 ; 2
所蔵情報: loading…
8.

図書
図書
8. 情報数学講座
広瀬, 健(1935-) ; 野崎, 昭弘(1936-) ; 鈴木, 則久(1946-) ; 小林, 孝次郎(1939-)
出版情報: 東京 : 共立出版, 1993.5-
所蔵情報: loading…
9.

図書
図書
9. コンピュータソフトウェア事典
廣瀬健, 高橋延匡, 土居範久編
出版情報: 東京 : 丸善, 1990.4
所蔵情報: loading…
10.

図書
図書
10. 帰納的関数
廣瀬健著
出版情報: 東京 : 共立出版, 1989.2
シリーズ名: 共立講座現代の数学 ; 3
所蔵情報: loading…
11.

図書
図書
11. 情報と社会
廣瀬健, 有澤誠著
出版情報: 東京 : 岩波書店, 1988.1
シリーズ名: 文科系のコンピュータ ; 環境篇
所蔵情報: loading…
12.

図書
図書
12. 認知科学と人工知能
安西祐一郎著
出版情報: 東京 : 共立出版, 1987.11
シリーズ名: 計算機科学/ソフトウェア技術講座 / 廣瀬健 [ほか] 編 ; 17
所蔵情報: loading…
13.

図書
図書
13. 基礎数学 3
廣瀬健著
出版情報: 東京 : 放送大学教育振興会 , 東京 : 日本放送出版協会(発売), 1986.3
シリーズ名: 放送大学教材 ; 23142-1-8611
所蔵情報: loading…
14.

図書
図書
14. コンピュータから生まれた新しい数学
野崎昭弘, 広瀬健編
出版情報: 東京 : 日本評論社, 1986.4
シリーズ名: 別冊・数学セミナー ; . コンピュータと数学||コンピュータ ト スウガク ; 5
所蔵情報: loading…
15.

図書
図書
15. ゲーデルの世界 : 完全性定理と不完全性定理
廣瀬健, 横田一正著
出版情報: 東京 : 海鳴社, 1985.5
所蔵情報: loading…
16.

図書
図書
16. 情報数学
廣瀬健執筆
出版情報: 東京 : コロナ社, 1985.11
シリーズ名: 電子情報通信学会大学シリーズ / 電子情報通信学会編 ; A-5
所蔵情報: loading…
17.

図書
図書
17. ソフトウェア評価技法 : 検査・検定・保守・コスト積算
廣瀬健編
出版情報: 東京 : 共立出版, 1982.9
所蔵情報: loading…
18.

図書
図書
18. 数学の方法 : 直観的イメージから数学的対象へ
廣瀬健 [ほか] 共著
出版情報: 東京 : 共立出版, 1982.6
所蔵情報: loading…
19.

図書
図書
19. 数学研究の最前線
斎藤正彦, 廣瀬健, 森毅編
出版情報: 東京 : 日本評論社, 1982.7
シリーズ名: シンポジウム数学 ; 4 . 数学セミナー増刊||スウガク セミナー ゾウカン
所蔵情報: loading…
20.

図書
図書
20. 数学基礎論の応用
廣瀬健編著
出版情報: 東京 : 日本評論社, 1981.3
シリーズ名: 数学セミナー ; 増刊 . 入門・現代の数学||ニュウモン ゲンダイ ノ スウガク ; 12
所蔵情報: loading…
21.

図書
図書
21. 文化のなかの数学
斎藤正彦, 廣瀬健, 森毅編
出版情報: 東京 : 日本評論社, 1981.9
シリーズ名: シンポジウム数学 ; 3 . 数学セミナー増刊||スウガク セミナー ゾウカン
所蔵情報: loading…
22.

図書
図書
22. 数学と諸科学
斎藤正彦, 廣瀬健, 森毅編
出版情報: 東京 : 日本評論社, 1980.12
シリーズ名: シンポジウム数学 ; 2 . 数学セミナー増刊||スウガク セミナー ゾウカン
所蔵情報: loading…
23.

図書
図書
23. コンパイラのうちとそと
島内剛一 [ほか] 著
出版情報: 東京 : 共立出版, 1979.3
所蔵情報: loading…
24.

図書
図書
24. 基礎概念
D.E. Knuth著 ; 廣瀬健訳
出版情報: 東京 : サイエンス社, 1978.3
シリーズ名: The art of computer programming ; 1 . 基本算法||キホン サンポウ
所蔵情報: loading…
25.

図書
図書
25. 数学的帰納法
廣瀬健著
出版情報: 東京 : 教育出版, 1975.6
シリーズ名: シリーズ新しい応用の数学 / 一松信, 伊理正夫, 竹内啓編 ; 11
所蔵情報: loading…
26.

図書
図書
26. 計算論
広瀬健著
出版情報: 東京 : 朝倉書店, 1975.1
シリーズ名: 近代数学講座 / 小松勇作編集 ; 19
所蔵情報: loading…
27.

図書
図書
27. 計算機科学/ソフトウェア技術講座
廣瀬健 [ほか] 編
出版情報: 東京 : 共立出版
所蔵情報: loading…