ホワット・ア・ワンダフル・ワールド アルゴリズミックデバッギング
研究グループの内輪の研究会がありまして，ET プログラムの自動デバッギングの話が面白かったです． (人間が頭で考えて，直接ルール (プログラム) を手書きした場合用．また，原理的に，形式的仕様記述から自動生成されたプログラムは，仕様に対しては 100 % バグが無いわけですが，それとは別のレイヤーとして，生成されたプログラムが「人間の直感的意図 (ここはインフォーマル)」と異なる挙動を示した時には，仕様のデバッグが必要になってくるので，さらに高度な研究が必要になってくる) その研究自体の詳細は (私の研究ではないので) 書けないのですが．既存研究との比較として挙げられていた，サーベイペーパーが，これまた興味深かったです． Josep Silva, "A Comparative Study of Algorithmic Debugging Strategies", 2007 論理プログラムや
Haskell の "printf" デバグ - Inemuri nezumi diary(2007-05-11)
_ Haskell の "printf" デバグ StateモナドとかIORefとか使うプログラムだと、実行時中に中身を覗きたくなる。ある人が unsafePerformIO で print するとか言うので、それはちょっと待てと。Haskell がその手のデバグがしにくいので、他の言語に移るというのは、ちょっとだけ待ってほしい。 Haskell には Debug.Trace というモジュールがあって、その中の trace :: String -> a -> a は、IO を気にせずに文字列を標準エラー出力に出せるのですよ。 import "Debug.Trace" main = trace "Good morning" $ print "Hello, world" zsh% runghc TracingHello.hs 1> out.txt 2> err.txt zsh% cat out
Ruby On Rails ピチカート街道 - デバッグ初体験03【ruby-debug v0.9.3 マニュアルお気楽翻訳】 -
2024.07 « - - - - 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 » 2024.09 ruby-debug v0.9.3 のヘルプファイルを今日は目標10分で超訳してみたいと思います。 ちなみにRails2.0対応のもっと新しい v0.10.0の内容はこちらからどうぞ。 翻訳が間違ってても責任は負いかねますよ！Good Luck To Myself!! やりたいこと別にリンクを付けてみましたよ。 ※ 以下のコマンドのうち、[ホニャララ] の、ホニャララの部分は省略できます。 --------------------- ★変数の値を見たい ★今どの行をデバッグしているか見たい ★ブレークポイントを追加・削除したい ★ステップ実行をしたい ★一気に実行したい
JavaScriptでリアルタイム値チェックを簡単に行える「LiveValidation」:phpspot開発日誌
LiveValidation - Validation as you type Lets face it, forms are boring, validation is a pain. It’s time to inject some life into them, make them fun again... JavaScriptでリアルタイム値チェックを簡単に行える「LiveValidation」。 このライブラリを使ってできることは、examples にまとまっています。 数字、長さ、メールかどうかなど、値チェックに必要なものは殆どそろっているので簡単に実装できます。 コードは次のようにオブジェクト指向で非常にシンプル。 var sayHello = new LiveValidation( "sayHello", { validMessage: "Hey there!" } );
gdbでSTLのコンテナの値を表示する方法 - pyopyopyo - Linuxとかプログラミングの覚え書き -
STLを使ったコード，たとえば std::vector<int> array;というコードがあったとして，gdbでデバッグ中に array[0] の値を確認したい場合はどうするか？実はこれが結構面倒なのだ． gdbでデバッグ中に，変数の値を確認したい場合は print コマンドを使う．例えば int a=12;というコードがあって，変数 a の値を表示させたい場合は gdb のコマンドラインで (gdb) print a とする．printコマンドは p と省略して記述できるので，通常は" p a "で確認する．さらに，変数が配列の場合なら "p 変数名[添字]" となる． 以上をふまえると， std::vector<int> array;というコードがあったとして，先頭の array[0] の値を確認したい場合は (gdb) p array[0]とやってしまう訳なのだが，結論からいうとこ
例外の発生箇所を gdb で捕捉する - odz buffer
gdb で catch throw を使えば例外を捕捉できるという話をコメントで教えていただいたので、試してみた。 #include <string> static void foo(void); int main() { foo(); return 0; } static void foo() { std::string s = "abc"; s.replace(-1, 0, "d"); } % g++ -g -Wall -W -O2 exc_bt.cpp -o exc_bt % gdb exc_bt GNU gdb 6.4.90-debian Copyright (C) 2006 Free Software Foundation, Inc. GDB is free software, covered by the GNU General Public License, and you
例外とバックトレースを使ったデバッグ - odz buffer
あるプログラムを使っていると std::out_of_range で abort したので、デバッグしようとするものの、C++ は例外で abort しても Java のようにバックトレースを表示してくれたりしないので、どこが問題か分かり難くて困った。 #include <cstdlib> #include <cstdio> #include <execinfo.h> namespace std { void __throw_out_of_range(const char* msg) { void *trace[128]; int n = backtrace(trace, sizeof(trace) / sizeof(trace[0])); backtrace_symbols_fd(trace, n, 1); int a = 0 / 0; printf("%d\n", a); abort(
Jash: JavaScript Shell
Home Features Documentation Download Screenshots A Cross-Browser Javascript Command-Line Debugging Tool What is it? Jash is a DHTML-based window that gives you command-line JavaScript access to the current browser window. With this console you can quickly debug scripts, manipulate the DOM, view the current page's objects, functions, and variables, trace the execution stack, execute arbitrary J
Firebug - Web Development Evolved
Thank you, Firebug. You made the web amazing for all! The story of Firefox and Firebug are synonymous with the rise of the web. We fought the good fight and changed how developers inspect HTML and debug JS in the browser. Firebug ushered the Web 2.0 era. Today, the work pioneered by the Firebug community through the last 12 years lives on in Firefox Developer Tools. Switch to the latest version of
栄光ゼミナール；塾選びガイド
栄光ゼミナールとほかの塾との授業料、サービスなどさまざまなポイントについて比較しています。栄光ゼミナールの授業料、サービスなど充実させたコンテンツで作成していますが、やはり一番栄光ゼミナールを知るには、資料請求が一番です。 栄光ゼミナール資料内容 日程と授業料についてのご案内 栄光ゼミナールの夏期講習のご案内 個別指導のご案内。 「今子供たちは・」資料集栄光ブックレット とっておきなＤＶＤ（届くまでお楽しみ） 栄光ゼミナールでは、はじめての方には無料の夏期講習会になります。テキストの教材費は自己負担になりますが、それでも1教科につきたったの2100円。 栄光ゼミナールは特に中学生を対象に向けて圧倒的人気のサービスです。もちろん、それに付随するしっかりとしたサービスがあります。大手の学習塾には、有名講師が授業を100人程度で聞くタイプと少人数制（6人から20人程度）できめ細やかな授業
ants Lab. | その他 | JavaScriptデバッグ ツール作ってみました＜第1回＞
JavaScriptは、開発するのはエディタとWebブラウザがあれば事足りるのに、デバッグが恐ろしく面倒なんです。数千行のコードを書くと、Webブラウザごとの動作の違いだとか、オブジェクトの振る舞いの違いに苦労させられます。そこで、オリジナルでデバッグ ツール「Geranium」を作ってみることにしました。 まず現物を見てもらった方が分かりやすいと思うので、こちらをご覧ください。今回は手軽なサンプルということで、カラー ピッカーを作ってみました。このページにGeraniumを組み込んであります。 ■カラー ピッカー colorPicker.html 「へ？ 何も起きないじゃん……」と思った人は大正解です。このままではGeraniumは動き出しません。ブラウザの別画面で立ち上がったカラー ピッカーのURL欄の末尾に、「?debugger=true」を追加してみてください。 デバッグ出力がモリ
Almaden
The team's work builds on a rich history of breakthroughs at Almaden’s unique campus in San Jose, California that include innovations in data storage technology, novel material discovery for sustainability, the distributed relational database, the ability to position individual atoms, and the first data mining algorithms.
WinDbg入門
Windowsセキュリティオンサイトセミナー タイトル 第01回： カーネルデバッガ「WinDbg」入門（その1） 第02回： カーネルデバッガ「WinDbg」入門（その2） 第03回： カーネルデバッガ「WinDbg」入門（その3） 第04回： WinDbgのインストールと起動 第05回： WinDbg環境の確認 第06回： WinDbg環境の有効性を確認する 第07回： WinDbgコマンド体系 第08回： WinDbgコマンドスクリプティング入門 第09回： WinDbgコマンドスクリプティングの利点 第10回： WinDbgとはいったい何なのか？ 第11回： WinDbgを使ったアプリケーション分析 第12回： システム管理とWinDbgカーネルデバッガーコマンド 豊田孝の「IT談話館」 ホーム
Rater Robarov: Webdesign, zoekmachine optimalisatie, hosting
Robarov rater example This is our rate example with just 1 image, based on the example at Komodo Media. Feel free to use for any purpose. A link to our website would be nice. We have an another version, with a current rating at www.robarov.be/rate2/. Example Hover over the image. Code HTML-code <ul id="rating"> <li id="r1"><a href="#1" title="give this site a 1"><span>Abysmal</span></a></li> <li i
DOM Elementオブジェクトをテキストダンプしてデバッグ - hogehoge @teramako
DOM APIを使用して作ったDOMツリー、うまく生成されているか見てみたい事は多々ある。少なくともオイラはある。簡単にテキスト表示してくれると嬉しいなぁと常々思っていたのだが発見した。 Firefox（というかMozilla系かな）限定だろうけどXMLSerializerがあるのだ。 使い方は簡単。 var serializer = new XMLSerializer(); //略 var root = document.createElement('div'); var anchor = document.createElement('a'); var aText = document.createTextNode('はてな'); anchor.setAttribute('href','http://www.hatena.ne.jp/'); anchor.appendChild( aT
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Loading...
IBM Developer
http://rails.office.drecom.jp/takiuchi/archive/115
http://blogs.sun.com/okazaki/entry/java%E3%83%8A%E3%82%A4%E3%83%88%E3%82%BB%E3%83%9F%E3%83%8A%E3%83%BC%E8%B3%87%E6%96%99_2%E6%99%82%E9%96%93%E9%9B%86%E4%B8%ADjava%E3%83%88%E3%83%A9%E3%83%96%E3%83%AB%E8%A7%A3%E6%B1%BA%E3%83%89%E3%83%AA%E3%83%AB
MOONGIFT | オープンソース・ソフトウェア紹介を中心としたITエンジニア/Webデザイナー向けブログ
