形式手法の産業応用ワークショップ
の第一回に参加した。
第1回形式手法の産業応用ワークショップ
IPA/SECにおける形式手法に関する活動状況と課題
山本修一郎 名古屋大学 情報連携統括本部 情報戦略室
システム検証研究センターの七年間
木下佳樹 産業技術総合研究所 システム検証研究センター
形式手法の知識体系 FMBoK (Formal Methods Body of Knowledge) 構築に向けて
田口研治 国立情報学研究所 GRACE センター
モデル検査知識体系 MCBOK2008 について
西原秀明 産業技術総合研究所 組込みシステム技術連携研究体
ICカードセキュリティ開発における形式手法SPINの適用（Smartcard security development using formal method tool SPIN)
市原尚久 （株）NTTデータ 技術開発本部 SIアーキテクチャ開発センタ
ソフトウェア開発における形式手法導入に関する課題と解決アプローチ
石黒正揮 (株)三菱総合研究所 情報技術研究センター 情報セキュリティ研究グループ
パネル 形式手法教育の現状と課題座長：粂野文洋 （株）三菱総合研究所／国立
パネリスト
小川清 （名古屋市工業研究所）
https://researchmap.jp/kaizen/研究日誌
劉少英 （法政大学）
https://seeds.office.hiroshima-u.ac.jp/profile/ja.0537f6504d710384520e17560c007669.html
青木利晃 （北陸先端科学技術大学院大学）
https://www.jaist.ac.jp/areas/sn/laboratory/aoki.html
来間啓伸 （日立製作所／国立情報学研究所）
https://researchmap.jp/kuruma
石川冬樹 （国立情報学研究所）
http://research.nii.ac.jp/~f-ishikawa/
Jean-Raymond Abrial
Modeling in Event-B:
の著者Jean-Raymond Abrialが法政大学に来て講演を行った。
ちょうどその日、たまたま東京駅にいて、
法政大学の講師をされていた佐原伸さんから連絡があり急遽法政大学へ行った。
本の誤植を指摘していたのでFacebookで友達になった。
学生時代
経済学部の教授にお前の卒論は経済学ではないと言われた。
その前から、現在の理工学部で教えられていた経営学の先生の追っかけをしていた。
なぜ経済学徒を辞め、計算機屋になったか（経済学部入学前・入学後・卒業後対応） 転職(1)
最後までおよみいただきありがとうございました。
いいね 💚、フォローをお願いします。
Thank you very much for reading to the last sentence.
Please press the like icon 💚 and follow me for your happy life.