[SML 7119] Re: Smalltalkerのための初等数学

[Kondo Hirotsugu]

近藤です。

昨日じゅんMLの方には流したのですが、SMLにも流すべしと
青木さんに言われたので、流します。

> ＳＲＡ先端技術研究所の青木です。
> 
> 小舟の問題ですが、いろんな方々に挑戦していただけて、嬉しいか
> ぎりです。この SML ではないのですが、他のメーリングリストでは、
> SPIN や NuSMV そして VDM++ などのプログラムも出てきて、とても
> 参考になります。Squeak, Ruby, Java, Prolog, Lisp などのプログ
> ラムもチラホラと。

私なりのアプローチで、この問題を解いてみました。
使用言語はJavaです（だからこっちには投稿しなかったのですが）。

詳細は、下記ページにまとめました。

http://www.sra.co.jp/people/kondo/business/java/river/index.html

まだ最短経路の抽出とか、結果のグラフィカルな表示とか、
やれることは色々ありますね。

それでは。

---
Kondo Hirotsugu (kondo ＠ sra.co.jp)
SRA / Global IT Service Company
Industry System division