「プログラム・ウィッシュリスト」カテゴリ内の記事 このカテゴリをはてなブックマークに追加 このカテゴリを含むはてなブックマーク (初公開日順)

★ ドキュメントのURLの後ろに ?mode=long を付けるとトップページのような表示になります。
[更新日] [タイトル]
[概要]
[初公開日] in [カテゴリ] | [諸データ]
今後の方針を述べます。これ以外にすることがないわけではありませんが、意志はなくとも意欲はあるぞっってことの中で、大事だと思えることを書いていきます。 ■ やろう! ● たまったメモ(紙)の整理。 ● 著作消費者権(仮)に関する自分の意見をまとめブログに登稿する。 ● マグロウヒルの参考書をもとにベクトル解析のテンソルを、まず学びはじめる。しかるのちにカテゴリー理論(圏論)の複習をする。 ● 引き続...

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

ブックマークレットとサーバー間通信を使い、即時銀行振込(「PP振込」と呼ぶ)や保証付き匿名ログイン(「PPログイン」と呼ぶ)などを可能にする。そのための API が欲しい。

2006-12-12 20:14:00 (JST) in プログラム・ウィッシュリスト | | コメント (2) | トラックバック (4)

プログラムのアイデアがふと浮かび、ちょっとどういう要件が必要か考えてみる……。プログラムを創ることがあたり前のギリギリの世代に属するからか、そういうことがよくあります。 昔創りたかった、または、今創りたいけど、時間的に実力的にまたは環境から「どうも創れそうにないな」というプログラムのプランがあります。もちろん、創るまではしたくないな、とか、誰かが創ってくれたらいいな……なんてものもあるのですが。 ...

2006-12-12 20:02:28 (JST) in プログラム・ウィッシュリスト, 情報工学・コンピュータ科学 | | コメント (1) | トラックバック (0)

■ コンピュータ定理証明 コンピュータ上での定理証明は、整えられた環境でコンピュータにガイドされながら、特殊なプログラムを書く作業であると言っていい。そのプログラムが実行されると、入力物である真偽不明であった命題が、真なる定理として型付けされ出力されるのだ。

2006-09-07 17:29:34 (JST) in プログラム・ウィッシュリスト, 情報工学・コンピュータ科学, 論理学 | | コメント (2) | トラックバック (2)

このアイデアは、ほんの少し責任のあるレーティングとして、はてなブックマークポイント(投げ銭)を使い、そのレーティングの信頼性を「送ポイント総額」「予約総額」「予約総額のうち送ポイント可能額」を開示することで判断してもらおうというものです。 さらに、それらの集計をタグごとに開示することで、社会において「収益力のある関心」の指標を呈示することも射程に入れます。 ■ 「投げ銭予約」の性質 以前とは違うペ...

2006-04-05 01:27:44 (JST) in はてな関連, プログラム・ウィッシュリスト, 情報工学・コンピュータ科学, 経済・政治・国際 | | コメント (6) | トラックバック (1)