「さくらのレンタルサーバ」でのサブドメインの使い方を覚えたので、ここに作業場を作ってみた。
工房という名称を最初は考えたのだけれど、どうもおこがましいと思ったので、作業場という名前にした。
そういえば、「おこがましい」という言葉、古文では「ばかばかしい」「みっともない」などという意味が主であったようだ。
時代は変わる、言葉も変わる。
ここには、色々なガラクタコンテンツが集積されていくのではないだろうか。
-
命題,述語,論証 (pdf)
-
命題と述語を簡単にまとめて、論証の方法論に重きをおいたつもりのもの。背理法の例題が結構多くなった。下の「論理法則と証明」と被るところも多々ある。もちろん被らないところも多々ある。全体をとおしての最終的な見直、推敲の後に「あとがき」を書いて完成させたい。
- 2024/11/29
-
述語記号の使い方,定義,定理の書き方(私家版)[ まだ書きかけである ] (pdf)
-
述語記号(論理式)の私的な書き方を定型化しようとして書いた(本橋本「新しい論理序説」の影響を受けたので)。それと個人的に $\iff$ を多用しすぎているなとも感じていたので。いまでは、もう少し柔軟に使い分けてもいいと思っている。
- 2023/10/05
-
数式を記述する文章での私的な記号の使い方 [ 今後も追加があるかも ] (pdf)
-
定型的な部分でしょっちゅう手元のメモやら他の文章やらの記号の使い方を参照するので、ここでそれらをまとめてみた。これでいつでも同じものが参照できる。TeX の私的文章スタイルをどうするかは、まあ、悩みどころではあるなぁ。教科書ではないのだし(第一教科書は書けない)。くだらぬ所感スタイルと言わばいいのか(人はそれをエッセイと呼ぶ?)。
- 2023/09/28
-
論理法則と証明 (pdf)
-
それなりののボリュームになっていて、ある程度の手応えも僕自身にはあったけれど、もう少し洗練しないといかんと思っている。まず、命題論理の部分に集中してしあげてみよう。述語論理はその後ということで。
- 2023/01/08
-
勾配ベクトル コメンタール (pdf)
-
未定乗数法でも利用される勾配ベクトル(gradient)についてまとめてみたもの。終わりの方で、「勾配」という名称がなぜついたのか、勾配ベクトル場と俗にいうポテンシャルとの関係をまとめるつもりであったが、まだ書いていない(書けていない)。
- 2022/04/29