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

2023年04月02日

気分が低調だが, コンピューターの設定作業を行う

4 時半起床.
やや鬱が辛い.

本を読む.
カント『純粋理性批判』から「第二版序言」の続き.
純粋理性批判は既存の学派の独占権に損失を与えるが, 他には利益の他何もないことが述べられる.

朝食をとる.
パンと紅茶.
食べている最中から鬱が辛くなってくる.

OpenBSD のアップグレード作業を行う.
頭が働かない.
辛い.

休みながら作業をする.
何とか午前中には終わった.

この後, Emacs HEAD のコンパイル・インストールを行いたいが気力が出ない.

頓服を飲んで寝込んだ.

夕方に起きる.
買い物に行く.
体が重く, 歩くのが辛い.
野菜などを買う.

帰宅して Emacs のコンパイルを行う.
途中でエラーが出たが, 対処する気力が出ず作業を中断する.

夕食をとる.
蕎麦と大根おろし.

そのまま眠る.

深夜に起きて, Emacs のコンパイルエラーに対処する.
インストールまでを行い, 再び眠る.
posted by 底彦 at 23:30 | Comment(0) | TrackBack(0) |

システム管理: Emacs HEAD のコンパイルとインストール

Emacs HEAD のコンパイルとインストールを行う.

$ export AUTOCONF_VERSION="2.71"
$ export AUTOMAKE_VERSION="1.16"
$ ./autogen.sh
$ ./configure \
'CFLAGS=-I/usr/include -I/usr/X11R6/include -I/usr/local/include' \
'LDFLAGS=-L/usr/lib -L/usr/X11R6/lib -L/usr/local/lib -lgccjit' \
--prefix=/usr/local \
--mandir=/usr/local/share/man \
--infodir=/usr/local/info \
--with-x-toolkit=athena \
--with-imagemagick \
--with-xaw3d \
--with-x \
--without-xim \
--with-xpm=ifavailable \
--with-native-compilation

libgccjit のチェックの際にエラーが出た.

checking for gcc_jit_context_acquire in -lgccjit... yes
checking for libgccjit.h... yes
configure: error: The installed libgccjit failed to compile and run a test program using
the libgccjit library; see config.log for the details of the failure.
The test program can be found here:
<https://gcc.gnu.org/onlinedocs/jit/intro/tutorial01.html>.
You can try compiling it yourself to investigate the issues.
Please report the issue to your distribution if libgccjit was installed
through that.
You can find the instructions on how to compile and install libgccjit from
source on this site:
<https://gcc.gnu.org/wiki/JIT>.

メッセージに従って, https://gcc.gnu.org/onlinedocs/jit/intro/tutorial01.html にあるテストプログラム tut01-hello-world.c をコンパイルして動かしてみる.

$ egcc -I/usr/include -I/usr/local/include -L/usr/lib -L/usr/local/lib \
tut01-hello-world.c -o tut01-hello-world -lgccjit
$ ./tut01-hello-world
ld: error: unable to find library -lgcc
ld: error: unable to find library -lgcc
libgccjit.so: error: error invoking gcc driver
NULL result

libgcc が見つからないというエラーが出る.
探したらディレクトリー /usr/local/lib/gcc/x86_64-unknown-openbsd7.3/11.2.0 に libgcc.a があった.
そこで環境変数 LD_LIBRARY_PATH にこのディレクトリーを指定してテストプログラムを実行する.

$ export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:/usr/local/lib/gcc/x86_64-unknown-openbsd7.3/11.2.0
$ ./tut01-hello-world
hello world

今度はうまく行った.

上記のように環境変数 LD_LIBRARY_PATH を設定した状況で Emacs HEAD のコンパイルとインストールを行う.

$ ./autogen.sh
$ ./configure \
'CFLAGS=-I/usr/include -I/usr/X11R6/include -I/usr/local/include' \
'LDFLAGS=-L/usr/lib -L/usr/X11R6/lib -L/usr/local/lib -lgccjit' \
--prefix=/usr/local \
--mandir=/usr/local/share/man \
--infodir=/usr/local/info \
--with-x-toolkit=athena \
--with-imagemagick \
--with-xaw3d \
--with-x \
--without-xim \
--with-xpm=ifavailable \
--with-native-compilation
$ git pull
$ gmake bootstrap
$ gmake check
# gmake install


また, \$/.emacs.d/init.el の中でも環境変数 LD_LIBRARY_PATH を

(setenv "LD_LIBRARY_PATH" "$LD_LIBRARY_PATH:/usr/local/lib/gcc/x86_64-unknown-openbsd7.3/11.2.0")

のように設定した.

