ソフトウエアサイエンスは何処に行くのか？
http://laplace.theory.cs.ritsumei.ac.jp/~takayama/MathEssays/soft.html