竹内関数で

音楽生成

　　　　　ブロガー

藍　圭介

http://d.hatena.ne.jp/aike

@aike1000

Musicsm11764888　シャウトVST

sm11953495　ダブリングVST

http://youtu.be/MWrF0_du2rA

8bit ソフトシンセ

sm14366724　ビブラート描画ツール

Programming

““““““““フーン，一応動いているみたいだフーン，一応動いているみたいだフーン，一応動いているみたいだフーン，一応動いているみたいだフーン，一応動いているみたいだフーン，一応動いているみたいだフーン，一応動いているみたいだフーン，一応動いているみたいだ

ね。でもね，この計算，多分今日中ね。でもね，この計算，多分今日中ね。でもね，この計算，多分今日中ね。でもね，この計算，多分今日中ね。でもね，この計算，多分今日中ね。でもね，この計算，多分今日中ね。でもね，この計算，多分今日中ね。でもね，この計算，多分今日中

には終わらないよ，きっと。これはタには終わらないよ，きっと。これはタには終わらないよ，きっと。これはタには終わらないよ，きっと。これはタには終わらないよ，きっと。これはタには終わらないよ，きっと。これはタには終わらないよ，きっと。これはタには終わらないよ，きっと。これはタ

ライ回し関数という変な関数でね，短ライ回し関数という変な関数でね，短ライ回し関数という変な関数でね，短ライ回し関数という変な関数でね，短ライ回し関数という変な関数でね，短ライ回し関数という変な関数でね，短ライ回し関数という変な関数でね，短ライ回し関数という変な関数でね，短

いくせにものすごく時間がかかることいくせにものすごく時間がかかることいくせにものすごく時間がかかることいくせにものすごく時間がかかることいくせにものすごく時間がかかることいくせにものすごく時間がかかることいくせにものすごく時間がかかることいくせにものすごく時間がかかること

で有名な関数なんだ。で有名な関数なんだ。で有名な関数なんだ。で有名な関数なんだ。で有名な関数なんだ。で有名な関数なんだ。で有名な関数なんだ。で有名な関数なんだ。””””””””

http://www.flickr.com/photos/uniinnsbruck/http://www.flickr.com/photos/uniinnsbruck/

竹内郁雄著竹内郁雄著竹内郁雄著竹内郁雄著竹内郁雄著竹内郁雄著竹内郁雄著竹内郁雄著 『『『『『『『『初めての人のための初めての人のための初めての人のための初めての人のための初めての人のための初めての人のための初めての人のための初めての人のためのLISPLISPLISPLISPLISPLISPLISPLISP』』』』』』』』

（（（（（（（（サイエンス社、サイエンス社、サイエンス社、サイエンス社、サイエンス社、サイエンス社、サイエンス社、サイエンス社、19861986198619861986198619861986年）年）年）年）年）年）年）年）

Tarai(x,y,z) =Tarai(Tarai(x-1,y,z),Tarai(y-1,z,x),Tarai(z-1,x,y)) 　otherwise.

y 　 if x≦y

(defun tarai (x y z)　　 (if (<= x y)　　　　 y　　　(tarai　(tarai (1- x) y z) 　　　　　　　(tarai (1- y) z x)　　　　　　　(tarai (1- z) x y))))

自自自自

己己己己

呼呼呼呼

出出出出

しししし

Recursion

数学的帰納法数学的帰納法数学的帰納法数学的帰納法

頭頭頭頭

山山山山

http://www.flickr.com/photos/http://www.flickr.com/photos/hinkelstonehinkelstone//

月日月日はは

流れ流れ

モダンなモダンな

関数型言語関数型言語

の流行の流行

竹内関数竹内関数

との再会との再会

http://www.flickr.com/photos/defenceimages/http://www.flickr.com/photos/defenceimages/

Transition of Argumentsx

yz

http://www.flickr.com/photos/http://www.flickr.com/photos/lizadalylizadaly//

Close to You / The Carpenters

Hotel California / Eagles

Stairway to Heaven / Led Zeppelin

Blackbird / The Beatles

and many baroque music ...

Cliche LineCliche Line

(tarai (1- z) x y))))

　　 (if (<= x y)y

(defun tarai (x y z)

(tarai　(tarai (1- x) y z)

(tarai (1- y) z x)

（（音楽再生）音楽再生）

http://youtu.be/4qsxTV3sg-g

再帰関数再帰関数

超可愛い超可愛い

http://www.flickr.com/photos/http://www.flickr.com/photos/dwintondwinton//