月別アーカイブ: 2020年8月

MSYS2メモ

以前Windows環境が吹き飛んで秘蔵のMSYS2用設定ファイルが失われたことがあったので、改めてメモしておく。

競技プログラミングでは、提出したプログラムが誤答（WA）だった場合に「どのような入力について」答えを間違えたのか（参加者には）分からないことが多いです。

こういう場合はエスパーするなり眼力でソースコードをぐっと睨んだりするとバグが発見できる場合もありますが、初心者にはそういうのは難しいでしょう。

この記事では、HaskellのQuickCheckというライブラリーを使って、「ランダムにテストケースを生成して素朴な解と一致するか」を自動で検証させます。QuickCheckはテストに失敗した場合に「どういう入力例に対して失敗したか」も教えてくれるので、デバッグにも役立ちます。

この記事は筆者が先日YouTubeに上げた動画を文章で書き直したものです。動画で触れられなかった・触れるのを忘れていた補足説明みたいなものも若干含んでいます。この記事と動画、両方見ていただけると嬉しいです。

ダイヤルのついた小型キーボード（マクロパッド）があったらある種のアプリケーションの操作に便利そうだな〜〜と日頃から思っていた（日頃からそういうアプリケーションを使っているというわけではない）。

遊舎工房で物色すると、ロータリーエンコーダーの載ったマクロパッド（のキット）はいくつかあった。

その中から、Casette42というやつを選んで買ってみた。ロータリーエンコーダーが2個あるのでお得感がある。

ちょっと赤外線リモコンの信号を読み取りたいな〜〜って思うこと、ありますよね。

というわけで、先日買ったM5Stack + IR unitで、簡易的なやつを作ってみました。パルスの幅を読み取れるわけでもなく、目で見て楽しむ以上の実用性はありません（ですが、「目で見て楽しい」のって大事ですよね！？）。