本位田真一の作品一覧
「本位田真一」の「IT Text 人工知能(改訂2版)」「アジャイルイントロダクション Agile開発の光と影」ほか、ユーザーレビューをお届けします!
- 作者をフォローする
- フォローすると、この作者の新刊が配信された際に、お知らせします。
無料マンガ・ラノベなど、豊富なラインナップで100万冊以上配信中!
「本位田真一」の「IT Text 人工知能(改訂2版)」「アジャイルイントロダクション Agile開発の光と影」ほか、ユーザーレビューをお届けします!
Posted by ブクログ
形式手法の教育を行う場合に、受講生は全部読んでいる必要はないという命題をたててみました。
というのは、トップエスイー実践講座3では、「高度な数学的知識を習得して、現実的なシステムの仕様記述に利用することは容易でははい。」「モデル検査は、検証に必要な証明の作業を完全に自動的に行うため、上述の形式検証技術一般の問題点を解決できる。」とあることにもとづいています。
ただし、講師になる人間は、全部読んでいる必要があると感じました。
本書を読む前に、「四日で学ぶモデル検証」を実際に動かした方がよいと感じています。
自分では、本書も先に目を通そうとしたことがありましたが、めげていました。
「四日で
Posted by ブクログ
形式手法の教育を行う場合に、受講生は、本書を全部読んでいる必要はないという命題をたててみました。
トップエスイー実践講座3では、「高度な数学的知識を習得して、現実的なシステムの仕様記述に利用することは容易でははい。」「モデル検査は、検証に必要な証明の作業を完全に自動的に行うため、上述の形式検証技術一般の問題点を解決できる。」とあることにもとづいています。
講師になる人間は、全部読んでいる必要があると感じました。
本書を読んでいて、わからない記述があったので記録します。
P21
論理命題が真であれば、その対偶は真となる。
「叱らないと勉強しない」(命題)
「勉強すると叱る」