Cheshire Cat y-taka-23

## coq_perceptron.v
Section Perceptron.

Require Import QArith List.

Inductive Q_vector : nat -> Set :=
    | vnil  : Q_vector O
    | vcons : forall n : nat,
              Q -> Q_vector n -> Q_vector (S n).
Implicit Arguments vcons [n].
Notation "x ; v" := (vcons x v)

## alloy_sequent.als
// ************************************
//   命題論理のシークエント計算のモデル
// ************************************

// 論理式
abstract sig Formula {}

// 原子命題
sig Atom extends Formula {}

## alloy_decimal.als
// ************************************
//   十進法による符号なし整数演算のモデル
// ************************************

open util/ordering[Position]

// ------------------------------------
//   位取り記数法のモデリング
// ------------------------------------

## alloy_combilogic.als
// ************************************
//   組み合わせ回路のモデル
// ************************************

// ------------------------------------
//   組み合わせ回路の性質
// ------------------------------------

// 回路の構成要素
abstract sig Element {

## alloy_group.als
// ************************************
//   群のモデル
// ************************************

// ------------------------------------
//   群の公理
// ------------------------------------

// 群の元
sig Element {

## whitespace_pumpkin.ws
.
.
.
.
.
.
.
.
.
.

## whitespace_sieve.ws
.
.
.
.
.
.
.
.
.
.

## whitespace_fizzbuzz.ws
.
.
.
.
.
.
.
.
.
.

## alloy_exclusion.als
// ************************************
//   排他制御のモデル
// ************************************

// Time シグネチャに全順序構造を導入
open util/ordering [Time]

// 時刻を表すシグネチャ
sig Time {}

## alloy_queue.als
// ************************************
//  連結リストを用いたキューのモデル
// ************************************

module alloy_queue[Value]

// ------------------------------------
//   各要素の定義
// ------------------------------------
	Section Perceptron.

	Require Import QArith List.

	Inductive Q_vector : nat -> Set :=
	\| vnil : Q_vector O
	\| vcons : forall n : nat,
	Q -> Q_vector n -> Q_vector (S n).
	Implicit Arguments vcons [n].
	Notation "x ; v" := (vcons x v)
	// ************************************
	// 命題論理のシークエント計算のモデル
	// ************************************

	// 論理式
	abstract sig Formula {}

	// 原子命題
	sig Atom extends Formula {}
	// ************************************
	// 十進法による符号なし整数演算のモデル
	// ************************************

	open util/ordering[Position]

	// ------------------------------------
	// 位取り記数法のモデリング
	// ------------------------------------
	// ************************************
	// 組み合わせ回路のモデル
	// ************************************

	// ------------------------------------
	// 組み合わせ回路の性質
	// ------------------------------------

	// 回路の構成要素
	abstract sig Element {
	// ************************************
	// 群のモデル
	// ************************************

	// ------------------------------------
	// 群の公理
	// ------------------------------------

	// 群の元
	sig Element {
	// ************************************
	// 排他制御のモデル
	// ************************************

	// Time シグネチャに全順序構造を導入
	open util/ordering [Time]

	// 時刻を表すシグネチャ
	sig Time {}
	// ************************************
	// 連結リストを用いたキューのモデル
	// ************************************

	module alloy_queue[Value]

	// ------------------------------------
	// 各要素の定義
	// ------------------------------------