これまではなぜうまく動いていたのだろうかという疑問は残るが, 最新版のシステムを使っていればこういうことはある.

システム管理: OpenBSD のアップグレード作業 ── 2023 年 4 月 (2)

ベースシステムのコンパイルが終わったのでマージしてデバイスファイルを作成する.

# sysmerge
# cd /dev/ && ./MAKEDEV all


X 関連ファイルのコンパイルとインストールを行う.

# cd /usr/xenocara
# make bootstrap
# make obj
# make build


パッケージのアップデートを行う.

# pkg_add -uv

これで OpenBSD のアップグレード作業が完了する.

今回は何も問題は起こらなかった.

2023年04月01日

システム管理: OpenBSD のアップグレード作業 ── 2023 年 4 月 (1)

月初めなので, OpenBSD のアップグレード作業を行う.

ソースツリーのアップデート.

$ cd /usr/src # ベースシステムのソースコードのアップデート.
$ cvs -q up -Pd -A
$ cd /usr/xenocara # X のソースコードのアップデート.
$ cvs -q up -Pd -A
$ cd /usr/ports # ports ツリーのアップデート.
$ cvs -q up -Pd -A
# sysupgrade -s # システムの最新のスナップショットへのアップグレード.

OpenBSD のバージョンが 7.2 から 7.3 になっている.

カーネルのコンパイルとインストール.

# cd /sys/arch/amd64/compile/GENERIC.MP
# make obj
# make config
# make && make install
# uname -a
OpenBSD mybsd.local 7.3 GENERIC.MP#16 amd64


ベースシステムのコンパイル.

# cd /usr/src
# make obj && make build

この処理が終わるのは夜になるので, プロセスを流しっ放しにして今日は区切りを付ける.

図書館 〜 買い物

1 時半に一度起きたが, 昨日の疲れがとれず二度寝をする.

6 時半起床.

朝食をとる.
納豆と卵かけご飯と味噌汁.

OpenBSD のアップグレード作業を行う.

区切りが付いてから, 図書館に行く.
借りている本の貸出期間延長の手続きをする. それと太宰治『走れメロス』を借りた.

駅近くのパン屋に行ってパンを買う.
それからいつものスーパーに行く.
野菜などを買う.

午後は少し眠る.

夕方に起きて食事.
トマトと小松菜のパスタ.

早めに布団に入る.
posted by 底彦 at 23:30 | Comment(0) | TrackBack(0) | 日常生活

2023年03月31日

昼まで寝込む 〜 アルコール依存症の自助グループ

-2 時起床.

早い時間に起きられたのだが鬱が辛い.
自分は駄目だという否定的な考えが浮かんでくる.

昨日の数学の計算の続きをやろうとするが, 頭の中に灰色の靄がかかっていて考えることができない.
苦しい.

結局頓服を飲んで寝込んだ.

昼まで眠る.
再び起きたときには, 気持ちはかなり落ち着いていた.

数学をやる.
代数の復習. ユークリッド環についてまとめたノートを読み返す.
ユークリッド環においては, ユークリッドの互除法が使える.
いくつかの実例について計算をしてみる.

夕方前に食事.
メカジキのムニエルと小松菜炒めとご飯.

夜はアルコール依存症の自助グループに行く.
途中の駅まで歩いて行くつもりで早めに家を出る.
しかし 1 時間ほど歩いて疲れてしまい, 通りへ出て駅へ行くバスに乗った.

ミーティング会場に付いて少しうとうとする.
人数は少なかったが, いいミーティングだった.

疲れた.
帰宅してそのまま布団に入る.
posted by 底彦 at 23:30 | Comment(0) | TrackBack(0) |

2023年03月30日

平和に一日を終える

-2 時起床.

本を読む.
カント『純粋理性批判』から「第二版序言」の続き.
感性的直観による客観すなわち現象が認識の対象であり, 物自体は認識の対象外であると本書では主張する.
そうすると, たとえば人間の心は物質として自然法則に従う部分 (自由の存在しない部分) と, 思惟の対象とはなるが認識はできない部分 (自由が存在する部分) とに分けられる.
「自然法則に基くこの世界では, 人間もそれに従う物質であり, 全ては決定されていて自由は存在しない」という矛盾が起こらなくなる.

それから数学をやる.
monadicity 定理の証明で昨日わからなかった部分を考える.
集中して計算を行う.
少し進展した.
考え方は今の方向性での計算で合っていると思う.

朝食をとる.
キャベツとベーコンエッグとコーヒー.

集中して疲れたので少し眠る.

昼前に起きて数学をやる.
代数の復習. 素イデアルに関する教科書の練習問題を解く.

午後からアルコール依存症の自助グループに行く.
散歩を兼ねて会場まで歩いた.

