y-taka-23’s gists

y-taka-23 / alloy_git.als

Last active July 13, 2022 18:00

Alloy による Git のコミットグラフのモデリング

y-taka-23 / alloy_combilogic.als

Last active December 25, 2015 19:49

Alloy による組み合わせ回路のモデリング

y-taka-23 / alloy_group.als

Created October 31, 2013 18:33

Alloy による群のモデリング

y-taka-23 / whitespace_pumpkin.ws

Created November 7, 2013 12:06

CodeIQ「カボチャの種を数えて！」の Whitespace による解答です。処理系の仕様により EOF が扱えないため、「標準入力で '?' より前に現れた 'O' の個数」をカウントします。

y-taka-23 / whitespace_fizzbuzz.ws

Created November 7, 2013 12:08

FizzBuzz (up to 100) on Whitespace

y-taka-23 / whitespace_sieve.ws

Created November 7, 2013 12:09

Sieve of Eratosthenes (up to 100) on Whitespace

y-taka-23 / alloy_exclusion.als

Created December 13, 2013 15:20

Alloy による排他制御のモデリング

y-taka-23 / alloy_queue.als

Last active January 1, 2016 21:09

Alloy によるキューのモデリングと代数的仕様記述

y-taka-23 / alloy_channel.als

Last active January 1, 2016 21:19

Alloy による非同期通信チャネルのモデリング (キューの仕様については https://gist.github.com/y-taka-23/8202051 を参照のこと)

	// **************************************************
	// 通信チャネルとしてキューを用いたモデル
	// **************************************************

	open util/ordering[Time]
	open alloy_queue[Request]

	sig Time {} // 時刻パラメータ
	sig Client, Server {} // 通信に参加するクライアントとサーバ
	sig Request {} // クライアントがサーバに送るメッセージ

y-taka-23 / promela_8puzzle.pml

Created January 11, 2014 10:12

A Model of the 8-Puzzle on Promela/SPIN

	/*
	* Impossibility of the 8-Puzzle
	*
	* NOTICE: For full statespace search, run-time option -m230000 needed, e.g.
	* $ spin -a promela_8puzzle.pml
	* $ gcc -o pan pan.c
	* $ ./pan -m230000
	*/

	#define SPACE 0

Cheshire Cat y-taka-23