zr-tex8r

wwwWwwwWwwwvwwwWWWwwWWWWwwwWwwwWWWwvwwwWWWwwWWWWwwwWwwwWWWwWWWWWWwvwWWwWWWWwWWWW
WwWwwwwwwwwwWwwwwwwwwwwwWWWWWWWwwwwwwWWWWWWWWwWWWWWWWWWWwWwwwwwwwwwwwwwwWwwwwwww
wwwwwwwwwWWWWWWwWwWwwwwwwwwwwwwwwwwwwWWwwwwwwwwwwwwwwwWWWwwwwwwwwwwwwwwwwwWWwwww
wWWwWWWWwWWWWwWWWWWwWWWWWWwWWWWWWWWwWWWWWWWWWwWwwwwwwwwwwwWwwwwwwwwwwwwwwwWWWWWW
WWWWWWWWwwwwwwwwwwwwwwwwwwwwwwwWWWWWWWWWWWWwWWWWWWWWWWWWWwWWWWWWWWWWWWWWWwwwWWWW
WWWWWWWWWWWWWWWwwwwwwwwwwwwwwwwwwwWwwwwwwwwwwwwwwwwwwWWWWwWwwwwwwwwWWWwWWWWwWWWW
WWWwwwwwWwwwwWWWWWWwwwwwWWWWWWWWwWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWwwwwwwwwwWwwwWW
wWWWWWWWWWWWwWWWWwWWWWWwWWWWWWwWWWWWWWWWWWWWWWWwWWWWWWWWwwWwwWwWwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwWwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwWWwwwwww
wwwwwwwwwwwwwwWWWwwwwwwwwwwwwwwwwwwwWWWWwwwwwwwwwwwwwwwwwwWWWWWwwwwwwwwwwwwwwwww

zr-tex8r

require "planter"

function NabeAzz()
-------------------------------- DATA PREPARATION
  Cons = _.a.b.f (f(a)(b))
  B0 = _.n.s.z (n(s)(n(s)(z)))     -- n * 2 + 0
  B1 = _.n.s.z (s(n(s)(n(s)(z))))  -- n * 2 + 1
  -- Store: Generates the constant list 'store'.
  -- store == (_10 ?{ ?\ ?A ?h ?o ?F ?o ?n ?t ?  ?} . ? )
  Store = _._0

zr-tex8r

ほむほむほむ ほむ ほむほむほむ ほむ ほむほむほむ
ほむほむほむ ほむほむほむ ほむほむ ほむほむほむほむ ほむほむほむ ほむ ほむほむほむ ほむほむほむ ほむ
ほむほむほむ ほむほむほむ ほむほむ ほむほむほむほむ ほむほむほむ ほむ ほむほむほむ ほむほむほむ ほむ ほむほむほむほむほむほむ ほむ
ほむ ほむほむ ほむ ほむほむほむほむ ほむ ほむほむほむほむほむ ほむ ほむ ほむほむほむほむほむほむほむほむほむ ほむ ほむほむほむほむほむほむほむほむほむほむほむ ほむほむほむほむほむほむほむ ほむほむほむほむほむほむ ほむほむほむほむほむほむほむほむ ほむ ほむほむほむほむほむほむほむほむほむほむ ほむ ほむ ほむほむほむほむほむほむほむほむほむほむほむほむほむほむ ほむ ほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむ ほむほむほむほむほむほむ ほむ ほむ ほむ ほむ ほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむ ほむほむ ほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむ ほむほむほむ ほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむ ほむほむ ほむほむほむほむほむ ほむほむ ほむ ほむほむほむほむ ほむ ほむほむほむほむ ほむ ほむほむほむほむほむ ほむ ほむほむほむほむほむほむ ほむ ほむほむほむほむほむほむほむほむ ほむ ほむほむほむほむほむほむほむほむほむ ほむ ほむ ほむほむほむほむほむほむほむほむほむほむほむ ほむ ほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむ ほむほむほむほむほむほむほむほむほむほむほむほむほむほむ ほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむ ほむほむほむほむほむほむほむほむほむほむほむほむ ほむ ほむほむほむほむほむほむほむほむほむほむほむほむほむ ほむ ほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむ ほむほむほむ ほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむ ほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむ ほむ ほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむ ほむほむほむほむ ほむ ほむ ほむほむほむほむほむほむほむほむ ほむほむ

zr-tex8r

import java.io.File
import scala.io.Source
import scala.util.matching.Regex
import scala.util.parsing.combinator._
import scala.util.parsing.input.{Position, NoPosition}

sealed abstract class Insn extends ( CED => CED ){
  val pos:Position
}
case class App( m:Int, n:Int, pos:Position ) extends Insn{

zr-tex8r

amsthm パッケージの \newtheoremstyle / \theoremstyle / \newtheorem
と同じ方式で、スタイルを変更した「証明型環境」を新たに定義できるようにする
機能を提供する。

 - \newprooflikestyle でスタイルを定義. 引数の意味は最後(9盤目)の
   ものがないことを除いて \newtheoremstyle と同じ.
 - \prooflikestyle{<スタイル>}: 以降に定義する証明型環境のスタイルを指定.
 - \newprooflike{<環境名>}{<ラベル>}: 証明型環境を定義.
 - なお, 既存命令/環境の上書きは「proof」のみ可.

zr-tex8r

%
% bxhanoi.sty : The "Tower of Hanoi" puzzle shown in graphics
%

%% package declaration
\NeedsTeXFormat{LaTeX2e}
\ProvidesPackage{bxhanoi}[2012/02/01]

%% variables
\newcount\bxhp@step

zr-tex8r

K(S(SI(K(S(K(SII(S(S(KS)K)I)))(S(S(KS)K)(S(S(KS)K)I(S(S(KS)K)(SII(S(S(KS)K)I))))
))))(K(S(SI(K(S(S(KS)K)(S(K(S(S(KS)K)I))(S(S(KS)K)(S(K(S(S(KS)K)I))(SII(S(S(KS)K
)(S(S(KS)K)I)))))))))(K(S(SI(K(S(S(KS)K)(S(K(S(K(S(S(KS)K)I))(S(S(KS)K)(S(S(KS)K
)I))))(S(S(KS)K)(S(SII)I(S(S(KS)K)I)))))))(K(S(SI(K(S(S(KS)K)(S(S(KS)K)I(S(K(S(S
(KS)K)I))(S(S(KS)K)(SII(S(S(KS)K)I))))))))(K(K(SII(SII(S(S(KS)K)I))))))))))))

zr-tex8r

% 文字コードはUTF-8
% 全角の〈Ｓ〉を空白、〈Ｔ〉をタブに置換してから
% (pdf)latex で組版してください
\documentclass[a4paper]{article}
\usepackage[T1]{fontenc}
\usepackage{lmodern}
\begin{document}
\begingroup
% 空白・タブ・改行を通常文字にする
\catcode32=12\relax% 空白

zr-tex8r

% pxshowa.sty
\NeedsTeXFormat{LaTeX2e}
\ProvidesPackage{pxshowa}
\def\昭和{\Showa}
\def\Showa{%
  \pxsw@check@wareki
  \ifx\pxsw@wareki\relax \pxsw@error@nonavail
  \else \pxsw@showa@a
  \fi}
\def\pxsw@showa@a{%

zr-tex8r

\documentclass{article}
\usepackage{ixbase-spenv}
\usepackage{luacode}
\DeclareStringProcessEnvironment{makeshorthands}[2]{%
  \directlua{
    make_shorthands(\luastring{#1}, \luastring{#2})
  }
}
\begin{luacode*}
shorthands = {}