何ができるか？ 外部の gitリポジトリを、自分の gitリポジトリのサブディレクトリとして登録し、特定のコミットを参照できる。ライブラリなどを参照する場合に便利である。 サブモジュールを登録する 自分の gitリポジトリで、ターミナルから下記のようなコ…

GitHubのリポジトリで、https://github.com/ユーザ名/リポジトリ名/tree/ハッシュ値(40桁) にファイルは存在するが、Commits の一覧に現れない、迷子になってしまったコミットというのが存在しうる。コミットの属するブランチが削除された場合、そのコミット…

f：写像 (map) X：定義域, 始域 (demain) Y：終域 (codomain) f : Ｘ→ Y 全射・単射・全単射 全射 (上への写像, surjection) f(X) = Y つまり Y の全ての元を指す → があること 単射 (1対1写像, injection) 異なる → が Y の同じ元を指さないこと 全単射 (上…

群 (Group) 復習→ ノート：群・モノイド・半群・マグマ(亜群) - 滴了庵日録集合 G と 演算 ◦ の組 (G, ◦) が G0～G3をみたすなら群、G0～G1をみたすなら半群 (G0) 閉じている (G1) 結合法則 (G2) 単位元の存在 (G3) 逆元の存在 さらにG4も満たすなら可換群(…

代数系とは 代数系とは、集合 (例えば 整数 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つのフォルダの内容を比較したいが、ファイルの内容まで比較すると時間がかかりすぎる。ファイル名および更新日時とサイズのみで比較したい。(ファイル名、更新日時、サイズが一致していて内容が異なっていることは、ありえなくはな…