プログラマー'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)でも使いました。

★2011/01/01
あけおめことよろ

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