林 晋 | 神戸大学工学部
スポンサーリンク
概要
関連著者
-
林 晋
神戸大学工学部
-
林 晋
The Metropolitan College of Technology
-
林 晋
神戸大学工学部情報知能工学科
-
住友 亮翼
神戸大学自然科学研究科
-
林 晋
都立工科短期大学
著作論文
- ソフトウェア開発法の新傾向
- Formalized Mathematics, Proof Animation, and Limit Computable Mathematics (Relevance and Feasibility of Mathematical Analysis on the Computer)
- 証明アニメーション支援環境の構築
- Constructive mathematics and program synthesis(LOGIC AND THE FOUNDATIONS OF MATHEMATICS)
- 構成的数学とプログラム合成(数学基礎論)
- 「複雑系科学の哲学に不足しているもの」に対するコメント新システム論の視座-関係性と多様性の回復を求めて-(その1)