今日のテーマは「ターニングポイント」.
各人が自己の経験を話した.
そのために重たい話が多かったが, いいミーティングだった.

買い物をして帰宅.

食事をとる.
メカジキのムニエルとキャベツ.

今日は平和に一日を過ごすことができた.

早めに布団に入る.
posted by 底彦 at 23:30 | Comment(0) | TrackBack(0) | 日常生活

2023年03月29日

読書と数学 〜 アルコール依存症の自助グループ 〜 夕方の鬱

-1 時起床.

本を読む.
カント『純粋理性批判』. 「第二版序言」の続き.
本書における批判から得られる帰結が, 思弁的理性に経験の限界を越えさせないようにすることであると述べられる.

それから数学をやる.
monadicity 定理:「右随伴関手 $U : \mathrm{D} \rightarrow \mathrm{C}$ がモナド的 (monadic) であるための必要十分条件は, $U$ が $U$-分解対 ($U$-split pair) の余イコライザー (coequalizer) を作成することである」の証明を読む.
一箇所わからないところがあり, 途中からそれをずっと考える.
解決しない.

集中し過ぎて疲れた.

朝食をとる.
キャベツとベーコンエッグとコーヒー.

少し眠る.

昼前に起きて朝の続きを考える.
進展せず. どこか, 自分の理解が不足しているところがある.
明日もう一度考えることにして区切りを付ける.

午後からアルコール依存症の自助グループに行く.
静かな雰囲気で気持ちが落ち着いた.

買い物をして帰宅.

食事をとる.
鮪の山かけとご飯.

夕方から鬱が辛くなってくる.
自分は駄目だという思いが強い. 苦しい.

まだ明るいが布団に入る.
posted by 底彦 at 23:30 | Comment(0) | TrackBack(0) | 日常生活

2023年03月28日

午後から鬱が苦しくなる

-1 時起床.

本を読む.
カント『純粋理性批判』. 「第二版序言」の続き.
純粋理性批判を方法論として一つの新しい形而上学が構築されることが語られる.

それから数学をやる.
教科書の練習問題を考える.
朝まで計算を行う.

朝食をとる.
キャベツとベーコンエッグとコーヒー.

午前中はアルコール依存症の自助グループに行く.
冷たい雨が降っていて寒かったが, 会場の教会まで歩いた.

今日のテーマは「思いやり」.
ミーティングでは各人の重い経験の話が多かった.

帰り道から気分が沈んでくる.
仲間の話に思い入れし過ぎたことも関係しているのかも知れない.

帰宅して食事.
昨日の煮物の残りを温めてご飯と食べる.

鬱が苦しい.
自分は駄目だ, 自分がやっていることに何の意味も価値も無いという思いが強くなってくる.

寝込んだ.
そのまま一日が終わる.
posted by 底彦 at 23:30 | Comment(0) | TrackBack(0) |

2023年03月27日

読書と数学 〜 午前中眠る 〜 生活費と買い物と食事

-1 時半起床.

本を読む.
カント『純粋理性批判』.
「第二版序言」.
カントが本書において行った, 認識が対象に従うのではなく対象が認識に従うのだという, いわゆるコペルニクス的転回について述べられる.
それに応じて, 必然的に物自体という概念が現れてくる.

それから数学をやる.
昨日勉強した命題の系:
モナド的関手 $U : \mathrm{D} \rightarrow \mathrm{C}$ が任意の $U$-分解対 ($U$-split pair) の余イコライザー (coequalizer) を作る.
の証明を読む.

行間を補って詳しい証明を書き上げたと思ったのだが, 読み返してみたら途中の議論に自分でもすっきりしない箇所がある.
教科書の議論と合致せず, よく読んだら間違っていた.
証明の鍵となる重要な箇所で, 結局一度完成させたと思った証明のノートを始めから全部書き直すことにする.
自分の理解に不十分な点があったからで, 集中して考えてやっとわかった.

午前中に何とか終わる.

疲れた.
少し眠る.

昼過ぎに起きる.

銀行の ATM に行って今週の生活費をおろす.
先週, 節約しなければならないと書いたのだが節約できていない.
このままだと, 来月 15 日の障害年金支給前の生活はぎりぎりになってしまう.

買い物に行く.
野菜と肉などを買う. 米も買う.

帰宅して食事.
煮物とご飯.

まだ明るいが布団に入る.
posted by 底彦 at 23:30 | Comment(0) | TrackBack(0) | 日常生活
ファン
検索
<< 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)
(1451)
借金(8)
勉強(13)
(13)
数学(97)
運動(8)
日常生活(1406)
(204)
健康(38)
読書(21)
プロフィール

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