ハヤシ, ススム
林, 晋(1953-)

著者名典拠詳細を表示

著者の属性 個人
場所 広島県
一般注記 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,遊星社)の奥付より
生没年等 1953
から見よ参照 *Hayashi, Susumu
Hayashi, S.
Hayasi, Susumu
Hayasi, S.
コード類 典拠ID=AU00014088  NCID=DA02963363
1 不完全性定理 / ゲーデル [著] ; 林晋, 八杉満利子訳・解説 東京 : 岩波書店 , 2006.9
2 ソフトウェア工学で流行する「日本型」生産法 / 林晋[述] [東京] : 文部科学省科学技術政策研究所科学技術動向研究センター , 2004.6
3 パラドックス! = paradox! / 林晋編著 東京 : 日本評論社 , 2000.7
4 ゲーデルの謎を解く / 林晋著 東京 : 岩波書店 , 1993.11