(ns fmf20101205
  (:use L5 L5.layout)
  (:import [java.awt Color]))

(defcontext
  {:width 640 :height 480
   :font-family "Gill Sans"
   :font-size 30
   :color (Color/darkGray)
   :background-color Color/white})

(defslides
  [(t "Formal Methods Forum"
      "2010年振り返り")
   (with-size 15
     (lines "ken.coba"
	    "2010/12/05"))]

  [(t "そもそも" "形式手法って何だっけ？")]

  [(t "数学を基礎とした" "システム開発技術の総称")]

  [(title "何で形式手法が面白いのか？")]

  [(title "何で形式手法が面白いのか？")
   (item "数学が楽しい"
	 "パズル的な楽しさがある"
	 "設計にプログラミングの考え方が"
	 "適用できる")]

  [(title "FM-Forumの目標")
   (t "形式手法をビジネスで"
      "利用できるようになること")]

  [(t "2010年振り返り")]

  [(title "ここ最近の国内形式手法の動き")
   (item "形式手法活用ガイド"
	 "  (エンタープライズ利用の検討)"
	 "機能安全"
	 "  (FM-Forumでは弱いところ)"
	 "「Software Abstractions」翻訳")]

  [(title "これまでのFM-Forum開催記録")
   (item "第1回  2010/02/08 Alloy,Coq"
	 "第2回  2010/03/09 Coq"
	 "第3回  2010/04/10 Coq"
	 "第4回  2010/04/29 CEGAR,Coq"
	 "第5回  2010/05/22 Coq,Alloy"
	 "第6回  2010/06/12 圏論,Coq,Alloy"
	 "  (名古屋市工業研究所セミナー対策)")]
  [(title "これまでのFM-Forum開催記録")
   (item "第7回  2010/07/19 Alloy,Coq"
	 "第8回  2010/08/14 Coq,Maude"
	 "第9回  2010/09/23 Coq"
	 "第10回 2010/10/23 Coq"
	 "第11回 2010/11/13 Guru,Alloy"
	 "  (CSP研究会直前対策)"
	 "第12回 2010/12/05 Guru,Coq")]

  [(title "取り上げた形式手法")
   (item "Alloy:集合論ベース、SATソルバ"
	 "Coq:定理証明支援系"
	 "Maude:項書き換え系"
	 "Guru:Lightweightな定理証明支援系")]

  [(title "参加したイベント、研究会、発表会")
   (item "2010/07/12 名古屋市工業研究所"
	 "2010/09/-- ThinkIT記事"
	 "2010/10/28 トップSE交流会"
	 "2010/11/20 第6回CSP研究会")]

  [(t "2011年の目標は？")]

  [(title "2011年の目標")
   (item "学会、研究会、イベント、記事"
	 "現場での適用"
	 "数学基盤の勉強")]

  [(title "学会、研究会、イベント、記事")
   (item "PPL2011(2011/03/09-11)"
	 "CSP研究会(2011/02/--)"
	 "情報処理学会誌(2011/04)"
	 "トップSEチュートリアル(2011/08)")]

  [(title "現場での適用")
   (item "Coq:whyをJava製品に適用してみる"
	 "Alloy:設計時のモデリングに適用してみる")]

  [(title "数学基盤の勉強")
   (item "圏論"
	 "時相論理"
	 "プロセス代数"
	 "証明木")]

  [(t "2011年も楽しくやるために")]

  [(title "一人一芸")
   (t "一人一人が発表ネタを持ち、"
	 "外部で発表できるように"
	 "みんなで助け合う")]

  [(t "来年も"
      "よろしくお願いします")]
)