アフィリエイト広告を利用しています

2017年03月12日

何とか一日乗り切る

9 時半起床.

今朝は体調がいいので数学をやる.
このところ, 体調不良のことが多くて一日に数学を考える時間が 30 分とか 1 時間とかがやっとだった.
今日はまとまった時間考えることができる.

圏論の練習問題の解答を確認しながら LaTeX のドキュメントにする.
ある程度数学をわかっている人なら自明として細かい証明を省略する部分も, 一つ一つ証明を書いていく.
勉強のためもあるが, 自分の現在の数学の力では, まだそういった箇所を自明とか明白などとして省略することができない.

解いている練習問題は, 任意の圏 $\mathscr{C}$ とその射圏 $\mathrm{Ar}(\mathscr{C})$ に対して, $\mathscr{C}$ の対象の同型類から 1 つずつ対象を選んで得られる集まり $O$ を対象とし, $\mathrm{Ar}(\mathscr{C})$ の対象の同型類から 1 つずつ対象を選んで得られる集まり $A$ を射とし, $A$ の各々の射のソースとターゲットを $O$ の元から適切に選び, なおかつ $A$ の射の合成を適切に定義することによって新しい圏が構成されることを証明せよというものである.
このように構成される圏を $\mathscr{C}$ の骨格 (skeleton) と呼び $\mathrm{sk}(\mathscr{C})$ と表わす.

3 時間ほどやってクタクタになった.
これが集中力の限界なのだろう. でも以前より少し長い時間集中できるようになっている.

絵を描こうとしたが, 疲れていたのと, この縮こまった絵をどうやって進めていけばいいのかがわからず, 眺めていただけで終わった.

少し休むつもりで横になったのだが, そのまま眠ってしまう.

起きたらもう 5 時を回っていた. そんなに疲れていたのか.
シャワーを浴びて, ご飯を炊き, その間に HP-42S のマニュアルを読む.
今日は逆ポーランド記法 (RPN) による計算の説明の部分.
HP-42S という電卓は RPN に基いた計算方法を採用しているのだ. 卓見と言う他無い.
このような仕組みをどんなエンジニアが考えたのだろうかと思う.

夕食は豚肉炒め, キュウリとレタスのサラダ, 納豆とご飯.
posted by 底彦 at 21:48 | Comment(0) | TrackBack(0) | 日常生活
この記事へのコメント
コメントを書く

お名前:

メールアドレス:


ホームページアドレス:

コメント:

この記事へのトラックバックURL
https://fanblogs.jp/tb/6043964

この記事へのトラックバック
ファン
検索
<< 2024年12月 >>
1 2 3 4 5 6 7
8 9 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31        
最新記事
最新コメント
眼科の定期検査 〜 散歩 by コトタマ (02/15)
眼科の定期検査 by 三文字寄れば文殊のヒフミヨ (09/21)
本を読んで過ごす by 底彦 (12/13)
本を読んで過ごす by ねこ (12/12)
数学の計算をする by 底彦 (12/04)
タグクラウド
カテゴリアーカイブ
仕事(59)
社会復帰(22)
(44)
コンピューター(211)
(1463)
借金(8)
勉強(13)
(13)
数学(97)
運動(8)
日常生活(1407)
(204)
健康(38)
読書(21)
プロフィール

ブログランキング・にほんブログ村へ
にほんブログ村
にほんブログ村 メンタルヘルスブログ うつ病(鬱病)へ
にほんブログ村
にほんブログ村 科学ブログ 数学へ
にほんブログ村
にほんブログ村 IT技術ブログ プログラム・プログラマーへ
にほんブログ村