CD付 ニューエクスプレス アイヌ語作者:中川 裕発売日: 2013/11/27メディア: 単行本（ソフトカバー）数学から創るジェネラティブアート ―Processingで学ぶかたちのデザイン作者:巴山 竜来発売日: 2019/04/17メディア: Kindle版[普及版]ジェネラティブ・アー…

「スマリヤンの決定不能の論理パズル（白揚社 2008年）」という本にレーブの定理がわかりやすく紹介されていたので、それを紹介したいと思います。 レーブの定理 任意の命題について、もし4型の推論者がとを信じるならば、を信じる。 ここで、というのは、「…

うごメモで書いたことを、一応ここに書き記します。 以下の整数関数C(x),D(x)を再帰的に定義する。（全てで定義されてるとは限らない） 法は以下全て２。 とおくと、の時、 また、とおくと、 となる。 E(x)についてわかっていることは、 ・正と負の値を取る …

以下、 を で表します。 回目の偶奇を とおき、 を とおけば、 となります。 この論理積が有限の時は、（私のやり方で）一意にまとめられて、j番目までまとめると、 となっています。 一般化はできていませんが、合同式を無視してj=2,4の右辺のグラフを書く…

の母関数 を考えます。 以下の議論は、私の無知により多少不正確です。（つまり、母関数を扱ったことはありません） と分けると、 また、 になります。Q1を無視すれば、 単純に、とあ思いましたが、 になり、私には力不足のようです。

1種類のポリオミノの平面充填を考える。 定義 ミノポリオミノ平行移動ミノの平行移動ポリオミノの平行移動平行移動の組ポリオミノの平行移動の組ポリオミノの平面充填可能性Mが平面充填可能

(defun Othello () (setq table nil) (setq sq 8) (setq r nil) (defun initable () (defun initableat () (cond ((not table) (setq table '((0 0)))) ((= (caar table) (1- sq)) (setq table (push `(0 ,(1+ (cadr (car table)))) table))) (t (setq table…

(defun Othello () (setq table nil) (setq sq 8) (setq r nil) (defun initable () (defun initableat () (cond ((not table) (setq table '((0 0)))) ((= (caar table) (1- sq)) (setq table (push `(0 ,(1+ (cadr (car table)))) table))) (t (setq table…

Snを定義する。 Tnを定義する。 よって

共食い！！たぬきバーガーを食す巻【バーチャルYouTuber】 KMNZ LITA with YACA×鈴鹿詩子『水星×丸の内サディスティック』【マッシュアップ】 SP編 「キズナアイちゃんがやってきた！！」

のとき、 ならば、 左辺の最大値は、なので矛盾。 のとき、

1 2 3 4→22→211 5 6→23 7 8→222→2337→31941→33371313→... 9→33→311 10→25→55→511→773 11 12→223 13 14→27→333→3337→4771→13367 15→35→57→319→1129 16→2222→211101→3116397→31636373→... 17 18→233 19 20→225→3355→51161→114651→3312739→... 21→37 22→211 23 …

【VOCALOID 5】自分のラップをボーカロイドに歌わせてみた。 【全部私の声】イワシがつちからはえてくるんだ my room #02 マボロシメロウライン (lyric video)

自然数から始める。 素因数分解して、小さい順に10進表記で並べる。 すると、あら不思議、数列ができる。 ・ ・ ・ 素数になったら終了。はい解散。

言語:Ruby eval a="printf 'eval a=%p',a"

言語:mathematica random[] := 4*RandomComplex[] - 2 - 2 I f[z_, c_] := z^2 + c onestep[c_, limit_] := NestWhileList[f[#, c] &, 0, Abs[#] < 2 &, 1, limit] c2pair[z_] := {Re[z], Im[z]} step[limit_, max_] := onestep[#, limit] & /@ Table[random…

石を返す前に、石を置くのを忘れてました。 あと、initableをちょっと修正しました。 (defun Osero () (let ((table nil)) (defun initable (table sq) (defun initableat (table) (cond ((not table) (setq table '((0 0)))) ((= (cadr (car table)) (1- sq…

8×8のオセロの必勝法が知りたいので、それを目標にプログラミングしていきたいと思います。 手始めに、オセロ盤のマスを作りました。 言語はEmacs Lispです。 (defun Osero () (let ((table nil)) (defun initable (table sq) (defun initableat (table) (co…

言語:mathematica ameba[max_] := Prepend[Table[0, {i, max - 1}], 1] rule30[x_, y_, z_] := If[x == 1, (1 - y) (1 - z), (1 - (1 - y) (1 - z))] evolveat[list_, n_, max_] := (cell = list[[n]]; If[n == 1, leftcell = list[[max]], leftcell = list[…

言語:Emacs Lisp (defun turing (input) (let ((tape (make-list 16 0)) (head '(0 0)) (prog nil)) (defun readhead () (elt tape (car head))) (defun writehead (x) (setf (elt tape (car head)) x)) (defun movehead (x) (if (equal x 'R) (setf (car he…

言語:Mathematica burnp[c_, limit_, f_] := ( n = 0; z = 0; While[n < limit, z = f[z, c]; If[Abs[z] >= 2, out = False; Break[]] If[n == limit - 1, out = True; Break[]] n++;]; out) list[table_] := ( Map[{Re[#], Im[#]} &, table]) clist[sample_…

​自然数に0は入れる場合と入れない場合があります。私は入れる派です。今回は、そのメリットとデメリットを考えます。 メリット 0.初項がわかりやすい 例えば、初項が1で項差が2の数列は、0が自然数の場合、2n+1ですが、0が自然数でない場合、2n-1です。0が…

in the blue shirt - Cluster A kz(livetune) × 八王子P feat. 初音ミク「Weekender Girl」Music Video Version 【gypsy】 蜜の夜明け Remix 【カットアップ】

を証明します。 定義 補題1 証明の時、の時、が成り立つとすると、よって、 補題2 証明の時、の時、が成り立つとすると、よって、 補題3 証明の時、補題2より成り立つ。 の時、が成り立つとすると、よって、 定理 証明の時、の時、が成り立つとすると、よっ…

位相空間とはなんでしょうか？ 1つの解釈は、近傍の形を決めた空間といえます。 近傍とは、私たちがよく知っている円があります。 しかし、次も近傍です。 これはノイマン近傍と呼ばれていて、次で定義されます。 次は、ムーア近傍と呼ばれているものです。 …

Emacs-Lispを使っている人にとって、*scratch*バッファのlisp-interaction-modeは重要ですよね。（C-jでS式を評価できたりします）デフォルトメジャーモードをlisp-interaction-modeにするのは簡単で、init.elに次の一文を加えるだけです。場所：gnupack_bas…

QとRからなる文字列を考えます。 文字列xとyの結合をxyと書いて、ヌル文字を0とします。 以下の写像を考えます。 また、xとf(x)を並べて、と書きます。 例えば、 この時、次の不動点定理が成り立ちます。 例えば、x=Qの時、 x=0の時、

あらゆる言葉が載った辞書を考えます。一番最初に載っている言葉は何でしょうか？正解は「あ」です。次は「ああ」ですね。その次が「あああ」。何ページかめくると、「あああああ・・・」となってますね。それを超えると、今度は「あい」になります。次が「…

ITP1_1_A:Hello World (message "Hello World") ITP1_1_B:X Cubic (progn (defun cubic () (let ((x (read))) (* x x x))) (cubic)) ITP1_1_C:Rectangle (progn (defun rectangle () (let ((a (read)) (b (read))) (cons (* a b) (* 2 (+ a b))))) (rectangl…