タグ

2007年9月24日のブックマーク (4件)

  • 数理科学的バグ撲滅方法論のすすめ---目次 | 日経 xTECH(クロステック)

    筆者 住井 英二郎 「プログラミング言語理論」という研究分野がある。この分野の研究者たちは,「ML」「Haskell」「Scheme」あるいは「λ計算」「π計算」(円周率計算のことではない)など,多くのプログラマにとっては聞いたこともない言語やモデルについて,日夜研究している。ただ,そのような言語は「難しい」「役に立たない」などと思われがちだ。 この連載では,こうしたプログラミング言語やソフトウエア科学の様々な研究を,できるだけ普通のプログラマやエンジニアにもわかりやすく(どちらかといえば理論よりも実用に重点をおいて)紹介していく。 更新は毎月第2水曜日(1月のみ第3水曜日)

    数理科学的バグ撲滅方法論のすすめ---目次 | 日経 xTECH(クロステック)
  • 【今年もピンチ!】自動車税が払えない時にお金を借りれる方法を教えます

    カードローンを利用したら毎月返済していくわけですが、返済する金額は借り入れた残額に応じて変動していく方法が多くとられています。残額が少なくなれば返済額も減っていきますから、どんどん返していければ返済が楽になっていくんでしね。毎月の返済額は事前に連絡がくる金額に決まっていますが、その返済額より多い金額であれば、いくら返しても良いんですよ。返済する方法を工夫すれば、お得に返済することも出来ちゃうんです。 ではどのような方法で返済するとお得なのでしょうか。カードローンにはボーナス払いという返済方法はありません。しかし、ボーナスが入ったときに自分で多めに返済することはできます。自分の返済計画の中で、ボーナスが入る月はボーナス払いとして多く返済する、と決めてしまうことをオススメします。早く返済が終われば、かかってくる金利の金額が低く抑えられますから、その分お得になりますよ。 返済し始めのときは、残額

  • PocketHTTP

    Jump to Downloads | Online Documentation This is an Open Source [MPL] HTTP/1.1 client COM component for the Windows family (PocketPC/95/98/Me/NT4/2000/XP/2003), originally based on HTTP transport from PocketSOAP. PocketHTTP includes the following features HTTP/1.1 support including chunked encoding and persistent connections (aka Keep-Alive's). SSL support including SSL via proxy servers. Compress

    hitoriblog
    hitoriblog 2007/09/24
    This is an Open Source [MPL] HTTP/1.1 client COM component for the Windows family (PocketPC/95/98/Me/NT4/2000/XP/2003), originally based on HTTP transport from PocketSOAP.
  • さくひんおきば

    こんにちは。すけっちPと申します。 この度の復帰及び、P名義変更に伴いまして今後の音源は新ブログのほうにUPさせて頂きたいと存じます。 <新ブログ> さくひんおきば Mk-II ご面倒をお掛けいたしますが宜しくお願いいたします。 また、当ブログでのメールアドレスはアカウント消去致しましたことを重ねてご報告いたします。 今後とも宜しくお願いいたします。

    hitoriblog
    hitoriblog 2007/09/24
    初音ミク