講座系 オートマトン・言語と計算理論「有限オートマトンの同型」 本シリーズでは、以下の本に沿って解説を書いている。前回は、有限オートマトンの等価と、言語の補集合を認識する有限オートマトンを解説した。等価は今回も使うので、不安なら復習しておこう。以下がその記事だ。さて、今回は…申し訳ないが、再度横道に逸れ... 2020.12.08 講座系
講座系 オートマトン・言語と計算理論「有限オートマトンの等価と言語の補集合」 本シリーズでは、以下の本に沿って解説を書いている。前回は番外編ということで、有限オートマトンを表現するプログラムを作成した。ちょっと長い記事だが、気になる人は見てみよう。それまでは何をしていたかというと、有限オートマトンについて解説を行って... 2020.12.05 講座系
講座系 有限オートマトンをプログラムで組んでみた 本シリーズでは、以下の本に沿って解説を書いている。前回まで、有限オートマトンに関するあれこれを書いてきた。有限オートマトン自体の定義は以下の記事。そして、直積オートマトンと、状態の等価性は以下の記事だ。今回は、本筋からちょっと外れて、この有... 2020.12.04 講座系
講座系 オートマトン・言語と計算理論「直積オートマトンと状態の等価性」 本シリーズでは、以下の本に沿って解説を書いている。前回は、有限オートマトンを解説した。色々と定義したが、細かい単位で見れば難しいことはないはず。不安になったら、それが何を言っていたか、定義を見直してみよう。以下がその記事だ。今回は、前回のラ... 2020.11.30 講座系
講座系 オートマトン・言語と計算理論「有限オートマトン」 本シリーズでは、以下の本に沿って解説を書いている。前回は、形式言語の形に合わせた正規表現を定義した。今回はちょっとその範囲から外れるが、後でまた戻ってくるので忘れないようにしてほしい。以下がその記事だ。さて、今回は前回解説できなかった有限オ... 2020.11.28 講座系
講座系 オートマトン・言語と計算理論「正規表現」 前回から、以下の本に沿って解説を書いている。前回は、形式言語というものを扱った。最小単位は記号で、その集合はアルファベット。アルファベットに含まれる記号を並べたものを、そのアルファベット上の列。そして、その列の集合が、形式言語ということだっ... 2020.11.24 講座系
講座系 オートマトン・言語と計算理論 – 導入「形式言語」 突然だが、プログラムを作りたくなった。やりたいことは、文字列として入力された数式をプログラムで解釈し、計算すること。ただやるだけであれば、BNFを作ってそれをプログラムに落とし込めばいい。そこで、BNFをもう一度しっかり勉強しようとしたら、... 2020.11.23 講座系
弐寺講座 【弐寺】トリル・デニムはなぜ難しいのか?練習方法は? 以前、弐寺の地力の全体像をまとめた。以下の記事だ。…だいぶ間が空いてしまったが、各個別の記事を書き始めることとしよう。今回は、トリル・デニムについて解説していく。対象はこれらが分からない初心者から、苦手な方まで含める。まずはそもそも本記事で... 2020.11.22 弐寺講座
ディープラーニングのための数学勉強結果 ディープラーニングのための数学勉強結果「勾配降下法」 本シリーズでは、以下の本に沿って数学を解説している。前回は微分編第三回、多変数関数の微分について解説した。多変数関数については、その独立変数の一つに着目し、それ以外を定数として見なして微分する偏微分という方法を使う。今回の内容にも出てくるの... 2020.11.08 ディープラーニングのための数学勉強結果
ディープラーニングのための数学勉強結果 ディープラーニングのための数学勉強結果「多変数関数の微分」 本シリーズでは、以下の本に沿って数学を解説している。前回は微分編2回目ということで、合成関数の微分と、関数の最小値に関する原理を説明した。各種公式だったり、記号なんかも出てきたが、理解できただろうか。特に記号は今回もガンガン使っていくので、... 2020.11.04 ディープラーニングのための数学勉強結果