2013-12-01から1ヶ月間の記事一覧

「形式手法入門」のP22「2.1.3 抽象データの表現と解析」

Alloy

P25の「代数的な性質の検査」の4条件のうち、2と4はandじゃなくてimpliesになるのでは。 module Queue abstract sig Node { next : lone Node } abstract sig Queue { root : lone Node } fact noCycle { no n : Node | n in n.^next } fact noReflexive { n…

ディレクトリ内のファイルに対して再帰的に処理する

ruby

require 'find' require 'pp' def eachPath(root,pattern) find_entries = Array.new Find.find(root) do |path| find_entries.push(path) end selectedPath = find_entries.select {|p| p =~ pattern} selectedPath.each {|path| yield path } end eachPath…

PPTで特定の名前を持つShapeを削除する

VBA

Option Explicit Public Sub CSharpのキーワードの色を変更する() Dim keywordList() As String keywordList = Split("テキスト", ",") Dim keywordColor As Long keywordColor = RGB(0, 0, 255) Dim backGroundColor As Long backGroundColor = RGB(128, 0,…