波形を見る - 人工知能に関する断創録
Pythonで音声信号処理（2011/05/14） サイン波 次は音の波をプロットして目に見えるようにしてみます。グラフの描画にはPythonのmatplotlibを使います。WAVEファイルには音をディジタル化（標本化 + 量子化）したデータがそのまま含まれているのでそれを読み出します。WAVEファイルの詳細なフォーマットはwavファイルフォーマットが参考になりました。自分でバイナリを分析してもよいですが、waveモジュールがやってくれます。 #coding:utf-8 import wave from numpy import * from pylab import * def printWaveInfo(wf): """WAVEファイルの情報を取得""" print "チャンネル数:", wf.getnchannels() print "サンプル幅:", wf.getsampwidt
Certified Programming with Dependent Types
This is the web site for a textbook about practical engineering with the Coq proof assistant. The focus is on building programs with proofs of correctness, using dependent types and scripted proof automation. I'm following an unusual philosophy in this book, so it may be of interest even to long-time Coq users. At the same time, I hope that it provides an easier introduction for newcomers, since s
技術を理解しないものによって法律が書かれる悲劇
BBC Site Uses Cookies To Inform Visitors of Anti-Cookie Law - Slashdot EUは、俗称アンチクッキー法と呼ばれる、クッキーの利用を制限する法律を、5月25日から施行した。 イギリスのテレビ会社、BBCのウェブサイト、Radio Timesでは、これを受けて、26日より法律に対応した。最初にサイトを訪問した際、クッキーを使用していいかどうかを尋ねるのだ。 ここでクッキーの使用を拒否すると、クッキーは使用されない。ただし、二度目以降にサイトを訪問した場合、たとえクッキー使用を拒否しようと、このメッセージは表示されない。何故か。クッキー使用に同意したか拒否したかを、クッキーを使って記録しているからだ。 これは、技術を理解しない者の手によって法律が書かれたために起こる悲劇である。 そもそも、クッキーとは、クライアント側のソフトウェ
Greasemonkeyもう無理。付いていけない - hogehoge @teramako
かなり憤慨している。 #1167: Improve Editor/IDE compatibility - Issues - greasemonkey/greasemonkey - GitHub IDEの補完を最大限に使用したいという趣旨は分かる。 Commit 5f7db7300d0b3c540cf9350ad4ad6d1cf4a3ff09 to greasemonkey/greasemonkey - GitHub その結果がコレである。 何をしたかというと、定数宣言であるconstをやめて、変数宣言のvarに変更している。Issueの趣旨は理解できるが、この変更は受け入れがたい。 Editor/IDE はコードを書くための手段だ。手段のためにコードという目的を変えてしまっている。 前々からGreasemonkeyのコードには不満があったが、ここに極まれりって感じ。
エラー率わずか0.00000625％、驚異のインド式昼食配達システム「ダッバーワーラー」
日本の物流システムのものすごさはよく知られたところ。徹底的なコンピューター化による管理と、そして日本の道路・通信インフラの優秀さによって高速かつ精密な輸送を可能にしているわけですが、これにまさるとも劣らないシステムがインドにもありました。社会的なインフラがまだまだ未整備なのにも関わらず、伝票もPOS端末も携帯電話も一切なんにも使わずに毎日20万食の昼食を時間通りに届ける「ダッバワーラー」という驚異のシステムが存在しているのです。一体どんな人達なのでしょうか。 目次 ダッバーワーラーとは ミスは1600万回に1回、驚異の低エラー率 超複雑なネットワークを人力で運営するダッバーワーラー達 なぜダッバーワーラーは超低料金で超優良サービスを提供できるのか？ ダッバーワーラーと組織の社会貢献 ダッバーワーラーとは インドの人達には、3食きちんと調理した温かい物を食べる、という食文化があります。これは
iPad2を買うとSoftBank WiFiスポット利用が2年間無料 - やねうらおブログ(移転しました)
私はiPad2をApple Online Storeで購入したのだが、購入するときに「SoftBank WiFiスポット利用(2年間)(無料)」が選べたらしい。(ヨドバシカメラなどの量販店ではこの特典はつかない) しかし私はそんなところ見てもなかった…。 たぶん「SoftBank？3Gモデルじゃないから関係ねーや」と0.01秒ぐらいで判断して、すぐに読み飛ばしていたのだと思う。 これを申込んでおけば、2年間、マクドナルド等にあるWiFiスポットが無料で使えたのだ…。もったいないことをした。 と後悔していたときに、iPad用のリモートデスクトップアプリで決定版を見つけた。 Splashtopと言うアプリ(→ )でいまなら記念セールで350円なのだ。(5月29日現在、さらにセールで90%オフの115円!!) 私はリモートデスクトップ関係のアプリはいろいろ試してきたが、これはPC側で再生している
マイクロソフト アクセシビリティ ホーム
マイクロソフトの製品などについてお問い合わせしていただく際は、チャットや電話やコミュニティへの質問を選択いただけます。 お電話が難しい場合はチャット、チャットが難しい場合はお電話など、ご自身の状況にあった方法でお問い合わせいただければと思います。 メールとFAXによるお問い合わせの受付は 2020 年 8 月末日をもって終了させていただきました。 チャットでお問い合わせをしていただくことで、より迅速に回答させていただき、オンラインサポートをさせていただくことも可能になります。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
負のナルシズム_レイディオ
聞いてる