一般注記 |
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,遊星社)の奥付より
|