2020-07-01から1ヶ月間の記事一覧

NFAを実装するSchemeコード

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

自己紹介(論理学友の会発表用)

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

暗黙の型変換を嫌わないで!(暗黙の型変換がなぜ嫌われるのか、暗黙の型変換で数学的同一視を自然に表現する、暗黙の型変換もどきを自作する、暗黙の型変換で遊ぼう(BNFを表す型))

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