河野真治 @ 琉球大学情報工学です。

In article <YAS.03Oct9235837@kirk.is.tsukuba.ac.jp>, yas@is.tsukuba.ac.jp (Yasushi Shinjo) writes
> IDE って、どのくらいのスケーラビリティがあるんでしょうね。画
> 面に 10 枚くらいファイルを開いたらもう辛いんじゃないかなあ。

僕が良く言うのは「見える部分のプログラミングはやさしいけど、
見えない部分が重要なんだ」ってのかな。その見えない部分を
サポートしてくれるのが IDE なはずなんだけど...

SPIN みたいな Model checking tool を IDE というかというと...

---
Shinji KONO @ Information Engineering, University of the Ryukyus, 
河野真治 @ 琉球大学工学部情報工学科,