2016-01-01から1年間の記事一覧

1次元3状態2近傍セルオートマトン

Processingで遊んだ。 今回の設定で考えられるルールは332=19683通り。鏡映と色の入れ替えで同値なものを除くとたぶん1734通り。4状態にすれば2状態3近傍のルールを埋め込めるので,Turing完全なものがあることが(Rule 110の完全性から)分かるが,3状態で…

Rule 110について(前編)

1次元セルオートマトンのRule 110がTuring完全と聞いて。 Tag system まずCocke, John, and Marvin Minsky. "Universality of tag systems with P=2." Journal of the ACM (JACM) 11.1 (1964): 15-20.を読んだ。そもそも,tag systemとは,文字列書き換え規…

自由意志を考えるときのメタレベル

ナイーブには自分に自由意志はあると思う。 唯物論を信じている。 唯物論を仮定すると誰にも自由意志はないと結論できるような気がする。 これらは矛盾するように見えがちだけど,そうでもないよね。「『自分が信じている世界』の中にいる自分」は対象化され…

ICFP Programming Contest 2016 参戦記

今年も*1チームUnagiで参加しました。チームメイトの日記: ICFPC2016ぷち参戦記 - chokudaiのブログ ICFPC 2016 参加記 - wataの日記 開始前 Unagiは例年iwi家に集まって戦っているのだが,残念ながら私は海外出張が重なってしまい,iwi家にいられるのは最…

音ソシャゲーの比較

配信開始日順に並べましたが,現状で比較します。主観を多分に含みます。加点要素と減点要素は色で示しました。 ラブライブ!スクールアイドルフェスティバル(スクフェス) 配信開始:2013/4/15 ボタン配置:半円形9ボタン(maimaiを下半分に詰め込んだ感じ…