Skip to content

Instantly share code, notes, and snippets.


Takayuki YATO zr-tex8r

Block or report user

Report or block zr-tex8r

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
View GitHub Profile
zr-tex8r / nabeazz.www
Created Dec 10, 2011
NabeAzz program in the Grass language
View nabeazz.www
zr-tex8r / gen_nabeazz.lua
Created Dec 11, 2011
The Generator of nabeazz.www
View gen_nabeazz.lua
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 / nabeazz.homu
Created Dec 11, 2011
NabeAzz program in the Homuhomu language
View nabeazz.homu
ほむほむほむ ほむ ほむほむほむ ほむ ほむほむほむ
ほむほむほむ ほむほむほむ ほむほむ ほむほむほむほむ ほむほむほむ ほむ ほむほむほむ ほむほむほむ ほむ
ほむほむほむ ほむほむほむ ほむほむ ほむほむほむほむ ほむほむほむ ほむ ほむほむほむ ほむほむほむ ほむ ほむほむほむほむほむほむ ほむ
ほむ ほむほむ ほむ ほむほむほむほむ ほむ ほむほむほむほむほむ ほむ ほむ ほむほむほむほむほむほむほむほむほむ ほむ ほむほむほむほむほむほむほむほむほむほむほむ ほむほむほむほむほむほむほむ ほむほむほむほむほむほむ ほむほむほむほむほむほむほむほむ ほむ ほむほむほむほむほむほむほむほむほむほむ ほむ ほむ ほむほむほむほむほむほむほむほむほむほむほむほむほむほむ ほむ ほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむ ほむほむほむほむほむほむ ほむ ほむ ほむ ほむ ほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむ ほむほむ ほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむ ほむほむほむ ほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむ ほむほむ ほむほむほむほむほむ ほむほむ ほむ ほむほむほむほむ ほむ ほむほむほむほむ ほむ ほむほむほむほむほむ ほむ ほむほむほむほむほむほむ ほむ ほむほむほむほむほむほむほむほむ ほむ ほむほむほむほむほむほむほむほむほむ ほむ ほむ ほむほむほむほむほむほむほむほむほむほむほむ ほむ ほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむ ほむほむほむほむほむほむほむほむほむほむほむほむほむほむ ほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむ ほむほむほむほむほむほむほむほむほむほむほむほむ ほむ ほむほむほむほむほむほむほむほむほむほむほむほむほむ ほむ ほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむ ほむほむほむ ほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむ ほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむ ほむ ほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむ ほむほむほむほむ ほむ ほむ ほむほむほむほむほむほむほむほむ ほむほむ
zr-tex8r / Homuhomu.scala
Created Dec 17, 2011 — forked from yuroyoro/Home2Lang.scala
プログラミング言語「ほむほむ」(Grass 同型版)
View Homuhomu.scala
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 / README
Created Jan 9, 2012
newprooflikestyle that is parallel to amsthm's newtheoremstyle
amsthm パッケージの \newtheoremstyle / \theoremstyle / \newtheorem
- \newprooflikestyle でスタイルを定義. 引数の意味は最後(9盤目)の
ものがないことを除いて \newtheoremstyle と同じ.
- \prooflikestyle{<スタイル>}: 以降に定義する証明型環境のスタイルを指定.
- \newprooflike{<環境名>}{<ラベル>}: 証明型環境を定義.
- なお, 既存命令/環境の上書きは「proof」のみ可.
zr-tex8r / bxhanoi.sty
Created Feb 6, 2012
The Tower of Hanoi with graphics, in LaTeX
View bxhanoi.sty
% bxhanoi.sty : The "Tower of Hanoi" puzzle shown in graphics
%% package declaration
%% variables
zr-tex8r / hoge.lazy
Created Feb 23, 2012
Printing 'hoge', in Lazy K
View hoge.lazy
zr-tex8r / space.tex
Created Mar 17, 2012
Treatment of space characters in TeX
View space.tex
% 文字コードはUTF-8
% 全角の〈S〉を空白、〈T〉をタブに置換してから
% (pdf)latex で組版してください
% 空白・タブ・改行を通常文字にする
\catcode32=12\relax% 空白
zr-tex8r / pxshowa.sty
Created Apr 29, 2012
View pxshowa.sty
% pxshowa.sty
\ifx\pxsw@wareki\relax \pxsw@error@nonavail
\else \pxsw@showa@a
zr-tex8r / ixbase-spenv-sample-01.tex
Created May 1, 2012
How to pass verbatim input (contained in an environment) to a Lua function
View ixbase-spenv-sample-01.tex
make_shorthands(\luastring{#1}, \luastring{#2})
shorthands = {}
You can’t perform that action at this time.