金野裕希 @yuuki___0517@pawoo.net

I've started learning Japanese Mahjong. I completed thirteen orphans on Tengokuhai (played against computers). t.co/hra4z1Alml

Today I calculated π using Monte Carlo integration in BASIC. This program can be compiled with FreeBASIC as fbc -la… t.co/nhEBClJiae

Wrote a SAT solver in MIT/GNU Scheme. t.co/kRPKfBhe9D
Enderton (2001, p. 23) says "ν satisfies φ iff ν̅(φ)… t.co/2cAB7rwAbF

Created an online Scheme formatter / beautifier here: t.co/TWZg6M03zI

JavaScriptで集合を表現した t.co/XNEOLdxZBb
SICP第2章2.3節2.3.3項にも集合の表現が載っている
分出公理はfilter、置換公理はmapに対応し、{x ∈ U | φ(x)}はU… t.co/MuMyJiGciQ

アイバーソンの記法の性質を翻訳した t.co/HfaduGn6oO
これを使うとn番目の素数p_nはベルトランの仮説によりp_n ≤ 2^nが成り立つので次のように四則演算と累乗で表せる
また、包除原理の式は1 -… t.co/WaVfHelvQ2

JavaScriptのMathオブジェクトのメソッドをJavaScriptで再実装し、ついでにいろんな関数を付け加えた t.co/UJXF9jJwhz

JavaScriptで有理数を表現した t.co/oS8aIGExLb
SICP第2章2.1節2.1.1項にも有理数の表現が載っている
このプログラムによるとMath.PI === 884279719003555/281474976710656らしい

JavaScriptで複素数を表現した t.co/j7tEofANSv
SICP第2章2.4節2.4.1項にあるように直交形式と極形式を使い分けた
複素初等関数の実部、虚部、絶対値、偏角がどのように表されるか気になる

JavaScriptで遅延評価で行列を表現した t.co/Dndj53Of01

K&R原著第2版第4章第4.3節p.76に逆ポーランド記法の電卓が載っており、Wikipediaを見たらスタックは単方向連結リストでも実装できるらしく、Cで単方向連結リストのライブラリを探したらsys/queue.hというものがあ… t.co/MJg4YiyiSG

どうぶつしょうぎの完全解析プログラムを改造した3三将棋の完全解析プログラムをGitHubに載せた t.co/WITek2YC34
このプログラムで得られた9マス将棋の難問 t.co/aP8VX0W7rA

I've made a collection of 1000+ Creative Commons CC BY and CC BY-SA licensed arts on DeviantArt.
DeviantArtで無断転載・改変… t.co/MdF5cLXR9z

1からpの目を持つサイコロをf回振ったときにすべての目が出る確率を加筆した
包除原理で求まり、第二種スターリング数で表せるらしい t.co/kPhaLYJdcc

JD-GUIとProcyonでarpg.jarを逆コンパイルし、すいかが食べたいの復活の呪文の生成アルゴリズムを解読した t.co/ylSXxfiPu5