Hayashi, Susumu
Hayashi, Susumu, 1953-
林, 晋, 1953-
林, 晋
林晋 日本の情報学者・数学者
VIAF ID: 110098762 ( Personal )
Permalink: http://viaf.org/viaf/110098762
Preferred Forms
- 100 1 _ ‡a Hayashi, Susumu
-
-
-
-
-
- 100 1 _ ‡a Hayashi, Susumu, ‡d 1953-
- 100 1 _ ‡a 林, 晋
- 100 1 _ ‡a 林, 晋, ‡d 1953-
- 100 0 _ ‡a 林晋 ‡c 日本の情報学者・数学者
4xx's: Alternate Name Forms (13)
Works
Title | Sources |
---|---|
Fukanzensei teiri | |
Gēderu no nazo o toku | |
Jōhōkei no sūgaku nyūmon | |
Kagaku gijutsu ni shisō wa hitsuyō ka | |
Kenkyūsha sōran, shizen, 1984: | |
Kōseiteki puroguramingu no kiso | |
Ohanashi sūgaku kisoron : Sūgaku dewa kanarazu tadashii ketsuron ni tōtatsudekiruka | |
Paradokkusu = Paradox! | |
Puroguramu kenshō ron | |
PX : a computational logic | |
Ronri pazuru to pazuru no ronri | |
Sofutōea kōgaku de ryūkōsuru nihongata seisanhō | |
Sūri ronrigaku | |
Uber formal unentscheidbare Satze der Principia Mathematica und verwandter Systeme. | |
お話・数学基礎論 : 数学では必ず正しい結論に到達できるか? | |
ゲーデルの謎を解く | |
ソフトウェア工学で流行する「日本型」生産法 | |
パラドックス! = paradox! | |
プログラム検証論 | |
不完全性定理 | |
情報系の数学入門 | |
構成的プログラミングの基礎 | |
数理論理学 | |
科学技術に「思想」は必要か | |
論理パズルとパズルの論理 |