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
zr-tex8r / nabeazz.www
Created Dec 10, 2011
NabeAzz program in the Grass language
View nabeazz.www
wwwWwwwWwwwvwwwWWWwwWWWWwwwWwwwWWWwvwwwWWWwwWWWWwwwWwwwWWWwWWWWWWwvwWWwWWWWwWWWW
WwWwwwwwwwwwWwwwwwwwwwwwWWWWWWWwwwwwwWWWWWWWWwWWWWWWWWWWwWwwwwwwwwwwwwwwWwwwwwww
wwwwwwwwwWWWWWWwWwWwwwwwwwwwwwwwwwwwwWWwwwwwwwwwwwwwwwWWWwwwwwwwwwwwwwwwwwWWwwww
wWWwWWWWwWWWWwWWWWWwWWWWWWwWWWWWWWWwWWWWWWWWWwWwwwwwwwwwwwWwwwwwwwwwwwwwwwWWWWWW
WWWWWWWWwwwwwwwwwwwwwwwwwwwwwwwWWWWWWWWWWWWwWWWWWWWWWWWWWwWWWWWWWWWWWWWWWwwwWWWW
WWWWWWWWWWWWWWWwwwwwwwwwwwwwwwwwwwWwwwwwwwwwwwwwwwwwwWWWWwWwwwwwwwwWWWwWWWWwWWWW
WWWwwwwwWwwwwWWWWWWwwwwwWWWWWWWWwWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWwwwwwwwwwWwwwWW
wWWWWWWWWWWWwWWWWwWWWWWwWWWWWWwWWWWWWWWWWWWWWWWwWWWWWWWWwwWwwWwWwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwWwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwWWwwwwww
wwwwwwwwwwwwwwWWWwwwwwwwwwwwwwwwwwwwWWWWwwwwwwwwwwwwwwwwwwWWWWWwwwwwwwwwwwwwwwww
@zr-tex8r
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
zr-tex8r / nabeazz.homu
Created Dec 11, 2011
NabeAzz program in the Homuhomu language
View nabeazz.homu
ほむほむほむ ほむ ほむほむほむ ほむ ほむほむほむ
ほむほむほむ ほむほむほむ ほむほむ ほむほむほむほむ ほむほむほむ ほむ ほむほむほむ ほむほむほむ ほむ
ほむほむほむ ほむほむほむ ほむほむ ほむほむほむほむ ほむほむほむ ほむ ほむほむほむ ほむほむほむ ほむ ほむほむほむほむほむほむ ほむ
ほむ ほむほむ ほむ ほむほむほむほむ ほむ ほむほむほむほむほむ ほむ ほむ ほむほむほむほむほむほむほむほむほむ ほむ ほむほむほむほむほむほむほむほむほむほむほむ ほむほむほむほむほむほむほむ ほむほむほむほむほむほむ ほむほむほむほむほむほむほむほむ ほむ ほむほむほむほむほむほむほむほむほむほむ ほむ ほむ ほむほむほむほむほむほむほむほむほむほむほむほむほむほむ ほむ ほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむ ほむほむほむほむほむほむ ほむ ほむ ほむ ほむ ほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむ ほむほむ ほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむ ほむほむほむ ほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむ ほむほむ ほむほむほむほむほむ ほむほむ ほむ ほむほむほむほむ ほむ ほむほむほむほむ ほむ ほむほむほむほむほむ ほむ ほむほむほむほむほむほむ ほむ ほむほむほむほむほむほむほむほむ ほむ ほむほむほむほむほむほむほむほむほむ ほむ ほむ ほむほむほむほむほむほむほむほむほむほむほむ ほむ ほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむ ほむほむほむほむほむほむほむほむほむほむほむほむほむほむ ほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむ ほむほむほむほむほむほむほむほむほむほむほむほむ ほむ ほむほむほむほむほむほむほむほむほむほむほむほむほむ ほむ ほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむ ほむほむほむ ほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむ ほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむ ほむ ほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむほむ ほむほむほむほむ ほむ ほむ ほむほむほむほむほむほむほむほむ ほむほむ
@zr-tex8r
zr-tex8r / Homuhomu.scala
Created Dec 17, 2011 — forked from yuroyoro/Home2Lang.scala
プログラミング言語「ほむほむ」(Grass 同型版)
View Homuhomu.scala
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 Jan 9, 2012
newprooflikestyle that is parallel to amsthm's newtheoremstyle
View README
amsthm パッケージの \newtheoremstyle / \theoremstyle / \newtheorem
と同じ方式で、スタイルを変更した「証明型環境」を新たに定義できるようにする
機能を提供する。
- \newprooflikestyle でスタイルを定義. 引数の意味は最後(9盤目)の
ものがないことを除いて \newtheoremstyle と同じ.
- \prooflikestyle{<スタイル>}: 以降に定義する証明型環境のスタイルを指定.
- \newprooflike{<環境名>}{<ラベル>}: 証明型環境を定義.
- なお, 既存命令/環境の上書きは「proof」のみ可.
@zr-tex8r
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
\NeedsTeXFormat{LaTeX2e}
\ProvidesPackage{bxhanoi}[2012/02/01]
%% variables
\newcount\bxhp@step
@zr-tex8r
zr-tex8r / hoge.lazy
Created Feb 23, 2012
Printing 'hoge', in Lazy K
View hoge.lazy
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 Mar 17, 2012
Treatment of space characters in TeX
View space.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 Apr 29, 2012
日付を「昭和」にするパッケージ
View pxshowa.sty
% 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
How to pass verbatim input (contained in an environment) to a Lua function
View ixbase-spenv-sample-01.tex
\documentclass{article}
\usepackage{ixbase-spenv}
\usepackage{luacode}
\DeclareStringProcessEnvironment{makeshorthands}[2]{%
\directlua{
make_shorthands(\luastring{#1}, \luastring{#2})
}
}
\begin{luacode*}
shorthands = {}
You can’t perform that action at this time.