Skip to content

Instantly share code, notes, and snippets.

View zr-tex8r's full-sized avatar
💭
🍣🦆⛄

Takayuki YATO zr-tex8r

💭
🍣🦆⛄
View GitHub Profile
@zr-tex8r
zr-tex8r / nabeazz.www
Created December 10, 2011 18:20
NabeAzz program in the Grass language
wwwWwwwWwwwvwwwWWWwwWWWWwwwWwwwWWWwvwwwWWWwwWWWWwwwWwwwWWWwWWWWWWwvwWWwWWWWwWWWW
WwWwwwwwwwwwWwwwwwwwwwwwWWWWWWWwwwwwwWWWWWWWWwWWWWWWWWWWwWwwwwwwwwwwwwwwWwwwwwww
wwwwwwwwwWWWWWWwWwWwwwwwwwwwwwwwwwwwwWWwwwwwwwwwwwwwwwWWWwwwwwwwwwwwwwwwwwWWwwww
wWWwWWWWwWWWWwWWWWWwWWWWWWwWWWWWWWWwWWWWWWWWWwWwwwwwwwwwwwWwwwwwwwwwwwwwwwWWWWWW
WWWWWWWWwwwwwwwwwwwwwwwwwwwwwwwWWWWWWWWWWWWwWWWWWWWWWWWWWwWWWWWWWWWWWWWWWwwwWWWW
WWWWWWWWWWWWWWWwwwwwwwwwwwwwwwwwwwWwwwwwwwwwwwwwwwwwwWWWWwWwwwwwwwwWWWwWWWWwWWWW
WWWwwwwwWwwwwWWWWWWwwwwwWWWWWWWWwWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWwwwwwwwwwWwwwWW
wWWWWWWWWWWWwWWWWwWWWWWwWWWWWWwWWWWWWWWWWWWWWWWwWWWWWWWWwwWwwWwWwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwWwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwWWwwwwww
wwwwwwwwwwwwwwWWWwwwwwwwwwwwwwwwwwwwWWWWwwwwwwwwwwwwwwwwwwWWWWWwwwwwwwwwwwwwwwww
@zr-tex8r
zr-tex8r / gen_nabeazz.lua
Created December 11, 2011 05:40
The Generator of nabeazz.www
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 / nabeazz.homu
Created December 11, 2011 21:08
NabeAzz program in the Homuhomu language
ほむほむほむ ほむ ほむほむほむ ほむ ほむほむほむ
ほむほむほむ ほむほむほむ ほむほむ ほむほむほむほむ ほむほむほむ ほむ ほむほむほむ ほむほむほむ ほむ
ほむほむほむ ほむほむほむ ほむほむ ほむほむほむほむ ほむほむほむ ほむ ほむほむほむ ほむほむほむ ほむ ほむほむほむほむほむほむ ほむ
ほむ ほむほむ ほむ ほむほむほむほむ ほむ ほむほむほむほむほむ ほむ ほむ ほむほむほむほむほむほむほむほむほむ ほむ ほむほむほむほむほむほむほむほむほむほむほむ ほむほむほむほむほむほむほむ ほむほむほむほむほむほむ ほむほむほむほむほむほむほむほむ ほむ ほむほむほむほむほむほむほむほむほむほむ ほむ ほむ ほむほむほむほむほむほむほむほむほむほむほむほむほむほむ ほむ ほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむ ほむほむほむほむほむほむ ほむ ほむ ほむ ほむ ほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむ ほむほむ ほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむ ほむほむほむ ほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむ ほむほむ ほむほむほむほむほむ ほむほむ ほむ ほむほむほむほむ ほむ ほむほむほむほむ ほむ ほむほむほむほむほむ ほむ ほむほむほむほむほむほむ ほむ ほむほむほむほむほむほむほむほむ ほむ ほむほむほむほむほむほむほむほむほむ ほむ ほむ ほむほむほむほむほむほむほむほむほむほむほむ ほむ ほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむ ほむほむほむほむほむほむほむほむほむほむほむほむほむほむ ほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむ ほむほむほむほむほむほむほむほむほむほむほむほむ ほむ ほむほむほむほむほむほむほむほむほむほむほむほむほむ ほむ ほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむ ほむほむほむ ほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむ ほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむ ほむ ほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむ ほむほむほむほむ ほむ ほむ ほむほむほむほむほむほむほむほむ ほむほむ
@zr-tex8r
zr-tex8r / Homuhomu.scala
Created December 17, 2011 22:43 — forked from yuroyoro/Home2Lang.scala
プログラミング言語「ほむほむ」(Grass 同型版)
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
zr-tex8r / README
Created January 9, 2012 13:26
newprooflikestyle that is parallel to amsthm's newtheoremstyle
amsthm パッケージの \newtheoremstyle / \theoremstyle / \newtheorem
と同じ方式で、スタイルを変更した「証明型環境」を新たに定義できるようにする
機能を提供する。
- \newprooflikestyle でスタイルを定義. 引数の意味は最後(9盤目)の
ものがないことを除いて \newtheoremstyle と同じ.
- \prooflikestyle{<スタイル>}: 以降に定義する証明型環境のスタイルを指定.
- \newprooflike{<環境名>}{<ラベル>}: 証明型環境を定義.
- なお, 既存命令/環境の上書きは「proof」のみ可.
@zr-tex8r
zr-tex8r / bxhanoi.sty
Created February 6, 2012 17:47
The Tower of Hanoi with graphics, in LaTeX
%
% 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
zr-tex8r / hoge.lazy
Created February 23, 2012 12:46
Printing 'hoge', in Lazy K
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
zr-tex8r / space.tex
Created March 17, 2012 07:00
Treatment of space characters in TeX
% 文字コードはUTF-8
% 全角の〈S〉を空白、〈T〉をタブに置換してから
% (pdf)latex で組版してください
\documentclass[a4paper]{article}
\usepackage[T1]{fontenc}
\usepackage{lmodern}
\begin{document}
\begingroup
% 空白・タブ・改行を通常文字にする
\catcode32=12\relax% 空白
@zr-tex8r
zr-tex8r / pxshowa.sty
Created April 29, 2012 11:26
日付を「昭和」にするパッケージ
% 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
zr-tex8r / ixbase-spenv-sample-01.tex
Created May 1, 2012 18:40
How to pass verbatim input (contained in an environment) to a Lua function
\documentclass{article}
\usepackage{ixbase-spenv}
\usepackage{luacode}
\DeclareStringProcessEnvironment{makeshorthands}[2]{%
\directlua{
make_shorthands(\luastring{#1}, \luastring{#2})
}
}
\begin{luacode*}
shorthands = {}