佐原伸のソフトウェアのページ

日本でのソフトウェアの地位が低いのが残念です。日本のサッカーが強くならないのと、日本のソフトウェアが奮わないのは相関関係がある、とも思っています。 :-)

形式仕様記述
形式仕様記述が研究課題です。これをやると「プログラムを作るのは難しい」ということが分かります。
- sigfm
  フォーマル・メソッド(形式手法)の普及を目指しています。
- VDMTools
  形式手法VDMとその仕様記述言語VDM-SL・VDM++を支援する開発環境。
  CSKが権利を買い取りました。評価版やマニュアルや例題はこちらのページをどうぞ。
- RAISE
  RAISEはコンピュータ支援を想定した形式仕様記述方法論です
  形式仕様記述言語RSLを使って、国連大学ソフトウェア技術国際研究所（マカオ）が中国の鉄道の要求仕様モデルを作りました。
- OBJ
  OBJは、仕様の実行をめざした形式仕様記述言語です
  SRAのソフトウェア工学研究所が、北陸先端科学技術大学院大学／二木研究室の依頼を受けて、最新版Cafe OBJの仕様・処理系を作っています。
関数型言語
関数型言語が実用的になってきました。最近のお気に入りはConcurrent Cleanです。
- Concurrent Clean
  実用的なアプリケーションの開発を目指して開発されたオランダのナイメーヘン大学が開発した「Ｃより速い」関数型言語コンパイラーです。パーソナルユーザーと教育用は無料です。Macintosh版はGUIインタフェースが付いています。
  例えば、以下のプログラムだけで、素数のリストを効率よく生成します。
  
  module prime
  import StdEnv
  
  crossout [x:xs] = filter (not o (multiple x)) xs
  multiple x y = divisible y x
  divisible t n = t rem n == 0
  
  Start = iterate crossout [2..]
  where
  primenums :: [Int]
  primenums = map hd (iterate crossout [2..])
- Standard ML of New Jersey
  ベル研究所が作ったStandard MLのコンパイラーです。MLのコンパイラーのソースまであります。関数型言語の標準と言って良いでしょう。Macintosh上ではテキスト処理しかできませんが、X-Window上ではGUIもあるようです。
  - MLニュースグループ

Smalltalk
オブジェクト指向言語の本命Smalltalkが主な仕事です。
- Smalltalkプログラム
- Smalltalkのホームページ
GemStone
整合ビジネスプロセス (pptフィアル 2MB)
その他の動的言語
DylanやLispその他の動的言語にも興味があります。
著書
- オブジェクト指向システム分析／設計　Ｑ＆Ａ、ソフト・リサーチ・センター、１９９５年１１月
  
  コンピュータサイエンス・ソフトウェア工学・形式仕様記述の入門書も目指したOOA/OODの解説本です。欲張りすぎたかも...
- デザインパターンによるオブジェクト指向分析／設計、ソフト・リサーチ・センター、１９９9年5月
  - 制約記述言語OCLの記述がかなりを占めるが、VDMで記述した方が良いので、次の本を書いた。
- 形式手法の技術講座―ソフトウェアトラブルを予防する、ソフト・リサーチ・センター、2008年５月
  - 仕様記述言語VDM++の入門書とも言える。形式手法の比較も記述してある。
訳書
- ジョンフィッツジェラルド , ペーター・ゴルムラーセン (著), 荒木啓二郎、佐原伸などの訳。ソフトウェア開発のモデル化技法、岩波書店、2003年2月
- Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F., and Lorensen, W著。羽生田栄一　監訳。オブジェクト指向方法論：OMT。トッパン、１９９２年７月
  
  かなりまともなOOA/OOD手法であるOMTの入門書です。読むには、コンピュータサイエンスの基礎が必要です。
論文
今までに書いた論文の一部です。
セミナー資料
今までに作成したセミナー資料の一部です。