ハヤシ, ススム
林, 晋(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=AU00134953 NCID=DA02963363 |
1 | はじめて学ぶ保険のしくみ / 家森信善編著 ; 浅井義裕, 小林毅, 林晋著 東京 : 中央経済社 , 2009.4 |
2 | 不完全性定理 / ゲーデル著 ; 林晋, 八杉満利子訳・解説 東京 : 岩波書店 , 2006.9 |
3 | お話・数学基礎論 : 数学では必ず正しい結論に到達できるか? / 八杉満利子, 林晋著 東京 : 講談社 , 2002.6 |
4 | 情報系の数学入門 / 林晋, 八杉満利子共著 東京 : オーム社 , 1993.9 |
5 | 構成的プログラミングの基礎 / 林晋, 小林聡共著 東京 : 遊星社. - 東京 : 星雲社 (発売) , 1991.4 |
6 | 数理論理学 / 林晋著 東京 : コロナ社 , 1989.12 |