ソフトウェア開発法の新傾向

スポンサーリンク

概要

• 論文の詳細を見る
• 応用物理学会分科会日本光学会の論文
• 2005-08-10

著者

• 林 晋

  神戸大学工学部

関連論文

• ソフトウェア開発法の新傾向
• 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)

スポンサーリンク