数学とソフトウェアのページ更新数学とソフトウェアのページを更新しました。コンピューティング(PDF)→論理プログラミングによる構造を表す関数にPDF版の文書コンピューティング(XPS)→論理プログラミングによる構造を表す関数にXPS版の文書を追加しました。別のブログの方に書こうかと思ったのですが、見ている人もいそうにないので今回からこちらに書くことにします。今のところ何のことやらわからないと思いますが、そのうちもうちょっと文書を追加する予定です。しかし追加してもよくわからないかもしれません。
