種別[column] cocolog:76057670
セクションJRF の私見:雑記
日時2013年04月01日 01:24:34
元URLhttp://jrf.cocolog-nifty.com/column/2013/04/post-1.html
タグ[今後の方針]

今後の(主に勉学の)方針 (2013年度版)

今後の方針をさらっと述べます。今年度(以降)やりたいことと昨年度やったことを述べます。

■やろう!
  ●確率モデル・シミュレーションなどのトイプログラム集を練習的に書く。これまでに書いたシミュレーション等をブラッシュアップする。特に三囚人問題がらみで大きな記事を書く。「トロッコ問題」に関して数理モデルを作る。
  ●このブログサイトの EPWING 版電子書籍を作る。《勝手に PR》に記事を増やす。『電子著作物の動産的所有権を構想する(仮題)』の記事を書き上げる。
  ●『ヨブ記』についてブログに記事を書く。《アバウトミーひとこと欄》で 2008年5月26日から6月5日あたりに書いたヨブと三人の友人達の弁論に関する考察を拡張して、一つ記事を書く。『創世記』の「ヨセフの夢」、『出エジプト記』の「金の牛」といったところも記事にしたい。
  ●定理証明器 Isabelle の現状を知るため、何か(簡単な半順序理論ぐらいか?)の証明をそれで組んでみる。
    
…昨年度とあまり変わってないですが、一部、少し具体的になっています。

■やったこと
  
昨年度は、お小遣いが増えないのに払うものだけ増えていくことにどうにも耐えられなくなってきて、ついに《勝手に PR》なるサイトを作ってアフィリエイトに手を出したり、このブログサイトを「電子辞書」化し、会社を興して販売しようかと、そのプログラミングや決め事その他作業をしたり…といったことを年度前半はしてました。

10月ぐらいになって、Amazon の Kindle 等も発売され、もう少しアイデアを練りたいと思うようになったのと、恥ずかしながらありがたいことに健康保険の減免がなぜか適用になったおかげで、少し楽になったこともあり、電子辞書化の作業を棚上げして、このころ買った PSP などでゲームをやってる時間が多かったです。

1月からは正月に来た甥たちが 3DS を持っていて、そこにプチコンをインストールできたことから、急遽、私も 3DS LL とプチコンmkII を手に入れ、それ用に《易双六 PTC》のプログラミングをして、公開にまでこぎつけました。

確率モデルに関してはその公開のあとここ最近またいろいろアイデアがあって、医療がらみの部分で慎重になり《ひとこと》にも書けてませんが、考察を重ねてそろそろシミュレーションプログラムを書こうか…といったところになってます。もしかすると、近々記事にできるかもしれません。

昨年度も「やろう!」と挙げていた聖書関連記事や定理証明システム関連はほぼ何もできませんでした。このあたりは、まぁ、気長にやります。

更新:2013-03-30
初公開:2013年04月01日 01:24:32
最新版:2013年04月01日 01:26:13