形式手法コミュの良い勉強法はありませんか？

ログインして参加する

良い勉強法はありませんか？

mixiユーザー 2006年12月24日 01:04

形式手法は古くて新しい手法です。
それゆえに、興味を持ったとしても
「どこから手をつけていいのやら・・・」
ということになりがちです。

「あなたはどうやって形式手法を身につけましたか？」

コメント(4)

最初
全て
最新の40件

1

[3] mixiユーザー 03月22日 20:57

Z を学ぶのでしたら、 Using Z は良い教科書だと思います。ただ、後半の Promotion などに関する部分は高度なので、全てを理解するのは中々苦労すると思います。

Z に関するツールとしては、ZTC などの型チェッカもあるし、 ZANS などのアニメータもあります。

ログインすると、みんなのコメントがもっと見れるよ

最初
全て
最新の40件

1

mixiユーザー: ログインしてコメントしよう！

形式手法更新情報

形式手法のメンバーはこんなコミュニティにも参加しています

星印の数は、共通して参加しているメンバーが多いほど増えます。

人気コミュニティランキング

困ったときには

関連ワード

mixiで趣味の話をしよう: 新規登録（無料）; ログイン

このページの上部へ