「今後の方針」カテゴリ内の記事 このカテゴリをはてなブックマークに追加 このカテゴリを含むはてなブックマーク (初公開日順)

2017年4月 1日 (土)

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

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

やろうかな…

単漢字変換 naggy の更新。quail-naggy.el、naggy-backend.pl、 jrf_semaphore.pl を更新する。できれば、Windows の IME(TSF) も作って見たい。

確率モデル・シミュレーションなどのトイプログラム集を練習的に書く。これまでに書いたシミュレーション等をブラッシュアップする。「トロッコ問題」に関して数理モデルを作る。

『電子著作物の動産的所有権を構想する(仮題)』の記事を書き上げる。または、著作権に今、必要なアイデアについて記事を書きたい。


真に新しいことは負荷が大きくて今の私には難しいのですが、従来やって来たことの見直しをメインに自己改革に挑戦したいと思っています。

続きを読む "今後の(主に勉学の)方針 (2017年度版)"

2017-04-01 02:03:10 (JST) in 今後の方針, 自己紹介 | | コメント (0) | トラックバック (0)

2016年4月 1日 (金)

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

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

やろうかな…

介護職員初任者研修を受け、その資格で近くの介護施設に就職する。

確率モデル・シミュレーションなどのトイプログラム集を練習的に書く。これまでに書いたシミュレーション等をブラッシュアップする。「トロッコ問題」に関して数理モデルを作る。


コンピュータ周りでいろいろやってきたことをひとまず終了し、新しい一歩を踏み出す年度にしたいと思っています。

続きを読む "今後の(主に勉学の)方針 (2016年度版)"

2016-04-01 12:58:07 (JST) in 今後の方針 | | コメント (0) | トラックバック (0)

2015年4月 1日 (水)

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

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

やろうかな…

定理証明器 Isabelle の現状を知るため、何か(簡単な半順序理論ぐらいか?)の証明をそれで組んでみる。

『創世記』の「ヨセフの夢」、『出エジプト記』の「金の牛」、イスラム教の「アシュアリーの三人兄弟についての問答」といったところを記事にする。

勝手に PR》に記事を増やす。『電子著作物の動産的所有権を構想する (仮題)』の記事を書き上げる。

確率モデル・シミュレーションなどのトイプログラム集を練習的に書く。これまでに書いたシミュレーション等をブラッシュアップする。「トロッコ問題」に関して数理モデルを作る。

ブログ関連の開発。翻訳や印刷などのためのツールバーを作る。


…昨年度からは消極的な方向に変わりました。すみません。

続きを読む "今後の(主に勉学の)方針 (2015年度版)"

2015-04-01 09:23:45 (JST) in 今後の方針 | | コメント (0) | トラックバック (0)

2014年4月 1日 (火)

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

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

やろう!

ファミコン版「手旗信号」の完成度を上げる。

ブログ関連の開発。翻訳や印刷などのためのツールバーを作る。

確率モデル・シミュレーションなどのトイプログラム集を練習的に書く。これまでに書いたシミュレーション等をブラッシュアップする。特に三囚人問題がらみで大きな記事を書く。「トロッコ問題」に関して数理モデルを作る。

このブログサイトの EPWING 版電子書籍を作る。《勝手に PR》に記事を増やす。『電子著作物の動産的所有権を構想する(仮題)』の記事を書き上げる。

定理証明器 Isabelle の現状を知るため、何か(簡単な半順序理論ぐらいか?)の証明をそれで組んでみる。

『ヨブ記』についてブログに記事を書く。《アバウトミーひとこと欄》で 2008年5月26日から6月5日あたりに書いたヨブと三人の友人達の弁論に関する考察を拡張して、一つ記事を書く。『創世記』の「ヨセフの夢」、『出エジプト記』の「金の牛」といったところも記事にしたい。


…最初の二つ以外は、昨年度と変わってないです。情けないです。

続きを読む "今後の(主に勉学の)方針 (2014年度版)"

2014-04-01 07:03:32 (JST) in 今後の方針 | | コメント (0) | トラックバック (0)

2013年4月 1日 (月)

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

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

やろう!

確率モデル・シミュレーションなどのトイプログラム集を練習的に書く。これまでに書いたシミュレーション等をブラッシュアップする。特に三囚人問題がらみで大きな記事を書く。「トロッコ問題」に関して数理モデルを作る。

このブログサイトの EPWING 版電子書籍を作る。《勝手に PR》に記事を増やす。『電子著作物の動産的所有権を構想する(仮題)』の記事を書き上げる。

『ヨブ記』についてブログに記事を書く。《アバウトミーひとこと欄》で 2008年5月26日から6月5日あたりに書いたヨブと三人の友人達の弁論に関する考察を拡張して、一つ記事を書く。『創世記』の「ヨセフの夢」、『出エジプト記』の「金の牛」といったところも記事にしたい。

定理証明器 Isabelle の現状を知るため、何か(簡単な半順序理論ぐらいか?)の証明をそれで組んでみる。


…昨年度とあまり変わってないですが、一部、少し具体的になっています。

続きを読む "今後の(主に勉学の)方針 (2013年度版)"

2013-04-01 01:24:34 (JST) in 今後の方針 | | コメント (0) | トラックバック (0)

2012年4月 1日 (日)

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

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

やろう!

『電子著作物の動産的所有権を構想する(仮題)』の記事を書き上げる。

『ヨブ記』についてブログに記事を書く。《アバウトミーひとこと欄》で 2008年5月26日から6月5日あたりに書いたヨブと三人の友人達の弁論に関する考察を拡張して、一つ記事を書く。『創世記』の「ヨセフの夢」、『出エジプト記』の「金の牛」といったところも記事にしたい。

確率モデル・シミュレーションなどのトイプログラム集を練習的に書く。これまでに書いたシミュレーション等をブラッシュアップする。「トロッコ問題」に関して数理モデルを作る。

定理証明器 Isabelle の現状を知るため、何か(簡単な半順序理論ぐらいか?)の証明をそれで組んでみる。


…昨年度とあまり変わってないです。

続きを読む "今後の(主に勉学の)方針 (2012年度版)"

2012-04-01 09:53:27 (JST) in 今後の方針 | | コメント (0) | トラックバック (0)

2011年4月 1日 (金)

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

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

やろう!

アバウトミー終了のため、「ひとこと」等を別のサイトに移す。できればココログと、ココログ・はてな外のサイトを連携させる形を取りたい。 (終了予定日の6月30日までに緊急に必ずやる。)

『創世記』の「ヨセフの夢」、『出エジプト記』の「金の牛」、「トロッコ問題」に関して書きかけの記事を一本ぐらいは仕上げたい。

定理証明器 Isabelle の現状を知るため、何か(簡単な半順序理論ぐらいか?)の証明をそれで組んでみる。

確率モデル・シミュレーションなどのトイプログラム集を練習的に書く。昨年度に書いたシミュレーション等をブラッシュアップする。

『ヨブ記』についてブログに記事を書く。《アバウトミーひとこと欄》で 2008年5月26日から6月5日あたりに書いたヨブと三人の友人達の弁論に関する考察を拡張して、一つ記事を書く。

『電子著作物の動産的所有権を構想する(仮題)』の記事を書き上げる。

続きを読む "今後の(主に勉学の)方針 (2011年度版)"

2011-04-01 00:53:51 (JST) in 今後の方針 | | コメント (0) | トラックバック (1)

2010年4月 1日 (木)

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

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

やろう!

『ヨブ記』についてブログに記事を書く。《アバウトミーひとこと欄》で 2008年5月26日から6月5日あたりに書いたヨブと三人の友人達の弁論に関する考察を拡張して、一つ記事を書く。(昨年度からひき続き)

『電子著作物の動産的所有権を構想する(仮題)』の記事を書き上げる。

確率モデル・シミュレーションなどのトイプログラム集を練習的に書く。

続きを読む "今後の(主に勉学の)方針 (2010年度版)"

2010-04-01 01:36:06 (JST) in 今後の方針 | | コメント (1) | トラックバック (0)

2009年4月 1日 (水)

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

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

やろう!

『ヨブ記』についてブログに記事を書く。《アバウトミーひとこと欄》で 2008年5月26日から6月5日あたりに書いたヨブと三人の友人達の弁論に関する考察を拡張して、一つ記事を書く。

