Ryohji Ikebe ryohji

シナリオ「朽ちた見張り塔」

システム：灰塵の遺跡（ASHES & RUINS） シナリオ：scenario_test.md 開始日：2026-03-30

title	灰塵の遺跡（ASHES & RUINS）ゲームシステム仕様書
version	0.2
date	2026-03-29

C 言語の not 演算子には２種類ある。 ~ と !。論理学では ~ を否定で使うことが多いけれど C 言語での論理否定は !、 ~ はビットごとの否定。

// bitwise-not.c
#include <stdbool.h>

int main() { return ~false; }

Every value in array segment b[1..n] that is not in b[i..j] is in b[i..j].

Let predicate p(v) be "v is in b[i..j]."

  (A k: 0<k<=N: ~p(b[k]) -> p(b[k]))
=
  (A k: 0<k<=N: ~~p(b[k]) | p(b[k]))
=
 (A k: 0

	#include <algorithm>
	#include <iostream>
	#include <iterator>
	#include <vector>

	int main() {
	auto v = std::vector<int> {1, 2, 3};

	// Use transform to update all elements in the vector.
	std::transform(std::cbegin(v), std::cend(v), std::begin(v),

	import unittest


	def cleanup_list(list):
	i = 0
	while i < len(list): # pop のたびに list 長が変わる
	elem = list[i]
	if not elem.alive:
	list.pop(i)
	else:

	static vtype roffbuf; // Line buffer.
	static char *roffp = roffbuf; // Pointer into line buffer.
	static int roffpline = 0; // Place to print line now being loaded.

	static uint8_t count_previous_non_blank_chars(const char *from);

	// Print out strings, filling up lines as we go.
	static void roff(const char *p) {
	uint8_t count;
	loop: