タグ

2008年10月21日のブックマーク (3件)

  • 計算できない問題・関数について

    いくつかの問題 停止問題 プログラムを実行すると、 実行が終了して停止するか停止せずにいつまでも実行を続けるかの、 どちらかになる。 そこで、与えられたプログラムが停止するか、 いつまでも停止しないかを判定する、 という問題(プログラムの「停止問題」という)を考える。 (この問題をちゃんとした問題として扱うには、 プログラムがどう実行されるのかが 正確に(処理系依存とかのあいまいさ無しに)定義されている必要がある。 だから普通は、チューリングマシンみたいな できるだけ単純な道具立てを使って話をする。 でも、ここでは細かい事にはこだわらず、 「適当にどうにか定義してある」事にしておく。) 停止問題を解くプログラムを作りたいとする。 これは、コンパイラと比較すると判りやすいかもしれない。 コンパイラはプログラム(のソース)を受けとり、 実行コードを出力する。 停止問題を解くプログラムは、 プロ

  • POSync自動更新Mortスクリプト - 少しは片付けましょう

    的には、入力はW-ZREO3でスケジュールを入力している。Googleカレンダーは身内のスケジュール確認用にPOSyncで予定を転送したり、自宅ではGoogleカレンダーでスケジュールを入力したり確認したり、する様な使い方をしている。 そこでAtRunとの組み合わせで自動でGoogleカレンダーにアップロードするScriptを作った・・・。が、もちろん威張れるほどのスクリプトでない。 「http://vafee.dyndns.org/sb/log/Ad%20W-ZERO3%20es/eid322.html : Advanced/W-ZERO3[es] 「RunAt」と「MortScript」で「POSync」の自動更新」を参考にぽちぽちとすぐに完成。 これだけで凄く便利に・・・。 - # auto send sPOsync.mscr title1 = "POremover" exe1

    POSync自動更新Mortスクリプト - 少しは片付けましょう
    tomoemon
    tomoemon 2008/10/21
    windows mobile mortscript
  • 日日俺酔狂 ダウンロード違法化がほぼ決まったけど何か質問ある?

    ブログ パスワード認証 閲覧するには管理人が設定した パスワードの入力が必要です。 管理人からのメッセージ さようなら、さようなら。 閲覧パスワード Copyright © since 1999 FC2 inc. All Rights Reserved.