Ryo Ishigaki risgk

評価制度の無い評価制度

概要

tl;dr IdotabaのGemfileは"全プレ"になりました。ご笑納ください。→ Gemfile

rebuild.fmのep36でお知らせさせていただきました、Idobataの最新版Gemfileプレゼントをお届けいたします。過日はIdobata会議01への多数のご参加ありがとうございました。おかげさまで盛況なミートアップとなりました。 (当日会場を提供いただいたEngine Yardさまのブログにて、Idobata会議01当日の様子がまとめられています。ありがとうございます!)

前回の勉強会では Promela の文法要素と基本的な SPIN の使い方を眺めたので、今回は LTL 式を用いた性質検査およびハンズオンを行う。

SPIN の LTL は命題論理の拡張となっており、各論理式の真偽が状態に依存する。

2013 Minori Yamashita [email protected]

-- ここにあなたの名前を追記 --

31 Aug 2011

高橋啓治郎 - 1977年生まれ

コンシューマーゲーム業界にて10年間の開発経験を持つゲームプログラマーです。ゲームプログラミング全般に経験を持ち、中でもグラフィックスプログラミング、AIプログラミングを得意としています。

現在は iPhone/iPad アプリの開発を主軸に置きつつ、技術書への寄稿や、ゲーム開発のコンサルティングなどを手がけています。

	-- https://github.com/ekmett/free/tree/35467bea6916a2efdd7182d071751af685344b1a

	import Control.Monad.Identity
	import qualified Control.Monad.Trans.Iter as I
	import qualified Control.Monad.Trans.Iter.Reflection as R
	import Control.Monad.State
	import Data.IORef

	destruct :: I.IterT IO a -> IO a
	destruct m = do

	require 'rinda/tuplespace'

	class ChannelSpace
	include DRbUndumped

	class ChannelError < RuntimeError
	def initialize(str, handle)
	@channel = handle
	super(str)
	end