代数系とは 代数系とは、集合 (例えば 整数 Z ) と演算 (例えば 加法 +) の組。 例えば Z と + の組を (Z, +) のようにあらわす。 集合だけでは代数系ではない。 包含関係 群・モノイド・半群・マグマ(亜群)は代数系で、下図のような包含関係にある。 内側の…

Lチカのプロジェクトを作成 Project Wizard で、Board に Arduino Uno R4 Minima を指定する。はじめて R4 Minima のプロジェクトを作成するときは、ツールチェーンやライブラリがインストールされるので、終わるまで待つ。 Lチカのコード ボード上のLEDを点…

mboxファイルのエクスポート Google データ エクスポート を開く。(「Googleアカウントを管理」 →「データとプライバシー」→「データをダウンロード」からもアクセスできる。) 「新しいエクスポートの作成」→「① 追加するデータの選択」で「選択をすべて解除…

SES (Segger Embedded Studio) で、インクルードパスとライブラリパスを設定する方法をメモ。Project Explorerでプロジェクト名を右クリックして「Options」をクリック。コンフィギュレーションは「Common」を選択する。(「Debug」および「Release」は「Comm…

やりたいこと UTF-8で保存されたC言語のソースファイル中の日本語文字列リテラルを、Shift-JIS(正確にはCP932)のバイナリにコンパイルしたい。使用するCコンパイラはGCCとする。 なぜやりたいか 今どきはソースファイルはUTF-8エンコードで保存するのが一般…

カミュの『異邦人』は、一般的には不条理小説と呼ばれるが、何が不条理なのかよく分からない。不条理というならキリスト教徒側（判事や司祭）の言ってることのほうがよほど不条理で滑稽に思える。文章じたいは簡潔なので、フランス語まったく知らないけど拾…

インストール方法 CubeMXを起動し、「Help」→「Manage embedded software packages」をクリック。「STM32Cube MCU Packages」タブで所望のMCUシリーズ (ここではSTM32H7) の所望のバージョン (ここでは1.11.0) を選択し「Install」をクリック。 インストール…

beに相当する動詞の人称変化 haveに相当する動詞の人称変化 所感 英語は人称変化がほとんど消滅したので面倒が少ない。(三単現だけしぶとく残っている) ドイツ語は人称変化が残ってるので面倒だが、まあ分かる。 フランス語はどうしてこうなった？ have と a…

やりたいこと Windowsで2つのフォルダの内容を比較したいが、ファイルの内容まで比較すると時間がかかりすぎる。ファイル名および更新日時とサイズのみで比較したい。(ファイル名、更新日時、サイズが一致していて内容が異なっていることは、ありえなくはな…