変形三囚人問題について研究し PDF を書く。《アバウトミーひとこと欄》で2008年2月27日から3月16日あたりにも書いたような三囚人問題の拡張を、さらに拡張する。数理社会学的な方法で、社会のなりたちに関わらせる大がかりなものにもしたい。プラトンの言及する「魂の牢獄」論やキリスト論とも関わらせたい。局所的だが総合的なシミュレーションの入門として本のような形に書き上げたい。

続きを読む "今後の(主に勉学の)方針 (2009年度版)"

2009-04-01 01:01:32 (JST) in 今後の方針 | | コメント (1) | トラックバック (1)

2008年4月 1日 (火)

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

今後の方針をさらっと述べます。昨年度からの違いと今年度やりたいことを中心に。

やろう!

簡単なシミュレーションをプログラムしながら確率論を学ぶ。そのカラミでベクトル解析もできればいいな。何を「仕上げ」とするかは10月ぐらいに決める。


やらないだろう。

たまったゲームで遊ぶ…気力は起きない。ストIIを毎日日課のようにやってるけど、それだけ。そこからは踏み出さないだろう。

社会科学系の話は今年のうちは意識して手を出さないようにする。

今年はブログの記事もアクセス解析以外は書かない予定。


終りにしておく。

著作消費者権(仮)に関する自分の意見をまとめブログに投稿する…これはもうやったということにする。

音楽で遊ぶ…これはあきらめる。私にとっては、あまりストレス解消にもならないみたいだし。
更新: 2008-03-31
初公開: 2008年04月01日 18:55:11
最新版: 2008年04月01日 18:55:11

2008-04-01 18:54:50 (JST) in 今後の方針 | | コメント (0) | トラックバック (0)

2007年4月 1日 (日)

今後の(主に勉学の)方針

今後の方針を述べます。これ以外にすることがないわけではありませんが、意志はなくとも意欲はあるぞっってことの中で、大事だと思えることを書いていきます。

やろう!

たまったメモ(紙)の整理。

著作消費者権(仮)に関する自分の意見をまとめブログに登稿する。

マグロウヒルの参考書をもとにベクトル解析のテンソルを、まず学びはじめる。しかるのちにカテゴリー理論(圏論)の複習をする。

引き続き確率論を学ぶ。《イメージによる進化》のモデルを作ることを目標に、まずは、分布関数などの(離散的な)作り方や分布のコントロールの仕方の流儀を学ぶ。

ゲームで遊ぶ。

音楽で遊ぶ。



欲しかったらソースやるから、すぐにでも誰かやってくれ……

Perl の Encode のメインの C ルーチンを書き換え、前方一致とその中断処理をもう少しまともにやるモジュール、すなわち Encode::Partial を造る。メインルーチンはテスト不十分だけどすでにできてる。(Perl の Encode や Jcode のソースを参考にしています。)

このブログの投稿時に使っている TextToBody を ver. 1.00 にする。投稿部分自体は mapae を改造して使っている。ソースがごちゃごちゃなので公開できるレベルにない。



いつかやりたい

ヨブ記に関する本を読み、一つぐらいブログに記事を書く。

進化論について積んである本を読む。

開発コード Naggy & naggy-calc。

Input Method の学習機能は、人工知能の実用的な応用として数少ない分野であるにもかかわらずそれを否定するかのようなことをする。

Naggy (凪)
互換 Input Method。おそらく emacs 専用。部首単漢字変換、しぼり込み変換時に「単語」に含まれる漢字をハイライト、…というのは一度実装したことがある。 TeX記号辞書や、漢字の Composition Dictionary も作りたい。

naggy-calc
単語変換と同じようなインターフェイスの単位付き計算機をポータルとして、独自プログラミング言語に誘いこむ。データ型として定理証明システムを持つのに関数型言語というよりは Perl のようなインタプリタ言語にするという邪道を行く。変数だけでなく抽象データの Read/Write 制限ができ Pure Type System の前提部の右随伴にあたるところにシンボルを含ませることを「書き換え」とみなす。


これまでのことを続けながら、生活ができるだけの報酬がもらえる仕事に就く。贅沢な願いですが……。
更新: 2007-03-09,2007-03-31
初公開: 2007年04月01日 13:10:26
最新版: 2007年04月01日 16:28:21

2007-04-01 13:10:18 (JST) in プログラム・ウィッシュリスト, 今後の方針, 自己紹介 | | コメント (0) | トラックバック (2)