Yōsuke Ushiki youz

## ack-3-1.pdf

      
              2 files
            
          
              0 forks
            
          
              0 comments
            
          
              2 stars
            
          
                youz
                / ack-3-1.pdf
            
            
              Last active
              September 5, 2023 01:44
            
              
                SATySFiでアッカーマン関数
              
          
      View ack-3-1.pdf
  
    
      Sorry, something went wrong. Reload?
      Sorry, we cannot display this file.
      Sorry, this file is invalid so it cannot be displayed.
      
          Viewer requires iframe.
      
    
## solve_m23.lisp
;;; EQUALINE Mission 23 solver

(defstruct kifu
  (boards (list #(1 :+ 1 :+ 1 :+ 1 :+ 1))) ; 盤面のリスト (逆順)
  (routes nil)                             ; 指し手(int list)のリスト (逆順)
  )

(defun print-kifu (k)
  (loop for b in (reverse (kifu-boards k))
	for r in (cons nil (reverse (kifu-routes k)))

## gaming.hlsl
Texture2D shaderTexture;
SamplerState samplerState;

cbuffer PixelShaderSettings {
  float  Time;
  float  Scale;
  float2 Resolution;
  float4 Background;
};

## grid.hlsl
Texture2D shaderTexture;
SamplerState samplerState;

cbuffer PixelShaderSettings {
  float  Time;
  float  Scale;
  float2 Resolution;
  float4 Background;
};

## ente.l
;;; -*- mode:lisp; package:xyttr -*-

;;; ref. http://otanews.livedoor.biz/archives/51944341.html

(in-package :xyttr)

(defparameter *alpha* "ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz")
(defparameter *ente*  "AZYXEWVTISRLPNOMQKJHUGFDCBazyxewvtisrlpnomqkjhugfdcb")

(defun en-to-ente-popup ()

## pi.atl
# ref. https://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/spigot.pdf
i=2:1+i
q=1:10*q*i*~1-2*i
r=180:10*u*(q*~2-5*i)+r-y*t
t=60:t*u
u=6+i*27+i*27
y=((q*~12-27*i)+5*r)/5*t
c='0+1001[y
([c):'.:>c

## make.bat
@echo off

call grasspile quine-base.ml -P 1000000 >quine-base.grass

if ERRORLEVEL 1 (
  echo compile failed [exitcode=%ERRORLEVEL%]
  exit /b 1
)

ruby mkquine.rb >quine.grass

## grass.ml
type token = T_w | T_W | T_v | EOF;;

let rec scan s i = (
	let length = String.length s in
	if i >= length then length, EOF else
	match s.[i] with
	| 'W' -> i + 1, T_W
	| 'w' -> i + 1, T_w
	| 'v' -> i + 1, T_v
	| '\xef' -> (* Ｗ : EF BC B7, ｖ : EF BD 96, ｗ : EF BD 97 *)

## cookpad-puzzles-2022.rb

# https://ruby-puzzles-2022.cookpad.tech/


def answer1(n)
  n+1
end


def answer2(str)

## Makefile
CC = gcc
CFLAGS = -Wall -Wextra -std=gnu11 -O0
LIBS = -lmpfr -lgmp
SRC = pow.c
LIBMBIN = pow_m
OPENLIBMBIN = pow_o

all: $(LIBMBIN) $(OPENLIBMBIN)

$(LIBMBIN): $(SRC)
	;;; EQUALINE Mission 23 solver

	(defstruct kifu
	(boards (list #(1 :+ 1 :+ 1 :+ 1 :+ 1))) ; 盤面のリスト (逆順)
	(routes nil) ; 指し手(int list)のリスト (逆順)
	)

	(defun print-kifu (k)
	(loop for b in (reverse (kifu-boards k))
	for r in (cons nil (reverse (kifu-routes k)))
	Texture2D shaderTexture;
	SamplerState samplerState;

	cbuffer PixelShaderSettings {
	float Time;
	float Scale;
	float2 Resolution;
	float4 Background;
	};
	;;; -- mode:lisp; package:xyttr --

	;;; ref. http://otanews.livedoor.biz/archives/51944341.html

	(in-package :xyttr)

	(defparameter alpha "ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz")
	(defparameter ente "AZYXEWVTISRLPNOMQKJHUGFDCBazyxewvtisrlpnomqkjhugfdcb")

	(defun en-to-ente-popup ()
	# ref. https://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/spigot.pdf
	i=2:1+i
	q=1:10qi~1-2i
	r=180:10u(q~2-5i)+r-y*t
	t=60:t*u
	u=6+i27+i27
	y=((q~12-27i)+5r)/5t
	c='0+1001[y
	([c):'.:>c
	@echo off

	call grasspile quine-base.ml -P 1000000 >quine-base.grass

	if ERRORLEVEL 1 (
	echo compile failed [exitcode=%ERRORLEVEL%]
	exit /b 1
	)

	ruby mkquine.rb >quine.grass
	type token = T_w \| T_W \| T_v \| EOF;;

	let rec scan s i = (
	let length = String.length s in
	if i >= length then length, EOF else
	match s.[i] with
	\| 'W' -> i + 1, T_W
	\| 'w' -> i + 1, T_w
	\| 'v' -> i + 1, T_v
	\| '\xef' -> (* Ｗ : EF BC B7, ｖ : EF BD 96, ｗ : EF BD 97 *)

	# https://ruby-puzzles-2022.cookpad.tech/


	def answer1(n)
	n+1
	end


	def answer2(str)
	CC = gcc
	CFLAGS = -Wall -Wextra -std=gnu11 -O0
	LIBS = -lmpfr -lgmp
	SRC = pow.c
	LIBMBIN = pow_m
	OPENLIBMBIN = pow_o

	all: $(LIBMBIN) $(OPENLIBMBIN)

	$(LIBMBIN): $(SRC)