About me

• Twitter : @masateruk
• Github : masateruk
• Blog : http://d.hatena.ne.jp/masateruk/

Contents

• Basic Spin Manual 日本語訳（HTML版 / PDF版）

Spin Model Checker のマニュアル Basic Spin Manual の日本語訳です。翻訳に協力してくださった皆様に感謝します。

Presentations

• 2018 年 3 月 JaSST’18 Tokyo 『ケーススタディーで学ぶ仕様の書き方』(PDF)
• 2017 年 4 月 アジャイルジャパン 『アジャイルと形式手法』
• 2017 年 3 月 PPL2017 『協働ロボット CORO の開発における形式的仕様記述 KML の開発と適用』
• 2017 年 2 月 JaSST’17 Tokyo 『形式手法とテスト、そして、その先について』
• 2016 年 9 月 XP 祭り 2016 『SW チームと HW チームがスクラムを組んだら』
• 2016 年 6 月 トップエスイーソフトウェア工学勉強会 『恊働ロボット CORO の開発における形式的仕様の適用事例』
• 2011 年 4 月 アジャイルジャパン 『はじめてのアジャイル挑戦記~実践して学んだこと~』

Articles

• 形式仕様記述の事例についての取材いただいた記事です。『ファナックが買収したロボベンチャー、ソフトの技術力で群を抜く』

Link

• 抽象によるソフトウェア設計−Alloyではじめる形式手法−
• 抽象によるソフトウェア設計−Alloyではじめる形式手法− (Amazon.co.jp)
• 抽象によるソフトウェア設計サポートページ

『Software Abstractions』の訳本である『抽象によるソフトウェア設計−Alloyではじめる形式手法−』のレビューに参加させていただきました。Alloyは形式手法の効果を体感するにはとても良いツールですので、本を片手に試してもらえればと思います。レビューする機会を与えてくださった訳者の皆様に感謝します。