Cheshire Cat y-taka-23

Elm による大学入学共通テスト指南

TL;DR: オンライン実行環境作ってるよ (WIP)
https://github.com/y-taka-23/dncl-playground
https://elm-jp.connpass.com/event/280401/

共通テスト手順記述標準言語 (DNCL)

形式手法特論：公平性制約の位相的特徴づけ

安全性-活性分解定理

並行システムにおいて、安全性（safety）と活性 (liveness）という仕様のクラスは広く知られており、それぞれ「悪いことが決して起こらない」「良いことがいつか起こる」として説明されることが多い。この非形式的な定義に対して、1985 年、Alpern と Schneider によって、以下のような位相的な特徴づけが与えられた。

定義：安全性とは閉集合のことである

	module Sample where

	import Language.Haskell.Liquid.Prelude ( liquidError )

	{-@ safeHead :: { xs:[a] \| len xs > 0 } -> a @-}
	safeHead [] = liquidError "empty list"
	safeHead (x : _) = x

	-- badUsage = safeHead [] -- => Liquid Type Mismatch

	#!/bin/bash

	rm -f cut.mov
	rm -f palette.png
	rm -f encoded.gif
	rm -f output.gif

	ffmpeg -ss 10 -to 15 -i input.mov -c copy cut.mov
	ffmpeg -i cut.mov -vf fps=30,scale=340:-1:flags=lanczos,palettegen palette.png
	ffmpeg -i cut.mov -i palette.png -filter_complex "fps=30,scale=340:-1:flags=lanczos[x];[x][1:v]paletteuse" encoded.gif

	module signal

	enum LightState { On, Off, Blink }

	abstract sig Light {
	var state: one LightState
	}

	one sig Red, Green extends Light {}