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

丁合機を用いて対数オーダーで紙を元通りにするアルゴリズム

これは何の記事か 丁合機で順番をミスってしまったので,最初のようにばらしたいときや,ホッチキスで留められていなかったので手で留める必要があったときに,丁合機で最初の状態にしてからもう一回丁合機に入れてあげようとしたときに,この最初の状態にす…

数独を画像認識で解いてみた

はじめに これは2020年の春ぐらいに主専攻実験という授業で,授業の内容から発展的なものを作ってプレゼンしろと言われたので,数独を解いたというものです. しかし,数独はMATLABに用意されていた数独ソルバーを用いているので,数独を解くということはし…

Windows10のwsl上OCamlをコンパイルできるようにする方法とその他色々の忘備録

はじめに 個人的な忘備録です WSL上でごちゃごちゃ WSL上でコンパイルするための手段はここに載っています. 「プログラミング言語」で用いる開発環境の整備方法 以下転載. sudo apt update sudo apt install -y bubblewrap build-essential curl git m4 un…