2020-01-01から1年間の記事一覧

情報科学を専門とする学生が教職を履修することの意義

はじめに これは,駄文です. 誰かに読んでもらうというよりも僕の頭の中を書きだしたみたいな感じのものです. 対象者はNullPointerException(とくにいないかも)です. これは,教職 Advent Calendar 2020 adventar.org の22日目の記事です. 何で書こうと…

教職課程を履修するまでに至った僕の人生のお話

はじめに これはもともと,教職 Advent Calendar 2020 adventar.org の22日目の記事の中に書いていたのですが,ただの自分語りだと思ったのと,それが2000文字もあったので,分けたものです. ついでに空いていたcoins18 Advent Calendar 2020 adventar.org …

研究室が決まったらしい

研究室が決まった 研究室が決まりました. 第1志望でだそうです. 暗号します. 暗号の何をするかは決めていませんが,暗号だったら何でもできるそうです. おわり 高校時代,数学科的なところもありだたと思っていたのですが,ちょっとした数学書などを読ん…

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

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

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

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

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

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

酸欠少女さユりの「平行線」について~本当に太陽系を抜け出さないといけないのか~

はじめに まず初めに,初の弾き語りアルバム「め」発売おめでとうございます. め 買いました,届きました,聞きました,見ました,良かったと一言では言えないですけど良かったです. 「売れたいのでなく売りたいのです」という通り,是非是非ガンガン売っ…