yukiのブログ

作ったものなど

Sympyで方程式を解いてみる

span.kw { color: #007020; font-weight: bold; } /* Keyword */ code > span.dt { color: #902000; } /* DataType */ code > span.dv { color: #40a070; } /* DecVal */ code > span.bn { color: #40a070; } /* BaseN */ code > span.fl { color: #40a070; …

Sympyを試す

span.kw { color: #007020; font-weight: bold; } /* Keyword */ code > span.dt { color: #902000; } /* DataType */ code > span.dv { color: #40a070; } /* DecVal */ code > span.bn { color: #40a070; } /* BaseN */ code > span.fl { color: #40a070; …

正規表現の実装(python)

前回の記事で作ったεNFAを使って正規表現を実装できたのでまとめます。ソースは前回と同じくこのリポジトリに。 実装した正規表現 正規表現のすべての機能を実装するのは大変なので、実装するのは基本的なものだけにしました。 実装したのは 一文字 (“a"など…

オートマトンをpythonで書く(続き)

この前作ったDFAをいくらか拡張したのでまとめます。ソースはgithubに。 NFA 講義ではDFAの次に非決定性有限オートマトン(Nondeterministic Finite Automata, NFA)が出てきたので、最初の拡張としてNFAを作りました。

pythonでスクリーンショットを正しくとる(Windows)

問題 pythonの画像処理モジュールPillowにはスクリーンショットをとる関数PIL.Imagegrab.grab()があります。しかしこれはWindowsの一部の環境だとうまく動きません。具体的には、スクリーンショットをとっても左上の部分しか記録されません。 from PIL impor…

オートマトンをpythonで書く

(非)決定性有限オートマトンがチューリングマシンより真に弱い計算能力を持つというのはどのオートマトンの教科書にも書いてあることです。このことが意味するのは、オートマトンでできることは全てチューリングマシンでできるということです。ということで…

VHDLの環境構築

学校の課題でVHDLを書きました。 そのためにQurtus PrimeをインストールしてQuartusとModelSimを使ったのですが、動作が遅かったり文字やボタンが小さかったりウィンドウを頻繁に切り替えたりする必要があったりと、とにかくストレスが溜まりました。 そこで…

フォルダのサイズを表示するプログラム作った

この記事はIS17er Advent Calendarの18日目が空いていたので、「無いよりはなんかあった方がいいだろう」と思ってその日のうちに書かれたものです。 17日目の記事はこちら。Windows標準のエクスプローラはフォルダのサイズを表示してくれないので、目立たな…

クリッカーゲームを攻略する

クリッカーゲームを攻略しよう!