今後の(主に勉学の)方針 (2015年度版)
今後の方針をさらっと述べます。今年度(以降)やりたいことと昨年度やったことを述べます。
■やろうかな…
●定理証明器 Isabelle の現状を知るため、何か(簡単な半順序理論ぐらいか?)の証明をそれで組んでみる。
●『創世記』の「ヨセフの夢」、『出エジプト記』の「金の牛」、イスラム教の「アシュアリーの三人兄弟についての問答」といったところを記事にする。
●《勝手に PR》に記事を増やす。『電子著作物の動産的所有権を構想する (仮題)』の記事を書き上げる。
●確率モデル・シミュレーションなどのトイプログラム集を練習的に書く。これまでに書いたシミュレーション等をブラッシュアップする。「トロッコ問題」に関して数理モデルを作る。
●ブログ関連の開発。翻訳や印刷などのためのツールバーを作る。
…昨年度からは消極的な方向に変わりました。すみません。
■やったこと
昨年度は、4月中旬に統合失調症の発作で入院、5月中旬に(早くも)退院しましたが、その後、何かすごく「終わった感」があって、自分がやってきたことに自信を失い、未来が暗くしか感じられなくなりました。
昨年度やろうと書いていた、ファミコン版「手旗信号」は大して完成度を上げることができずに開発を終了して、このブログのアーカイブ化・電子書籍化(EPWING化)にとりかかり、6月・7月に作業をして8月に公開にこぎつけました (参:[cocolog:80421827] )。ただ、これも「終った感」を感じての「まとめ」といった意味が強く、「売り物」なのにかなり雑な作業になってしまいました。
それ以降は、アニメ・ゲームにはほぼ近づかず、日々読書のみの生活を主にしてました。そういう生活ができるというのが贅沢なのは変わらないのですが、それ以上のことをやるのが省エネの面からも何か申し訳ない。ホントに生きてるのが申し訳ないと感じて生活していました。
確率モデルに関しては、昨年度まで挙げていた三囚人問題がらみのネタが、6月に読んだ「モンティ・ホール問題」に関する本で、ほぼ私がやりたかった部分がなされていたのを知り(参:[cocolog:79824785])、これも「終った」問題…もう私がやる必要のない問題だと感じるようになりました。
また、同じく昨年度まで挙げていたヨブ記に関する記事もつい先日の3月に《「ヨブ記」を読む》としてやっと記事にしました。[cocolog:82027956]にも書いたように、もっと立派な記事にする予定だったのですが、《ひとこと》の寄せ集めに少し手を入れた程度の記事でお茶をにごすほどの内容になってしまいました。
ただ、いずれも昨年度まで大きく心に引っかかっていたところで、ブログ8周年後の一年でそういう「心残り」みたいなのがほぼすべて消え去りました。それで、今年度は、昨年度まで「やろう!」と書いてた上の題も「やるかも…」という消極的な題に替えました。上に書いたこの先のプランは「やってもやらんでも同じだな…」ぐらいにしか感じてません。
昨年度書いた以上に、資源を浪費してばかりで情けなく、親に社会に援助をいただいて申し訳なく・ありがたく感じています。おそらく今年度からは今の生活から引き続き読書ぐらいの活動にしぼった生活を続けていくことになると思います。いちおう、物理の本とかも買っているのですが、物理・数学にまで手が出るほど気力が戻るとはまだちょっと思えないです。申し訳ないですが、気長にやらせてください。
更新:2015-03-25
初公開:2015年04月01日 09:23:48
最新版:2015年04月01日 09:23:48
Links:
昨年度: http://jrf.cocolog-nifty.com/column/2014/04/post-1.html
勝手に PR: http://jrf.cocolog-nifty.com/pr/
ファミコン版「手旗信号」: http://jrf.cocolog-nifty.com/archive/nes_semaphore/jrf_semaphore.html
「ヨブ記」を読む: http://jrf.cocolog-nifty.com/religion/2015/03/post.html (hbm)
ひとこと: http://jrf.cocolog-nifty.com/statuses/
ブログ8周年: http://jrf.cocolog-nifty.com/column/2014/01/post-1.html