著者典拠情報

著者標目形：
林, 晋(1953-)||ハヤシ, ススム
属性：
Personal
場所：
広島県
日付：
1953
から見よ参照形：
*Hayashi, Susumu
Hayashi, S.
Hayasi, Susumu
Hayasi, S.
注記：
His PX, a computational logic, c1988: CIP t.p. (Susumu Hayashi) pref. (formerly w. Tsukuba Univ., Met. Coll. of Tech., Tokyo; w. Kyoto Univ.)
Kenkyūsha sōran, shizen, 1984: p. 168 (Hayashi Susumu; b. 7/23/53; lectr., Tōkyō Toritsu Kōka Tanki Daigaku; D.Sc.; spec.: math.)
龍谷大学理工学部数理情報科助教授, 理学博士
著書:「コンピュータ数学シリーズ;3 数理論理学」(コロナ社, 1989)
出生地の追加は著書「構成的プログラミングの基礎」(1991,遊星社)の奥付より
著者典拠ID：
DA02963363


1.

図書
図書
1. 不完全性定理
ゲーデル [著] ; 林晋, 八杉満利子訳・解説
出版情報: 東京 : 岩波書店, 2006.9
シリーズ名: 岩波文庫 ; 青(33)-944-1
所蔵情報: 図書館
2.

図書
図書
2. パラドックス! = paradox!
林晋編著
出版情報: 東京 : 日本評論社, 2000.7
所蔵情報: 図書館
3.

図書
図書
3. プログラム検証論
林晋著
出版情報: 東京 : 共立出版, 1995.9
シリーズ名: 情報数学講座 ; 8
所蔵情報: 図書館, 研究室
4.

図書
図書
4. 構成的プログラミングの基礎
林晋, 小林聡共著
出版情報: 東京 : 遊星社 , 東京 : 星雲社 (発売), 1991.4
所蔵情報: 図書館
5.

図書
図書
5. 数理論理学
林晋著
出版情報: 東京 : コロナ社, 1989.12
シリーズ名: コンピュータ数学シリーズ / 斎藤信男, 有澤誠, 筧捷彦編 ; 3
所蔵情報: 図書館
6.

図書
図書
6. PX, a computational logic
Susumu Hayashi, Hiroshi Nakano
出版情報: Cambridge, Mass. : MIT Press, c1988
シリーズ名: MIT Press series in the foundations of computing
所蔵情報: 図書館