プログラマ's 研究所

プログラマ's 研究所
Programmer's Lab.(since 1997.12.24)
形式手法とVDMを勉強してます。

研究日誌ぶろぐ
research note & blog
ゲーム
games!
C言語関数ツリー
C-language function tree
JCom
JCom(Java-COM bridge)
Javaスクリーンセーバー
Java Screen Saver
図形編集ソフト
FigureEditor
クリップボードの
ビットマップをグレイに

BmpGray
Javaのメモ
JavaMemo
ソースライブラリ
source lib.
VDMと形式手法
VDM & FormalMethod
著者近影
profile
リンク
link
i-Mode(i-Modeの実験)
◆ 更新履歴(What's New) ◆

Scala入門(PDF)
社内の勉強会(2011-05-23)で発表した資料です。
[大阪]第1回 大阪Scala勉強会(2011-10-15)でも使いました。



リンクはご自由にどうぞ
presented by 渡辺 義則(A-san)