どうもAaronです。 今回は趣味のMtGの話です。 《工匠の直感》ループについて ループの条件 ループ手順 第一のループ手順 第二のループ手順 LED3枚でのループ手順 LEDが3枚かつほぞがライブラリー内と手札合わせて1枚の場合のループ手順 LED2枚+《水蓮の花び…

1. 計算モデルについて 1.1 計算モデル 1.2 解釈可能性、エミュレート可能性 1.3 Church-Turingの提唱 2. ラムダ計算 2.1 構文とその直感的意味 2.1.1 略記 2.1.2 Curry化された多変数関数 2.2 代入 2.3 α変換 2.4 β変換 2.5 Church-Rosser性 3. ラムダ計算…

Aaronです。 アドカレ遅れてすいません。 自分の研究にちょっとだけファジー論理が出てきたのでせっかくなのでまとめたものを投稿します。 今回は意味論に絞って(MTLと呼ばれる体系などには証明論が対応して完全性定理が成り立ったりするようだが、こちらは…

どうもAaronです。 今回はちょっと継続について考えていて思ったことがあるので書きます。 証明どころか解説ですらないどころか感想なので決して真に受けぬよう。 1.束縛付き継続スタック付きマシン 束縛付き継続スタック付きマシンとはTuring完全なマシン(…

今回はずいぶん前から作ってはアドバイスを貰ったり、紹介したりしていたレジスタマシン takumim97.hatenablog.com に大幅アップデートを入れましたのでまとめておきます。(PDFはTwitterだと共有が面倒くさいので、もうブログにしてしまえホトトギスとこうな…

本記事はAARASS-REGIのマクロ表現の仕様について述べる。 1章. 概要 1.1 概要 AARASS-REGIマクロ表現は、AARASS-REGIコアマシンで挙動するある程度実効的なプログラムを書くための助けとするための拡張表現である。 1.2 非単純拡大性 マクロ表現と拡張命令表…

この記事ではAARASS-REGIの拡張命令表現の仕様を述べる。 1章. 概要 1.1 概要 AARASS-REGI拡張命令表現は、プログラマーにフレンドリーでないAARASS-REGIのコア命令表現を多少扱いやすくするための拡張である。 1.2 単純拡大性 AARASS-REGI拡張命令表現は、…

どうもAaronです。 またSchemeでおもちゃ作ってたので紹介記事を書きます。 NFA(非決定型有限状態オートマトン)を生成するプログラムです。 モノはこちら(Repl.it)→https://repl.it/@takumim97/automata#main.scm 予備知識(Schemeの外部表現) 主題とは関係あ…

今回の記事は論理学友の会での発表の時の自己紹介シート替わりです。 特に普段僕の記事を読んでくださってる方は、僕の生態を知りたい奇特な方以外はスルーしていただいて結構です。 名前:Aaron/アーロン/あーろん/sanjutsu_yu 年齢:23歳 好きな物:Ardbeg(ウ…

どうもAaronです。 皆さん、「暗黙の型変換」ってお嫌いじゃないですか？ まあ僕も基本嫌いなんですが… 今回は実は暗黙の型変換も うまく使えば結構有用なんだよ、って話です。 なおいつも通り僕はあんまり主流なプログラミング言語を知らないので雰囲気が伝…

※このページはmathjaxの使い過ぎで表示が重くスマホでの閲覧に適しません。パソコンでも通信環境やスペックによっては数秒から数十秒放置してからスクロールを始めたほうがストレスがないかと思います。 どうも、Aaronです。 今回はとても天邪鬼にオートマト…

どうもAaronです。 今回は数学ともプログラムとも論理学とも哲学とも関係ない純然たる趣味の話です。 実は僕は今でこそこんな数学オタクやっていますが、学部生のころは数学よりボードゲームに使った時間のほうが何倍も長いという生活をしてました。 知って…

どうも!Aaronです。 また気分転換に(僕の中では)がっつりコーディングをして技術負債を作ったので使い方を書いていきます。 コードはここにあります。→https://repl.it/@takumim97/Card-Game なおこのコードの実装は一部(RnRSでなく)SRFIで議論されている規…

今回は前から作ってちょこちょことアドバイスもらったり、紹介したりしていたレジスタマシンがとりあえず納得いく形になりましたのでその仕様をまとめておこうかと思います。(PDFはTwitterだと共有が面倒くさいので、もうブログにしてしまえホトトギスとこう…

どうもAaronです。 今回の記事ではれんくす(twitter:@Lenqth)さんにかなり多くの協力をいただいています。この場を借りてお礼申し上げます。 ということで（どういうことで？）早速今回も遊んでいきましょう！ 今回は少し前に話題になったQiitaの記事(https:…

どうもAaronです。 今回は何かの証明とかではなく自分が創始した数学ゲーム、「基礎概念実装ゲーム」の布教です。基礎概念実装ゲームは「普段数学やプログラムであまりにも当たり前に使っている概念や操作」を「より簡単な概念や操作」から作ってみよう、と…

どうもAaronです。 今日は普段やっている(というか体調不良と新生活の忙しさという口実で三日坊主中の)「算術の夢の楽園」ではなく単発です。 表題にもある通り非有界稠密全順序構造には-categorical、即ち任意の可算モデルが(同型(当然だがここでは順序同型…