近況。[cocolog:84149980]…

近況。[cocolog:84149980] から状況は変わってない。Isabelle で過去にやった証明を再証明している。無意味なことだと思いつつ、続けているが、無意味という自覚が強いためかやる気が出ず、なかなか前に進まない。
JRF 2015年12月24日

……。

アニメは、[cocolog:84101572] で書いた『ゆるゆり さん☆ハイ！』と『終物語』を最終話まで観た。『ゆるゆり』のほうは、以前のシーズンと比べれば楽しめなかったような気がするが、こちらの気の沈みようの問題なのかもしれず、よくわからない。『終物語』は、まだシリーズが続いているようで、続きが気になる終り方だが、「終」と銘打つだけあってこれで終りにするんだろうか？

JRF 2015年12月24日

……。

生活は前に書いた状況から変わってない。眠りすぎ、横になりすぎが続いていて、Isabelle での証明も続けてはいるが、一日のうちそこに使う時間もそんなに長くない状態。

はっきりいって辛い。生きていて「申し訳ない」のはもちろんだが、ハリがない。

JRF 2015年12月24日

「人生に失敗した」と言って母親に相談すると、将来のために介護の勉強・仕事をしたらどうだという。でも、私のような人間を雇ってくれるようなところは、「ない」のが基本で、もしくは、よほど条件の悪いところに行くしかないだろう。そんなのに耐えられるようならとっくの昔に就職しているはずのようにも思う。「何事もやってみてから考えればいい」などと言われるのだけれど、言われる前からある程度わかる部分もあるわけで…。

JRF 2015年12月24日

「天は自ら助くる者を助く」と言う。でも、私は「何か」はやってきたつもりで、それが何の評価もされてないところに苦しみがある。今やっている Isabelle での証明も「何か」やってはいるのだ。でも、それは私を助けない…もう、そう確信はしている。

JRF 2015年12月24日

……。

でも、生きているんだ。生きさせてもらっている。それには感謝します。何にもないけど…

メリー・クリスマス。

JRF 2015年12月24日

Trackbacks:

《cocolog:84331614》 from JRF のひとこと
http://jrf.cocolog-nifty.com/statuses/2016/01/isabe.html

Isabelle上でのα同値に関する証明の再証明が完成したので、記事にして公開しておいた。渾身の力作なので、私が死んでも残って欲しい。だから、使わなくても、わけがわかんなくても、この「ひとこと」を見たなら、アーカイブをダウンロードして、パソコン内に保存しておいてくれるとうれしい。... 

受信： 2016-03-29 18:38:06 (JST)

《cocolog:85169356》 from JRF のひとこと
http://jrf.cocolog-nifty.com/statuses/2016/05/post-0ac1.html

介護職員初任者研修を修了した。座学・実技とあってテストも受けた。修了証はまだだが、修了はした。ただ、このあと就職するかについては消極的になっている。 

受信： 2016-06-29 15:51:31 (JST)